|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Equalitor | |
---|---|
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. |
tip.util | Provides utility classes for the TIP compiler. |
Uses of Equalitor in tip.cfg |
---|
Subinterfaces of Equalitor in tip.cfg | |
---|---|
interface |
Lattice<T>
Lattice defines the interface for a lattice with element type T . |
Classes in tip.cfg that implement Equalitor | |
---|---|
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 Equalitor | |
---|---|
Equalitor<A> |
MapLattice.getDomainEqualitor()
Returns the Equalitor used for the domain elements. |
Constructors in tip.cfg with parameters of type Equalitor | |
---|---|
IntersectionSetLattice(Collection<L> set,
Equalitor<L> equalitor)
Creates a new IntersectionSetLattice using the equalitor
as Equalitor used for element equality. |
|
UnionSetLattice(Equalitor<L> equalitor)
Creates a new UnionSetLattice using the equalitor as
Equalitor used for element equality. |
Uses of Equalitor in tip.cfg.dfa |
---|
Classes in tip.cfg.dfa that implement Equalitor | |
---|---|
static class |
ConstantPropagationAnalysis.ConstLattice
|
static class |
DivisionAnalysis.Div
|
static class |
IntervalAnalysis.Interval
|
static class |
NullPointerAnalysis.NullLattice
|
class |
SignAnalysis.SignLattice
|
Uses of Equalitor in tip.util |
---|
Classes in tip.util that implement Equalitor | |
---|---|
class |
ExpressionEqualitor
ExpressionEqualitor define an equality on binary expressions, such
that for instance two different occurences of the binary expression a-b are regarded the same expression. |
class |
IdentityEqualitor<T>
IdentityEqualitor implements the Equalitor interface by
calling the Object.equals(Object) and
Object.hashCode() methods. |
Methods in tip.util that return Equalitor | |
---|---|
Equalitor<E> |
EqualitySet.getEqualitor()
Returns the Equalitor used for element equality. |
Equalitor<K> |
EqualityMap.getEqualitor()
Returns the Equalitor used for equality on key elements. |
Equalitor<T> |
EqualityElement.getEqualitor()
Returns the equalitor for the element. |
Constructors in tip.util with parameters of type Equalitor | |
---|---|
EqualityElement(T element,
Equalitor<T> equalitor)
Creates a new EqualityElement encapsulating element with
the Equalitor equalitor . |
|
EqualityMap(Equalitor<K> equalitor)
Create a new empty map using equalitor as equalitor on key
elements. |
|
EqualitySet(Collection<E> c,
Equalitor<E> equalitor)
Creates a new EqualitySet using equalitor as the
equalitor, initially containing the elements in c . |
|
EqualitySet(Equalitor<E> equalitor)
Creates a new empty EqualitySet using equalitor as the
equalitor. |
|
EqualitySet(Set<EqualityElement<E>> set,
Equalitor<E> equalitor)
Create an EqualitySet containing the elements of set with
equalitor as the equalitor. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |