Uses of Class
edu.cmu.cs.crystal.tac.model.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.tac This package contains classes and interfaces for writing flow analyses based on three-address code (TAC). 
edu.cmu.cs.crystal.tac.eclipse An internal package for creating three address code nodes based on the Eclipse AST. 
edu.cmu.cs.crystal.tac.model The interfaces for the three-address code (TAC) instructions and variables. 
 

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)
           
 Set<Variable> MayAliasAnalysis.getAfterAliases(Variable var, ASTNode node)
          Get the aliases of a variable at a particular node.
 Set<Variable> MayAliasAnalysis.getBeforeAliases(Variable var, ASTNode node)
          Get the aliases of a variable at a particular node.
 ILatticeOperations<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.getLatticeOperations()
           
 TupleLatticeElement<Variable,AliasLE> MayAliasAnalysis.getResultsAfter(TACInstruction instr)
           
 TupleLatticeElement<Variable,AliasLE> MayAliasAnalysis.getResultsBefore(TACInstruction instr)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(ArrayInitInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(BinaryOperation binop, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(CastInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(CopyInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(DotClassInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(InstanceofInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(LoadArrayInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(LoadFieldInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(LoadLiteralInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(MethodCallInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(NewArrayInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(NewObjectInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(SourceVariableDeclaration instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(UnaryOperation unop, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 

Methods in edu.cmu.cs.crystal.analysis.alias with parameters of type Variable
 Set<Variable> MayAliasAnalysis.getAfterAliases(Variable var, ASTNode node)
          Get the aliases of a variable at a particular node.
 Set<ObjectLabel> MayAliasAnalysis.getAfterAliasLabels(Variable var, ASTNode node)
           
 Set<Variable> MayAliasAnalysis.getBeforeAliases(Variable var, ASTNode node)
          Get the aliases of a variable at a particular node.
 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, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(BinaryOperation binop, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(CastInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(CopyInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(DotClassInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(InstanceofInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(LoadArrayInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(LoadFieldInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(LoadLiteralInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(MethodCallInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(NewArrayInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(NewObjectInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(SourceVariableDeclaration instr, List<ILabel> labels, TupleLatticeElement<Variable,AliasLE> value)
           
 IResult<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.transfer(UnaryOperation unop, 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.getLatticeOperations()
           
 TupleLatticeElement<Variable,BooleanConstantLE> ConstantAnalysis.getResultsAfter(TACInstruction instr)
           
 TupleLatticeElement<Variable,BooleanConstantLE> ConstantAnalysis.getResultsBefore(TACInstruction instr)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(ArrayInitInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(BinaryOperation binop, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(CastInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(ConstructorCallInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(CopyInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(DotClassInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(EnhancedForConditionInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(InstanceofInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(LoadArrayInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(LoadFieldInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(LoadLiteralInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(MethodCallInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(NewArrayInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(NewObjectInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(ReturnInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(SourceVariableDeclaration instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(SourceVariableReadInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(StoreArrayInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(StoreFieldInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(UnaryOperation unop, 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, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(BinaryOperation binop, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(CastInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(ConstructorCallInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(CopyInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(DotClassInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(EnhancedForConditionInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(InstanceofInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(LoadArrayInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(LoadFieldInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(LoadLiteralInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(MethodCallInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(NewArrayInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(NewObjectInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(ReturnInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(SourceVariableDeclaration instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(SourceVariableReadInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(StoreArrayInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(StoreFieldInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(UnaryOperation unop, 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.getLatticeOperations()
           
 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(SourceVariableReadInstruction 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(SourceVariableReadInstruction 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.tac
 

Methods in edu.cmu.cs.crystal.tac that return Variable
 Variable ITACAnalysisContext.getVariable(ASTNode node)
          Returns the TAC variable for a given ASTNode.
 Variable TACFlowAnalysis.getVariable(ASTNode node)
           
 Variable ITACFlowAnalysis.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.
 

Methods in edu.cmu.cs.crystal.tac with parameters of type Variable
 ASTNode TACFlowAnalysis.getNode(Variable x, TACInstruction instruction)
           
 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.eclipse
 

Methods in edu.cmu.cs.crystal.tac.eclipse that return Variable
 Variable EclipseAbstractFieldAccess.getAccessedObject()
           
 Variable IEclipseFieldAccess.getAccessedObject()
          Returns the variable representing the target of the field access.
 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)
           
 

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

Subclasses of Variable in edu.cmu.cs.crystal.tac.model
 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.model that return Variable
 Variable TACArrayAccess.getAccessedArrayOperand()
          Returns the array from which a cell is loaded.
 Variable TACFieldAccess.getAccessedObjectOperand()
          Returns the object of which this field is a part.
 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 SourceVariableReadInstruction.getVariable()
          Returns the variable being read, of type SourceVariable or KeywordVariable.
 

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