proguard.analysis.cpa.jvm.witness

Class JvmMemoryLocation

java.lang.Object

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

proguard.analysis.cpa.jvm.witness.JvmMemoryLocation

All Implemented Interfaces:

ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>

Direct Known Subclasses:

JvmHeapLocation, JvmLocalVariableLocation, JvmStackLocation, JvmStaticFieldLocation

public abstract class JvmMemoryLocation
extends MemoryLocation<JvmCfaNode,JvmCfaEdge,MethodSignature,LatticeAbstractState,JvmAbstractState>

A JvmMemoryLocation is a MemoryLocation specific to JVM.

Field Summary

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

argNode

Constructor Summary

Constructors

Constructor and Description
JvmMemoryLocation()

Method Summary

Modifier and Type	Method and Description
abstract JvmMemoryLocation	copy() Creates its copy.

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

equals, extractValueOrDefault, getArgNode, getProgramLocation, hashCode, setArgNode, setProgramLocation

Methods inherited from class java.lang.Object

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

Constructor Detail

JvmMemoryLocation

public JvmMemoryLocation()

Method Detail

copy

public abstract JvmMemoryLocation copy()

Description copied from class: MemoryLocation

Creates its copy.

Specified by:

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