程序包 proguard.analysis.cpa.jvm.cfa.edges

类 JvmAssumeCfaEdge

java.lang.Object

proguard.analysis.cpa.jvm.cfa.edges.JvmCfaEdge

proguard.analysis.cpa.jvm.cfa.edges.JvmInstructionCfaEdge

proguard.analysis.cpa.jvm.cfa.edges.JvmAssumeCfaEdge

所有已实现的接口:

CfaEdge<JvmCfaNode>

public class JvmAssumeCfaEdge
extends JvmInstructionCfaEdge

An edge representing an assumption on a JVM branch instruction that can be either taken or not taken.

构造器概要

构造器

构造器	说明
JvmAssumeCfaEdge(JvmCfaNode source, JvmCfaNode target, CodeAttribute methodCode, int offset, boolean isSatisfied)	Create a JVM CFA assume branch edge.
JvmAssumeCfaEdge(CodeAttribute methodCode, int offset, boolean isSatisfied)	Create a disconnected JVM CFA assume branch edge.

方法概要

修饰符和类型	方法	说明
boolean	isSatisfied()	Returns the assumption on the branch statement result made on this edge.

从类继承的方法 proguard.analysis.cpa.jvm.cfa.edges.JvmInstructionCfaEdge

getInstruction, getMethodCode

从类继承的方法 proguard.analysis.cpa.jvm.cfa.edges.JvmCfaEdge

getSource, getTarget, setSource, setTarget, targetSignature

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

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

构造器详细资料

JvmAssumeCfaEdge

public JvmAssumeCfaEdge(CodeAttribute methodCode,
                        int offset,
                        boolean isSatisfied)

Create a disconnected JVM CFA assume branch edge.

参数:

methodCode - the code attribute of the method the edge belongs to

offset - the offset of the instruction represented by the edge

isSatisfied - an assumption on the branch result

JvmAssumeCfaEdge

public JvmAssumeCfaEdge(JvmCfaNode source,
                        JvmCfaNode target,
                        CodeAttribute methodCode,
                        int offset,
                        boolean isSatisfied)

Create a JVM CFA assume branch edge. Also sets it as the entering and leaving edge of the source and target nodes.

参数:

source - the source node of the edge

target - the target node of the edge

methodCode - the code attribute of the method the edge belongs to

offset - the offset of the instruction represented by the edge

isSatisfied - an assumption on hte branch result

方法详细资料

isSatisfied

public boolean isSatisfied()

Returns the assumption on the branch statement result made on this edge.