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

All Implemented Interfaces:

ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>

public class JvmLocalVariableLocation
extends JvmMemoryLocation

The JvmLocalVariableLocation is a memory location at the local variable array for a certain program point.

Field Summary

Fields

Modifier and Type	Field and Description
int	index

Fields inherited from class proguard.analysis.cpa.defaults.MemoryLocation

argNode

Constructor Summary

Constructors

Constructor and Description
JvmLocalVariableLocation(ArgProgramLocationDependentAbstractState<JvmCfaNode,JvmCfaEdge,MethodSignature> argNode, int index) Create a local variable location at a specific program location.
JvmLocalVariableLocation(int index) Create a local variable location unspecific to a program location.

Method Summary

Modifier and Type	Method and Description
JvmLocalVariableLocation	copy() Creates its copy.
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 proguard.analysis.cpa.defaults.MemoryLocation

getArgNode, getProgramLocation, setArgNode, setProgramLocation

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 unspecific to a program location.

Parameters:

index - a position at the local variable array

JvmLocalVariableLocation

public JvmLocalVariableLocation(ArgProgramLocationDependentAbstractState<JvmCfaNode,JvmCfaEdge,MethodSignature> argNode,
                                int index)

Create a local variable location at a specific program location.

Parameters:

argNode - an ARG node

index - a position at the local variable array

Method Detail

copy

public JvmLocalVariableLocation copy()

Description copied from class: MemoryLocation

Creates its copy.

Specified by:

copy in class JvmMemoryLocation

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)

Overrides:

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

hashCode

public int hashCode()

Overrides:

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object