AbstractState (ProGuardCORE)

All Known Subinterfaces:

JvmHeapAbstractState<StateT>, LatticeAbstractState<AbstractStateT>, MapAbstractState<KeyT,AbstractSpaceT>

All Known Implementing Classes:

HashMapAbstractState, JvmAbstractState, JvmForgetfulHeapAbstractState, JvmFrameAbstractState, JvmMemoryLocationAbstractState, JvmShallowHeapAbstractState, JvmTaintAbstractState, JvmValueAbstractState, ListAbstractState, SetAbstractState, StackAbstractState, ValueAbstractState
```
public interface AbstractState
```
An AbstractState contains information about the program state.

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	Description
`AbstractState`	`copy()`	Creates a copy of itself.
`boolean`	`equals(java.lang.Object obj)`
`default Precision`	`getPrecision()`	Returns the `Precision` used by the `PrecisionAdjustment`.
`int`	`hashCode()`

- Method Detail
  - getPrecision
```
default Precision getPrecision()
```
    Returns the Precision used by the PrecisionAdjustment.
  - copy
```
AbstractState 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