public class ArgAbstractDomain extends java.lang.Object implements AbstractDomain
AbstractDomain delegates its semi-lattice
interfaces to the inner abstract state and creates ARG nodes
upon discovering new abstract states.| Modifier and Type | Field and Description |
|---|---|
protected ArgAbstractStateFactory |
argAbstractStateFactory |
protected AbstractDomain |
wrappedAbstractDomain |
| Constructor and Description |
|---|
ArgAbstractDomain(AbstractDomain wrappedAbstractDomain,
ArgAbstractStateFactory argAbstractStateFactory)
Create a wrapper abstract domain for a specific abstract state factory.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
isLessOrEqual(AbstractState abstractState1,
AbstractState abstractState2)
Compares two abstract states.
|
AbstractState |
join(AbstractState abstractState1,
AbstractState abstractState2)
Computes the join over two abstract states.
|
protected final AbstractDomain wrappedAbstractDomain
protected final ArgAbstractStateFactory argAbstractStateFactory
public ArgAbstractDomain(AbstractDomain wrappedAbstractDomain, ArgAbstractStateFactory argAbstractStateFactory)
wrappedAbstractDomain - a wrapped abstract domainargAbstractStateFactory - an abstract state factorypublic AbstractState join(AbstractState abstractState1, AbstractState abstractState2)
AbstractDomainjoin in interface AbstractDomainpublic boolean isLessOrEqual(AbstractState abstractState1, AbstractState abstractState2)
AbstractDomainisLessOrEqual in interface AbstractDomain