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.