Interface | Description |
---|---|
CfgVisitor |
Control flow graph model visitor.
|
Class | Description |
---|---|
CfgAssertStatement |
Assertion statement of control flow graph model.
|
CfgBlockStatement |
Basic block node of process' control flow graph.
|
CfgCaseStatement |
Case statement of control flow graph model.
|
CfgDeclarationStatement | |
CfgDefaultVisitor |
Default visitor for control flow graph model.
|
CfgLoopStatement |
Loop statement for control flow graph node.
|
CfgModel |
Control flow graph model.
|
CfgModule |
Module of control flow graph model.
|
CfgProcess |
Process of control flow graph model.
|
CfgStatement | |
CfgSwitchStatement |
Switch statement of control flow graph model.
|
CfgUtils |
Utility methods for control flow graph model and it's components.
|
CfgWaitStatement |
Wait statement of the control flow graph model.
|
Enum | Description |
---|---|
CfgAssertStatement.Severity |
Assertion statement severity levels.
|
CfgLoopStatement.Type |
Loop statement types.
|
CfgStatementType |
Control flow graph model nodes types.
|
CfgVisitor.Status |