proguard.analysis.cpa.jvm.cfa.nodes

Class JvmUnknownCfaNode

java.lang.Object

proguard.analysis.cpa.jvm.cfa.nodes.JvmCfaNode

proguard.analysis.cpa.jvm.cfa.nodes.JvmUnknownCfaNode

All Implemented Interfaces:

CfaNode<JvmCfaEdge,MethodSignature>

public class JvmUnknownCfaNode
extends JvmCfaNode

A unique node for an entire CFA representing an unknown code location.

Field Summary

Fields

Modifier and Type	Field and Description
static JvmUnknownCfaNode	INSTANCE

Fields inherited from interface proguard.analysis.cpa.interfaces.CfaNode

EXCEPTION_EXIT_NODE_OFFSET, RETURN_EXIT_NODE_OFFSET

Method Summary

Modifier and Type	Method and Description
boolean	isReturnExitNode() Returns true if the node is the return location of the function (offset == CfaNode.RETURN_EXIT_NODE_OFFSET).
boolean	isUnknownNode() Returns true if the location of the node is unknown.
java.lang.String	toString()

Methods inherited from class proguard.analysis.cpa.jvm.cfa.nodes.JvmCfaNode

addEnteringEdge, addLeavingEdge, getClazz, getEnteringEdges, getEnteringIntraproceduralEdges, getEnteringInvokeEdge, getKnownMethodCallEdges, getLeavingEdges, getLeavingInterproceduralEdges, getLeavingIntraproceduralEdges, getLeavingInvokeEdge, getOffset, getSignature, hashCode, isEntryNode, isExitNode

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.analysis.cpa.interfaces.CfaNode

isExceptionExitNode

Field Detail

INSTANCE

public static final JvmUnknownCfaNode INSTANCE

Method Detail

isReturnExitNode

public boolean isReturnExitNode()

Description copied from interface: CfaNode

Returns true if the node is the return location of the function (offset == CfaNode.RETURN_EXIT_NODE_OFFSET).

isUnknownNode

public boolean isUnknownNode()

Description copied from interface: CfaNode

Returns true if the location of the node is unknown.

toString

public java.lang.String toString()

Overrides:

toString in class JvmCfaNode