AbstractState (ProGuardCORE)

Type Parameters:

StateT - recursive generic type of the abstract state.

All Known Subinterfaces:

JvmHeapAbstractState<StateT>, MapAbstractState<KeyT,AbstractSpaceT>

All Known Implementing Classes:

HashMapAbstractState, JvmAbstractState, JvmForgetfulHeapAbstractState, JvmFrameAbstractState, JvmMemoryLocationAbstractState, JvmShallowHeapAbstractState, JvmValueAbstractState, ListAbstractState, SetAbstractState, StackAbstractState, ValueAbstractState
```
public interface AbstractState<StateT extends AbstractState<StateT>>
```
An AbstractState contains information about the program state.
Abstract states are meant as part of a join-semilattice representing the domain of the analysis and implement operations over this set. In particular the states should be able to determine whether they are below another state in the partial order and to calculate the least upper bound on the semilattice when another state is provided (i.e., join operation).

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	Description
`StateT`	`copy()`	Creates a copy of itself.
`boolean`	`equals(java.lang.Object obj)`
`default Precision`	`getPrecision()`	Returns the `Precision` used by the `PrecisionAdjustment`.
`int`	`hashCode()`
`default boolean`	`isLess(StateT abstractStateT)`	Strictly compares itself to the `abstractState`.
`boolean`	`isLessOrEqual(StateT abstractState)`	Compares itself to the `abstractState` (i.e., compare the states on the partial order provided by the domain of the analysis).
`StateT`	`join(StateT abstractState)`	Computes a join over itself and another abstract state `abstractState` (i.e., finds the least upper bound on the semilattice).

- Method Detail
  - getPrecision
```
default Precision getPrecision()
```
    Returns the Precision used by the PrecisionAdjustment.
  - copy
```
StateT copy()
```
    Creates a copy of itself.
  - equals
```
boolean equals(java.lang.Object obj)
```
    Overrides:
    
    equals in class java.lang.Object
  - hashCode
```
int hashCode()
```
    Overrides:
    
    hashCode in class java.lang.Object
  - join
```
StateT join(StateT abstractState)
```
    Computes a join over itself and another abstract state abstractState (i.e., finds the least upper bound on the semilattice).
  - isLessOrEqual
```
boolean isLessOrEqual(StateT abstractState)
```
    Compares itself to the abstractState (i.e., compare the states on the partial order provided by the domain of the analysis).
  - isLess
```
default boolean isLess(StateT abstractStateT)
```
    Strictly compares itself to the abstractState.