proguard.analysis.cpa.jvm.witness

Class JvmLocalVariableLocation

java.lang.Object

proguard.analysis.cpa.defaults.MemoryLocation<JvmCfaNode,JvmCfaEdge,MethodSignature,LatticeAbstractState,JvmAbstractState>

proguard.analysis.cpa.jvm.witness.JvmMemoryLocation

proguard.analysis.cpa.jvm.witness.JvmLocalVariableLocation

public class JvmLocalVariableLocation
extends JvmMemoryLocation

The JvmLocalVariableLocation is a memory location at the local variable array.

Field Summary

Fields

Modifier and Type	Field and Description
int	index

Constructor Summary

Constructors

Constructor and Description
JvmLocalVariableLocation(int index) Create a local variable location.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
<T extends LatticeAbstractState> T	extractValueOrDefault(JvmAbstractState abstractState, T defaultValue) Returns an AbstractState representing value stored at the MemoryLocation in the input AbstractState.
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

index

public final int index

Constructor Detail

JvmLocalVariableLocation

public JvmLocalVariableLocation(int index)

Create a local variable location.

Parameters:

index - a position at the local variable array

Method Detail

extractValueOrDefault

public <T extends LatticeAbstractState> T extractValueOrDefault(JvmAbstractState abstractState,
                                                                T defaultValue)

Description copied from class: MemoryLocation

Returns an AbstractState representing value stored at the MemoryLocation in the input AbstractState. If the AbstractState does not specify a ValueT at the MemoryLocation, the default value is returned.

Specified by:

extractValueOrDefault in class MemoryLocation<JvmCfaNode,JvmCfaEdge,MethodSignature,LatticeAbstractState,JvmAbstractState>

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in class MemoryLocation<JvmCfaNode,JvmCfaEdge,MethodSignature,LatticeAbstractState,JvmAbstractState>

hashCode

public int hashCode()

Specified by:

hashCode in class MemoryLocation<JvmCfaNode,JvmCfaEdge,MethodSignature,LatticeAbstractState,JvmAbstractState>

toString

public java.lang.String toString()

Specified by:

toString in class MemoryLocation<JvmCfaNode,JvmCfaEdge,MethodSignature,LatticeAbstractState,JvmAbstractState>