|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ICFGNode | |
---|---|
edu.cmu.cs.crystal.cfg | An internal package for defining a control flow graph. |
edu.cmu.cs.crystal.cfg.eclipse | An internal package for creating a control flow graph from Eclipse. |
edu.cmu.cs.crystal.flow.worklist | An internal package for running a flow analysis. |
Uses of ICFGNode in edu.cmu.cs.crystal.cfg |
---|
Classes in edu.cmu.cs.crystal.cfg with type parameters of type ICFGNode | |
---|---|
class |
BlockStack<Node extends ICFGNode>
Protocol to using block Stack is: call push/pop labeled and push/pop breakable in pairs. |
class |
ExceptionMap<N,Node extends ICFGNode<N>>
This class maintains the exception information for the CFG algorithm while it is building the graph. |
Methods in edu.cmu.cs.crystal.cfg that return ICFGNode | |
---|---|
ICFGNode<N> |
ICFGNode.getEnd()
|
ICFGNode<N> |
IControlFlowGraph.getEndNode()
|
ICFGNode<N> |
ICFGEdge.getSink()
|
ICFGNode<N> |
ICFGEdge.getSource()
|
ICFGNode<N> |
ICFGNode.getStart()
|
ICFGNode<N> |
IControlFlowGraph.getStartNode()
|
ICFGNode<N> |
IControlFlowGraph.getUberReturn()
|
ICFGNode<N> |
IControlFlowGraph.getUndeclaredExit()
|
Methods in edu.cmu.cs.crystal.cfg that return types with arguments of type ICFGNode | |
---|---|
Map<ITypeBinding,? extends ICFGNode<N>> |
IControlFlowGraph.getExceptionalExits()
|
Uses of ICFGNode in edu.cmu.cs.crystal.cfg.eclipse |
---|
Classes in edu.cmu.cs.crystal.cfg.eclipse that implement ICFGNode | |
---|---|
class |
EclipseCFGNode
This class has several purposes: 1) Wrap an ASTNode 2) Be a node in a CFG, with incoming and outgoing edges 3) Help us create a flat structure out of a heirarchical one. |
Methods in edu.cmu.cs.crystal.cfg.eclipse that return ICFGNode | |
---|---|
ICFGNode<ASTNode> |
EclipseCFG.getEndNode()
|
ICFGNode<ASTNode> |
EclipseCFG.getStartNode()
|
ICFGNode<ASTNode> |
EclipseCFG.getUberReturn()
|
ICFGNode<ASTNode> |
EclipseCFG.getUndeclaredExit()
|
Uses of ICFGNode in edu.cmu.cs.crystal.flow.worklist |
---|
Methods in edu.cmu.cs.crystal.flow.worklist that return ICFGNode | |
---|---|
ICFGNode<N> |
AnalysisResult.getCfgEndNode()
|
ICFGNode<N> |
AnalysisResult.getCfgStartNode()
|
Methods in edu.cmu.cs.crystal.flow.worklist that return types with arguments of type ICFGNode | |
---|---|
Map<ICFGNode<N>,IResult<LE>> |
AnalysisResult.getLabeledResultsAfter()
|
Map<ICFGNode<N>,IResult<LE>> |
AnalysisResult.getLabeledResultsBefore()
|
Map<N,Set<ICFGNode<N>>> |
AnalysisResult.getNodeMap()
|
Methods in edu.cmu.cs.crystal.flow.worklist with parameters of type ICFGNode | |
---|---|
int |
WorklistNodeOrderComparator.compare(ICFGNode<?> node1,
ICFGNode<?> node2)
|
int |
WorklistNodeOrderComparator.compare(ICFGNode<?> node1,
ICFGNode<?> node2)
|
Method parameters in edu.cmu.cs.crystal.flow.worklist with type arguments of type ICFGNode | ||
---|---|---|
static
|
WorklistNodeOrderComparator.createPostOrderAndPopulateNodeMap(IControlFlowGraph<N> cfg,
Map<N,Set<ICFGNode<N>>> nodeMap,
boolean isForward)
Builds a post-order comparator for the nodes in the given CFG, in which a node is bigger than all of its successors (predecessors) if isForward
is true (false ), and populates a map from
AST nodes to all their corresponding nodes in the given CFG. |
Constructors in edu.cmu.cs.crystal.flow.worklist with parameters of type ICFGNode | |
---|---|
AnalysisResult(Map<N,Set<ICFGNode<N>>> _nm,
Map<ICFGNode<N>,IResult<LE>> _lra,
Map<ICFGNode<N>,IResult<LE>> _lrb,
OP _l,
ICFGNode<N> _startNode,
ICFGNode<N> _endNode)
Creates copies of the given maps to encapsulate a new, un-modifiable result of an analysis. |
|
AnalysisResult(Map<N,Set<ICFGNode<N>>> _nm,
Map<ICFGNode<N>,IResult<LE>> _lra,
Map<ICFGNode<N>,IResult<LE>> _lrb,
OP _l,
ICFGNode<N> _startNode,
ICFGNode<N> _endNode)
Creates copies of the given maps to encapsulate a new, un-modifiable result of an analysis. |
Constructor parameters in edu.cmu.cs.crystal.flow.worklist with type arguments of type ICFGNode | |
---|---|
AnalysisResult(Map<N,Set<ICFGNode<N>>> _nm,
Map<ICFGNode<N>,IResult<LE>> _lra,
Map<ICFGNode<N>,IResult<LE>> _lrb,
OP _l,
ICFGNode<N> _startNode,
ICFGNode<N> _endNode)
Creates copies of the given maps to encapsulate a new, un-modifiable result of an analysis. |
|
AnalysisResult(Map<N,Set<ICFGNode<N>>> _nm,
Map<ICFGNode<N>,IResult<LE>> _lra,
Map<ICFGNode<N>,IResult<LE>> _lrb,
OP _l,
ICFGNode<N> _startNode,
ICFGNode<N> _endNode)
Creates copies of the given maps to encapsulate a new, un-modifiable result of an analysis. |
|
AnalysisResult(Map<N,Set<ICFGNode<N>>> _nm,
Map<ICFGNode<N>,IResult<LE>> _lra,
Map<ICFGNode<N>,IResult<LE>> _lrb,
OP _l,
ICFGNode<N> _startNode,
ICFGNode<N> _endNode)
Creates copies of the given maps to encapsulate a new, un-modifiable result of an analysis. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |