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

T

TACArrayAccess - Interface in edu.cmu.cs.crystal.tac.model
x[y]
TACFieldAccess - Interface in edu.cmu.cs.crystal.tac.model
x.f, i.e., an access to a field.
TACFlowAnalysis<LE> - Class in edu.cmu.cs.crystal.tac
This class implements flow analyses over 3-address code instructions (TACInstruction).
TACFlowAnalysis(ITACTransferFunction<LE>, IAnalysisInput) - Constructor for class edu.cmu.cs.crystal.tac.TACFlowAnalysis
Creates a branch insensitive flow analysis object
TACFlowAnalysis(ITACTransferFunction<LE>, CompilationUnitTACs) - Constructor for class edu.cmu.cs.crystal.tac.TACFlowAnalysis
Creates a branch insensitive flow analysis object.
TACFlowAnalysis(ITACBranchSensitiveTransferFunction<LE>, IAnalysisInput) - Constructor for class edu.cmu.cs.crystal.tac.TACFlowAnalysis
Creates a branch sensitive flow analysis object.
TACFlowAnalysis(ITACBranchSensitiveTransferFunction<LE>, CompilationUnitTACs) - Constructor for class edu.cmu.cs.crystal.tac.TACFlowAnalysis
Creates a branch sensitive flow analysis object.
TACInstruction - Interface in edu.cmu.cs.crystal.tac.model
Abstract base class for 3-Address-Code instructions built from Eclipse AST nodes.
TACInvocation - Interface in edu.cmu.cs.crystal.tac.model
Interface defining instructions that represent some kind of invocation.
tempVar(TempVariable) - Method in interface edu.cmu.cs.crystal.tac.model.IVariableVisitor
 
TempVariable - Class in edu.cmu.cs.crystal.tac.model
Temporary variables created during the course of translating to three address code are represented by instances of this class.
TempVariable(ASTNode) - Constructor for class edu.cmu.cs.crystal.tac.model.TempVariable
 
thisVar(ThisVariable) - Method in interface edu.cmu.cs.crystal.tac.model.IVariableVisitor
 
thisVariable() - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTAC
Returns the represented method's (unqualified) this.
thisVariable() - Method in interface edu.cmu.cs.crystal.tac.eclipse.IEclipseVariableQuery
Returns the this variable, if the surrounding method is an instance method.
ThisVariable - Class in edu.cmu.cs.crystal.tac.model
This class represents the this keyword, which is treated much like any other variable.
ThisVariable(EclipseTAC, ITypeBinding) - Constructor for class edu.cmu.cs.crystal.tac.model.ThisVariable
Creates an implicitly qualified this variable.
ThisVariable(EclipseTAC) - Constructor for class edu.cmu.cs.crystal.tac.model.ThisVariable
Creates an unqualified this variable.
ThisVariable(EclipseTAC, Name) - Constructor for class edu.cmu.cs.crystal.tac.model.ThisVariable
Creates a qualified this variable.
thrd() - Method in class edu.cmu.cs.crystal.util.Triple
 
tl() - Method in class edu.cmu.cs.crystal.util.ConsList
Return this list without the first element.
toArray() - Method in class edu.cmu.cs.crystal.util.ConsList
 
toArray(S[]) - Method in class edu.cmu.cs.crystal.util.ConsList
 
token - Variable in enum edu.cmu.cs.crystal.tac.model.BinaryOperator
Token representing the operator in source code, such as +, !=, or >>.
token - Variable in enum edu.cmu.cs.crystal.tac.model.UnaryOperator
Token representing the operator in source code, such as +, !=, or >>.
toString() - Method in class edu.cmu.cs.crystal.analysis.alias.AliasLE
 
toString() - Method in class edu.cmu.cs.crystal.analysis.alias.DefaultObjectLabel
 
toString() - Method in enum edu.cmu.cs.crystal.analysis.constant.BooleanConstantLE
 
toString() - Method in enum edu.cmu.cs.crystal.analysis.live.LiveVariableLE
 
toString() - Method in class edu.cmu.cs.crystal.cfg.BlockStack.Block
 
toString() - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGEdge
 
toString() - Method in class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFGNode
 
toString() - Method in class edu.cmu.cs.crystal.flow.BooleanLabel
 
toString() - Method in class edu.cmu.cs.crystal.flow.ExceptionalLabel
 
toString() - Method in class edu.cmu.cs.crystal.flow.IteratorLabel
 
toString() - Method in class edu.cmu.cs.crystal.flow.NormalLabel
 
toString() - Method in class edu.cmu.cs.crystal.flow.SwitchLabel
 
toString() - Method in class edu.cmu.cs.crystal.simple.TupleLatticeElement
Prints the lattice element as a map.
toString() - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseInstructionSequence
 
toString() - Method in class edu.cmu.cs.crystal.tac.eclipse.ReturnInstructionImpl
 
toString() - Method in enum edu.cmu.cs.crystal.tac.model.BinaryOperator
 
toString() - Method in class edu.cmu.cs.crystal.tac.model.KeywordVariable
 
toString() - Method in class edu.cmu.cs.crystal.tac.model.SourceVariable
 
toString() - Method in class edu.cmu.cs.crystal.tac.model.TempVariable
 
toString() - Method in class edu.cmu.cs.crystal.tac.model.TypeVariable
 
toString() - Method in enum edu.cmu.cs.crystal.tac.model.UnaryOperator
 
toString() - Method in class edu.cmu.cs.crystal.util.Box
 
toString() - Method in class edu.cmu.cs.crystal.util.Pair
 
toString() - Method in class edu.cmu.cs.crystal.util.typehierarchy.TypeNode
 
transfer(ArrayInitInstruction, List<ILabel>, TupleLatticeElement<Variable, AliasLE>) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasTransferFunction
 
transfer(BinaryOperation, List<ILabel>, TupleLatticeElement<Variable, AliasLE>) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasTransferFunction
 
transfer(CastInstruction, List<ILabel>, TupleLatticeElement<Variable, AliasLE>) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasTransferFunction
 
transfer(DotClassInstruction, List<ILabel>, TupleLatticeElement<Variable, AliasLE>) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasTransferFunction
 
transfer(CopyInstruction, List<ILabel>, TupleLatticeElement<Variable, AliasLE>) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasTransferFunction
 
transfer(InstanceofInstruction, List<ILabel>, TupleLatticeElement<Variable, AliasLE>) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasTransferFunction
 
transfer(LoadLiteralInstruction, List<ILabel>, TupleLatticeElement<Variable, AliasLE>) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasTransferFunction
 
transfer(LoadArrayInstruction, List<ILabel>, TupleLatticeElement<Variable, AliasLE>) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasTransferFunction
 
transfer(LoadFieldInstruction, List<ILabel>, TupleLatticeElement<Variable, AliasLE>) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasTransferFunction
 
transfer(MethodCallInstruction, List<ILabel>, TupleLatticeElement<Variable, AliasLE>) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasTransferFunction
 
transfer(NewArrayInstruction, List<ILabel>, TupleLatticeElement<Variable, AliasLE>) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasTransferFunction
 
transfer(NewObjectInstruction, List<ILabel>, TupleLatticeElement<Variable, AliasLE>) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasTransferFunction
 
transfer(UnaryOperation, List<ILabel>, TupleLatticeElement<Variable, AliasLE>) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasTransferFunction
 
transfer(SourceVariableDeclaration, List<ILabel>, TupleLatticeElement<Variable, AliasLE>) - Method in class edu.cmu.cs.crystal.analysis.alias.MayAliasTransferFunction
 
transfer(ArrayInitInstruction, List<ILabel>, TupleLatticeElement<Variable, BooleanConstantLE>) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
transfer(BinaryOperation, List<ILabel>, TupleLatticeElement<Variable, BooleanConstantLE>) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
transfer(CastInstruction, List<ILabel>, TupleLatticeElement<Variable, BooleanConstantLE>) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
transfer(DotClassInstruction, List<ILabel>, TupleLatticeElement<Variable, BooleanConstantLE>) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
transfer(ConstructorCallInstruction, List<ILabel>, TupleLatticeElement<Variable, BooleanConstantLE>) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
transfer(CopyInstruction, List<ILabel>, TupleLatticeElement<Variable, BooleanConstantLE>) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
transfer(InstanceofInstruction, List<ILabel>, TupleLatticeElement<Variable, BooleanConstantLE>) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
transfer(LoadLiteralInstruction, List<ILabel>, TupleLatticeElement<Variable, BooleanConstantLE>) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
transfer(LoadArrayInstruction, List<ILabel>, TupleLatticeElement<Variable, BooleanConstantLE>) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
transfer(LoadFieldInstruction, List<ILabel>, TupleLatticeElement<Variable, BooleanConstantLE>) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
transfer(MethodCallInstruction, List<ILabel>, TupleLatticeElement<Variable, BooleanConstantLE>) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
transfer(NewArrayInstruction, List<ILabel>, TupleLatticeElement<Variable, BooleanConstantLE>) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
transfer(NewObjectInstruction, List<ILabel>, TupleLatticeElement<Variable, BooleanConstantLE>) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
transfer(StoreArrayInstruction, List<ILabel>, TupleLatticeElement<Variable, BooleanConstantLE>) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
transfer(StoreFieldInstruction, List<ILabel>, TupleLatticeElement<Variable, BooleanConstantLE>) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
transfer(UnaryOperation, List<ILabel>, TupleLatticeElement<Variable, BooleanConstantLE>) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
transfer(SourceVariableDeclaration, List<ILabel>, TupleLatticeElement<Variable, BooleanConstantLE>) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
transfer(SourceVariableReadInstruction, List<ILabel>, TupleLatticeElement<Variable, BooleanConstantLE>) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
transfer(EnhancedForConditionInstruction, List<ILabel>, TupleLatticeElement<Variable, BooleanConstantLE>) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
transfer(ReturnInstruction, List<ILabel>, TupleLatticeElement<Variable, BooleanConstantLE>) - Method in class edu.cmu.cs.crystal.analysis.constant.ConstantTransferFunction
 
transfer(ArrayInitInstruction, TupleLatticeElement<Variable, LiveVariableLE>) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
transfer(BinaryOperation, TupleLatticeElement<Variable, LiveVariableLE>) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
transfer(CastInstruction, TupleLatticeElement<Variable, LiveVariableLE>) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
transfer(DotClassInstruction, TupleLatticeElement<Variable, LiveVariableLE>) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
transfer(ConstructorCallInstruction, TupleLatticeElement<Variable, LiveVariableLE>) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
transfer(CopyInstruction, TupleLatticeElement<Variable, LiveVariableLE>) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
transfer(EnhancedForConditionInstruction, TupleLatticeElement<Variable, LiveVariableLE>) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
transfer(InstanceofInstruction, TupleLatticeElement<Variable, LiveVariableLE>) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
transfer(LoadLiteralInstruction, TupleLatticeElement<Variable, LiveVariableLE>) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
transfer(LoadArrayInstruction, TupleLatticeElement<Variable, LiveVariableLE>) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
transfer(LoadFieldInstruction, TupleLatticeElement<Variable, LiveVariableLE>) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
transfer(MethodCallInstruction, TupleLatticeElement<Variable, LiveVariableLE>) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
transfer(NewArrayInstruction, TupleLatticeElement<Variable, LiveVariableLE>) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
transfer(NewObjectInstruction, TupleLatticeElement<Variable, LiveVariableLE>) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
transfer(ReturnInstruction, TupleLatticeElement<Variable, LiveVariableLE>) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
transfer(StoreArrayInstruction, TupleLatticeElement<Variable, LiveVariableLE>) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
transfer(StoreFieldInstruction, TupleLatticeElement<Variable, LiveVariableLE>) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
transfer(SourceVariableDeclaration, TupleLatticeElement<Variable, LiveVariableLE>) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
transfer(SourceVariableReadInstruction, TupleLatticeElement<Variable, LiveVariableLE>) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
transfer(UnaryOperation, TupleLatticeElement<Variable, LiveVariableLE>) - Method in class edu.cmu.cs.crystal.analysis.live.LiveVariableTransferFunction
 
transfer(ASTNode, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.flow.IBranchSensitiveTransferFunction
Transfer over a given AST node and return analysis information for each possible outcome of the given node.
transfer(ASTNode, LE) - Method in interface edu.cmu.cs.crystal.flow.ITransferFunction
Transfer over a given AST node.
transfer(TACInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(AssignmentInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(InvocationInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(OneOperandInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(StoreInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(ArrayInitInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(BinaryOperation, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(CastInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(DotClassInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(ConstructorCallInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(CopyInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(EnhancedForConditionInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(InstanceofInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(LoadLiteralInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(LoadArrayInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(LoadFieldInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(MethodCallInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(NewArrayInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(NewObjectInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(ReturnInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(StoreArrayInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(StoreFieldInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(SourceVariableDeclaration, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(SourceVariableReadInstruction, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(UnaryOperation, LE) - Method in class edu.cmu.cs.crystal.simple.AbstractingTransferFunction
 
transfer(ArrayInitInstruction, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
transfer(BinaryOperation, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
transfer(CastInstruction, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
transfer(DotClassInstruction, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
transfer(ConstructorCallInstruction, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
transfer(CopyInstruction, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
transfer(EnhancedForConditionInstruction, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
transfer(InstanceofInstruction, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
transfer(LoadLiteralInstruction, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
transfer(LoadArrayInstruction, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
transfer(LoadFieldInstruction, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
transfer(MethodCallInstruction, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
transfer(NewArrayInstruction, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
transfer(NewObjectInstruction, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
transfer(ReturnInstruction, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
transfer(StoreArrayInstruction, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
transfer(StoreFieldInstruction, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
transfer(SourceVariableDeclaration, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
transfer(SourceVariableReadInstruction, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
transfer(UnaryOperation, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.AbstractTACBranchSensitiveTransferFunction
 
transfer(ITACTransferFunction<LE>, LE) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseInstructionSequence
 
transfer(ITACBranchSensitiveTransferFunction<LE>, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseInstructionSequence
 
transfer(ITACTransferFunction<LE>, LE) - Method in class edu.cmu.cs.crystal.tac.eclipse.ReturnInstructionImpl
 
transfer(ITACBranchSensitiveTransferFunction<LE>, List<ILabel>, LE) - Method in class edu.cmu.cs.crystal.tac.eclipse.ReturnInstructionImpl
 
transfer(ArrayInitInstruction, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction
 
transfer(BinaryOperation, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction
 
transfer(CastInstruction, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction
 
transfer(DotClassInstruction, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction
 
transfer(ConstructorCallInstruction, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction
 
transfer(CopyInstruction, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction
 
transfer(EnhancedForConditionInstruction, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction
 
transfer(InstanceofInstruction, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction
 
transfer(LoadLiteralInstruction, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction
 
transfer(LoadArrayInstruction, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction
 
transfer(LoadFieldInstruction, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction
 
transfer(MethodCallInstruction, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction
 
transfer(NewArrayInstruction, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction
 
transfer(NewObjectInstruction, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction
 
transfer(ReturnInstruction, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction
 
transfer(StoreArrayInstruction, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction
 
transfer(StoreFieldInstruction, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction
 
transfer(SourceVariableDeclaration, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction
 
transfer(SourceVariableReadInstruction, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction
 
transfer(UnaryOperation, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction
 
transfer(ArrayInitInstruction, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACTransferFunction
 
transfer(BinaryOperation, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACTransferFunction
 
transfer(CastInstruction, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACTransferFunction
 
transfer(DotClassInstruction, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACTransferFunction
 
transfer(ConstructorCallInstruction, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACTransferFunction
 
transfer(CopyInstruction, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACTransferFunction
 
transfer(EnhancedForConditionInstruction, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACTransferFunction
 
transfer(InstanceofInstruction, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACTransferFunction
 
transfer(LoadLiteralInstruction, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACTransferFunction
 
transfer(LoadArrayInstruction, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACTransferFunction
 
transfer(LoadFieldInstruction, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACTransferFunction
 
transfer(MethodCallInstruction, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACTransferFunction
 
transfer(NewArrayInstruction, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACTransferFunction
 
transfer(NewObjectInstruction, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACTransferFunction
 
transfer(ReturnInstruction, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACTransferFunction
 
transfer(StoreArrayInstruction, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACTransferFunction
 
transfer(StoreFieldInstruction, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACTransferFunction
 
transfer(SourceVariableDeclaration, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACTransferFunction
 
transfer(SourceVariableReadInstruction, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACTransferFunction
 
transfer(UnaryOperation, LE) - Method in interface edu.cmu.cs.crystal.tac.ITACTransferFunction
 
transfer(ITACTransferFunction<LE>, LE) - Method in interface edu.cmu.cs.crystal.tac.model.TACInstruction
Use this method to transfer over an instruction.
transfer(ITACBranchSensitiveTransferFunction<LE>, List<ILabel>, LE) - Method in interface edu.cmu.cs.crystal.tac.model.TACInstruction
Use this method to transfer over an instruction.
Triple<F,S,T> - Class in edu.cmu.cs.crystal.util
A n-tuple where n is three.
Triple(F, S, T) - Constructor for class edu.cmu.cs.crystal.util.Triple
 
TupleLatticeElement<K,LE> - Class in edu.cmu.cs.crystal.simple
Represents a lattice element that is a tuple of lattice elements for an underlying lattice.
TupleLatticeElement(LE, LE) - Constructor for class edu.cmu.cs.crystal.simple.TupleLatticeElement
Deprecated. 
TupleLatticeOperations<K,LE> - Class in edu.cmu.cs.crystal.simple
Lattice operations for the TupleLatticeElement.
TupleLatticeOperations(ILatticeOperations<LE>, LE) - Constructor for class edu.cmu.cs.crystal.simple.TupleLatticeOperations
 
TypeHierarchy - Interface in edu.cmu.cs.crystal.util
 
TypeNode - Class in edu.cmu.cs.crystal.util.typehierarchy
 
TypeNode(String, boolean) - Constructor for class edu.cmu.cs.crystal.util.typehierarchy.TypeNode
 
TypeNode(String) - Constructor for class edu.cmu.cs.crystal.util.typehierarchy.TypeNode
 
typeVar(TypeVariable) - Method in interface edu.cmu.cs.crystal.tac.model.IVariableVisitor
 
typeVariable(ITypeBinding) - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTAC
 
typeVariable(ITypeBinding) - Method in interface edu.cmu.cs.crystal.tac.eclipse.IEclipseVariableQuery
Determines the variable for a given type binding.
TypeVariable - Class in edu.cmu.cs.crystal.tac.model
In Java you can make calls that look like the following:
System.exit(0);
Here System is a class, but because out is a static field we access it directly from the class name.
TypeVariable(ITypeBinding) - Constructor for class edu.cmu.cs.crystal.tac.model.TypeVariable
 

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