proguard.analysis.cpa.jvm.domain.value

Class ValueAbstractState

java.lang.Object

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

All Implemented Interfaces:

AbstractState<ValueAbstractState>

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

An AbstractState for tracking JVM values.

Field Summary

Fields

Modifier and Type	Field and Description
static ValueAbstractState	UNKNOWN

Constructor Summary

Constructors

Constructor and Description
ValueAbstractState(Value value)

Method Summary

Modifier and Type	Method and Description
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()

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.analysis.cpa.interfaces.AbstractState

getPrecision, isLess

Field Detail

UNKNOWN

public static final ValueAbstractState UNKNOWN

Constructor Detail

ValueAbstractState

public ValueAbstractState(Value value)

Method Detail

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)

Description copied from interface: AbstractState

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

Specified by:

join in interface AbstractState<ValueAbstractState>

isLessOrEqual

public boolean isLessOrEqual(ValueAbstractState abstractState)

Description copied from interface: AbstractState

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

Specified by:

isLessOrEqual in interface AbstractState<ValueAbstractState>

copy

public ValueAbstractState copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState<ValueAbstractState>

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in interface AbstractState<ValueAbstractState>

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Specified by:

hashCode in interface AbstractState<ValueAbstractState>

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object