程序包 proguard.analysis.cpa.interfaces

接口 AbstractState<StateT extends AbstractState<StateT>>

类型参数:

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(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(Object obj)

覆盖:

equals 在类中 Object

hashCode

int hashCode()

覆盖:

hashCode 在类中 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.