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

G

genCode() - Method in class tip.instructions.Iadd
 
genCode() - Method in class tip.instructions.Iaload
 
genCode() - Method in class tip.instructions.Icall
 
genCode() - Method in class tip.instructions.Icall_indirect
 
genCode() - Method in class tip.instructions.Ideref
 
genCode() - Method in class tip.instructions.Idiv
 
genCode() - Method in class tip.instructions.Igoto
 
genCode() - Method in class tip.instructions.Iifcmp_eq
 
genCode() - Method in class tip.instructions.Iifcmp_gt
 
genCode() - Method in class tip.instructions.Iifeq
 
genCode() - Method in class tip.instructions.Iifne
 
genCode() - Method in class tip.instructions.Iinput
 
genCode() - Method in class tip.instructions.Ilabel
 
genCode() - Method in class tip.instructions.Iload
 
genCode() - Method in class tip.instructions.Iloadc
 
genCode() - Method in class tip.instructions.Imalloc
 
genCode() - Method in class tip.instructions.Imload
 
genCode() - Method in class tip.instructions.Imstore
 
genCode() - Method in class tip.instructions.Imul
 
genCode() - Method in class tip.instructions.Instruction
 
genCode() - Method in class tip.instructions.Ioutput
 
genCode() - Method in class tip.instructions.Ireturn
 
genCode() - Method in class tip.instructions.Istore
 
genCode() - Method in class tip.instructions.Isub
 
get(Object) - Method in class tip.util.EqualityMap
getAncestor(NodeFilter<T>) - Method in class tip.node.Node
Returns the nearest ancestor of this node (including itself) which is accepted by the NodeFilter filter.
getAncestor(Class<T>) - Method in class tip.node.Node
Returns the nearest ancestor of this node (including itself) which is a subclass of classType.
getAncestor(Class<T>, Class<? extends NodeInterface>) - Method in class tip.node.Node
Returns the nearest ancestor of this node (including itself) which is a subclass of classType.
getAncestor(NodeFilter<T>) - Method in interface tip.node.NodeInterface
Returns the nearest ancestor of this node (including itself) which is accepted by the NodeFilter filter.
getAncestor(Class<T>) - Method in interface tip.node.NodeInterface
Returns the nearest ancestor of this node (including itself) which is a subclass of classType.
getAncestor(Class<T>, Class<? extends NodeInterface>) - Method in interface tip.node.NodeInterface
Returns the nearest ancestor of this node (including itself) which is a subclass of classType.
getArgs() - Method in class tip.node.AFunctionCallExp
Returns the possibly empty list of PExp nodes that are the args children of this AFunctionCallExp node.
getArgs() - Method in class tip.node.AFunctionPtrCallExp
Returns the possibly empty list of PExp nodes that are the args children of this AFunctionPtrCallExp node.
getArgTypes() - Method in class tip.types.Function
 
getBinop() - Method in class tip.node.ABinopExp
Returns the PBinop node which is the binop child of this ABinopExp node.
getBlock() - Method in class tip.node.ABlockStm
Returns the ABlock node which is the block child of this ABlockStm node.
getBlock() - Method in class tip.node.ABody
Returns the ABlock node which is the block child of this ABody node.
getBlock() - Method in class tip.node.PBody
Returns the ABlock node which is the block child of this PBody node.
getBody() - Method in class tip.node.AFuncDecl
Returns the ABody node which is the body child of this AFuncDecl node.
getBody() - Method in class tip.node.AIfThenStm
Returns the PStm node which is the body child of this AIfThenStm node.
getBody() - Method in class tip.node.AWhileStm
Returns the PStm node which is the body child of this AWhileStm node.
getCFG(String) - Method in class tip.cfg.CCFGCollection
Returns the control flow graph in this collection with the given name.
getCFG(String) - Method in interface tip.cfg.ICFGCollection
Returns the control flow graph in this collection with the given name.
getCFGs() - Method in class tip.cfg.CCFGCollection
Returns the collection of control flow graphs in this collection.
getCFGs() - Method in interface tip.cfg.ICFGCollection
Returns the collection of control flow graphs in this collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.AAssignPtrStm
Adds all children of this AAssignPtrStm node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.AAssignVarStm
Adds all children of this AAssignVarStm node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.ABinopExp
Adds all children of this ABinopExp node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.ABlock
Adds all children of this ABlock node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.ABlockStm
Adds all children of this ABlockStm node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.ABody
Adds all children of this ABody node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.ADeclStm
Adds all children of this ADeclStm node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.ADerefExp
Adds all children of this ADerefExp node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.ADivideBinop
Adds all children of this ADivideBinop node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.AEqBinop
Adds all children of this AEqBinop node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.AFuncDecl
Adds all children of this AFuncDecl node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.AFunctionCallExp
Adds all children of this AFunctionCallExp node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.AFunctionPtrCallExp
Adds all children of this AFunctionPtrCallExp node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.AGtBinop
Adds all children of this AGtBinop node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.AIfThenElseStm
Adds all children of this AIfThenElseStm node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.AIfThenStm
Adds all children of this AIfThenStm node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.AInputExp
Adds all children of this AInputExp node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.AIntConstExp
Adds all children of this AIntConstExp node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.ALocalDecl
Adds all children of this ALocalDecl node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.AMallocExp
Adds all children of this AMallocExp node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.AMinusBinop
Adds all children of this AMinusBinop node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.ANullExp
Adds all children of this ANullExp node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.AOutputStm
Adds all children of this AOutputStm node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.APlusBinop
Adds all children of this APlusBinop node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.APointerExp
Adds all children of this APointerExp node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.AProgram
Adds all children of this AProgram node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.AReturnStm
Adds all children of this AReturnStm node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.ATimesBinop
Adds all children of this ATimesBinop node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.AVarExp
Adds all children of this AVarExp node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.AWhileStm
Adds all children of this AWhileStm node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.Node
Adds all children of this Node node that are accepted by the NodeFilter filter to collection.
getChildren(NodeFilter<T>) - Method in class tip.node.Node
Returns the collection of children to this node which are accepted by the NodeFilter filter.
getChildren(Class<T>) - Method in class tip.node.Node
Returns the collection of children to this node which are subtypes of classType.
getChildren(Collection<T>, NodeFilter<T>) - Method in interface tip.node.NodeInterface
Adds all children of this NodeInterface node that are accepted by the NodeFilter filter to collection.
getChildren(NodeFilter<T>) - Method in interface tip.node.NodeInterface
Returns the collection of children to this node which are accepted by the NodeFilter filter.
getChildren(Class<T>) - Method in interface tip.node.NodeInterface
Returns the collection of children to this node which are subtypes of classType.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.Start
Adds all children of this Start node that are accepted by the NodeFilter filter to collection.
getChildren(Collection<T>, NodeFilter<T>) - Method in class tip.node.Token
Adds all children of this Token node that are accepted by the NodeFilter filter to collection.
getCode() - Method in class tip.node.AProgram
Returns the code field of this AProgram node.
getCode() - Method in class tip.node.PProgram
Returns the code field of this PProgram node.
getCodeSize() - Method in class tip.instructions.Iadd
 
getCodeSize() - Method in class tip.instructions.Iaload
 
getCodeSize() - Method in class tip.instructions.Icall
 
getCodeSize() - Method in class tip.instructions.Icall_indirect
 
getCodeSize() - Method in class tip.instructions.Ideref
 
getCodeSize() - Method in class tip.instructions.Idiv
 
getCodeSize() - Method in class tip.instructions.Igoto
 
getCodeSize() - Method in class tip.instructions.Iifcmp_eq
 
getCodeSize() - Method in class tip.instructions.Iifcmp_gt
 
getCodeSize() - Method in class tip.instructions.Iifeq
 
getCodeSize() - Method in class tip.instructions.Iifne
 
getCodeSize() - Method in class tip.instructions.Iinput
 
getCodeSize() - Method in class tip.instructions.Ilabel
 
getCodeSize() - Method in class tip.instructions.Iload
 
getCodeSize() - Method in class tip.instructions.Iloadc
 
getCodeSize() - Method in class tip.instructions.Imalloc
 
getCodeSize() - Method in class tip.instructions.Imload
 
getCodeSize() - Method in class tip.instructions.Imstore
 
getCodeSize() - Method in class tip.instructions.Imul
 
getCodeSize() - Method in class tip.instructions.Instruction
 
getCodeSize() - Method in class tip.instructions.Ioutput
 
getCodeSize() - Method in class tip.instructions.Ireturn
 
getCodeSize() - Method in class tip.instructions.Istore
 
getCodeSize() - Method in class tip.instructions.Isub
 
getCollection() - Method in class tip.cfg.UnionFind
 
getCondition() - Method in class tip.node.AIfThenElseStm
Returns the PExp node which is the condition child of this AIfThenElseStm node.
getCondition() - Method in class tip.node.AIfThenStm
Returns the PExp node which is the condition child of this AIfThenStm node.
getCondition() - Method in class tip.node.AWhileStm
Returns the PExp node which is the condition child of this AWhileStm node.
getDecl() - Method in class tip.node.ADeclStm
Returns the possibly empty list of ALocalDecl nodes that are the decl children of this ADeclStm node.
getDecl() - Method in class tip.node.TIdentifier
Returns the decl field of this TIdentifier node.
getDeclared() - Method in class tip.node.ALocalDecl
Returns the declared field of this ALocalDecl node.
getDependencySet(IProgramPoint) - Method in class tip.cfg.BackwardsStrategy
Returns the set of IProgramPoints that are dependent on point.
getDependencySet(IProgramPoint) - Method in interface tip.cfg.DependencyStrategy
Returns the set of IProgramPoints that are dependent on point.
getDependencySet(IProgramPoint) - Method in interface tip.cfg.FixedPointAnalysis
Returns the set of IProgramPoints that depend upon point.
getDependencySet(IProgramPoint) - Method in class tip.cfg.FlowAnalysis
Returns the set of IProgramPoints that depend upon point.
getDependencySet(IProgramPoint) - Method in class tip.cfg.ForwardsStrategy
Returns the set of IProgramPoints that are dependent on point.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.AAssignPtrStm
Adds all descendants of this AAssignPtrStm node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.AAssignVarStm
Adds all descendants of this AAssignVarStm node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.ABinopExp
Adds all descendants of this ABinopExp node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.ABlock
Adds all descendants of this ABlock node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.ABlockStm
Adds all descendants of this ABlockStm node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.ABody
Adds all descendants of this ABody node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.ADeclStm
Adds all descendants of this ADeclStm node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.ADerefExp
Adds all descendants of this ADerefExp node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.ADivideBinop
Adds all descendants of this ADivideBinop node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.AEqBinop
Adds all descendants of this AEqBinop node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.AFuncDecl
Adds all descendants of this AFuncDecl node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.AFunctionCallExp
Adds all descendants of this AFunctionCallExp node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.AFunctionPtrCallExp
Adds all descendants of this AFunctionPtrCallExp node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.AGtBinop
Adds all descendants of this AGtBinop node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.AIfThenElseStm
Adds all descendants of this AIfThenElseStm node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.AIfThenStm
Adds all descendants of this AIfThenStm node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.AInputExp
Adds all descendants of this AInputExp node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.AIntConstExp
Adds all descendants of this AIntConstExp node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.ALocalDecl
Adds all descendants of this ALocalDecl node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.AMallocExp
Adds all descendants of this AMallocExp node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.AMinusBinop
Adds all descendants of this AMinusBinop node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.ANullExp
Adds all descendants of this ANullExp node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.AOutputStm
Adds all descendants of this AOutputStm node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.APlusBinop
Adds all descendants of this APlusBinop node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.APointerExp
Adds all descendants of this APointerExp node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.AProgram
Adds all descendants of this AProgram node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.AReturnStm
Adds all descendants of this AReturnStm node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.ATimesBinop
Adds all descendants of this ATimesBinop node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.AVarExp
Adds all descendants of this AVarExp node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.AWhileStm
Adds all descendants of this AWhileStm node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.Node
Adds all descendants of this Node node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(NodeFilter<T>) - Method in class tip.node.Node
Returns the collection of descendants to this node (including the node itself) which are accepted by the NodeFilter filter.
getDescendants(Class<T>) - Method in class tip.node.Node
Returns the collection of descendants to this node (including itself) which are subtypes of classType.
getDescendants(Class<T>, Class<? extends NodeInterface>) - Method in class tip.node.Node
Returns the collection of descendants to this node (including itself) which are subtypes of classType.
getDescendants(Collection<T>, NodeFilter<T>) - Method in interface tip.node.NodeInterface
Adds all descendants of this NodeInterface node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(NodeFilter<T>) - Method in interface tip.node.NodeInterface
Returns the collection of descendants to this node (including the node itself) which are accepted by the NodeFilter filter.
getDescendants(Class<T>) - Method in interface tip.node.NodeInterface
Returns the collection of descendants to this node (including itself) which are subtypes of classType.
getDescendants(Class<T>, Class<? extends NodeInterface>) - Method in interface tip.node.NodeInterface
Returns the collection of descendants to this node (including itself) which are subtypes of classType.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.Start
Adds all descendants of this Start node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.node.Token
Adds all descendants of this Token node (including the node itself) that are accepted by the NodeFilter filter to collection.
getDomainEqualitor() - Method in class tip.cfg.MapLattice
Returns the Equalitor used for the domain elements.
getElement() - Method in class tip.util.EqualityElement
Returns the encapsulated element.
getElseBody() - Method in class tip.node.AIfThenElseStm
Returns the PStm node which is the else_body child of this AIfThenElseStm node.
getEntry() - Method in class tip.cfg.CCFG
Returns the entry point of the control flow graph.
getEntry() - Method in interface tip.cfg.ICFG
Returns the entry point of the control flow graph.
getEOF() - Method in class tip.node.Start
Returns the EOF node which is the eof child of this Start node.
getEqualitor() - Method in class tip.util.EqualityElement
Returns the equalitor for the element.
getEqualitor() - Method in class tip.util.EqualityMap
Returns the Equalitor used for equality on key elements.
getEqualitor() - Method in class tip.util.EqualitySet
Returns the Equalitor used for element equality.
getExit() - Method in class tip.cfg.CCFG
Returns the exit point of the control flow graph.
getExit() - Method in interface tip.cfg.ICFG
Returns the exit point of the control flow graph.
getExp() - Method in class tip.node.AAssignVarStm
Returns the PExp node which is the exp child of this AAssignVarStm node.
getExp() - Method in class tip.node.ADerefExp
Returns the PExp node which is the exp child of this ADerefExp node.
getExp() - Method in class tip.node.AFunctionPtrCallExp
Returns the PExp node which is the exp child of this AFunctionPtrCallExp node.
getExp() - Method in class tip.node.AOutputStm
Returns the PExp node which is the exp child of this AOutputStm node.
getExp() - Method in class tip.node.AReturnStm
Returns the PExp node which is the exp child of this AReturnStm node.
getFormals() - Method in class tip.node.AFuncDecl
Returns the possibly empty list of ALocalDecl nodes that are the formals children of this AFuncDecl node.
getFunctionEnv() - Method in class tip.node.AProgram
Returns the function_env field of this AProgram node.
getFunctionEnv() - Method in class tip.node.PProgram
Returns the function_env field of this PProgram node.
getFunctions() - Method in class tip.node.AProgram
Returns the possibly empty list of AFuncDecl nodes that are the functions children of this AProgram node.
getFunctions() - Method in class tip.node.PProgram
Returns the possibly empty list of AFuncDecl nodes that are the functions children of this PProgram node.
getID() - Method in class tip.instructions.Instruction
Returns an identification number associated with the instruction type.
getID(Class<? extends Instruction>) - Static method in class tip.instructions.Instruction
Returns an identification number associated with the instruction type.
getIdentifier() - Method in class tip.node.AAssignVarStm
Returns the TIdentifier node which is the identifier child of this AAssignVarStm node.
getIdentifier() - Method in class tip.node.AFunctionCallExp
Returns the TIdentifier node which is the identifier child of this AFunctionCallExp node.
getIdentifier() - Method in class tip.node.APointerExp
Returns the TIdentifier node which is the identifier child of this APointerExp node.
getIdentifier() - Method in class tip.node.AVarExp
Returns the TIdentifier node which is the identifier child of this AVarExp node.
getIn(Node) - Method in interface tip.analysis.Analysis
Returns the Object associated with the Node node in the in map.
getIn(Node) - Method in class tip.analysis.AnalysisAdapter
Returns the Object associated with the Node node in the in map.
getIndex() - Method in class tip.node.AFuncDecl
Returns the index field of this AFuncDecl node.
getIndex() - Method in class tip.node.ALocalDecl
Returns the index field of this ALocalDecl node.
getIndex() - Method in class tip.node.PDecl
Returns the index field of this PDecl node.
getInstructions() - Method in class tip.node.ABody
Returns the instructions field of this ABody node.
getInstructions() - Method in class tip.node.PBody
Returns the instructions field of this PBody node.
getIntegerConst() - Method in class tip.node.AIntConstExp
Returns the TIntegerConst node which is the integer_const child of this AIntConstExp node.
getJoinSet(IProgramPoint) - Method in class tip.cfg.BackwardsStrategy
Returns the set of IProgramPoints that are point depends upon.
getJoinSet(IProgramPoint) - Method in interface tip.cfg.DependencyStrategy
Returns the set of IProgramPoints that are point depends upon.
getJoinSet(IProgramPoint) - Method in class tip.cfg.ForwardsStrategy
Returns the set of IProgramPoints that are point depends upon.
getLattice() - Method in class tip.cfg.FlowAnalysis
Returns the Lattice used an analysis in progress.
getLeastUpperBound(ConstantPropagationAnalysis.Const, ConstantPropagationAnalysis.Const) - Method in class tip.cfg.dfa.ConstantPropagationAnalysis.ConstLattice
 
getLeastUpperBound(DivisionAnalysis.Div, DivisionAnalysis.Div) - Method in enum tip.cfg.dfa.DivisionAnalysis.Div
 
getLeastUpperBound(IntervalAnalysis.Interval, IntervalAnalysis.Interval) - Method in class tip.cfg.dfa.IntervalAnalysis.Interval
 
getLeastUpperBound(NullPointerAnalysis.Null, NullPointerAnalysis.Null) - Method in class tip.cfg.dfa.NullPointerAnalysis.NullLattice
 
getLeastUpperBound(SignAnalysis.Sign, SignAnalysis.Sign) - Method in class tip.cfg.dfa.SignAnalysis.SignLattice
 
getLeastUpperBound(EqualitySet<L>, EqualitySet<L>) - Method in class tip.cfg.IntersectionSetLattice
Returns the least upper bound of the sets a and b according to this set lattice.
getLeastUpperBound(T, T) - Method in interface tip.cfg.Lattice
Returns the least upper bound of the lattice elements a and b.
getLeastUpperBound(EqualityMap<A, L>, EqualityMap<A, L>) - Method in class tip.cfg.MapLattice
Returns the least upper bound of the maps a and b according to this map lattice.
getLeastUpperBound(EqualitySet<L>, EqualitySet<L>) - Method in class tip.cfg.UnionSetLattice
Returns the least upper bound of the sets a and b according to this set lattice.
getLeft() - Method in class tip.node.AAssignPtrStm
Returns the PExp node which is the left child of this AAssignPtrStm node.
getLeft() - Method in class tip.node.ABinopExp
Returns the PExp node which is the left child of this ABinopExp node.
getLine() - Method in exception tip.lexer.LexerException
 
getLine() - Method in interface tip.lexer.ParserToken
 
getLine() - Method in class tip.node.Token
Returns the line number information of this token.
getLocal(int) - Method in class tip.vm.TipVm
 
getLocalEnv() - Method in class tip.node.ABlock
Returns the local_env field of this ABlock node.
getLocalEnv() - Method in class tip.node.PBlock
Returns the local_env field of this PBlock node.
getMallocIndex() - Method in class tip.node.AMallocExp
Returns the malloc_index field of this AMallocExp node.
getMallocIndex() - Method in interface tip.node.ITarget
Returns the malloc_index field of this ITarget node.
getName() - Method in class tip.cfg.CCFG
Returns the name of the control flow graph
getName() - Method in class tip.cfg.cfa.Andersen
Returns the name of this points-to map.
getName() - Method in class tip.cfg.cfa.FunctionPointers
Returns the name of this points-to map.
getName() - Method in class tip.cfg.cfa.OneLevelFlow
 
getName() - Method in class tip.cfg.cfa.Steensgaard
 
getName() - Method in interface tip.cfg.FixedPointAnalysis
Returns the name of the analysis.
getName() - Method in class tip.cfg.FlowAnalysis
Returns the name of the analysis.
getName() - Method in interface tip.cfg.ICFG
Returns the name of the control flow graph
getName() - Method in interface tip.cfg.PointsToMap
Returns the name of the points-to map.
getName() - Method in class tip.instructions.Ilabel
 
getName() - Method in class tip.node.AFuncDecl
Returns the TIdentifier node which is the name child of this AFuncDecl node.
getName() - Method in class tip.node.ALocalDecl
Returns the TIdentifier node which is the name child of this ALocalDecl node.
getName() - Method in class tip.node.PDecl
Returns the TIdentifier node which is the name child of this PDecl node.
getNode() - Method in class tip.cfg.AProgramPoint
Returns the Node in the AST associated with this program point.
getNode() - Method in class tip.cfg.CAssignPtrStmPoint
Returns the AAssignPtrStm associated with this program point.
getNode() - Method in class tip.cfg.CAssignVarStmPoint
Returns the AAssignVarStm associated with this program point.
getNode() - Method in class tip.cfg.CBinopExpPoint
Returns the ABinopExp associated with this program point.
getNode() - Method in class tip.cfg.CBlockPoint
Returns the ABlock associated with this program point.
getNode() - Method in class tip.cfg.CDeclStmPoint
Returns the ADeclStm associated with this program point.
getNode() - Method in class tip.cfg.CDerefExpPoint
Returns the ADerefExp associated with this program point.
getNode() - Method in class tip.cfg.CFunctionCallExpPoint
Returns the AFunctionCallExp associated with this program point.
getNode() - Method in class tip.cfg.CFunctionPtrCallExpPoint
Returns the AFunctionPtrCallExp associated with this program point.
getNode() - Method in class tip.cfg.CIfThenElseStmPoint
Returns the AIfThenElseStm associated with this program point.
getNode() - Method in class tip.cfg.CIfThenStmPoint
Returns the AIfThenStm associated with this program point.
getNode() - Method in class tip.cfg.CInputExpPoint
Returns the AInputExp associated with this program point.
getNode() - Method in class tip.cfg.CIntConstExpPoint
Returns the AIntConstExp associated with this program point.
getNode() - Method in class tip.cfg.CMallocExpPoint
Returns the AMallocExp associated with this program point.
getNode() - Method in class tip.cfg.CNullExpPoint
Returns the ANullExp associated with this program point.
getNode() - Method in class tip.cfg.COutputStmPoint
Returns the AOutputStm associated with this program point.
getNode() - Method in class tip.cfg.CPointerExpPoint
Returns the APointerExp associated with this program point.
getNode() - Method in class tip.cfg.CReturnStmPoint
Returns the AReturnStm associated with this program point.
getNode() - Method in class tip.cfg.CVarExpPoint
Returns the AVarExp associated with this program point.
getNode() - Method in class tip.cfg.CWhileStmPoint
Returns the AWhileStm associated with this program point.
getNode() - Method in interface tip.cfg.IProgramPoint
Returns the Node in the AST associated with this program point.
getNode() - Method in exception tip.node.TreeInvariantException
 
getNodeDescendants(Class<T>) - Method in class tip.cfg.CCFG
Returns a collection of descendants to the nodes associated to the program points in this control flow graph.
getNodeDescendants(NodeFilter<T>) - Method in class tip.cfg.CCFG
Returns a collection of descendants to the nodes associated to the program points in this control flow graph.
getNodeDescendants(Collection<T>, NodeFilter<T>) - Method in class tip.cfg.CCFG
Adds descendants to the nodes associated to the program points in this control flow graph to collection.
getNodeDescendants(Class<T>) - Method in interface tip.cfg.ICFG
Returns a collection of descendants to the nodes associated to the program points in this control flow graph.
getNodeDescendants(NodeFilter<T>) - Method in interface tip.cfg.ICFG
Returns a collection of descendants to the nodes associated to the program points in this control flow graph.
getNodeDescendants(Collection<T>, NodeFilter<T>) - Method in interface tip.cfg.ICFG
Adds children to the nodes associated to the program points in this control flow graph to collection.
getNodeText(Answer<String>) - Method in class tip.cfg.CAssignPtrStmPoint
Returns a textual representation of this program point by calling the Answer.caseAAssignPtrStm(AAssignPtrStm) on nodeText.
getNodeText(Answer<String>) - Method in class tip.cfg.CAssignVarStmPoint
Returns a textual representation of this program point by calling the Answer.caseAAssignVarStm(AAssignVarStm) on nodeText.
getNodeText(Answer<String>) - Method in class tip.cfg.CBinopExpPoint
Returns a textual representation of this program point by calling the Answer.caseABinopExp(ABinopExp) on nodeText.
getNodeText(Answer<String>) - Method in class tip.cfg.CBlockPoint
Returns a textual representation of this program point by calling the Answer.caseABlock(ABlock) on nodeText.
getNodeText(Answer<String>) - Method in class tip.cfg.CDeclStmPoint
Returns a textual representation of this program point by calling the Answer.caseADeclStm(ADeclStm) on nodeText.
getNodeText(Answer<String>) - Method in class tip.cfg.CDerefExpPoint
Returns a textual representation of this program point by calling the Answer.caseADerefExp(ADerefExp) on nodeText.
getNodeText(Answer<String>) - Method in class tip.cfg.CFunctionCallExpPoint
Returns a textual representation of this program point by calling the Answer.caseAFunctionCallExp(AFunctionCallExp) on nodeText.
getNodeText(Answer<String>) - Method in class tip.cfg.CFunctionPtrCallExpPoint
Returns a textual representation of this program point by calling the Answer.caseAFunctionPtrCallExp(AFunctionPtrCallExp) on nodeText.
getNodeText(Answer<String>) - Method in class tip.cfg.CIfThenElseStmPoint
Returns a textual representation of this program point by calling the Answer.caseAIfThenElseStm(AIfThenElseStm) on nodeText.
getNodeText(Answer<String>) - Method in class tip.cfg.CIfThenStmPoint
Returns a textual representation of this program point by calling the Answer.caseAIfThenStm(AIfThenStm) on nodeText.
getNodeText(Answer<String>) - Method in class tip.cfg.CInputExpPoint
Returns a textual representation of this program point by calling the Answer.caseAInputExp(AInputExp) on nodeText.
getNodeText(Answer<String>) - Method in class tip.cfg.CIntConstExpPoint
Returns a textual representation of this program point by calling the Answer.caseAIntConstExp(AIntConstExp) on nodeText.
getNodeText(Answer<String>) - Method in class tip.cfg.CMallocExpPoint
Returns a textual representation of this program point by calling the Answer.caseAMallocExp(AMallocExp) on nodeText.
getNodeText(Answer<String>) - Method in class tip.cfg.CNullExpPoint
Returns a textual representation of this program point by calling the Answer.caseANullExp(ANullExp) on nodeText.
getNodeText(Answer<String>) - Method in class tip.cfg.COutputStmPoint
Returns a textual representation of this program point by calling the Answer.caseAOutputStm(AOutputStm) on nodeText.
getNodeText(Answer<String>) - Method in class tip.cfg.CPointerExpPoint
Returns a textual representation of this program point by calling the Answer.caseAPointerExp(APointerExp) on nodeText.
getNodeText(Answer<String>) - Method in class tip.cfg.CReturnStmPoint
Returns a textual representation of this program point by calling the Answer.caseAReturnStm(AReturnStm) on nodeText.
getNodeText(Answer<String>) - Method in class tip.cfg.CVarExpPoint
Returns a textual representation of this program point by calling the Answer.caseAVarExp(AVarExp) on nodeText.
getNodeText(Answer<String>) - Method in class tip.cfg.CWhileStmPoint
Returns a textual representation of this program point by calling the Answer.caseAWhileStm(AWhileStm) on nodeText.
getNodeText(Answer<String>) - Method in class tip.cfg.EntryPoint
Returns a textual representation of the entry point, which is "{entry}".
getNodeText(Answer<String>) - Method in class tip.cfg.ExitPoint
Returns a textual representation of the exit point, which is "{exit}".
getNodeText(Answer<String>) - Method in interface tip.cfg.IProgramPoint
Returns a textual representation of this program point using the Answer nodeText.
getNumArgs() - Method in class tip.node.AFuncDecl
Returns the num_args field of this AFuncDecl node.
getNumLocals() - Method in class tip.node.AFuncDecl
Returns the num_locals field of this AFuncDecl node.
getOut(Node) - Method in interface tip.analysis.Analysis
Returns the Object associated with the Node node in the out map.
getOut(Node) - Method in class tip.analysis.AnalysisAdapter
Returns the Object associated with the Node node in the out map.
getParent() - Method in class tip.cfg.UnionFind
 
getPos() - Method in exception tip.lexer.LexerException
 
getPos() - Method in interface tip.lexer.ParserToken
 
getPos() - Method in class tip.node.Token
Returns the position information of this token.
getPredecessors() - Method in class tip.cfg.AProgramPoint
Returns the set of predecessors to this program point.
getPredecessors() - Method in interface tip.cfg.IProgramPoint
Returns the set of predecessors to this program point.
getProgram() - Method in class tip.node.Start
Returns the AProgram node which is the program child of this Start node.
getProgramPoints() - Method in class tip.cfg.CCFG
Returns the collection of program points in the control flow graph.
getProgramPoints() - Method in interface tip.cfg.ICFG
Returns the collection of program points in the control flow graph.
getRangeLattice() - Method in class tip.cfg.MapLattice
Returns the Lattice for the range elements.
getRefType() - Method in class tip.types.Pointer
 
getReturnType() - Method in class tip.types.Function
 
getRight() - Method in class tip.node.AAssignPtrStm
Returns the PExp node which is the right child of this AAssignPtrStm node.
getRight() - Method in class tip.node.ABinopExp
Returns the PExp node which is the right child of this ABinopExp node.
getRoot() - Method in class tip.cfg.UnionFind
 
getSmallestElement() - Method in class tip.cfg.dfa.ConstantPropagationAnalysis.ConstLattice
 
getSmallestElement() - Method in enum tip.cfg.dfa.DivisionAnalysis.Div
 
getSmallestElement() - Method in class tip.cfg.dfa.IntervalAnalysis.Interval
 
getSmallestElement() - Method in class tip.cfg.dfa.NullPointerAnalysis.NullLattice
 
getSmallestElement() - Method in class tip.cfg.dfa.SignAnalysis.SignLattice
 
getSmallestElement() - Method in class tip.cfg.IntersectionSetLattice
Returns the smallest element of this set lattice.
getSmallestElement() - Method in interface tip.cfg.Lattice
Returns the smallest element of the lattice.
getSmallestElement() - Method in class tip.cfg.MapLattice
Returns the smallest element of this map lattice.
getSmallestElement() - Method in class tip.cfg.UnionSetLattice
Returns the smallest element of this set lattice.
getStatements() - Method in class tip.node.ABlock
Returns the possibly empty list of PStm nodes that are the statements children of this ABlock node.
getStatements() - Method in class tip.node.PBlock
Returns the possibly empty list of PStm nodes that are the statements children of this PBlock node.
getSuccessors() - Method in class tip.cfg.AProgramPoint
Returns the set of successors to this program point.
getSuccessors() - Method in interface tip.cfg.IProgramPoint
Returns the set of successors to this program point.
getTarget() - Method in class tip.cfg.DeclarationTarget
Returns the target PDecl of this DeclarationTarget.
getTarget() - Method in class tip.cfg.MallocTarget
Returns the target AMallocExp of this MallocTarget.
getTarget() - Method in interface tip.cfg.Target
Returns the node representing the target.
getTarget() - Method in class tip.instructions.JumpInstruction
 
getText() - Method in interface tip.lexer.ParserToken
 
getText() - Method in class tip.node.Token
Returns the text from the input file from which this token was made.
getThenBody() - Method in class tip.node.AIfThenElseStm
Returns the PStm node which is the then_body child of this AIfThenElseStm node.
getToken(int) - Method in interface tip.lexer.ParserToken
 
getToken() - Method in class tip.node.AAssignPtrStm
Returns the TAssign node which is the token child of this AAssignPtrStm node.
getToken() - Method in class tip.node.AAssignVarStm
Returns the TAssign node which is the token child of this AAssignVarStm node.
getToken() - Method in class tip.node.ABlockStm
Returns the TLBrace node which is the token child of this ABlockStm node.
getToken() - Method in class tip.node.ADeclStm
Returns the TVar node which is the token child of this ADeclStm node.
getToken() - Method in class tip.node.ADerefExp
Returns the TStar node which is the token child of this ADerefExp node.
getToken() - Method in class tip.node.ADivideBinop
Returns the TDiv node which is the token child of this ADivideBinop node.
getToken() - Method in class tip.node.AEqBinop
Returns the TEq node which is the token child of this AEqBinop node.
getToken() - Method in class tip.node.AGtBinop
Returns the TGt node which is the token child of this AGtBinop node.
getToken() - Method in class tip.node.AIfThenElseStm
Returns the TLPar node which is the token child of this AIfThenElseStm node.
getToken() - Method in class tip.node.AIfThenStm
Returns the TLPar node which is the token child of this AIfThenStm node.
getToken() - Method in class tip.node.AMinusBinop
Returns the TMinus node which is the token child of this AMinusBinop node.
getToken() - Method in class tip.node.AOutputStm
Returns the TOutput node which is the token child of this AOutputStm node.
getToken() - Method in class tip.node.APlusBinop
Returns the TPlus node which is the token child of this APlusBinop node.
getToken() - Method in class tip.node.APointerExp
Returns the TAnd node which is the token child of this APointerExp node.
getToken() - Method in class tip.node.AReturnStm
Returns the TReturn node which is the token child of this AReturnStm node.
getToken() - Method in class tip.node.ATimesBinop
Returns the TStar node which is the token child of this ATimesBinop node.
getToken() - Method in class tip.node.AWhileStm
Returns the TLPar node which is the token child of this AWhileStm node.
getToken() - Method in class tip.node.PBinop
Returns the Token node which is the token child of this PBinop node.
getToken() - Method in class tip.node.PStm
Returns the Token node which is the token child of this PStm node.
getToken() - Method in class tip.node.Token
Returns the original token for this token.
getToken() - Method in exception tip.parser.ParserException
 
getTokenIndex() - Method in interface tip.lexer.ParserToken
 
getTokenName() - Method in interface tip.lexer.ParserToken
 
getTokens() - Method in class tip.cfg.Cubic
Returns the collection of tokens used in the algorithm.
getTokenSet(Variable) - Method in class tip.cfg.Cubic
Returns the set of tokens in the variable v as computed by the algorithm from the added constraints
getType() - Method in class tip.cfg.dfa.ConstantPropagationAnalysis.Const
 
getType() - Method in class tip.node.ABinopExp
Returns the type field of this ABinopExp node.
getType() - Method in class tip.node.ADerefExp
Returns the type field of this ADerefExp node.
getType() - Method in class tip.node.AFunctionCallExp
Returns the type field of this AFunctionCallExp node.
getType() - Method in class tip.node.AFunctionPtrCallExp
Returns the type field of this AFunctionPtrCallExp node.
getType() - Method in class tip.node.AInputExp
Returns the type field of this AInputExp node.
getType() - Method in class tip.node.AIntConstExp
Returns the type field of this AIntConstExp node.
getType() - Method in class tip.node.AMallocExp
Returns the type field of this AMallocExp node.
getType() - Method in class tip.node.ANullExp
Returns the type field of this ANullExp node.
getType() - Method in class tip.node.APointerExp
Returns the type field of this APointerExp node.
getType() - Method in class tip.node.AVarExp
Returns the type field of this AVarExp node.
getType() - Method in interface tip.node.ITarget
Returns the type field of this ITarget node.
getType() - Method in interface tip.node.ITyped
Returns the type field of this ITyped node.
getType() - Method in class tip.node.PExp
Returns the type field of this PExp node.
getType() - Method in class tip.node.TIdentifier
Returns the type field of this TIdentifier node.
getValue() - Method in class tip.cfg.dfa.ConstantPropagationAnalysis.Const
 
getValue() - Method in class tip.node.AIntConstExp
Returns the value field of this AIntConstExp node.
getVariable(IProgramPoint) - Method in interface tip.cfg.FixedPointAnalysis
Returns the (current) variable associated with the point.
getVariable(IProgramPoint) - Method in class tip.cfg.FlowAnalysis
Returns the (current) variable associated the point.
getVariableString(EqualitySet<ABinopExp>) - Method in class tip.cfg.dfa.AvailableExpressionsAnalysis
Returns a textual representation of variable.
getVariableString(EqualityMap<ALocalDecl, ConstantPropagationAnalysis.Const>) - Method in class tip.cfg.dfa.ConstantPropagationAnalysis
 
getVariableString(DivisionAnalysis.Div) - Method in class tip.cfg.dfa.DivisionAnalysis
 
getVariableString(EqualityMap<ALocalDecl, IntervalAnalysis.Interval>) - Method in class tip.cfg.dfa.IntervalAnalysis
 
getVariableString(EqualitySet<ALocalDecl>) - Method in class tip.cfg.dfa.LivenessAnalysis
Returns a textual representation of variable.
getVariableString(EqualityMap<ALocalDecl, NullPointerAnalysis.Null>) - Method in class tip.cfg.dfa.NullPointerAnalysis
 
getVariableString(EqualitySet<CAssignVarStmPoint>) - Method in class tip.cfg.dfa.ReachingDefinitionsAnalysis
 
getVariableString(EqualitySet<ShapeAnalysis.TargetPair>) - Method in class tip.cfg.dfa.ShapeAnalysis
 
getVariableString(EqualityMap<ALocalDecl, SignAnalysis.Sign>) - Method in class tip.cfg.dfa.SignAnalysis
 
getVariableString(EqualitySet<ABinopExp>) - Method in class tip.cfg.dfa.VeryBusyExpressionsAnalysis
 
getVariableString(VariableType) - Method in interface tip.cfg.FixedPointAnalysis
Returns a textual representation of the variable variable.
getVariableStringForPoint(IProgramPoint, int) - Method in class tip.cfg.dfa.ConstantPropagationAnalysis
 
getVariableStringForPoint(IProgramPoint, int) - Method in class tip.cfg.dfa.IntervalAnalysis
 
getVariableStringForPoint(IProgramPoint) - Method in interface tip.cfg.FixedPointAnalysis
Returns a textual representation of the variable for point.
getVariableStringForPoint(IProgramPoint, int) - Method in interface tip.cfg.FixedPointAnalysis
Returns a textual representation of the variable for point only including information relevant for points in the distance vicinity of point.
getVariableStringForPoint(IProgramPoint) - Method in class tip.cfg.FlowAnalysis
Returns a textual representation of the variable for point.
getVariableStringForPoint(IProgramPoint, int) - Method in class tip.cfg.FlowAnalysis
Returns a textual representation of the variable for point only included information relevant for points in the distance vicinity of point.
getVicinity(int) - Method in class tip.cfg.AProgramPoint
Returns the set of program points reachable from this point following at most distance successors or predecessors.
getVicinity(int) - Method in interface tip.cfg.IProgramPoint
Returns the set of program points reachable from this point following at most distance successors or predecessors.
GT_op - Static variable in class tip.cfg.dfa.SignAnalysis
 
guard(Node) - Method in class tip.node.GuardedSubTypeFilter
Returns true if node guards further processesing.
guard(Node) - Method in interface tip.node.NodeFilter
Returns true if node guards further processesing.
guard(Node) - Method in class tip.node.SubTypeFilter
Returns true if node guards further processesing.
GuardedSubTypeFilter<T extends NodeInterface> - Class in tip.node
GuardedSubTypeFilter implements the NodeFilter interface by accepting all nodes that are subtypes of the first class and guarding on all nodes that are subtypes of the second class given in the constructor.
GuardedSubTypeFilter(Class<T>, Class<? extends NodeInterface>) - Constructor for class tip.node.GuardedSubTypeFilter
Creates a SubTypeFilter using subtype relation of classT as filtering criterion and subtype relation of guardClass as guarding criterion.

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