AbstractState (proguard-core 9.3.3-wcpe-3 API)

类型参数:

StateT - recursive generic type of the abstract state.

所有已知子接口:

JvmHeapAbstractState<StateT>, MapAbstractState<KeyT,AbstractSpaceT>

所有已知实现类:

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).

方法概要

所有方法实例方法抽象方法默认方法
修饰符和类型	方法	说明
`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).

- 方法详细资料
  - 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)
```
    覆盖:
    
    equals 在类中 java.lang.Object
  - hashCode
```
int hashCode()
```
    覆盖:
    
    hashCode 在类中 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.