Uses of Interface
tip.cfg.IProgramPoint

Packages that use IProgramPoint
tip.cfg Provides the basic framework for performing fixed-point analyses of TIP programs. 
tip.cfg.cfa Provides a collection of control flow analyses for TIP programs. 
tip.cfg.dfa Provides a collection of data flow analyses for TIP programs. 
tip.util Provides utility classes for the TIP compiler. 
 

Uses of IProgramPoint in tip.cfg
 

Classes in tip.cfg that implement IProgramPoint
 class AProgramPoint
          AProgramPoint implements the basic functionality of the generated program points.
 class CAssignPtrStmPoint
          CAssignPtrStmPoint is a program point in a control flow graph associated with a AAssignPtrStm.
 class CAssignVarStmPoint
          CAssignVarStmPoint is a program point in a control flow graph associated with a AAssignVarStm.
 class CBinopExpPoint
          CBinopExpPoint is a program point in a control flow graph associated with a ABinopExp.
 class CBlockPoint
          CBlockPoint is a program point in a control flow graph associated with a ABlock.
 class CDeclStmPoint
          CDeclStmPoint is a program point in a control flow graph associated with a ADeclStm.
 class CDerefExpPoint
          CDerefExpPoint is a program point in a control flow graph associated with a ADerefExp.
 class CFunctionCallExpPoint
          CFunctionCallExpPoint is a program point in a control flow graph associated with a AFunctionCallExp.
 class CFunctionPtrCallExpPoint
          CFunctionPtrCallExpPoint is a program point in a control flow graph associated with a AFunctionPtrCallExp.
 class CIfThenElseStmPoint
          CIfThenElseStmPoint is a program point in a control flow graph associated with a AIfThenElseStm.
 class CIfThenStmPoint
          CIfThenStmPoint is a program point in a control flow graph associated with a AIfThenStm.
 class CInputExpPoint
          CInputExpPoint is a program point in a control flow graph associated with a AInputExp.
 class CIntConstExpPoint
          CIntConstExpPoint is a program point in a control flow graph associated with a AIntConstExp.
 class CMallocExpPoint
          CMallocExpPoint is a program point in a control flow graph associated with a AMallocExp.
 class CNullExpPoint
          CNullExpPoint is a program point in a control flow graph associated with a ANullExp.
 class COutputStmPoint
          COutputStmPoint is a program point in a control flow graph associated with a AOutputStm.
 class CPointerExpPoint
          CPointerExpPoint is a program point in a control flow graph associated with a APointerExp.
 class CReturnStmPoint
          CReturnStmPoint is a program point in a control flow graph associated with a AReturnStm.
 class CVarExpPoint
          CVarExpPoint is a program point in a control flow graph associated with a AVarExp.
 class CWhileStmPoint
          CWhileStmPoint is a program point in a control flow graph associated with a AWhileStm.
 class EntryPoint
          EntryPoint represents the entry point of a control flow graph.
 class ExitPoint
          ExitPoint represents the exit point of a control flow graph.
 

Methods in tip.cfg that return IProgramPoint
 IProgramPoint IProgramPoint.clone()
          Returns a clone of the program point with no predecessors or successors.
 IProgramPoint ICFG.getEntry()
          Returns the entry point of the control flow graph.
 IProgramPoint CCFG.getEntry()
          Returns the entry point of the control flow graph.
 IProgramPoint ICFG.getExit()
          Returns the exit point of the control flow graph.
 IProgramPoint CCFG.getExit()
          Returns the exit point of the control flow graph.
 

Methods in tip.cfg that return types with arguments of type IProgramPoint
 Set<IProgramPoint> ForwardsStrategy.getDependencySet(IProgramPoint point)
          Returns the set of IProgramPoints that are dependent on point.
 Set<IProgramPoint> FlowAnalysis.getDependencySet(IProgramPoint point)
          Returns the set of IProgramPoints that depend upon point.
 Set<IProgramPoint> FixedPointAnalysis.getDependencySet(IProgramPoint point)
          Returns the set of IProgramPoints that depend upon point.
 Set<IProgramPoint> DependencyStrategy.getDependencySet(IProgramPoint point)
          Returns the set of IProgramPoints that are dependent on point.
 Set<IProgramPoint> BackwardsStrategy.getDependencySet(IProgramPoint point)
          Returns the set of IProgramPoints that are dependent on point.
 Set<IProgramPoint> ForwardsStrategy.getJoinSet(IProgramPoint point)
          Returns the set of IProgramPoints that are point depends upon.
 Set<IProgramPoint> DependencyStrategy.getJoinSet(IProgramPoint point)
          Returns the set of IProgramPoints that are point depends upon.
 Set<IProgramPoint> BackwardsStrategy.getJoinSet(IProgramPoint point)
          Returns the set of IProgramPoints that are point depends upon.
 Set<IProgramPoint> IProgramPoint.getPredecessors()
          Returns the set of predecessors to this program point.
 Set<IProgramPoint> AProgramPoint.getPredecessors()
          Returns the set of predecessors to this program point.
 Collection<IProgramPoint> ICFG.getProgramPoints()
          Returns the collection of program points in the control flow graph.
 Collection<IProgramPoint> CCFG.getProgramPoints()
          Returns the collection of program points in the control flow graph.
 Set<IProgramPoint> IProgramPoint.getSuccessors()
          Returns the set of successors to this program point.
 Set<IProgramPoint> AProgramPoint.getSuccessors()
          Returns the set of successors to this program point.
 Set<IProgramPoint> IProgramPoint.getVicinity(int distance)
          Returns the set of program points reachable from this point following at most distance successors or predecessors.
 Set<IProgramPoint> AProgramPoint.getVicinity(int distance)
          Returns the set of program points reachable from this point following at most distance successors or predecessors.
 

Methods in tip.cfg with parameters of type IProgramPoint
 void ICFG.add(IProgramPoint point)
          Adds the IProgramPoint point to the set of program points associated with this ICFG.
 void CCFG.add(IProgramPoint point)
          Adds the IProgramPoint point to the set of program points associated with this ICFG.
 void IProgramPoint.addPredecessor(IProgramPoint predecessor)
          Adds predecessor to the set of predecessors of this program point.
 void AProgramPoint.addPredecessor(IProgramPoint predecessor)
          Adds predecessor to the set of predecessors of this program point.
 void IProgramPoint.addSuccessor(IProgramPoint successor)
          Adds successor to the set of successors of this program point.
 void AProgramPoint.addSuccessor(IProgramPoint successor)
          Adds successor to the set of successors of this program point.
 boolean ICFG.containsProgramPoint(IProgramPoint point)
          Returns true if this ICFG contains the IProgramPoint point.
 boolean CCFG.containsProgramPoint(IProgramPoint point)
          Returns true if this ICFG contains the IProgramPoint point.
 A CFGAnswerAdapter.defaultNode(Node node, IProgramPoint point)
          Base implementation for all case-methods.
 boolean CFGAnalysisAdapter.defaultNode(Node node, IProgramPoint point)
          Base implementation for all case-methods.
 boolean FlowAnalysis.defaultNode(Node node, IProgramPoint point)
          Default implementation for program points: The variable for point is updated to be the join of the points in its dependency set.
 A CFGQuestionAnswerAdapter.defaultNode(Node node, IProgramPoint point, Q question)
          Base implementation for all case-methods.
 Set<IProgramPoint> ForwardsStrategy.getDependencySet(IProgramPoint point)
          Returns the set of IProgramPoints that are dependent on point.
 Set<IProgramPoint> FlowAnalysis.getDependencySet(IProgramPoint point)
          Returns the set of IProgramPoints that depend upon point.
 Set<IProgramPoint> FixedPointAnalysis.getDependencySet(IProgramPoint point)
          Returns the set of IProgramPoints that depend upon point.
 Set<IProgramPoint> DependencyStrategy.getDependencySet(IProgramPoint point)
          Returns the set of IProgramPoints that are dependent on point.
 Set<IProgramPoint> BackwardsStrategy.getDependencySet(IProgramPoint point)
          Returns the set of IProgramPoints that are dependent on point.
 Set<IProgramPoint> ForwardsStrategy.getJoinSet(IProgramPoint point)
          Returns the set of IProgramPoints that are point depends upon.
 Set<IProgramPoint> DependencyStrategy.getJoinSet(IProgramPoint point)
          Returns the set of IProgramPoints that are point depends upon.
 Set<IProgramPoint> BackwardsStrategy.getJoinSet(IProgramPoint point)
          Returns the set of IProgramPoints that are point depends upon.
 VariableType FlowAnalysis.getVariable(IProgramPoint point)
          Returns the (current) variable associated the point.
 VariableType FixedPointAnalysis.getVariable(IProgramPoint point)
          Returns the (current) variable associated with the point.
 String FlowAnalysis.getVariableStringForPoint(IProgramPoint point)
          Returns a textual representation of the variable for point.
 String FixedPointAnalysis.getVariableStringForPoint(IProgramPoint point)
          Returns a textual representation of the variable for point.
 String FlowAnalysis.getVariableStringForPoint(IProgramPoint point, int distance)
          Returns a textual representation of the variable for point only included information relevant for points in the distance vicinity of point.
 String FixedPointAnalysis.getVariableStringForPoint(IProgramPoint point, int distance)
          Returns a textual representation of the variable for point only including information relevant for points in the distance vicinity of point.
 void ICFG.insertAfter(IProgramPoint point, IProgramPoint newPoint)
          Inserts newPoint in the control flow graph after point.
 void CCFG.insertAfter(IProgramPoint point, IProgramPoint newPoint)
          Inserts newPoint in the control flow graph after point.
 void ICFG.insertBefore(IProgramPoint point, IProgramPoint newPoint)
          Inserts newPoint in the control flow graph before point.
 void CCFG.insertBefore(IProgramPoint point, IProgramPoint newPoint)
          Inserts newPoint in the control flow graph before point.
 Map<Target,Set<Target>> PointsToMap.pt(IProgramPoint point)
           
 Set<Target> PointsToMap.pt(IProgramPoint point, ALocalDecl decl)
          Returns the pointer targets for the variable decl at the program point point.
 void ICFG.remove(IProgramPoint point)
          Removes the IProgramPoint point from the set of program points associated with this ICFG.
 void CCFG.remove(IProgramPoint point)
          Removes the IProgramPoint point from the set of program points associated with this ICFG.
 void ICFG.removePoint(IProgramPoint point)
          Removes point from this control flow graph, updating the predecessors and successors of point to point to eachother.
 void CCFG.removePoint(IProgramPoint point)
          Removes point from this control flow graph, updating the predecessors and successors of point to point to eachother.
 void IProgramPoint.removePredecessor(IProgramPoint predecessor)
          Removes predecessor from the set of predecessors of this program point.
 void AProgramPoint.removePredecessor(IProgramPoint predecessor)
          Removes predecessor from the set of predecessors of this program point.
 void IProgramPoint.removeSuccessor(IProgramPoint successor)
          Removes successor to the set of successors of this program point.
 void AProgramPoint.removeSuccessor(IProgramPoint successor)
          Removes successor to the set of successors of this program point.
 void ICFG.replaceByCFG(IProgramPoint point, ICFG cfg)
          Replaces point with cfg in this control flow graph.
 void CCFG.replaceByCFG(IProgramPoint point, ICFG cfg)
          Replaces point with cfg in this control flow graph.
 void ICFG.replacePoint(IProgramPoint oldPoint, IProgramPoint newPoint)
          Replaces oldPoint with newPoint in this control flow graph.
 void CCFG.replacePoint(IProgramPoint oldPoint, IProgramPoint newPoint)
          Replaces oldPoint with newPoint in this control flow graph.
 void CCFG.setEntry(IProgramPoint point)
          Sets the entry point of the control flow graph.
 void CCFG.setExit(IProgramPoint point)
          Sets the exit point of the control flow graph.
 boolean FlowAnalysis.setVariable(IProgramPoint point, VariableType newVariable)
          Sets newVariable as the variable for point.
 

Constructor parameters in tip.cfg with type arguments of type IProgramPoint
CCFG(String name, List<IProgramPoint> pointList)
          Creates a new linear control flow graph from the list of program points.
 

Uses of IProgramPoint in tip.cfg.cfa
 

Methods in tip.cfg.cfa with parameters of type IProgramPoint
 Map<Target,Set<Target>> Steensgaard.pt(IProgramPoint point)
           
 Map<Target,Set<Target>> OneLevelFlow.pt(IProgramPoint point)
           
 Map<Target,Set<Target>> FunctionPointers.pt(IProgramPoint point)
           
 Map<Target,Set<Target>> Andersen.pt(IProgramPoint point)
           
 Set<Target> Steensgaard.pt(IProgramPoint point, ALocalDecl decl)
          Returns the pointer targets for the variable decl at the program point point as computed by Steensgaard's algorithm.
 Set<Target> OneLevelFlow.pt(IProgramPoint point, ALocalDecl decl)
          Returns the pointer targets for the variable decl at the program point point as computed by Steensgaard's algorithm.
 Set<Target> FunctionPointers.pt(IProgramPoint point, ALocalDecl decl)
          Returns the pointer targets for the variable decl at the program point point as computed by the algorithm.
 Set<Target> Andersen.pt(IProgramPoint point, ALocalDecl decl)
          Returns the pointer targets for the variable decl at the program point point as computed by Andersen's algorithm.
 

Uses of IProgramPoint in tip.cfg.dfa
 

Methods in tip.cfg.dfa with parameters of type IProgramPoint
 boolean IntervalAnalysis.defaultNode(Node node, IProgramPoint point)
           
 boolean DivisionAnalysis.defaultNode(Node node, IProgramPoint point)
           
 String IntervalAnalysis.getVariableStringForPoint(IProgramPoint point, int distance)
           
 String ConstantPropagationAnalysis.getVariableStringForPoint(IProgramPoint point, int distance)
           
 Map<Target,Set<Target>> ShapeAnalysis.pt(IProgramPoint point)
           
 Set<Target> ShapeAnalysis.pt(IProgramPoint point, ALocalDecl decl)
           
 

Uses of IProgramPoint in tip.util
 

Methods in tip.util with parameters of type IProgramPoint
 Collection<T> SubExpressions.defaultNode(Node node, IProgramPoint point)
          Returns all child nodes of node accepted by the filter.
 

Method parameters in tip.util with type arguments of type IProgramPoint
static Collection<PDecl> DeclCollector.collectDecls(Collection<IProgramPoint> points)
          Collects all PDecl nodes referred to in the subtrees of nodes associated with the program points in the set of points.
static Collection<ALocalDecl> LocalDeclCollector.collectLocalDecls(Collection<IProgramPoint> points)
          Collects all ALocalDecl nodes referred to in the subtrees of nodes associated with the program points in the set of points.