proguard.analysis.cpa.jvm.cfa.nodes

Class JvmCfaNode

java.lang.Object

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

All Implemented Interfaces:

CfaNode<JvmCfaEdge,MethodSignature>

Direct Known Subclasses:

JvmCatchCfaNode, JvmUnknownCfaNode

public class JvmCfaNode
extends java.lang.Object
implements CfaNode<JvmCfaEdge,MethodSignature>

A node representing a code location of a JVM method identified by a MethodSignature and an offset.

Field Summary

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

EXCEPTION_EXIT_NODE_OFFSET, RETURN_EXIT_NODE_OFFSET

Constructor Summary

Constructors

Constructor and Description
JvmCfaNode(java.util.List<JvmCfaEdge> leavingEdges, java.util.List<JvmCfaEdge> enteringEdges, MethodSignature signature, int offset, Clazz clazz) Create JVM CFA node with the specified entering and exiting edges.
JvmCfaNode(MethodSignature signature, int offset, Clazz clazz) Create a JVM CFA node without edges.

Method Summary

Modifier and Type	Method and Description
void	addEnteringEdge(JvmCfaEdge edge) Adds an edge entering the node.
void	addLeavingEdge(JvmCfaEdge edge) Adds an edge leaving the node.
Clazz	getClazz() Returns the class the node belongs to.
java.util.List<JvmCfaEdge>	getEnteringEdges() Returns a list of entering edges.
java.util.Optional<JvmCfaEdge>	getEnteringInvokeEdge() If the node is the location after a method invocation returns the entering JvmInstructionCfaEdge for the method invocation, empty otherwise.
java.util.List<JvmCfaEdge>	getLeavingEdges() Returns a list of leaving edges.
int	getOffset() Returns the instruction offset.
MethodSignature	getSignature() Returns the function signature it belongs to.
int	hashCode()
boolean	isEntryNode() Checks whether the node is a function entry.
boolean	isExitNode() Checks whether the node is a function exit.

Methods inherited from class java.lang.Object

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

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

isExceptionExitNode, isReturnExitNode, isUnknownNode

Constructor Detail

JvmCfaNode

public JvmCfaNode(MethodSignature signature,
                  int offset,
                  Clazz clazz)

Create a JVM CFA node without edges. Since in most cases we expect to have just one element in the lists of leaving and entering edges the lists are initialized with size 1.

Parameters:

signature - the signature of the method the node belongs to

offset - a number indicating the program location offset of the node

clazz - the class of the method the node belongs to

JvmCfaNode

public JvmCfaNode(java.util.List<JvmCfaEdge> leavingEdges,
                  java.util.List<JvmCfaEdge> enteringEdges,
                  MethodSignature signature,
                  int offset,
                  Clazz clazz)

Create JVM CFA node with the specified entering and exiting edges.

Parameters:

leavingEdges - a list of edges leaving the node

enteringEdges - a list of edges entering the node

signature - the signature of the method the node belongs to

offset - a number indicating the program location offset of the node

clazz - the class of the method the node belongs to

Method Detail

getLeavingEdges

public java.util.List<JvmCfaEdge> getLeavingEdges()

Description copied from interface: CfaNode

Returns a list of leaving edges.

Specified by:

getLeavingEdges in interface CfaNode<JvmCfaEdge,MethodSignature>

getEnteringEdges

public java.util.List<JvmCfaEdge> getEnteringEdges()

Description copied from interface: CfaNode

Returns a list of entering edges.

Specified by:

getEnteringEdges in interface CfaNode<JvmCfaEdge,MethodSignature>

isEntryNode

public boolean isEntryNode()

Description copied from interface: CfaNode

Checks whether the node is a function entry.

Specified by:

isEntryNode in interface CfaNode<JvmCfaEdge,MethodSignature>

isExitNode

public boolean isExitNode()

Description copied from interface: CfaNode

Checks whether the node is a function exit.

Specified by:

isExitNode in interface CfaNode<JvmCfaEdge,MethodSignature>

getSignature

public MethodSignature getSignature()

Description copied from interface: CfaNode

Returns the function signature it belongs to.

Specified by:

getSignature in interface CfaNode<JvmCfaEdge,MethodSignature>

getOffset

public int getOffset()

Description copied from interface: CfaNode

Returns the instruction offset.

Specified by:

getOffset in interface CfaNode<JvmCfaEdge,MethodSignature>

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

getClazz

public Clazz getClazz()

Returns the class the node belongs to.

addLeavingEdge

public void addLeavingEdge(JvmCfaEdge edge)

Adds an edge leaving the node.

addEnteringEdge

public void addEnteringEdge(JvmCfaEdge edge)

Adds an edge entering the node.

getEnteringInvokeEdge

public java.util.Optional<JvmCfaEdge> getEnteringInvokeEdge()

If the node is the location after a method invocation returns the entering JvmInstructionCfaEdge for the method invocation, empty otherwise.