程序包 proguard.analysis.cpa.jvm.domain.value

类 ValueAbstractState

java.lang.Object

proguard.analysis.cpa.jvm.domain.value.ValueAbstractState

所有已实现的接口:

AbstractState<ValueAbstractState>

public class ValueAbstractState
extends java.lang.Object
implements AbstractState<ValueAbstractState>

An AbstractState for tracking JVM values.

字段概要

字段

修饰符和类型	字段	说明
static ValueAbstractState	UNKNOWN

构造器概要

构造器

构造器	说明
ValueAbstractState(Value value)

方法概要

修饰符和类型	方法	说明
ValueAbstractState	copy()	Creates a copy of itself.
boolean	equals(java.lang.Object o)
Value	getValue()	Returns the Value associated with this abstract state.
int	hashCode()
boolean	isLessOrEqual(ValueAbstractState abstractState)	Compares itself to the abstractState (i.e., compare the states on the partial order provided by the domain of the analysis).
ValueAbstractState	join(ValueAbstractState abstractState)	Computes a join over itself and another abstract state abstractState (i.e., finds the least upper bound on the semilattice).
void	setValue(Value value)	Update the Value associated with this abstract state.
java.lang.String	toString()

从类继承的方法 java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

从接口继承的方法 proguard.analysis.cpa.interfaces.AbstractState

getPrecision, isLess

字段详细资料

UNKNOWN

public static final ValueAbstractState UNKNOWN

构造器详细资料

ValueAbstractState

public ValueAbstractState(Value value)

方法详细资料

getValue

public Value getValue()

Returns the Value associated with this abstract state.

setValue

public void setValue(Value value)

Update the Value associated with this abstract state.

join

public ValueAbstractState join(ValueAbstractState abstractState)

从接口复制的说明: AbstractState

Computes a join over itself and another abstract state abstractState (i.e., finds the least upper bound on the semilattice).

指定者:

join 在接口中 AbstractState<ValueAbstractState>

isLessOrEqual

public boolean isLessOrEqual(ValueAbstractState abstractState)

从接口复制的说明: AbstractState

Compares itself to the abstractState (i.e., compare the states on the partial order provided by the domain of the analysis).

指定者:

isLessOrEqual 在接口中 AbstractState<ValueAbstractState>

copy

public ValueAbstractState copy()

从接口复制的说明: AbstractState

Creates a copy of itself.

指定者:

copy 在接口中 AbstractState<ValueAbstractState>

equals

public boolean equals(java.lang.Object o)

指定者:

equals 在接口中 AbstractState<ValueAbstractState>

覆盖:

equals 在类中 java.lang.Object

hashCode

public int hashCode()

指定者:

hashCode 在接口中 AbstractState<ValueAbstractState>

覆盖:

hashCode 在类中 java.lang.Object

toString

public java.lang.String toString()

覆盖:

toString 在类中 java.lang.Object