|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ControlFlowNode | |
---|---|
edu.cmu.cs.crystal.internal | An internal package for Crystal to interact with Eclipse and start running the analyses. |
Uses of ControlFlowNode in edu.cmu.cs.crystal.internal |
---|
Methods in edu.cmu.cs.crystal.internal that return ControlFlowNode | |
---|---|
ControlFlowNode |
ControlFlowNode.breaking(java.lang.String label,
boolean keepRemovingNodes)
A recursive method for correcting the structure of a CFG in the context of a break statement. |
ControlFlowNode |
ControlFlowNode.continuing(java.lang.String label,
boolean keepRemovingNodes)
A recursive method for correcting the structure of a CFG in the context of a continue statement. |
ControlFlowNode |
ControlFlowNode.findNode(ControlFlowNode.Direction direction,
int astNodeType)
Searches for the first ASTNode type in the CFG. |
static ControlFlowNode |
ControlFlowGraph.getControlFlowNode(org.eclipse.jdt.core.dom.ASTNode inNode)
Retrieves the ControlFlowNode that is associated with the ASTNode. |
ControlFlowNode |
ControlFlowGraph.getEndNode()
Retrieves the end dummy node for the graph |
ControlFlowNode |
ControlFlowNode.getNode(ControlFlowNode.Direction direction)
Retrieves the only forward or backward node from this node. |
ControlFlowNode |
ControlFlowGraph.getStartNode()
Retrieves the start dummy node for the graph |
ControlFlowNode |
ControlFlowNode.newControlFlowNode(org.eclipse.jdt.core.dom.ASTNode node)
Creates a new ControlFlowNode from another ControlFlowNode. |
ControlFlowNode |
ControlFlowNode.returning()
A recursive method for correcting the structure of a CFG in the context of a return statement. |
Methods in edu.cmu.cs.crystal.internal that return types with arguments of type ControlFlowNode | |
---|---|
java.util.Iterator<ControlFlowNode> |
ControlFlowNode.getIterator(ControlFlowNode.Direction direction)
Retrieves an iterator for either the forward or backward nodes in the CFG. |
java.util.Set<ControlFlowNode> |
ControlFlowGraph.getNodeSet()
Generates a set of all nodes in the CFG |
Methods in edu.cmu.cs.crystal.internal with parameters of type ControlFlowNode | |
---|---|
static void |
ControlFlowGraph.addControlFlowNode(org.eclipse.jdt.core.dom.ASTNode astNode,
ControlFlowNode cfn)
Adds the mapping from ASTNode to ControlFlowNode for later lookup |
void |
ControlFlowNode.addEdge(ControlFlowNode.Direction direction,
ControlFlowNode node)
Adds an edge from this node to another. |
void |
ControlFlowNode.insertNode(ControlFlowNode.Direction direction,
ControlFlowNode insertNode)
Inserts a node between this node and all its subsequent nodes depending on the direction. |
void |
ControlFlowNode.moveEdges(ControlFlowNode.Direction direction,
ControlFlowNode node)
Take all edges and move them to another node. |
void |
ControlFlowNode.setFirstChild(ControlFlowNode child)
Stores the CFN of the first CFN that is a child of this CFN |
void |
ControlFlowNode.setLoopPaths(ControlFlowNode enter,
ControlFlowNode exit)
loop paths are CFN pointers that record the edge that enters the loop and the edge that exits the loop. |
Constructors in edu.cmu.cs.crystal.internal with parameters of type ControlFlowNode | |
---|---|
ControlFlowVisitor(ControlFlowNode cfn)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |