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

S

set(int, E) - Method in class tip.node.NodeList
 
setAll(List<? extends E>) - Method in class tip.node.NodeList
 
setArgs(List<? extends PExp>) - Method in class tip.node.AFunctionCallExp
Sets the args children of this AFunctionCallExp node.
setArgs(List<? extends PExp>) - Method in class tip.node.AFunctionPtrCallExp
Sets the args children of this AFunctionPtrCallExp node.
setBinop(PBinop) - Method in class tip.node.ABinopExp
Sets the binop child of this ABinopExp node.
setBlock(ABlock) - Method in class tip.node.ABlockStm
Sets the block child of this ABlockStm node.
setBlock(ABlock) - Method in class tip.node.ABody
Sets the block child of this ABody node.
setBlock(ABlock) - Method in class tip.node.PBody
Sets the block child of this PBody node.
setBody(ABody) - Method in class tip.node.AFuncDecl
Sets the body child of this AFuncDecl node.
setBody(PStm) - Method in class tip.node.AIfThenStm
Sets the body child of this AIfThenStm node.
setBody(PStm) - Method in class tip.node.AWhileStm
Sets the body child of this AWhileStm node.
setCode(int[]) - Method in class tip.node.AProgram
Sets the code field of this AProgram node.
setCode(int[]) - Method in class tip.node.PProgram
Sets the code field of this PProgram node.
setCondition(PExp) - Method in class tip.node.AIfThenElseStm
Sets the condition child of this AIfThenElseStm node.
setCondition(PExp) - Method in class tip.node.AIfThenStm
Sets the condition child of this AIfThenStm node.
setCondition(PExp) - Method in class tip.node.AWhileStm
Sets the condition child of this AWhileStm node.
setDecl(List<? extends ALocalDecl>) - Method in class tip.node.ADeclStm
Sets the decl children of this ADeclStm node.
setDecl(PDecl) - Method in class tip.node.TIdentifier
Sets the decl field of this TIdentifier node.
setDeclared(boolean) - Method in class tip.node.ALocalDecl
Sets the declared field of this ALocalDecl node.
setElseBody(PStm) - Method in class tip.node.AIfThenElseStm
Sets the else_body child of this AIfThenElseStm node.
setEntry(IProgramPoint) - Method in class tip.cfg.CCFG
Sets the entry point of the control flow graph.
setEOF(EOF) - Method in class tip.node.Start
Sets the eof child of this Start node.
setExit(IProgramPoint) - Method in class tip.cfg.CCFG
Sets the exit point of the control flow graph.
setExp(PExp) - Method in class tip.node.AAssignVarStm
Sets the exp child of this AAssignVarStm node.
setExp(PExp) - Method in class tip.node.ADerefExp
Sets the exp child of this ADerefExp node.
setExp(PExp) - Method in class tip.node.AFunctionPtrCallExp
Sets the exp child of this AFunctionPtrCallExp node.
setExp(PExp) - Method in class tip.node.AOutputStm
Sets the exp child of this AOutputStm node.
setExp(PExp) - Method in class tip.node.AReturnStm
Sets the exp child of this AReturnStm node.
setFormals(List<? extends ALocalDecl>) - Method in class tip.node.AFuncDecl
Sets the formals children of this AFuncDecl node.
setFunctionEnv(Map<String, AFuncDecl>) - Method in class tip.node.AProgram
Sets the function_env field of this AProgram node.
setFunctionEnv(Map<String, AFuncDecl>) - Method in class tip.node.PProgram
Sets the function_env field of this PProgram node.
setFunctions(List<? extends AFuncDecl>) - Method in class tip.node.AProgram
Sets the functions children of this AProgram node.
setFunctions(List<? extends AFuncDecl>) - Method in class tip.node.PProgram
Sets the functions children of this PProgram node.
setIdentifier(TIdentifier) - Method in class tip.node.AAssignVarStm
Sets the identifier child of this AAssignVarStm node.
setIdentifier(TIdentifier) - Method in class tip.node.AFunctionCallExp
Sets the identifier child of this AFunctionCallExp node.
setIdentifier(TIdentifier) - Method in class tip.node.APointerExp
Sets the identifier child of this APointerExp node.
setIdentifier(TIdentifier) - Method in class tip.node.AVarExp
Sets the identifier child of this AVarExp node.
setIn(Node, Object) - Method in interface tip.analysis.Analysis
Sets the Object o to be a associated with the Node node in the in map.
setIn(Node, Object) - Method in class tip.analysis.AnalysisAdapter
Sets the Object o to be a associated with the Node node in the in map.
setIndex(int) - Method in class tip.node.AFuncDecl
Sets the index field of this AFuncDecl node.
setIndex(int) - Method in class tip.node.ALocalDecl
Sets the index field of this ALocalDecl node.
setIndex(int) - Method in class tip.node.PDecl
Sets the index field of this PDecl node.
setInstructions(List<? extends Instruction>) - Method in class tip.node.ABody
Sets the instructions field of this ABody node.
setInstructions(List<? extends Instruction>) - Method in class tip.node.PBody
Sets the instructions field of this PBody node.
setIntegerConst(TIntegerConst) - Method in class tip.node.AIntConstExp
Sets the integer_const child of this AIntConstExp node.
setLeft(PExp) - Method in class tip.node.AAssignPtrStm
Sets the left child of this AAssignPtrStm node.
setLeft(PExp) - Method in class tip.node.ABinopExp
Sets the left child of this ABinopExp node.
setLine(int) - Method in class tip.node.Token
Sets the line number information of this token.
setLocal(int, int) - Method in class tip.vm.TipVm
 
setLocalEnv(Map<String, ALocalDecl>) - Method in class tip.node.ABlock
Sets the local_env field of this ABlock node.
setLocalEnv(Map<String, ALocalDecl>) - Method in class tip.node.PBlock
Sets the local_env field of this PBlock node.
setMallocIndex(int) - Method in class tip.node.AMallocExp
Sets the malloc_index field of this AMallocExp node.
setMallocIndex(int) - Method in interface tip.node.ITarget
Sets the malloc_index field of this ITarget node.
setName(TIdentifier) - Method in class tip.node.AFuncDecl
Sets the name child of this AFuncDecl node.
setName(TIdentifier) - Method in class tip.node.ALocalDecl
Sets the name child of this ALocalDecl node.
setName(TIdentifier) - Method in class tip.node.PDecl
Sets the name child of this PDecl node.
setName(char) - Method in class tip.types.Variable
 
setNarrowing() - Method in class tip.cfg.dfa.IntervalAnalysis
 
setNarrowing() - Method in interface tip.cfg.WideningNarrowingAnalysis
Sets the current analysis to be in the narrowing phase.
setNumArgs(int) - Method in class tip.node.AFuncDecl
Sets the num_args field of this AFuncDecl node.
setNumLocals(int) - Method in class tip.node.AFuncDecl
Sets the num_locals field of this AFuncDecl node.
setOptionalInvariant(boolean) - Method in class tip.node.Node
 
setOptionalInvariant(boolean) - Method in interface tip.node.NodeInterface
 
setOut(Node, Object) - Method in interface tip.analysis.Analysis
Sets the Object o to be a associated with the Node node in the out map.
setOut(Node, Object) - Method in class tip.analysis.AnalysisAdapter
Sets the Object o to be a associated with the Node node in the out map.
setPos(int) - Method in class tip.node.Token
Sets the position information of this token.
setProgram(AProgram) - Method in class tip.node.Start
Sets the program child of this Start node.
setRight(PExp) - Method in class tip.node.AAssignPtrStm
Sets the right child of this AAssignPtrStm node.
setRight(PExp) - Method in class tip.node.ABinopExp
Sets the right child of this ABinopExp node.
setState(int) - Method in class tip.lexer.Lexer
 
setStatements(List<? extends PStm>) - Method in class tip.node.ABlock
Sets the statements children of this ABlock node.
setStatements(List<? extends PStm>) - Method in class tip.node.PBlock
Sets the statements children of this PBlock node.
setText(String) - Method in class tip.node.EOF
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TAnd
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TAssign
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TComma
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TDiv
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TElse
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TEq
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TGt
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TIf
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TInput
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TLBrace
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TLPar
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TMalloc
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TMinus
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TNull
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.Token
Sets the text of this token.
setText(String) - Method in class tip.node.TOutput
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TPlus
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TRBrace
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TReturn
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TRPar
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TSemicolon
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TStar
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TVar
Implements the Token.setText(String) method.
setText(String) - Method in class tip.node.TWhile
Implements the Token.setText(String) method.
setThenBody(PStm) - Method in class tip.node.AIfThenElseStm
Sets the then_body child of this AIfThenElseStm node.
setToken(TAssign) - Method in class tip.node.AAssignPtrStm
Sets the token child of this AAssignPtrStm node.
setToken(TAssign) - Method in class tip.node.AAssignVarStm
Sets the token child of this AAssignVarStm node.
setToken(TLBrace) - Method in class tip.node.ABlockStm
Sets the token child of this ABlockStm node.
setToken(TVar) - Method in class tip.node.ADeclStm
Sets the token child of this ADeclStm node.
setToken(TStar) - Method in class tip.node.ADerefExp
Sets the token child of this ADerefExp node.
setToken(TDiv) - Method in class tip.node.ADivideBinop
Sets the token child of this ADivideBinop node.
setToken(TEq) - Method in class tip.node.AEqBinop
Sets the token child of this AEqBinop node.
setToken(TGt) - Method in class tip.node.AGtBinop
Sets the token child of this AGtBinop node.
setToken(TLPar) - Method in class tip.node.AIfThenElseStm
Sets the token child of this AIfThenElseStm node.
setToken(TLPar) - Method in class tip.node.AIfThenStm
Sets the token child of this AIfThenStm node.
setToken(TMinus) - Method in class tip.node.AMinusBinop
Sets the token child of this AMinusBinop node.
setToken(TOutput) - Method in class tip.node.AOutputStm
Sets the token child of this AOutputStm node.
setToken(TPlus) - Method in class tip.node.APlusBinop
Sets the token child of this APlusBinop node.
setToken(TAnd) - Method in class tip.node.APointerExp
Sets the token child of this APointerExp node.
setToken(TReturn) - Method in class tip.node.AReturnStm
Sets the token child of this AReturnStm node.
setToken(TStar) - Method in class tip.node.ATimesBinop
Sets the token child of this ATimesBinop node.
setToken(TLPar) - Method in class tip.node.AWhileStm
Sets the token child of this AWhileStm node.
setType(Type) - Method in class tip.node.ABinopExp
Sets the type field of this ABinopExp node.
setType(Type) - Method in class tip.node.ADerefExp
Sets the type field of this ADerefExp node.
setType(Type) - Method in class tip.node.AFunctionCallExp
Sets the type field of this AFunctionCallExp node.
setType(Type) - Method in class tip.node.AFunctionPtrCallExp
Sets the type field of this AFunctionPtrCallExp node.
setType(Type) - Method in class tip.node.AInputExp
Sets the type field of this AInputExp node.
setType(Type) - Method in class tip.node.AIntConstExp
Sets the type field of this AIntConstExp node.
setType(Type) - Method in class tip.node.AMallocExp
Sets the type field of this AMallocExp node.
setType(Type) - Method in class tip.node.ANullExp
Sets the type field of this ANullExp node.
setType(Type) - Method in class tip.node.APointerExp
Sets the type field of this APointerExp node.
setType(Type) - Method in class tip.node.AVarExp
Sets the type field of this AVarExp node.
setType(Type) - Method in interface tip.node.ITarget
Sets the type field of this ITarget node.
setType(Type) - Method in interface tip.node.ITyped
Sets the type field of this ITyped node.
setType(Type) - Method in class tip.node.PExp
Sets the type field of this PExp node.
setType(Type) - Method in class tip.node.TIdentifier
Sets the type field of this TIdentifier node.
setValue(Integer) - Method in class tip.node.AIntConstExp
Sets the value field of this AIntConstExp node.
setVariable(IProgramPoint, VariableType) - Method in class tip.cfg.FlowAnalysis
Sets newVariable as the variable for point.
setWidening() - Method in class tip.cfg.dfa.IntervalAnalysis
 
setWidening() - Method in interface tip.cfg.WideningNarrowingAnalysis
Sets the current analysis to be in the widening phase.
ShapeAnalysis - Class in tip.cfg.dfa
ShapeAnalysis implements the Shape analysis for computing points-to maps.
ShapeAnalysis() - Constructor for class tip.cfg.dfa.ShapeAnalysis
Creates a new ShapeAnalysis.
ShowAsm - Class in tip.phases
 
ShowAsm() - Constructor for class tip.phases.ShowAsm
 
showDefUseGraph(ICFGCollection) - Method in class tip.cfg.dfa.ReachingDefinitionsAnalysis
 
showPhaseDisplay(AProgram, ASTDisplay.Phase) - Static method in class tip.display.ASTDisplay
Shows the ASTDisplay for the given phase.
SignAnalysis - Class in tip.cfg.dfa
 
SignAnalysis() - Constructor for class tip.cfg.dfa.SignAnalysis
 
SignAnalysis.Evaluator - Class in tip.cfg.dfa
 
SignAnalysis.Evaluator() - Constructor for class tip.cfg.dfa.SignAnalysis.Evaluator
 
SignAnalysis.Sign - Enum in tip.cfg.dfa
 
SignAnalysis.SignLattice - Class in tip.cfg.dfa
 
SignAnalysis.SignLattice() - Constructor for class tip.cfg.dfa.SignAnalysis.SignLattice
 
size() - Method in class tip.util.EqualityMap
size() - Method in class tip.util.EqualitySet
SourceError - Exception in tip
Thrown to indicate that an error has occurred during the compilation that inhibits the compiler from continuing the compilation.
SourceError() - Constructor for exception tip.SourceError
 
SourceError(String) - Constructor for exception tip.SourceError
 
STACK_BASE - Static variable in class tip.vm.TipVm
 
start(ICFG) - Method in interface tip.cfg.FixedPointAnalysis
start is called before the fixed point analysis of the control flow graph cfg is started.
start(ICFG) - Method in class tip.cfg.FlowAnalysis
start is called before the fixed point analysis of the control flow graph cfg is started.
Start - Class in tip.node
The Start node is the topmost node in the AST.
Start() - Constructor for class tip.node.Start
Creates a new Start node with no children.
Start(AProgram, EOF) - Constructor for class tip.node.Start
Creates a new Start node with the given nodes as children.
Steensgaard - Class in tip.cfg.cfa
 
Steensgaard() - Constructor for class tip.cfg.cfa.Steensgaard
 
Stringifiable<T> - Interface in tip.util
Stringifiable defines an interface for declaring the applicability of the Stringifier interface.
Stringifier<T> - Interface in tip.util
Stringifier defines an interface for abstracting the toString method.
SubExpressions<T extends Node> - Class in tip.util
SubExpressions implements the CFGAnswerAdapter to retrieve child nodes accepted by a NodeFilter in subexpressions of nodes associated with program points in a control flow graph.
SubExpressions(NodeFilter<T>) - Constructor for class tip.util.SubExpressions
Creates a new SubExpressions instance using the NodeFilter filter for filtering nodes.
SubTypeFilter<T extends NodeInterface> - Class in tip.node
SubTypeFilter implements the NodeFilter interface by accepting all nodes that are subtypes of the class given in the constructor and guarding on no nodes.
SubTypeFilter(Class<T>) - Constructor for class tip.node.SubTypeFilter
Creates a SubTypeFilter using subtype relation of classT as filtering criterion.
suffixCFG(ICFG) - Method in class tip.cfg.CCFG
Suffixes cfg in this control flow graph.
suffixCFG(ICFG) - Method in interface tip.cfg.ICFG
Suffixes cfg in this control flow graph.

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