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>

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

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

Constructor Summary

Constructors

Constructor and Description
MemoryLocation()

Method Summary

Modifier and Type	Method and Description
abstract 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.
abstract int	hashCode()
abstract java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

MemoryLocation

public MemoryLocation()

Method Detail

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.

equals

public abstract boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public abstract int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public abstract java.lang.String toString()

Overrides:

toString in class java.lang.Object