proguard.analysis.cpa.jvm.domain.memory

Class JvmMemoryLocationAbstractState.StackEntry

java.lang.Object

proguard.analysis.cpa.jvm.domain.memory.JvmMemoryLocationAbstractState.StackEntry

Enclosing class:

JvmMemoryLocationAbstractState<AbstractStateT extends AbstractState & ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>>

public static class JvmMemoryLocationAbstractState.StackEntry
extends java.lang.Object

An entry of the call stack of the state.

Field Summary

Fields

Modifier and Type	Field and Description
AbstractState	callerState
ProgramLocationDependentReachedSet	reachedSet
MethodSignature	signature

Constructor Summary

Constructors

Constructor and Description
StackEntry(MethodSignature signature, ProgramLocationDependentReachedSet reachedSet, AbstractState callerState)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Detail

signature

public final MethodSignature signature

reachedSet

public final ProgramLocationDependentReachedSet reachedSet

callerState

public final AbstractState callerState

Constructor Detail

StackEntry

public StackEntry(MethodSignature signature,
                  ProgramLocationDependentReachedSet reachedSet,
                  AbstractState callerState)

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object