Uses of Interface
tip.util.Equalitor

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, 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 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.