AbstractState (ProGuardCORE)

All Known Subinterfaces:

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

All Known Implementing Classes:

AbstractSingleWrapperState, AbstractWrapperState, DifferentialMapAbstractState, HashMapAbstractState, JvmAbstractState, JvmForgetfulHeapAbstractState, JvmFrameAbstractState, JvmMemoryLocationAbstractState, JvmReferenceAbstractState, JvmShallowHeapAbstractState, JvmTaintAbstractState, JvmValueAbstractState, LimitedHashMapAbstractState, 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`.
`default AbstractState`	`getStateByName(java.lang.String name)`	Returns an abstract state for a given {@param name} if the state is composite, returns `self` otherwise.
`int`	`hashCode()`

- Method Detail
  - getPrecision
```
default Precision getPrecision()
```
    Returns the Precision used by the PrecisionAdjustment.
  - copy
```
AbstractState copy()
```
    Creates a copy of itself.
  - getStateByName
```
default AbstractState getStateByName(java.lang.String name)
```
    Returns an abstract state for a given {@param name} if the state is composite, returns self otherwise.
  - equals
```
boolean equals(java.lang.Object obj)
```
    Overrides:
    
    equals in class java.lang.Object
  - hashCode
```
int hashCode()
```
    Overrides:
    
    hashCode in class java.lang.Object