|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ILatticeOperations | |
---|---|
edu.cmu.cs.crystal.analysis.alias | |
edu.cmu.cs.crystal.analysis.constant | |
edu.cmu.cs.crystal.analysis.live | |
edu.cmu.cs.crystal.bridge | DEPRECATED PACKAGE! Do not use anything in this package; it only exists for the Plural analysis. |
edu.cmu.cs.crystal.flow | This package is used for flow analyses. |
edu.cmu.cs.crystal.flow.worklist | An internal package for running a flow analysis. |
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 ILatticeOperations in edu.cmu.cs.crystal.analysis.alias |
---|
Classes in edu.cmu.cs.crystal.analysis.alias that implement ILatticeOperations | |
---|---|
class |
SingleObjectAliasOps
Lattice operations for AliasLE . |
Methods in edu.cmu.cs.crystal.analysis.alias that return ILatticeOperations | |
---|---|
ILatticeOperations<TupleLatticeElement<Variable,AliasLE>> |
MayAliasTransferFunction.getLatticeOperations()
|
Uses of ILatticeOperations in edu.cmu.cs.crystal.analysis.constant |
---|
Classes in edu.cmu.cs.crystal.analysis.constant that implement ILatticeOperations | |
---|---|
class |
BooleanConstantLatticeOps
|
Methods in edu.cmu.cs.crystal.analysis.constant that return ILatticeOperations | |
---|---|
ILatticeOperations<TupleLatticeElement<Variable,BooleanConstantLE>> |
ConstantTransferFunction.getLatticeOperations()
|
Uses of ILatticeOperations in edu.cmu.cs.crystal.analysis.live |
---|
Classes in edu.cmu.cs.crystal.analysis.live that implement ILatticeOperations | |
---|---|
class |
LiveVariableLatticeOps
|
Methods in edu.cmu.cs.crystal.analysis.live that return ILatticeOperations | |
---|---|
ILatticeOperations<TupleLatticeElement<Variable,LiveVariableLE>> |
LiveVariableTransferFunction.getLatticeOperations()
|
Uses of ILatticeOperations in edu.cmu.cs.crystal.bridge |
---|
Classes in edu.cmu.cs.crystal.bridge that implement ILatticeOperations | |
---|---|
class |
LatticeElementOps<LE extends LatticeElement<LE>>
This class is not to be used in new Crystal analyses and is kept for older projects only. |
Uses of ILatticeOperations in edu.cmu.cs.crystal.flow |
---|
Fields in edu.cmu.cs.crystal.flow declared as ILatticeOperations | |
---|---|
static ILatticeOperations<SingletonLatticeElement> |
SingletonLatticeElement.SINGLETON_OPS
|
Methods in edu.cmu.cs.crystal.flow that return ILatticeOperations | |
---|---|
ILatticeOperations<LE> |
IFlowAnalysisDefinition.getLatticeOperations()
Gets the lattice operations for computing flow analysis results for a given method. |
Uses of ILatticeOperations in edu.cmu.cs.crystal.flow.worklist |
---|
Methods in edu.cmu.cs.crystal.flow.worklist that return types with arguments of type ILatticeOperations | ||
---|---|---|
|
WorklistFactory.createBranchInsensitiveWorklist(MethodDeclaration method,
ITransferFunction<LE> transferFunction)
Creates a worklist object that performs a conventional flow analysis on the given method with the given transfer function. |
|
|
WorklistFactory.createBranchSensitiveWorklist(MethodDeclaration method,
IBranchSensitiveTransferFunction<LE> transferFunction)
Creates a worklist object that performs a branch-sensitive flow analysis on the given method with the given transfer function. |
Uses of ILatticeOperations in edu.cmu.cs.crystal.simple |
---|
Classes in edu.cmu.cs.crystal.simple that implement ILatticeOperations | |
---|---|
class |
SimpleLatticeOperations<LE>
This is the interface for the operations you must provide on your lattice in order for the dataflow analysis to work. |
class |
TupleLatticeOperations<K,LE>
Lattice operations for the TupleLatticeElement. |
Constructors in edu.cmu.cs.crystal.simple with parameters of type ILatticeOperations | |
---|---|
TupleLatticeOperations(ILatticeOperations<LE> operations,
LE defaultElement)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |