Uses of Interface
edu.cmu.cs.crystal.flow.ILabel

Packages that use ILabel
edu.cmu.cs.crystal.analysis.alias   
edu.cmu.cs.crystal.analysis.constant   
edu.cmu.cs.crystal.cfg An internal package for defining a control flow graph. 
edu.cmu.cs.crystal.cfg.eclipse An internal package for creating a control flow graph from Eclipse. 
edu.cmu.cs.crystal.flow This package is used for flow analyses. 
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 ILabel in edu.cmu.cs.crystal.analysis.alias
 

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

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

Methods in edu.cmu.cs.crystal.cfg that return ILabel
 ILabel ICFGEdge.getLabel()
           
 

Methods in edu.cmu.cs.crystal.cfg with parameters of type ILabel
 Set<? extends ICFGEdge<N>> ICFGNode.getInputEdges(ILabel label)
           
 Set<? extends ICFGEdge<N>> ICFGNode.getOutputEdges(ILabel label)
           
 

Uses of ILabel in edu.cmu.cs.crystal.cfg.eclipse
 

Methods in edu.cmu.cs.crystal.cfg.eclipse that return ILabel
 ILabel EclipseCFGEdge.getLabel()
           
 

Methods in edu.cmu.cs.crystal.cfg.eclipse with parameters of type ILabel
 Set<EclipseCFGEdge> EclipseCFGNode.getInputEdges(ILabel label)
          Filters the output edges by the label we are looking for.
 Set<EclipseCFGEdge> EclipseCFGNode.getOutputEdges(ILabel label)
          Filters the output edges by the label we are looking for.
 

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

Classes in edu.cmu.cs.crystal.flow that implement ILabel
 class BooleanLabel
          A boolean label is a label which is either true or false.
 class ExceptionalLabel
          A label for edges that are on exceptional control flow.
 class IteratorLabel
          A label for control flow where the branching flow is due to an iterator, for example, in an enhanced for loop.
 class NormalLabel
          A normal label occurs from non-branching, non-exceptional control flow.
 class SwitchLabel
          A switch label occurs from the switch control flow.
 

Methods in edu.cmu.cs.crystal.flow that return types with arguments of type ILabel
 Set<ILabel> SingleResult.keySet()
           
 Set<ILabel> LabeledSingleResult.keySet()
           
 Set<ILabel> LabeledResult.keySet()
           
 Set<ILabel> IResult.keySet()
          Returns the set of labels mapped by this IResult.
 

Methods in edu.cmu.cs.crystal.flow with parameters of type ILabel
static
<LE> IResult<LE>
LabeledSingleResult.createResult(LE value, ILabel... labels)
          Creates a result that maps the given labels to the given lattice element.
 LE SingleResult.get(ILabel label)
           
 LE LabeledSingleResult.get(ILabel label)
           
 LE LabeledResult.get(ILabel label)
           
 LE IResult.get(ILabel label)
          Clients should not modify the returned value.
 void LabeledResult.put(ILabel label, LE value)
          Add/Change the value of a label
 

Method parameters in edu.cmu.cs.crystal.flow with type arguments of type ILabel
static
<LE> IResult<LE>
LabeledSingleResult.createResult(LE value, Collection<ILabel> labels)
          Creates a result that maps the given labels to the given lattice element.
static
<LE> LabeledResult<LE>
LabeledResult.createResult(List<ILabel> labels, LE defaultValue)
          Create a result for the given labels with the given default value.
 IResult<LE> IBranchSensitiveTransferFunction.transfer(ASTNode astNode, List<ILabel> labels, LE value)
          Transfer over a given AST node and return analysis information for each possible outcome of the given node.
 

Constructor parameters in edu.cmu.cs.crystal.flow with type arguments of type ILabel
LabeledSingleResult(LE singleValue, Collection<ILabel> labels)
          Creates a result that maps the given labels to the given lattice element.
 

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

Method parameters in edu.cmu.cs.crystal.tac with type arguments of type ILabel
 IResult<LE> ITACBranchSensitiveTransferFunction.transfer(ArrayInitInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> AbstractTACBranchSensitiveTransferFunction.transfer(ArrayInitInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> ITACBranchSensitiveTransferFunction.transfer(BinaryOperation binop, List<ILabel> labels, LE value)
           
 IResult<LE> AbstractTACBranchSensitiveTransferFunction.transfer(BinaryOperation binop, List<ILabel> labels, LE value)
           
 IResult<LE> ITACBranchSensitiveTransferFunction.transfer(CastInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> AbstractTACBranchSensitiveTransferFunction.transfer(CastInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> ITACBranchSensitiveTransferFunction.transfer(ConstructorCallInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> AbstractTACBranchSensitiveTransferFunction.transfer(ConstructorCallInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> ITACBranchSensitiveTransferFunction.transfer(CopyInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> AbstractTACBranchSensitiveTransferFunction.transfer(CopyInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> ITACBranchSensitiveTransferFunction.transfer(DotClassInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> AbstractTACBranchSensitiveTransferFunction.transfer(DotClassInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> ITACBranchSensitiveTransferFunction.transfer(EnhancedForConditionInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> AbstractTACBranchSensitiveTransferFunction.transfer(EnhancedForConditionInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> ITACBranchSensitiveTransferFunction.transfer(InstanceofInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> AbstractTACBranchSensitiveTransferFunction.transfer(InstanceofInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> ITACBranchSensitiveTransferFunction.transfer(LoadArrayInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> AbstractTACBranchSensitiveTransferFunction.transfer(LoadArrayInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> ITACBranchSensitiveTransferFunction.transfer(LoadFieldInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> AbstractTACBranchSensitiveTransferFunction.transfer(LoadFieldInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> ITACBranchSensitiveTransferFunction.transfer(LoadLiteralInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> AbstractTACBranchSensitiveTransferFunction.transfer(LoadLiteralInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> ITACBranchSensitiveTransferFunction.transfer(MethodCallInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> AbstractTACBranchSensitiveTransferFunction.transfer(MethodCallInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> ITACBranchSensitiveTransferFunction.transfer(NewArrayInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> AbstractTACBranchSensitiveTransferFunction.transfer(NewArrayInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> ITACBranchSensitiveTransferFunction.transfer(NewObjectInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> AbstractTACBranchSensitiveTransferFunction.transfer(NewObjectInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> ITACBranchSensitiveTransferFunction.transfer(ReturnInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> AbstractTACBranchSensitiveTransferFunction.transfer(ReturnInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> ITACBranchSensitiveTransferFunction.transfer(SourceVariableDeclaration instr, List<ILabel> labels, LE value)
           
 IResult<LE> AbstractTACBranchSensitiveTransferFunction.transfer(SourceVariableDeclaration instr, List<ILabel> labels, LE value)
           
 IResult<LE> ITACBranchSensitiveTransferFunction.transfer(SourceVariableReadInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> AbstractTACBranchSensitiveTransferFunction.transfer(SourceVariableReadInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> ITACBranchSensitiveTransferFunction.transfer(StoreArrayInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> AbstractTACBranchSensitiveTransferFunction.transfer(StoreArrayInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> ITACBranchSensitiveTransferFunction.transfer(StoreFieldInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> AbstractTACBranchSensitiveTransferFunction.transfer(StoreFieldInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> ITACBranchSensitiveTransferFunction.transfer(UnaryOperation unop, List<ILabel> labels, LE value)
           
 IResult<LE> AbstractTACBranchSensitiveTransferFunction.transfer(UnaryOperation unop, List<ILabel> labels, LE value)
           
 

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

Method parameters in edu.cmu.cs.crystal.tac.eclipse with type arguments of type ILabel
<LE> IResult<LE>
EclipseInstructionSequence.deriveResult(ITACBranchSensitiveTransferFunction<LE> tf, List<ILabel> labels, TACInstruction targetInstr, LE value, boolean afterResult)
           
<LE> IResult<LE>
EclipseInstructionSequence.transfer(ITACBranchSensitiveTransferFunction<LE> tf, List<ILabel> labels, LE value)
           
<LE> IResult<LE>
ReturnInstructionImpl.transfer(ITACBranchSensitiveTransferFunction<LE> tf, List<ILabel> labels, LE value)
           
 

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

Method parameters in edu.cmu.cs.crystal.tac.model with type arguments of type ILabel
<LE> IResult<LE>
TACInstruction.transfer(ITACBranchSensitiveTransferFunction<LE> tf, List<ILabel> labels, LE value)
          Use this method to transfer over an instruction.