Uses of Class
edu.cmu.cs.crystal.analysis.constant.BooleanConstantLE

Packages that use BooleanConstantLE
edu.cmu.cs.crystal.analysis.constant   
 

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

Methods in edu.cmu.cs.crystal.analysis.constant that return BooleanConstantLE
 BooleanConstantLE BooleanConstantLatticeOps.bottom()
           
 BooleanConstantLE BooleanConstantLatticeOps.copy(BooleanConstantLE original)
           
 BooleanConstantLE BooleanConstantLatticeOps.join(BooleanConstantLE left, BooleanConstantLE right)
           
static BooleanConstantLE BooleanConstantLE.valueOf(String name)
          Returns the enum constant of this type with the specified name.
static BooleanConstantLE[] BooleanConstantLE.values()
          Returns an array containing the constants of this enum type, in the order they're declared.
 

Methods in edu.cmu.cs.crystal.analysis.constant that return types with arguments of type BooleanConstantLE
 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 BooleanConstantLE
 boolean BooleanConstantLatticeOps.atLeastAsPrecise(BooleanConstantLE left, BooleanConstantLE right)
           
 BooleanConstantLE BooleanConstantLatticeOps.copy(BooleanConstantLE original)
           
 BooleanConstantLE BooleanConstantLatticeOps.join(BooleanConstantLE left, BooleanConstantLE right)
           
 

Method parameters in edu.cmu.cs.crystal.analysis.constant with type arguments of type BooleanConstantLE
 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)