Interface | Description |
---|---|
CfgVisitor |
Interface to be implemented by all visitor objects applied to a control flow graph model
to collect information or to build another representation of the model.
|
Class | Description |
---|---|
BasicBlock |
Basic block node of process' control flow graph.
|
Case |
Control flow graph node that keeps condition\case branch.
|
Cfg |
Control flow graph of some process.
|
CfgModel |
Control flow graph model.
|
CfgModelNode |
Abstract node of control flow graph model.
|
CfgNode |
Abstract control flow graph node.
|
CfgVariableContainerNode |
Basic abstract class for control flow graph model
CfgModel
that contains a collection of variable declarations
VariableDeclaration and a collection of bindings
between internal variables and external expressions. |
CfgWalker |
Control flow graph model walker.
|
Merge |
Merge node of control flow graph model.
|
ModelProduceCfgVisitor |
Basic interface for visitors that not only process control flow graph models,
but construct new control flow graph models from them.
|
Module |
HDL module.
|
Process |
HDL module process.
|
Sink |
Sink (final) node of control flow graph.
|
Source |
Source (first) node of control flow graph.
|
Switch |
Switch node of control flow graph.
|
VariableDeclaration |
Class for keeping the variable declaration data.
|
Wait |
Wait node of control flow graph model.
|
Enum | Description |
---|---|
CfgNodeType |
Control flow graph model nodes types.
|
CfgVisitor.Status |
The Status enumeration described possible statuses of the visitor.
|
CfgWalkerMode |