Uses of Class
edu.cmu.cs.crystal.tac.Variable

Packages that use Variable
edu.cmu.cs.crystal.analysis.alias   
edu.cmu.cs.crystal.analysis.constant   
edu.cmu.cs.crystal.analysis.live   
edu.cmu.cs.crystal.flow This package is used for flow analyses. 
edu.cmu.cs.crystal.tac The interfaces for the three-address code (TAC) instructions. 
edu.cmu.cs.crystal.tac.eclipse An internal package for creating three address code nodes. 
 

Uses of Variable in edu.cmu.cs.crystal.analysis.alias
 

Methods in edu.cmu.cs.crystal.analysis.alias that return Variable
 Variable MayAliasAnalysis.getThisVar(MethodDeclaration methodDecl)
           
 

Methods in edu.cmu.cs.crystal.analysis.alias that return types with arguments of type Variable
 TupleLatticeElement<Variable,AliasLE> MayAliasTransferFunction.createEntryValue(MethodDeclaration m)
           
 ILatticeOperations<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.createLatticeOperations(MethodDeclaration d)
           
 java.util.Set<Variable> MayAliasAnalysis.getAfterAliases(Variable var, ASTNode node)
          Get the aliases of a variable at a particular node.
 java.util.Set<Variable> MayAliasAnalysis.getBeforeAliases(Variable var, ASTNode node)
          Get the aliases of a variable at a particular node.
 TupleLatticeElement<Variable,AliasLE> MayAliasAnalysis.getResultsAfter(TACInstruction instr)
           
 TupleLatticeElement<Variable,AliasLE> MayAliasAnalysis.getResultsBefore(TACInstruction instr)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(ArrayInitInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(BinaryOperation binop, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(CastInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(CopyInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(DotClassInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(InstanceofInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(LoadArrayInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(LoadFieldInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(LoadLiteralInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(MethodCallInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(NewArrayInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(NewObjectInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(SourceVariableDeclaration instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(UnaryOperation unop, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 

Methods in edu.cmu.cs.crystal.analysis.alias with parameters of type Variable
 java.util.Set<Variable> MayAliasAnalysis.getAfterAliases(Variable var, ASTNode node)
          Get the aliases of a variable at a particular node.
 java.util.Set<ObjectLabel> MayAliasAnalysis.getAfterAliasLabels(Variable var, ASTNode node)
           
 java.util.Set<Variable> MayAliasAnalysis.getBeforeAliases(Variable var, ASTNode node)
          Get the aliases of a variable at a particular node.
 java.util.Set<ObjectLabel> MayAliasAnalysis.getBeforeAliasLabels(Variable var, ASTNode node)
           
 

Method parameters in edu.cmu.cs.crystal.analysis.alias with type arguments of type Variable
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(ArrayInitInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(BinaryOperation binop, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(CastInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(CopyInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(DotClassInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(InstanceofInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(LoadArrayInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(LoadFieldInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(LoadLiteralInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(MethodCallInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(NewArrayInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(NewObjectInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(SourceVariableDeclaration instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(UnaryOperation unop, java.util.List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 

Uses of Variable in edu.cmu.cs.crystal.analysis.constant
 

Methods in edu.cmu.cs.crystal.analysis.constant that return types with arguments of type Variable
 TupleLatticeElement<Variable,BooleanConstantLE> ConstantTransferFunction.createEntryValue(MethodDeclaration m)
           
 ILatticeOperations<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.createLatticeOperations(MethodDeclaration d)
           
 TupleLatticeElement<Variable,BooleanConstantLE> ConstantAnalysis.getResultsAfter(TACInstruction instr)
           
 TupleLatticeElement<Variable,BooleanConstantLE> ConstantAnalysis.getResultsBefore(TACInstruction instr)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(ArrayInitInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(BinaryOperation binop, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(CastInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(ConstructorCallInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(CopyInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(DotClassInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(EnhancedForConditionInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(InstanceofInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(LoadArrayInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(LoadFieldInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(LoadLiteralInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(MethodCallInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(NewArrayInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(NewObjectInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(ReturnInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(SourceVariableDeclaration instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(SourceVariableRead instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(StoreArrayInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(StoreFieldInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(UnaryOperation unop, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 

Methods in edu.cmu.cs.crystal.analysis.constant with parameters of type Variable
 boolean ConstantAnalysis.getValue(Variable var, ASTNode node, boolean after)
           
 boolean ConstantAnalysis.hasPreciseValueAfter(Variable var, ASTNode node, boolean after)
           
 

Method parameters in edu.cmu.cs.crystal.analysis.constant with type arguments of type Variable
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(ArrayInitInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(BinaryOperation binop, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(CastInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(ConstructorCallInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(CopyInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(DotClassInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(EnhancedForConditionInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(InstanceofInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(LoadArrayInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(LoadFieldInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(LoadLiteralInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(MethodCallInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(NewArrayInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(NewObjectInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(ReturnInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(SourceVariableDeclaration instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(SourceVariableRead instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(StoreArrayInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(StoreFieldInstruction instr, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(UnaryOperation unop, java.util.List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 

Uses of Variable in edu.cmu.cs.crystal.analysis.live
 

Methods in edu.cmu.cs.crystal.analysis.live that return types with arguments of type Variable
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.createEntryValue(MethodDeclaration d)
           
 ILatticeOperations<TupleLatticeElement<Variable,LiveVariableLE>> LiveVariableTransferFunction.createLatticeOperations(MethodDeclaration d)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(ArrayInitInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(BinaryOperation binop, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(CastInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(ConstructorCallInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(CopyInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(DotClassInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(EnhancedForConditionInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(InstanceofInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(LoadArrayInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(LoadFieldInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(LoadLiteralInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(MethodCallInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(NewArrayInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(NewObjectInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(ReturnInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(SourceVariableDeclaration instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(SourceVariableRead instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(StoreArrayInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(StoreFieldInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(UnaryOperation unop, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 

Methods in edu.cmu.cs.crystal.analysis.live with parameters of type Variable
 boolean LiveVariableAnalysis.isLiveBefore(Variable var, ASTNode node)
           
 

Method parameters in edu.cmu.cs.crystal.analysis.live with type arguments of type Variable
 void LiveVariableAnalysis.printLattice(TupleLatticeElement<Variable,LiveVariableLE> lattice)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(ArrayInitInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(BinaryOperation binop, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(CastInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(ConstructorCallInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(CopyInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(DotClassInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(EnhancedForConditionInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(InstanceofInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(LoadArrayInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(LoadFieldInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(LoadLiteralInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(MethodCallInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(NewArrayInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(NewObjectInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(ReturnInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(SourceVariableDeclaration instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(SourceVariableRead instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(StoreArrayInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(StoreFieldInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(UnaryOperation unop, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 

Uses of Variable in edu.cmu.cs.crystal.flow
 

Methods in edu.cmu.cs.crystal.flow that return Variable
 Variable ITACFlowAnalysis.getVariable(ASTNode node)
          Returns the TAC variable for a given ASTNode.
 

Methods in edu.cmu.cs.crystal.flow with parameters of type Variable
 ASTNode ITACFlowAnalysis.getNode(Variable x, TACInstruction instruction)
          Returns for error-reporting purposes a AST node that surrounds or is represented by a variable mentioned in a given instruction.
 

Uses of Variable in edu.cmu.cs.crystal.tac
 

Subclasses of Variable in edu.cmu.cs.crystal.tac
 class KeywordVariable
          Java and our three address code contain two 'special' variables that correspond with Java keywords and must be treated in a different manner than traditional source code variables.
 class SourceVariable
          A source variable is a variable in three address code that actually existed in the original Java source code.
 class SuperVariable
          The Super class represents the super keyword.
 class TempVariable
          Temporary variables created during the course of translating to three address code are represented by instances of this class.
 class ThisVariable
          This class represents the this keyword, which is treated much like any other variable.
 class TypeVariable
          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.
 

Methods in edu.cmu.cs.crystal.tac that return Variable
 Variable TACArrayAccess.getAccessedArrayOperand()
          Returns the array from which a cell is loaded.
 Variable TACFieldAccess.getAccessedObjectOperand()
          Returns the object being accessed.
 Variable TACArrayAccess.getArrayIndex()
          Returns the operand representing the index of the array access.
 Variable StoreArrayInstruction.getDestinationArray()
          Returns the array being written into.
 Variable StoreFieldInstruction.getDestinationObject()
          Returns the object being stored into.
 Variable ConstructorCallInstruction.getEnclosingInstanceSpecifier()
          Specifier of an enclosing instance passed into the constructor, if any.
 Variable NewArrayInstruction.getInitOperand()
          Returns the array initializer, if any.
 Variable EnhancedForConditionInstruction.getIteratedOperand()
          Returns the variable of the iterated-over Iterable.
 Variable OneOperandInstruction.getOperand()
          Returns the one operand to this one operand-instruction.
 Variable BinaryOperation.getOperand1()
          Returns the first operand.
 Variable BinaryOperation.getOperand2()
          Returns the second operand.
 Variable NewObjectInstruction.getOuterObjectSpecifierOperand()
          Returns the outer object specifier, if any.
 Variable MethodCallInstruction.getReceiverOperand()
          Returns the receiver of this call, if any.
 Variable ReturnInstruction.getReturnedVariable()
          Returns the variable carrying the value being returned.
 Variable LoadArrayInstruction.getSourceArray()
          Returns the array from which a cell is loaded.
 Variable LoadFieldInstruction.getSourceObject()
          Returns the object being read from.
 Variable StoreInstruction.getSourceOperand()
          Returns the variable being stored.
 Variable AssignmentInstruction.getTarget()
          Returns the target variable of this assignment.
 Variable SourceVariableRead.getVariable()
          Returns the variable being read, of type SourceVariable or KeywordVariable.
 Variable TACFlowAnalysis.getVariable(ASTNode node)
          Returns the TAC variable for a given ASTNode after previously analyzing the method surrounding the given node. It is the caller's responsibility to make sure to call this method only when analysis results for the surrounding method are available.
 Variable ITACAnalysisContext.getVariable(ASTNode node)
          Returns the TAC variable for a given ASTNode.
 

Methods in edu.cmu.cs.crystal.tac that return types with arguments of type Variable
 java.util.List<Variable> ConstructorCallInstruction.getArgOperands()
           
 java.util.List<Variable> TACInvocation.getArgOperands()
          Returns the operands for the arguments passed into an invocation.
 java.util.List<Variable> NewArrayInstruction.getDimensionOperands()
          Returns the list of operands specifying dimensions of the allocated array.
 java.util.List<Variable> ArrayInitInstruction.getInitOperands()
          Returns the operands initializing the array.
 

Methods in edu.cmu.cs.crystal.tac with parameters of type Variable
 ASTNode TACFlowAnalysis.getNode(Variable x, TACInstruction instruction)
           
 

Uses of Variable in edu.cmu.cs.crystal.tac.eclipse
 

Methods in edu.cmu.cs.crystal.tac.eclipse that return Variable
 Variable IEclipseFieldAccess.getAccessedObject()
          Returns the variable representing the target of the field access.
 Variable EclipseAbstractFieldAccess.getAccessedObject()
           
 Variable ReturnInstructionImpl.getReturnedVariable()
           
 Variable IEclipseVariableQuery.variable(ASTNode astNode)
          Returns the variable representing the result of evaluating the given AST node.
 Variable EclipseTAC.variable(ASTNode astNode)