proguard.analysis.cpa.defaults

Class MemoryLocation<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature,ValueT extends AbstractState,AbstractStateT extends AbstractState>

java.lang.Object

proguard.analysis.cpa.defaults.MemoryLocation<CfaNodeT,CfaEdgeT,SignatureT,ValueT,AbstractStateT>

All Implemented Interfaces:

ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT>

Direct Known Subclasses:

JvmMemoryLocation

public abstract class MemoryLocation<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature,ValueT extends AbstractState,AbstractStateT extends AbstractState>
extends java.lang.Object
implements ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT>

A MemoryLocation points at a specific AbstractState in a compound AbstractStates for some CfaNode.

Field Summary

Fields

Modifier and Type	Field and Description
protected ArgProgramLocationDependentAbstractState<CfaNodeT,CfaEdgeT,SignatureT>	argNode

Constructor Summary

Constructors

Constructor and Description
MemoryLocation()

Method Summary

Modifier and Type	Method and Description
abstract MemoryLocation<CfaNodeT,CfaEdgeT,SignatureT,ValueT,AbstractStateT>	copy() Creates its copy.
boolean	equals(java.lang.Object obj)
abstract <T extends ValueT> T	extractValueOrDefault(AbstractStateT abstractState, T defaultValue) Returns an AbstractState representing value stored at the MemoryLocation in the input AbstractState.
ArgProgramLocationDependentAbstractState<CfaNodeT,CfaEdgeT,SignatureT>	getArgNode() Return the ARG node it points at.
CfaNodeT	getProgramLocation() Returns the program location.
int	hashCode()
void	setArgNode(ArgProgramLocationDependentAbstractState<CfaNodeT,CfaEdgeT,SignatureT> argNode) Sets the ARG node to point at.
void	setProgramLocation(CfaNodeT programLocation) Sets the program location.

Methods inherited from class java.lang.Object

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

Field Detail

argNode

protected ArgProgramLocationDependentAbstractState<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature> argNode

Constructor Detail

MemoryLocation

public MemoryLocation()

Method Detail

getProgramLocation

public CfaNodeT getProgramLocation()

Description copied from interface: ProgramLocationDependent

Returns the program location.

Specified by:

getProgramLocation in interface ProgramLocationDependent<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

setProgramLocation

public void setProgramLocation(CfaNodeT programLocation)

Description copied from interface: ProgramLocationDependent

Sets the program location.

Specified by:

setProgramLocation in interface ProgramLocationDependent<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

getArgNode

public ArgProgramLocationDependentAbstractState<CfaNodeT,CfaEdgeT,SignatureT> getArgNode()

Return the ARG node it points at.

setArgNode

public void setArgNode(ArgProgramLocationDependentAbstractState<CfaNodeT,CfaEdgeT,SignatureT> argNode)

Sets the ARG node to point at.

extractValueOrDefault

public abstract <T extends ValueT> T extractValueOrDefault(AbstractStateT abstractState,
                                                           T defaultValue)

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.

copy

public abstract MemoryLocation<CfaNodeT,CfaEdgeT,SignatureT,ValueT,AbstractStateT> copy()

Creates its copy.

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