proguard.analysis.cpa.interfaces

Interface AbstractState

All Known Subinterfaces:

JvmHeapAbstractState<StateT>, LatticeAbstractState<AbstractStateT>, MapAbstractState<KeyT,AbstractSpaceT>

All Known Implementing Classes:

AbstractSingleWrapperState, AbstractWrapperState, CompositeHeapJvmAbstractState, DifferentialMapAbstractState, HashMapAbstractState, HeapNode, JvmAbstractState, JvmBasicTaintTreeHeapFollowerAbstractState, JvmForgetfulHeapAbstractState, JvmFrameAbstractState, JvmMemoryLocationAbstractState, JvmReferenceAbstractState, JvmShallowHeapAbstractState, JvmTaintAbstractState, JvmTaintTreeHeapFollowerAbstractState, JvmTreeHeapAbstractState, JvmTreeHeapFollowerAbstractState, JvmTreeHeapPrincipalAbstractState, JvmValueAbstractState, LimitedHashMapAbstractState, ListAbstractState, SetAbstractState, StackAbstractState, ValueAbstractState

public interface AbstractState

An AbstractState contains information about the program state.

Method Summary

Modifier and Type	Method and Description
AbstractState	copy() Creates a copy of itself.
boolean	equals(java.lang.Object obj)
default Precision	getPrecision() Returns the Precision used by the PrecisionAdjustment.
default AbstractState	getStateByName(java.lang.String name) Returns an abstract state for a given if the state is composite, returns self otherwise.
int	hashCode()

Method Detail

getPrecision

default Precision getPrecision()

Returns the Precision used by the PrecisionAdjustment.

copy

AbstractState copy()

Creates a copy of itself.

getStateByName

default AbstractState getStateByName(java.lang.String name)

Returns an abstract state for a given if the state is composite, returns self otherwise.

equals

boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

int hashCode()

Overrides:

hashCode in class java.lang.Object