|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
---|
Uses of ILabel in edu.cmu.cs.crystal.analysis.constant |
---|
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
|
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
|
LabeledSingleResult.createResult(LE value,
Collection<ILabel> labels)
Creates a result that maps the given labels to the given lattice element. |
|
static
|
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 | ||
---|---|---|
|
EclipseInstructionSequence.deriveResult(ITACBranchSensitiveTransferFunction<LE> tf,
List<ILabel> labels,
TACInstruction targetInstr,
LE value,
boolean afterResult)
|
|
|
EclipseInstructionSequence.transfer(ITACBranchSensitiveTransferFunction<LE> tf,
List<ILabel> labels,
LE value)
|
|
|
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 | ||
---|---|---|
|
TACInstruction.transfer(ITACBranchSensitiveTransferFunction<LE> tf,
List<ILabel> labels,
LE value)
Use this method to transfer over an instruction. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |