proguard.analysis.cpa.jvm.witness

Class JvmStackLocation

java.lang.Object

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

proguard.analysis.cpa.jvm.witness.JvmMemoryLocation

proguard.analysis.cpa.jvm.witness.JvmStackLocation

public class JvmStackLocation
extends JvmMemoryLocation

The JvmStackLocation is a memory location at the operand stack. Indexing starts from the top of the stack.

Field Summary

Fields

Modifier and Type	Field and Description
int	index

Constructor Summary

Constructors

Constructor and Description
JvmStackLocation(int index) Create a stack 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	getIndex() Returns the stack index from the top.
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

JvmStackLocation

public JvmStackLocation(int index)

Create a stack location.

Parameters:

index - a stack element index from the top

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>

getIndex

public int getIndex()

Returns the stack index from the top.

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>