A B C D E F G H I J K L M N O P Q R S T U V W _

D

DEBUG - Static variable in class tip.cfg.cfa.Interprocedural
 
DEBUG - Static variable in class tip.cfg.cfa.OneLevelFlow
 
DEBUG - Static variable in class tip.cfg.cfa.Steensgaard
 
DeclarationTarget - Class in tip.cfg
DeclarationTarget represents the pointer target of a declaration (both function and variable declarations).
DeclarationTarget(PDecl) - Constructor for class tip.cfg.DeclarationTarget
Creates a new DeclarationTarget pointing to decl.
DeclCollector - Class in tip.util
DeclCollector defines methods for collecting all referred PDecl nodes in the subtree of an AST node or in the subtrees of nodes associated with points in a control flow graph.
DeclCollector() - Constructor for class tip.util.DeclCollector
 
defaultIn(Node) - Method in class tip.analysis.DepthFirstAdapter
Default case for in-calls.
defaultIn(Node) - Method in class tip.analysis.ReversedDepthFirstAdapter
Default case for in-calls.
defaultIn(Node) - Method in class tip.analysis.TreeDisplay
 
defaultIn(Node) - Method in class tip.display.ASTDisplay
As we come across nonterminals, push them onto the stack
defaultInPBinop(PBinop) - Method in class tip.analysis.DepthFirstAdapter
Default case for in-calls from PBinop nodes.
defaultInPBinop(PBinop) - Method in class tip.analysis.ReversedDepthFirstAdapter
Default case for in-calls from PBinop nodes.
defaultInPBlock(PBlock) - Method in class tip.analysis.DepthFirstAdapter
Default case for in-calls from PBlock nodes.
defaultInPBlock(PBlock) - Method in class tip.analysis.ReversedDepthFirstAdapter
Default case for in-calls from PBlock nodes.
defaultInPBody(PBody) - Method in class tip.analysis.DepthFirstAdapter
Default case for in-calls from PBody nodes.
defaultInPBody(PBody) - Method in class tip.analysis.ReversedDepthFirstAdapter
Default case for in-calls from PBody nodes.
defaultInPDecl(PDecl) - Method in class tip.analysis.DepthFirstAdapter
Default case for in-calls from PDecl nodes.
defaultInPDecl(PDecl) - Method in class tip.analysis.ReversedDepthFirstAdapter
Default case for in-calls from PDecl nodes.
defaultInPDecl(PDecl) - Method in class tip.util.DeclCollector
Adds the PDecl node to the collection.
defaultInPExp(PExp) - Method in class tip.analysis.DepthFirstAdapter
Default case for in-calls from PExp nodes.
defaultInPExp(PExp) - Method in class tip.analysis.ReversedDepthFirstAdapter
Default case for in-calls from PExp nodes.
defaultInPProgram(PProgram) - Method in class tip.analysis.DepthFirstAdapter
Default case for in-calls from PProgram nodes.
defaultInPProgram(PProgram) - Method in class tip.analysis.ReversedDepthFirstAdapter
Default case for in-calls from PProgram nodes.
defaultInPStm(PStm) - Method in class tip.analysis.DepthFirstAdapter
Default case for in-calls from PStm nodes.
defaultInPStm(PStm) - Method in class tip.analysis.ReversedDepthFirstAdapter
Default case for in-calls from PStm nodes.
defaultNode(Node) - Method in class tip.analysis.AnalysisAdapter
Base case for all nodes.
defaultNode(Node) - Method in class tip.analysis.AnswerAdapter
Returns the default answer for a Node.
defaultNode(Node, Q) - Method in class tip.analysis.QuestionAdapter
Default action for a question to a Node.
defaultNode(Node, Q) - Method in class tip.analysis.QuestionAnswerAdapter
Returns the default answer for a Node.
defaultNode(Node, IProgramPoint) - Method in class tip.cfg.CFGAnalysisAdapter
Base implementation for all case-methods.
defaultNode(Node, IProgramPoint) - Method in class tip.cfg.CFGAnswerAdapter
Base implementation for all case-methods.
defaultNode(Node, IProgramPoint, Q) - Method in class tip.cfg.CFGQuestionAnswerAdapter
Base implementation for all case-methods.
defaultNode(Node, Map<ALocalDecl, ConstantPropagationAnalysis.Const>) - Method in class tip.cfg.dfa.ConstantPropagationAnalysis.Evaluator
 
defaultNode(Node, IProgramPoint) - Method in class tip.cfg.dfa.DivisionAnalysis
 
defaultNode(Node, IProgramPoint) - Method in class tip.cfg.dfa.IntervalAnalysis
 
defaultNode(Node, EqualityMap<ALocalDecl, IntervalAnalysis.Interval>) - Method in class tip.cfg.dfa.IntervalAnalysis.Evaluator
 
defaultNode(Node, EqualityMap<ALocalDecl, SignAnalysis.Sign>) - Method in class tip.cfg.dfa.SignAnalysis.Evaluator
 
defaultNode(Node, IProgramPoint) - Method in class tip.cfg.FlowAnalysis
Default implementation for program points: The variable for point is updated to be the join of the points in its dependency set.
defaultNode(Node) - Method in class tip.display.NodeText
 
defaultNode(Node, IProgramPoint) - Method in class tip.util.SubExpressions
Returns all child nodes of node accepted by the filter.
defaultOut(Node) - Method in class tip.analysis.DepthFirstAdapter
Default case for out-calls.
defaultOut(Node) - Method in class tip.analysis.ReversedDepthFirstAdapter
Default case for out-calls.
defaultOut(Node) - Method in class tip.analysis.TreeDisplay
 
defaultOut(Node) - Method in class tip.display.ASTDisplay
As we leave a non terminal, it's parent is the node before it on the stack, so we pop it off and add it to that node
defaultOutPBinop(PBinop) - Method in class tip.analysis.DepthFirstAdapter
Default case for out-calls from PBinop nodes.
defaultOutPBinop(PBinop) - Method in class tip.analysis.ReversedDepthFirstAdapter
Default case for out-calls from PBinop nodes.
defaultOutPBlock(PBlock) - Method in class tip.analysis.DepthFirstAdapter
Default case for out-calls from PBlock nodes.
defaultOutPBlock(PBlock) - Method in class tip.analysis.ReversedDepthFirstAdapter
Default case for out-calls from PBlock nodes.
defaultOutPBody(PBody) - Method in class tip.analysis.DepthFirstAdapter
Default case for out-calls from PBody nodes.
defaultOutPBody(PBody) - Method in class tip.analysis.ReversedDepthFirstAdapter
Default case for out-calls from PBody nodes.
defaultOutPDecl(PDecl) - Method in class tip.analysis.DepthFirstAdapter
Default case for out-calls from PDecl nodes.
defaultOutPDecl(PDecl) - Method in class tip.analysis.ReversedDepthFirstAdapter
Default case for out-calls from PDecl nodes.
defaultOutPExp(PExp) - Method in class tip.analysis.DepthFirstAdapter
Default case for out-calls from PExp nodes.
defaultOutPExp(PExp) - Method in class tip.analysis.ReversedDepthFirstAdapter
Default case for out-calls from PExp nodes.
defaultOutPExp(PExp) - Method in class tip.display.TypeCheckingDisplay
 
defaultOutPProgram(PProgram) - Method in class tip.analysis.DepthFirstAdapter
Default case for out-calls from PProgram nodes.
defaultOutPProgram(PProgram) - Method in class tip.analysis.ReversedDepthFirstAdapter
Default case for out-calls from PProgram nodes.
defaultOutPStm(PStm) - Method in class tip.analysis.DepthFirstAdapter
Default case for out-calls from PStm nodes.
defaultOutPStm(PStm) - Method in class tip.analysis.ReversedDepthFirstAdapter
Default case for out-calls from PStm nodes.
defaultPBinop(PBinop) - Method in class tip.analysis.AnalysisAdapter
Base case for all PBinop nodes.
defaultPBinop(PBinop) - Method in class tip.analysis.AnswerAdapter
Returns the default answer for a PBinop node.
defaultPBinop(PBinop) - Method in class tip.analysis.DepthFirstAdapter
Not invoked since #casePBinop(PBinop) is overridden.
defaultPBinop(PBinop, Q) - Method in class tip.analysis.QuestionAdapter
Action for applying a question to a PBinop node.
defaultPBinop(PBinop, Q) - Method in class tip.analysis.QuestionAnswerAdapter
Returns the default answer for a PBinop node.
defaultPBinop(PBinop) - Method in class tip.analysis.ReversedDepthFirstAdapter
Not invoked since #casePBinop(PBinop) is overridden.
defaultPBinop(PBinop) - Method in class tip.display.NodeText
 
defaultPBlock(PBlock) - Method in class tip.analysis.AnalysisAdapter
Base case for all PBlock nodes.
defaultPBlock(PBlock) - Method in class tip.analysis.AnswerAdapter
Returns the default answer for a PBlock node.
defaultPBlock(PBlock) - Method in class tip.analysis.DepthFirstAdapter
Not invoked since #casePBlock(PBlock) is overridden.
defaultPBlock(PBlock, Q) - Method in class tip.analysis.QuestionAdapter
Action for applying a question to a PBlock node.
defaultPBlock(PBlock, Q) - Method in class tip.analysis.QuestionAnswerAdapter
Returns the default answer for a PBlock node.
defaultPBlock(PBlock) - Method in class tip.analysis.ReversedDepthFirstAdapter
Not invoked since #casePBlock(PBlock) is overridden.
defaultPBody(PBody) - Method in class tip.analysis.AnalysisAdapter
Base case for all PBody nodes.
defaultPBody(PBody) - Method in class tip.analysis.AnswerAdapter
Returns the default answer for a PBody node.
defaultPBody(PBody) - Method in class tip.analysis.DepthFirstAdapter
Not invoked since #casePBody(PBody) is overridden.
defaultPBody(PBody, Q) - Method in class tip.analysis.QuestionAdapter
Action for applying a question to a PBody node.
defaultPBody(PBody, Q) - Method in class tip.analysis.QuestionAnswerAdapter
Returns the default answer for a PBody node.
defaultPBody(PBody) - Method in class tip.analysis.ReversedDepthFirstAdapter
Not invoked since #casePBody(PBody) is overridden.
defaultPDecl(PDecl) - Method in class tip.analysis.AnalysisAdapter
Base case for all PDecl nodes.
defaultPDecl(PDecl) - Method in class tip.analysis.AnswerAdapter
Returns the default answer for a PDecl node.
defaultPDecl(PDecl) - Method in class tip.analysis.DepthFirstAdapter
Not invoked since #casePDecl(PDecl) is overridden.
defaultPDecl(PDecl, Q) - Method in class tip.analysis.QuestionAdapter
Action for applying a question to a PDecl node.
defaultPDecl(PDecl, Q) - Method in class tip.analysis.QuestionAnswerAdapter
Returns the default answer for a PDecl node.
defaultPDecl(PDecl) - Method in class tip.analysis.ReversedDepthFirstAdapter
Not invoked since #casePDecl(PDecl) is overridden.
defaultPExp(PExp) - Method in class tip.analysis.AnalysisAdapter
Base case for all PExp nodes.
defaultPExp(PExp) - Method in class tip.analysis.AnswerAdapter
Returns the default answer for a PExp node.
defaultPExp(PExp) - Method in class tip.analysis.DepthFirstAdapter
Not invoked since #casePExp(PExp) is overridden.
defaultPExp(PExp, Q) - Method in class tip.analysis.QuestionAdapter
Action for applying a question to a PExp node.
defaultPExp(PExp, Q) - Method in class tip.analysis.QuestionAnswerAdapter
Returns the default answer for a PExp node.
defaultPExp(PExp) - Method in class tip.analysis.ReversedDepthFirstAdapter
Not invoked since #casePExp(PExp) is overridden.
defaultPProgram(PProgram) - Method in class tip.analysis.AnalysisAdapter
Base case for all PProgram nodes.
defaultPProgram(PProgram) - Method in class tip.analysis.AnswerAdapter
Returns the default answer for a PProgram node.
defaultPProgram(PProgram) - Method in class tip.analysis.DepthFirstAdapter
Not invoked since #casePProgram(PProgram) is overridden.
defaultPProgram(PProgram, Q) - Method in class tip.analysis.QuestionAdapter
Action for applying a question to a PProgram node.
defaultPProgram(PProgram, Q) - Method in class tip.analysis.QuestionAnswerAdapter
Returns the default answer for a PProgram node.
defaultPProgram(PProgram) - Method in class tip.analysis.ReversedDepthFirstAdapter
Not invoked since #casePProgram(PProgram) is overridden.
defaultPStm(PStm) - Method in class tip.analysis.AnalysisAdapter
Base case for all PStm nodes.
defaultPStm(PStm) - Method in class tip.analysis.AnswerAdapter
Returns the default answer for a PStm node.
defaultPStm(PStm) - Method in class tip.analysis.DepthFirstAdapter
Not invoked since #casePStm(PStm) is overridden.
defaultPStm(PStm, Q) - Method in class tip.analysis.QuestionAdapter
Action for applying a question to a PStm node.
defaultPStm(PStm, Q) - Method in class tip.analysis.QuestionAnswerAdapter
Returns the default answer for a PStm node.
defaultPStm(PStm) - Method in class tip.analysis.ReversedDepthFirstAdapter
Not invoked since #casePStm(PStm) is overridden.
DefaultStringifier<T> - Class in tip.util
DefaultStringifier implements the Stringifier by calling the Object.toString() method.
DefaultStringifier() - Constructor for class tip.util.DefaultStringifier
 
defaultToken(Token) - Method in class tip.analysis.AnalysisAdapter
Base case for all tokens.
defaultToken(Token) - Method in class tip.analysis.AnswerAdapter
Returns the default answer for a Token.
defaultToken(Token, Q) - Method in class tip.analysis.QuestionAdapter
Default action for a question to a Token.
defaultToken(Token, Q) - Method in class tip.analysis.QuestionAnswerAdapter
Returns the default answer for a Token.
defaultToken(Token) - Method in class tip.analysis.TreeDisplay
 
defaultToken(Token) - Method in class tip.display.ASTDisplay
Terminals - our parent is always on the top of the stack, so we add ourselves to it
DependencyStrategy - Interface in tip.cfg
The DependencyStrategy interface defines the necessary method to abstract forwards and backwards dependency in a FlowAnalysis.
DepthFirstAdapter - Class in tip.analysis
DepthFirstAdapter extends the AnalysisAdapter to provide a forward depth-first traversal of the AST.
DepthFirstAdapter() - Constructor for class tip.analysis.DepthFirstAdapter
 
deref(int) - Method in class tip.vm.TipVm
 
displayCFGs(ICFGCollection, NodeText<Node>, Collection<FixedPointAnalysis<?>>, Collection<PointsToMap>, int) - Static method in class tip.display.CFGDisplay
 
DIVIDE_op - Static variable in class tip.cfg.dfa.SignAnalysis
 
DivisionAnalysis - Class in tip.cfg.dfa
 
DivisionAnalysis() - Constructor for class tip.cfg.dfa.DivisionAnalysis
 
DivisionAnalysis.Div - Enum in tip.cfg.dfa
 

A B C D E F G H I J K L M N O P Q R S T U V W _