Uses of Class
tip.node.ALocalDecl

Packages that use ALocalDecl
tip.analysis Provides the analysis utility classes for the TIP ASTs. 
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.display Provides classes for display ASTs and CFGs of TIP programs. 
tip.node Provides node classes for representing the TIP ASTs. 
tip.phases Provides the TIP compiler phases. 
tip.util Provides utility classes for the TIP compiler. 
 

Uses of ALocalDecl in tip.analysis
 

Methods in tip.analysis with parameters of type ALocalDecl
 void ReversedDepthFirstAdapter.caseALocalDecl(ALocalDecl node)
          Calls ReversedDepthFirstAdapter.inALocalDecl(ALocalDecl), traverses the children of ALocalDecl in the reverse order of the order they are defined in the grammar, and finally calls ReversedDepthFirstAdapter.outALocalDecl(ALocalDecl).
 void DepthFirstAdapter.caseALocalDecl(ALocalDecl node)
          Calls DepthFirstAdapter.inALocalDecl(ALocalDecl), traverses the children of ALocalDecl in the order they are defined in the grammar, and finally calls DepthFirstAdapter.outALocalDecl(ALocalDecl).
 A AnswerAdapter.caseALocalDecl(ALocalDecl node)
          Returns the default answer for a ALocalDecl node.
 A Answer.caseALocalDecl(ALocalDecl node)
          Called by ALocalDecl from apply(Answer).
 void AnalysisAdapter.caseALocalDecl(ALocalDecl node)
          Called by the ALocalDecl node from ALocalDecl#apply(Switch).
 void Analysis.caseALocalDecl(ALocalDecl node)
          Called by the ALocalDecl node from ALocalDecl#apply(Switch).
 A QuestionAnswerAdapter.caseALocalDecl(ALocalDecl node, Q question)
          Returns the default answer for a ALocalDecl node.
 A QuestionAnswer.caseALocalDecl(ALocalDecl node, Q question)
          Called by ALocalDecl from apply(QuestionAnswer,Object).
 void QuestionAdapter.caseALocalDecl(ALocalDecl node, Q question)
          Action for applying a question to a ALocalDecl node.
 void Question.caseALocalDecl(ALocalDecl node, Q question)
          Called by ALocalDecl from apply(Question,Object).
 void ReversedDepthFirstAdapter.inALocalDecl(ALocalDecl node)
          Called by ReversedDepthFirstAdapter.caseALocalDecl(ALocalDecl) before traversing the children of ALocalDecl.
 void DepthFirstAdapter.inALocalDecl(ALocalDecl node)
          Called by DepthFirstAdapter.caseALocalDecl(ALocalDecl) before traversing the children of ALocalDecl.
 void ReversedDepthFirstAdapter.outALocalDecl(ALocalDecl node)
          Called by ReversedDepthFirstAdapter.caseALocalDecl(ALocalDecl) after traversing the children of ALocalDecl.
 void DepthFirstAdapter.outALocalDecl(ALocalDecl node)
          Called by DepthFirstAdapter.caseALocalDecl(ALocalDecl) after traversing the children of ALocalDecl.
 

Uses of ALocalDecl in tip.cfg
 

Methods in tip.cfg with parameters of type ALocalDecl
 Set<Target> PointsToMap.pt(IProgramPoint point, ALocalDecl decl)
          Returns the pointer targets for the variable decl at the program point point.
 

Uses of ALocalDecl in tip.cfg.cfa
 

Methods in tip.cfg.cfa with parameters of type ALocalDecl
 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 ALocalDecl in tip.cfg.dfa
 

Methods in tip.cfg.dfa that return types with arguments of type ALocalDecl
 MapLattice<ALocalDecl,NullPointerAnalysis.Null> NullPointerAnalysis.createLattice(ICFG cfg)
           
 

Methods in tip.cfg.dfa with parameters of type ALocalDecl
 Set<Target> ShapeAnalysis.pt(IProgramPoint point, ALocalDecl decl)
           
 

Method parameters in tip.cfg.dfa with type arguments of type ALocalDecl
 IntervalAnalysis.Interval IntervalAnalysis.Evaluator.caseABinopExp(ABinopExp binopExp, EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma)
           
 SignAnalysis.Sign SignAnalysis.Evaluator.caseABinopExp(ABinopExp node, EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
           
 ConstantPropagationAnalysis.Const ConstantPropagationAnalysis.Evaluator.caseABinopExp(ABinopExp e, Map<ALocalDecl,ConstantPropagationAnalysis.Const> env)
           
 IntervalAnalysis.Interval IntervalAnalysis.Evaluator.caseAIntConstExp(AIntConstExp node, EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma)
           
 SignAnalysis.Sign SignAnalysis.Evaluator.caseAIntConstExp(AIntConstExp node, EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
           
 ConstantPropagationAnalysis.Const ConstantPropagationAnalysis.Evaluator.caseAIntConstExp(AIntConstExp e, Map<ALocalDecl,ConstantPropagationAnalysis.Const> env)
           
 IntervalAnalysis.Interval IntervalAnalysis.Evaluator.caseAVarExp(AVarExp varExp, EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma)
           
 SignAnalysis.Sign SignAnalysis.Evaluator.caseAVarExp(AVarExp node, EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
           
 ConstantPropagationAnalysis.Const ConstantPropagationAnalysis.Evaluator.caseAVarExp(AVarExp e, Map<ALocalDecl,ConstantPropagationAnalysis.Const> env)
           
 IntervalAnalysis.Interval IntervalAnalysis.Evaluator.defaultNode(Node node, EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma)
           
 SignAnalysis.Sign SignAnalysis.Evaluator.defaultNode(Node node, EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
           
 ConstantPropagationAnalysis.Const ConstantPropagationAnalysis.Evaluator.defaultNode(Node node, Map<ALocalDecl,ConstantPropagationAnalysis.Const> env)
           
 IntervalAnalysis.Interval IntervalAnalysis.eval(EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma, PExp exp)
           
 String ConstantPropagationAnalysis.getVariableString(EqualityMap<ALocalDecl,ConstantPropagationAnalysis.Const> variable)
           
 String IntervalAnalysis.getVariableString(EqualityMap<ALocalDecl,IntervalAnalysis.Interval> variable)
           
 String NullPointerAnalysis.getVariableString(EqualityMap<ALocalDecl,NullPointerAnalysis.Null> variable)
           
 String SignAnalysis.getVariableString(EqualityMap<ALocalDecl,SignAnalysis.Sign> variable)
           
 String LivenessAnalysis.getVariableString(EqualitySet<ALocalDecl> variable)
          Returns a textual representation of variable.
 

Uses of ALocalDecl in tip.display
 

Methods in tip.display with parameters of type ALocalDecl
 String NodeText.caseALocalDecl(ALocalDecl node)
           
 

Uses of ALocalDecl in tip.node
 

Methods in tip.node that return ALocalDecl
 ALocalDecl ALocalDecl.clone()
          Returns a deep clone of this ALocalDecl node.
 ALocalDecl ALocalDecl.clone(Map<Node,Node> oldToNewMap)
          Creates a deep clone of this ALocalDecl node while putting all old node-new node relations in the map oldToNewMap.
 

Methods in tip.node that return types with arguments of type ALocalDecl
 LinkedList<ALocalDecl> ADeclStm.getDecl()
          Returns the possibly empty list of ALocalDecl nodes that are the decl children of this ADeclStm node.
 LinkedList<ALocalDecl> AFuncDecl.getFormals()
          Returns the possibly empty list of ALocalDecl nodes that are the formals children of this AFuncDecl node.
abstract  Map<String,ALocalDecl> PBlock.getLocalEnv()
          Returns the local_env field of this PBlock node.
 Map<String,ALocalDecl> ABlock.getLocalEnv()
          Returns the local_env field of this ABlock node.
 

Method parameters in tip.node with type arguments of type ALocalDecl
 void ADeclStm.setDecl(List<? extends ALocalDecl> value)
          Sets the decl children of this ADeclStm node.
 void AFuncDecl.setFormals(List<? extends ALocalDecl> value)
          Sets the formals children of this AFuncDecl node.
abstract  void PBlock.setLocalEnv(Map<String,ALocalDecl> value)
          Sets the local_env field of this PBlock node.
 void ABlock.setLocalEnv(Map<String,ALocalDecl> value)
          Sets the local_env field of this ABlock node.
 

Constructor parameters in tip.node with type arguments of type ALocalDecl
ABlock(List<? extends PStm> _statements_, Map<String,ALocalDecl> _local_env_)
          Creates a new ABlock node with the given nodes as children.
ADeclStm(TVar _token_, List<? extends ALocalDecl> _decl_)
          Creates a new ADeclStm node with the given nodes as children.
AFuncDecl(TIdentifier _name_, List<? extends ALocalDecl> _formals_, ABody _body_)
          Creates a new AFuncDecl node with the given nodes as children.
AFuncDecl(TIdentifier _name_, List<? extends ALocalDecl> _formals_, ABody _body_, int _num_locals_, int _num_args_, int _index_)
          Creates a new AFuncDecl node with the given nodes as children.
 

Uses of ALocalDecl in tip.phases
 

Methods in tip.phases with parameters of type ALocalDecl
 void Resources.inALocalDecl(ALocalDecl local)
           
 void NameLinking.inALocalDecl(ALocalDecl node)
           
 void Environments.inALocalDecl(ALocalDecl node)
           
 

Uses of ALocalDecl in tip.util
 

Methods in tip.util that return types with arguments of type ALocalDecl
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.
static Collection<ALocalDecl> LocalDeclCollector.collectLocalDecls(ICFG cfg)
          Collects all ALocalDecl nodes referred to in the subtrees of nodes associated with the program points in the control flow graph cfg.
static Collection<ALocalDecl> LocalDeclCollector.collectLocalDecls(Node node)
          Collects all ALocalDecl nodes referred to in the subtree of node.
 

Methods in tip.util with parameters of type ALocalDecl
 void LocalDeclCollector.caseALocalDecl(ALocalDecl node)
          Adds the ALocalDecl node to the collection.