程序包 proguard.analysis.cpa.jvm.domain.memory

类 JvmMemoryLocationAbstractState.StackEntry<ContentT extends AbstractState<ContentT>>

java.lang.Object

proguard.analysis.cpa.jvm.domain.memory.JvmMemoryLocationAbstractState.StackEntry<ContentT>

类型参数:

ContentT - The content of the jvm states. For example, this can be a SetAbstractState of taints for taint analysis or a ValueAbstractState for value analysis.

封闭类:

JvmMemoryLocationAbstractState<ContentT extends AbstractState<ContentT>>

public static class JvmMemoryLocationAbstractState.StackEntry<ContentT extends AbstractState<ContentT>>
extends java.lang.Object

An entry of the call stack of the state.

字段概要

字段

修饰符和类型	字段	说明
JvmAbstractState<ContentT>	callerState
ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>>	reachedSet
MethodSignature	signature

构造器概要

构造器

构造器	说明
StackEntry(MethodSignature signature, ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> reachedSet, JvmAbstractState<ContentT> callerState)

方法概要

修饰符和类型	方法	说明
boolean	equals(java.lang.Object obj)
int	hashCode()

从类继承的方法 java.lang.Object

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

字段详细资料

signature

public final MethodSignature signature

reachedSet

public final ProgramLocationDependentReachedSet<JvmAbstractState<ContentT extends AbstractState<ContentT>>> reachedSet

callerState

public final JvmAbstractState<ContentT extends AbstractState<ContentT>> callerState

构造器详细资料

StackEntry

public StackEntry(MethodSignature signature,
                  ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> reachedSet,
                  JvmAbstractState<ContentT> callerState)

方法详细资料

hashCode

public int hashCode()

覆盖:

hashCode 在类中 java.lang.Object

equals

public boolean equals(java.lang.Object obj)

覆盖:

equals 在类中 java.lang.Object