proguard.analysis.cpa.jvm.domain.value

Class ValueAbstractState

java.lang.Object

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

All Implemented Interfaces:

LatticeAbstractState<ValueAbstractState>, AbstractState

public class ValueAbstractState
extends java.lang.Object
implements LatticeAbstractState<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
AbstractState	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.
ValueAbstractState	join(ValueAbstractState abstractState) Computes a join over itself and the abstractState.
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.defaults.LatticeAbstractState

isLess

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

getPrecision, getStateByName

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: LatticeAbstractState

Computes a join over itself and the abstractState.

Specified by:

join in interface LatticeAbstractState<ValueAbstractState>

isLessOrEqual

public boolean isLessOrEqual(ValueAbstractState abstractState)

Description copied from interface: LatticeAbstractState

Compares itself to the abstractState.

Specified by:

isLessOrEqual in interface LatticeAbstractState<ValueAbstractState>

copy

public AbstractState copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in interface AbstractState

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Specified by:

hashCode in interface AbstractState

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object