Uses of Class
edu.cmu.cs.crystal.simple.TupleLatticeElement

Packages that use TupleLatticeElement
edu.cmu.cs.crystal.analysis.alias   
edu.cmu.cs.crystal.analysis.constant   
edu.cmu.cs.crystal.analysis.live   
edu.cmu.cs.crystal.simple This package is for creating very simple flow analyses; if you're new to flow analyses, start here. 
 

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

Methods in edu.cmu.cs.crystal.analysis.alias that return TupleLatticeElement
 TupleLatticeElement<Variable,AliasLE> MayAliasTransferFunction.createEntryValue(MethodDeclaration m)
           
 TupleLatticeElement<Variable,AliasLE> MayAliasAnalysis.getResultsAfter(TACInstruction instr)
           
 TupleLatticeElement<Variable,AliasLE> MayAliasAnalysis.getResultsBefore(TACInstruction instr)
           
 

Methods in edu.cmu.cs.crystal.analysis.alias that return types with arguments of type TupleLatticeElement
 ILatticeOperations<TupleLatticeElement<Variable,AliasLE>> MayAliasTransferFunction.getLatticeOperations()
           
 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 TupleLatticeElement
 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 TupleLatticeElement in edu.cmu.cs.crystal.analysis.constant
 

Methods in edu.cmu.cs.crystal.analysis.constant that return TupleLatticeElement
 TupleLatticeElement<Variable,BooleanConstantLE> ConstantTransferFunction.createEntryValue(MethodDeclaration m)
           
 TupleLatticeElement<Variable,BooleanConstantLE> ConstantAnalysis.getResultsAfter(TACInstruction instr)
           
 TupleLatticeElement<Variable,BooleanConstantLE> ConstantAnalysis.getResultsBefore(TACInstruction instr)
           
 

Methods in edu.cmu.cs.crystal.analysis.constant that return types with arguments of type TupleLatticeElement
 ILatticeOperations<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.getLatticeOperations()
           
 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 TupleLatticeElement
 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 TupleLatticeElement in edu.cmu.cs.crystal.analysis.live
 

Methods in edu.cmu.cs.crystal.analysis.live that return TupleLatticeElement
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.createEntryValue(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(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 that return types with arguments of type TupleLatticeElement
 ILatticeOperations<TupleLatticeElement<Variable,LiveVariableLE>> LiveVariableTransferFunction.getLatticeOperations()
           
 

Methods in edu.cmu.cs.crystal.analysis.live with parameters of type TupleLatticeElement
 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 TupleLatticeElement in edu.cmu.cs.crystal.simple
 

Methods in edu.cmu.cs.crystal.simple that return TupleLatticeElement
 TupleLatticeElement<K,LE> TupleLatticeOperations.bottom()
           
 TupleLatticeElement<K,LE> TupleLatticeOperations.copy(TupleLatticeElement<K,LE> original)
           
 TupleLatticeElement<K,LE> TupleLatticeOperations.getDefault()
           
 TupleLatticeElement<K,LE> TupleLatticeOperations.join(TupleLatticeElement<K,LE> left, TupleLatticeElement<K,LE> right, ASTNode node)
           
 

Methods in edu.cmu.cs.crystal.simple with parameters of type TupleLatticeElement
 boolean TupleLatticeOperations.atLeastAsPrecise(TupleLatticeElement<K,LE> left, TupleLatticeElement<K,LE> right, ASTNode node)
           
 boolean TupleLatticeOperations.atLeastAsPrecise(TupleLatticeElement<K,LE> left, TupleLatticeElement<K,LE> right, ASTNode node)
           
 TupleLatticeElement<K,LE> TupleLatticeOperations.copy(TupleLatticeElement<K,LE> original)
           
 TupleLatticeElement<K,LE> TupleLatticeOperations.join(TupleLatticeElement<K,LE> left, TupleLatticeElement<K,LE> right, ASTNode node)
           
 TupleLatticeElement<K,LE> TupleLatticeOperations.join(TupleLatticeElement<K,LE> left, TupleLatticeElement<K,LE> right, ASTNode node)