Uses of Class
edu.cmu.cs.crystal.internal.ControlFlowNode

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)