proguard.analysis.cpa.jvm.witness

Class JvmStaticFieldLocation

java.lang.Object

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

proguard.analysis.cpa.jvm.witness.JvmMemoryLocation

proguard.analysis.cpa.jvm.witness.JvmStaticFieldLocation

public class JvmStaticFieldLocation
extends JvmMemoryLocation

The JvmStaticFieldLocation is a memory location corresponding to a public static field.

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.String	fqn

Constructor Summary

Constructors

Constructor and Description
JvmStaticFieldLocation(java.lang.String fqn) Create a static field 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	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

fqn

public final java.lang.String fqn

Constructor Detail

JvmStaticFieldLocation

public JvmStaticFieldLocation(java.lang.String fqn)

Create a static field location.

Parameters:

fqn - a fully qualified name

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>

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>