|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use EqualitySet | |
---|---|
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 EqualitySet in tip.cfg |
---|
Methods in tip.cfg that return EqualitySet | |
---|---|
EqualitySet<L> |
UnionSetLattice.getLeastUpperBound(EqualitySet<L> a,
EqualitySet<L> b)
Returns the least upper bound of the sets a and b
according to this set lattice. |
EqualitySet<L> |
IntersectionSetLattice.getLeastUpperBound(EqualitySet<L> a,
EqualitySet<L> b)
Returns the least upper bound of the sets a and b
according to this set lattice. |
EqualitySet<L> |
UnionSetLattice.getSmallestElement()
Returns the smallest element of this set lattice. |
EqualitySet<L> |
IntersectionSetLattice.getSmallestElement()
Returns the smallest element of this set lattice. |
Methods in tip.cfg with parameters of type EqualitySet | |
---|---|
boolean |
UnionSetLattice.equals(EqualitySet<L> a,
EqualitySet<L> b)
Returns true if the sets a and b represent the
same element in this set lattice. |
boolean |
UnionSetLattice.equals(EqualitySet<L> a,
EqualitySet<L> b)
Returns true if the sets a and b represent the
same element in this set lattice. |
boolean |
IntersectionSetLattice.equals(EqualitySet<L> a,
EqualitySet<L> b)
Returns true if the sets a and b represent the
same element in this set lattice. |
boolean |
IntersectionSetLattice.equals(EqualitySet<L> a,
EqualitySet<L> b)
Returns true if the sets a and b represent the
same element in this set lattice. |
EqualitySet<L> |
UnionSetLattice.getLeastUpperBound(EqualitySet<L> a,
EqualitySet<L> b)
Returns the least upper bound of the sets a and b
according to this set lattice. |
EqualitySet<L> |
UnionSetLattice.getLeastUpperBound(EqualitySet<L> a,
EqualitySet<L> b)
Returns the least upper bound of the sets a and b
according to this set lattice. |
EqualitySet<L> |
IntersectionSetLattice.getLeastUpperBound(EqualitySet<L> a,
EqualitySet<L> b)
Returns the least upper bound of the sets a and b
according to this set lattice. |
EqualitySet<L> |
IntersectionSetLattice.getLeastUpperBound(EqualitySet<L> a,
EqualitySet<L> b)
Returns the least upper bound of the sets a and b
according to this set lattice. |
int |
UnionSetLattice.hashCode(EqualitySet<L> a)
Returns the hashcode of the set a according to this set lattice. |
int |
IntersectionSetLattice.hashCode(EqualitySet<L> a)
Returns the hashcode of the set a according to this set lattice. |
Constructors in tip.cfg with parameters of type EqualitySet | |
---|---|
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 EqualitySet in tip.cfg.dfa |
---|
Methods in tip.cfg.dfa with parameters of type EqualitySet | |
---|---|
String |
VeryBusyExpressionsAnalysis.getVariableString(EqualitySet<ABinopExp> variable)
|
String |
AvailableExpressionsAnalysis.getVariableString(EqualitySet<ABinopExp> variable)
Returns a textual representation of variable . |
String |
LivenessAnalysis.getVariableString(EqualitySet<ALocalDecl> variable)
Returns a textual representation of variable . |
String |
ReachingDefinitionsAnalysis.getVariableString(EqualitySet<CAssignVarStmPoint> variable)
|
String |
ShapeAnalysis.getVariableString(EqualitySet<tip.cfg.dfa.ShapeAnalysis.TargetPair> variable)
|
Uses of EqualitySet in tip.util |
---|
Methods in tip.util that return EqualitySet | |
---|---|
EqualitySet<E> |
EqualitySet.clone()
Returns a shallow clone of this set. |
EqualitySet<K> |
EqualityMap.keySet()
|
Methods in tip.util with parameters of type EqualitySet | |
---|---|
boolean |
EqualitySet.addAll(EqualitySet<E> c)
Adds all elements in c to the set. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |