Inferno
0.2
|
#include "systemc_detection.hpp"
#include "tree/cpptree.hpp"
#include "tree/typeof.hpp"
#include "inferno_patterns.hpp"
Go to the source code of this file.
Classes | |
class | DetectSCType< SCNODE > |
spot SystemC type by its name and replace with inferno node More... | |
class | DetectSCBase< SCCLASS > |
spot SystemC base class by its name and replace with inferno node More... | |
class | DetectSCDynamic< SCFUNC > |
class | DetectSCStatic< SCFUNC > |
class | DetectSCDelta< SCFUNC > |
class | DetectTerminationFunction< SCFUNC > |
spot syscall exit() or equivalent function by its name and replace with inferno node More... | |
class | DetectSCProcess |
class | DetectSCNotifyImmediate |
spot SystemC notify() method by its name and replace with inferno node More... | |
class | DetectSCNotifyDelta |
spot SystemC notify(SC_ZERO_TIME) method by its name and replace with inferno node More... | |
class | RemoveEmptyModuleConstructors |
class | RemoveVoidInstances |
Remove top-level instances that are of type void. More... |