Uses of Interface
tip.cfg.Lattice

Packages that use Lattice
tip.cfg Provides the basic framework for performing fixed-point analyses of TIP programs. 
tip.cfg.dfa Provides a collection of data flow analyses for TIP programs. 
 

Uses of Lattice in tip.cfg
 

Classes in tip.cfg that implement Lattice
 class IntersectionSetLattice<L>
          IntersectionSetLattice defines a set lattice with elements of type L and with intersection as least-upper-bound operator.
 class MapLattice<A,L>
          MapLattice defines a map lattice, AL, from a fixed set, A, containing the elements of the domain, and a lattice, L, for the range elements.
 class UnionSetLattice<L>
          UnionSetLattice defines a set lattice with elements of type L and with union as least-upper-bound operator.
 

Methods in tip.cfg that return Lattice
 Lattice<VariableType> FlowAnalysis.getLattice()
          Returns the Lattice used an analysis in progress.
 Lattice<L> MapLattice.getRangeLattice()
          Returns the Lattice for the range elements.
 

Constructors in tip.cfg with parameters of type Lattice
MapLattice(Collection<A> domainSet, Lattice<L> rangeLattice)
          Creates a new map lattice using rangeLattice as the lattice for range elements and domainSet as the domain set.
MapLattice(EqualitySet<A> domainSet, Lattice<L> rangeLattice)
          Creates a new map lattice using rangeLattice as the lattice for range elements and domainSet as the domain set.
 

Uses of Lattice in tip.cfg.dfa
 

Classes in tip.cfg.dfa that implement Lattice
static class ConstantPropagationAnalysis.ConstLattice
           
static class DivisionAnalysis.Div
           
static class IntervalAnalysis.Interval
           
static class NullPointerAnalysis.NullLattice
           
 class SignAnalysis.SignLattice