|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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, A → L, 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
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |