
| Interface | Description |
|---|---|
| CfgTransformer |
Cfg transformer interface.
|
| Class | Description |
|---|---|
| AssumptionsPrinter<A extends Assumption<A>> |
Special CfgPrinter implementation which prints assumptions along every edge.
|
| Cfg |
Control flow graph representation for gflow framework.
|
| CfgBinaryConditionalOperationNode |
Conditional node generated for short-circuiting binary operations (||, &&).
|
| CfgBlockNode |
Node corresponding to code blocks.
|
| CfgBreakNode |
Node corresponding to break statements.
|
| CfgBuilder |
Builder for CFG graph.
|
| CfgCaseNode |
Node corresponding to if statement.
|
| CfgConditionalExpressionNode |
Node corresponding to conditional expressions.
|
| CfgConditionalNode<JNodeType extends JNode> |
Base class for all conditional execution nodes.
|
| CfgContinueNode |
Node corresponding to continue statement.
|
| CfgDoNode |
Node corresponding to while statement.
|
| CfgEdge |
Edge in CFG graph.
|
| CfgEndNode |
End node in CFG graph.
|
| CfgForNode |
Node corresponding to for statement.
|
| CfgGotoNode<JNodeType extends JNode> |
Unconditional control transfer node.
|
| CfgIfNode |
Node corresponding to if statement.
|
| CfgMethodCallNode |
Node corresponding to method calls.
|
| CfgNode<JNodeType extends JNode> |
Base class for nodes in CFG graph.
|
| CfgNopNode |
Artificial no-operatation node.
|
| CfgOptionalThrowNode |
Node which might throw exception.
|
| CfgPrinter |
Control flow graph printer.
|
| CfgReadNode |
Node corresponding to any variable read.
|
| CfgReadWriteNode |
A node corresponding to simultaneous read and write operation (e.g.
|
| CfgReturnNode |
Node corresponding to return statement.
|
| CfgSimpleNode<JNodeType extends JNode> |
A node which doesn't transfer control flow after normal completion.
|
| CfgStatementNode<JNodeType extends JStatement> |
A statement wrapper node.
|
| CfgSwitchGotoNode |
Goto to first switch case statement.
|
| CfgThrowNode |
Node corresponding to throw statement.
|
| CfgTryNode |
Node corresponding to try statement.
|
| CfgUtil |
Utilities for working with Cfg.
|
| CfgVisitor |
Visitor for all CFG nodes.
|
| CfgWhileNode |
Node corresponding to while statement.
|
| CfgWriteNode |
Node corresponding to write operation.
|
Copyright © 2018. All rights reserved.