proguard.analysis.cpa.defaults

Interface LatticeAbstractState<AbstractStateT extends LatticeAbstractState<AbstractStateT>>

All Superinterfaces:

AbstractState

All Known Subinterfaces:

JvmHeapAbstractState<StateT>, MapAbstractState<KeyT,AbstractSpaceT>

All Known Implementing Classes:

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

public interface LatticeAbstractState<AbstractStateT extends LatticeAbstractState<AbstractStateT>>
extends AbstractState

The LatticeAbstractState is an AbstractDomain with concrete interfaces.

Method Summary

Modifier and Type	Method and Description
default boolean	isLess(AbstractStateT abstractStateT) Strictly compares itself to the abstractState.
boolean	isLessOrEqual(AbstractStateT abstractState) Compares itself to the abstractState.
AbstractStateT	join(AbstractStateT abstractState) Computes a join over itself and the abstractState.

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

copy, equals, getPrecision, getStateByName, hashCode

Method Detail

join

AbstractStateT join(AbstractStateT abstractState)

Computes a join over itself and the abstractState.

isLessOrEqual

boolean isLessOrEqual(AbstractStateT abstractState)

Compares itself to the abstractState.

isLess

default boolean isLess(AbstractStateT abstractStateT)

Strictly compares itself to the abstractState.