Package 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	Description
static final JvmUnknownCfaNode	INSTANCE

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

EXCEPTION_EXIT_NODE_OFFSET, EXIT_NODES_OFFSET, RETURN_EXIT_NODE_OFFSET

Method Summary

Modifier and Type	Method	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.
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 Details

INSTANCE

public static final JvmUnknownCfaNode INSTANCE

Method Details

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 String toString()

Overrides:

toString in class JvmCfaNode