|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IAbstractLatticeOperations | |
---|---|
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 IAbstractLatticeOperations in edu.cmu.cs.crystal.analysis.alias |
---|
Classes in edu.cmu.cs.crystal.analysis.alias that implement IAbstractLatticeOperations | |
---|---|
class |
SingleObjectAliasOps
Lattice operations for AliasLE . |
Uses of IAbstractLatticeOperations in edu.cmu.cs.crystal.analysis.constant |
---|
Classes in edu.cmu.cs.crystal.analysis.constant that implement IAbstractLatticeOperations | |
---|---|
class |
BooleanConstantLatticeOps
|
Uses of IAbstractLatticeOperations in edu.cmu.cs.crystal.analysis.live |
---|
Classes in edu.cmu.cs.crystal.analysis.live that implement IAbstractLatticeOperations | |
---|---|
class |
LiveVariableLatticeOps
|
Uses of IAbstractLatticeOperations in edu.cmu.cs.crystal.bridge |
---|
Classes in edu.cmu.cs.crystal.bridge that implement IAbstractLatticeOperations | |
---|---|
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 IAbstractLatticeOperations in edu.cmu.cs.crystal.flow |
---|
Subinterfaces of IAbstractLatticeOperations in edu.cmu.cs.crystal.flow | |
---|---|
interface |
ILatticeOperations<LE>
Implement this interface to provide typical lattice operations. |
Methods in edu.cmu.cs.crystal.flow with parameters of type IAbstractLatticeOperations | |
---|---|
IResult<LE> |
SingleResult.join(IResult<LE> otherResult,
IAbstractLatticeOperations<LE,?> op)
|
IResult<LE> |
LabeledSingleResult.join(IResult<LE> otherResult,
IAbstractLatticeOperations<LE,?> op)
|
IResult<LE> |
LabeledResult.join(IResult<LE> otherResult,
IAbstractLatticeOperations<LE,?> op)
|
IResult<LE> |
IResult.join(IResult<LE> otherResult,
IAbstractLatticeOperations<LE,?> ops)
Clients do not usually call this method. |
Uses of IAbstractLatticeOperations in edu.cmu.cs.crystal.flow.worklist |
---|
Classes in edu.cmu.cs.crystal.flow.worklist with type parameters of type IAbstractLatticeOperations | |
---|---|
class |
AnalysisResult<LE,N,OP extends IAbstractLatticeOperations<LE,N>>
Encapsulates the results of running an analysis. |
class |
WorklistTemplate<LE,N,OP extends IAbstractLatticeOperations<LE,N>>
This class encapsulates a worklist algorithm for computing fixed points over flow graphs as a Template Method WorklistTemplate.performAnalysis() . |
Uses of IAbstractLatticeOperations in edu.cmu.cs.crystal.simple |
---|
Classes in edu.cmu.cs.crystal.simple that implement IAbstractLatticeOperations | |
---|---|
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |