proguard.analysis.cpa.jvm.domain.memory

Class BamLocationDependentJvmMemoryLocation<AbstractStateT extends AbstractState & ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>>

java.lang.Object

proguard.analysis.cpa.jvm.domain.memory.BamLocationDependentJvmMemoryLocation<AbstractStateT>

Type Parameters:

AbstractStateT - The type of the abstract states in the BAM cache.

All Implemented Interfaces:

BamLocationDependent<JvmCfaNode,JvmCfaEdge,AbstractStateT,MethodSignature>, ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>

public class BamLocationDependentJvmMemoryLocation<AbstractStateT extends AbstractState & ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>>
extends java.lang.Object
implements ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>, BamLocationDependent<JvmCfaNode,JvmCfaEdge,AbstractStateT,MethodSignature>

This class wraps a JvmMemoryLocation adding information on its program location and source reached set.

Constructor Summary

Constructors

Constructor and Description
BamLocationDependentJvmMemoryLocation(JvmMemoryLocation memoryLocation)
BamLocationDependentJvmMemoryLocation(JvmMemoryLocation memoryLocation, JvmCfaNode programLocation, ProgramLocationDependentReachedSet<JvmCfaNode,JvmCfaEdge,AbstractStateT,MethodSignature> sourceReachedSet)

Method Summary

Modifier and Type	Method and Description
BamLocationDependentJvmMemoryLocation<AbstractStateT>	copy()
boolean	equals(java.lang.Object obj)
JvmMemoryLocation	getMemoryLocation()
JvmCfaNode	getProgramLocation() Returns the program location.
ProgramLocationDependentReachedSet<JvmCfaNode,JvmCfaEdge,AbstractStateT,MethodSignature>	getSourceReachedSet() Returns the reached set the abstract state belongs to.
int	hashCode()
void	setProgramLocation(JvmCfaNode programLocation) Sets the program location.
void	setSourceReachedSet(ProgramLocationDependentReachedSet<JvmCfaNode,JvmCfaEdge,AbstractStateT,MethodSignature> sourceReachedSet) Sets the reached set the abstract state belongs to.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

BamLocationDependentJvmMemoryLocation

public BamLocationDependentJvmMemoryLocation(JvmMemoryLocation memoryLocation)

BamLocationDependentJvmMemoryLocation

public BamLocationDependentJvmMemoryLocation(JvmMemoryLocation memoryLocation,
                                             JvmCfaNode programLocation,
                                             ProgramLocationDependentReachedSet<JvmCfaNode,JvmCfaEdge,AbstractStateT,MethodSignature> sourceReachedSet)

Method Detail

getMemoryLocation

public JvmMemoryLocation getMemoryLocation()

copy

public BamLocationDependentJvmMemoryLocation<AbstractStateT> copy()

getProgramLocation

public JvmCfaNode getProgramLocation()

Description copied from interface: ProgramLocationDependent

Returns the program location.

Specified by:

getProgramLocation in interface ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>

setProgramLocation

public void setProgramLocation(JvmCfaNode programLocation)

Description copied from interface: ProgramLocationDependent

Sets the program location.

Specified by:

setProgramLocation in interface ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>

getSourceReachedSet

public ProgramLocationDependentReachedSet<JvmCfaNode,JvmCfaEdge,AbstractStateT,MethodSignature> getSourceReachedSet()

Description copied from interface: BamLocationDependent

Returns the reached set the abstract state belongs to.

Specified by:

getSourceReachedSet in interface BamLocationDependent<JvmCfaNode,JvmCfaEdge,AbstractStateT extends AbstractState & ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>,MethodSignature>

setSourceReachedSet

public void setSourceReachedSet(ProgramLocationDependentReachedSet<JvmCfaNode,JvmCfaEdge,AbstractStateT,MethodSignature> sourceReachedSet)

Description copied from interface: BamLocationDependent

Sets the reached set the abstract state belongs to.

Specified by:

setSourceReachedSet in interface BamLocationDependent<JvmCfaNode,JvmCfaEdge,AbstractStateT extends AbstractState & ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>,MethodSignature>

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object