Class ValueAbstractState
java.lang.Object
proguard.analysis.cpa.jvm.domain.value.ValueAbstractState
- All Implemented Interfaces:
AbstractState<ValueAbstractState>
An
AbstractState for tracking JVM values.-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptioncopy()Creates a copy of itself.booleangetValue()Returns theValueassociated with this abstract state.inthashCode()booleanisLessOrEqual(ValueAbstractState abstractState) Compares itself to theabstractState(i.e., compare the states on the partial order provided by the domain of the analysis).join(ValueAbstractState abstractState) Computes a join over itself and another abstract stateabstractState(i.e., finds the least upper bound on the semilattice).voidUpdate theValueassociated with this abstract state.toString()Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, waitMethods inherited from interface proguard.analysis.cpa.interfaces.AbstractState
getPrecision, isLess
-
Field Details
-
UNKNOWN
-
-
Constructor Details
-
ValueAbstractState
-
-
Method Details
-
getValue
Returns theValueassociated with this abstract state. -
setValue
Update theValueassociated with this abstract state. -
join
Description copied from interface:AbstractStateComputes a join over itself and another abstract stateabstractState(i.e., finds the least upper bound on the semilattice).- Specified by:
joinin interfaceAbstractState<ValueAbstractState>
-
isLessOrEqual
Description copied from interface:AbstractStateCompares itself to theabstractState(i.e., compare the states on the partial order provided by the domain of the analysis).- Specified by:
isLessOrEqualin interfaceAbstractState<ValueAbstractState>
-
copy
Description copied from interface:AbstractStateCreates a copy of itself.- Specified by:
copyin interfaceAbstractState<ValueAbstractState>
-
equals
- Specified by:
equalsin interfaceAbstractState<ValueAbstractState>- Overrides:
equalsin classObject
-
hashCode
public int hashCode()- Specified by:
hashCodein interfaceAbstractState<ValueAbstractState>- Overrides:
hashCodein classObject
-
toString
-