public class SignAnalysisLattice extends AbstractDomainLattice<Integer>
PartialComparator.PartialComparisonResult
Modifier and Type | Field and Description |
---|---|
static AbstractDomainElement[] |
ABSTRACT_DOMAIN_ELEMS
All elements of this abstract domain.
|
private static SignAnalysisLattice |
INSTANCE
The singleton instance of this lattice.
|
Modifier | Constructor and Description |
---|---|
private |
SignAnalysisLattice()
Private constructor (singleton!).
|
Modifier and Type | Method and Description |
---|---|
AbstractDomainElement |
abstractFrom(Integer elem)
Abstracts from a given element of the concrete domain by
returning a suitable abstract element.
|
static SignAnalysisLattice |
getInstance() |
Iterator<AbstractDomainElement> |
iterator()
Iterates through the abstract domain elements of this
abstract domain starting by the smallest element; if
an element b is returned by the iterator after an element
a, the either compare(a,b) == LTE, or compare(a,b) == UNDEF
must hold (i.e., b may not be smaller than a).
|
AbstractDomainElement |
join(AbstractDomainElement elem1,
AbstractDomainElement elem2)
A lattice join operation; finds an abstract element that is
the least upper bound of the set consisting of the elements
a and b.
|
compare
public static final AbstractDomainElement[] ABSTRACT_DOMAIN_ELEMS
private static final SignAnalysisLattice INSTANCE
private SignAnalysisLattice()
public static SignAnalysisLattice getInstance()
public AbstractDomainElement abstractFrom(Integer elem)
AbstractDomainLattice
abstractFrom
in class AbstractDomainLattice<Integer>
elem
- Element to abstract from.public AbstractDomainElement join(AbstractDomainElement elem1, AbstractDomainElement elem2)
AbstractDomainLattice
join
in class AbstractDomainLattice<Integer>
elem1
- First element to find the least upper bound for.elem2
- Second element to find the least upper bound for.public Iterator<AbstractDomainElement> iterator()
AbstractDomainLattice
iterator
in interface Iterable<AbstractDomainElement>
iterator
in class AbstractDomainLattice<Integer>