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

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
<LE> WorklistTemplate<LE,ASTNode,ILatticeOperations<LE>>
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.
<LE> WorklistTemplate<LE,ASTNode,ILatticeOperations<LE>>
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)