proguard.analysis.cpa.jvm.cfa.edges

Class JvmCallCfaEdge

java.lang.Object

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

proguard.analysis.cpa.jvm.cfa.edges.JvmCallCfaEdge

All Implemented Interfaces:

CallEdge, CfaEdge<JvmCfaNode>

public class JvmCallCfaEdge
extends JvmCfaEdge
implements CallEdge

A JvmCfaEdge representing a call to another method, linking to the first node of the called method.

Constructor Summary

Constructors

Constructor and Description
JvmCallCfaEdge(Call call) Create a disconnected JVM CFA call edge.
JvmCallCfaEdge(JvmCfaNode source, JvmCfaNode target, Call call) Create a JVM CFA call edge.

Method Summary

Modifier and Type	Method and Description
Call	getCall() Get the information about the procedure call represented by the edge.
MethodSignature	targetSignature() Returns the signature of the target method.

Methods inherited from class proguard.analysis.cpa.jvm.cfa.edges.JvmCfaEdge

getSource, getTarget, setSource, setTarget

Methods inherited from class java.lang.Object

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

Constructor Detail

JvmCallCfaEdge

public JvmCallCfaEdge(Call call)

Create a disconnected JVM CFA call edge.

Parameters:

call - the call to a method

JvmCallCfaEdge

public JvmCallCfaEdge(JvmCfaNode source,
                      JvmCfaNode target,
                      Call call)

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

Parameters:

source - the source node of the edge

target - the target node of the edge

call - the call to a method

Method Detail

targetSignature

public MethodSignature targetSignature()

Description copied from class: JvmCfaEdge

Returns the signature of the target method. This is the current method or, for call edges, the target method of the call.

Overrides:

targetSignature in class JvmCfaEdge

getCall

public Call getCall()

Description copied from interface: CallEdge

Get the information about the procedure call represented by the edge.

Specified by:

getCall in interface CallEdge