Class JvmCfaEdge
- java.lang.Object
-
- proguard.analysis.cpa.jvm.cfa.edges.JvmCfaEdge
-
- All Implemented Interfaces:
CfaEdge<JvmCfaNode>
- Direct Known Subclasses:
JvmAssumeExceptionCfaEdge
,JvmCallCfaEdge
,JvmInstructionCfaEdge
public abstract class JvmCfaEdge extends java.lang.Object implements CfaEdge<JvmCfaNode>
Default implementation ofCfaEdge
for JVM instructions.
-
-
Constructor Summary
Constructors Constructor Description JvmCfaEdge()
Create a disconnected JVM CFA edge.JvmCfaEdge(JvmCfaNode source, JvmCfaNode target)
Create a JVM CFA edge.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description JvmCfaNode
getSource()
Returns its source node.JvmCfaNode
getTarget()
Returns its target node.void
setSource(JvmCfaNode source)
Sets a node as the predecessor of the edge and adds the edge as leaving edge of the node.void
setTarget(JvmCfaNode target)
Sets a node as the successor of the edge and adds the edge as entering edge of the node.MethodSignature
targetSignature()
Returns the signature of the target method.
-
-
-
Constructor Detail
-
JvmCfaEdge
public JvmCfaEdge()
Create a disconnected JVM CFA edge.
-
JvmCfaEdge
public JvmCfaEdge(JvmCfaNode source, JvmCfaNode target)
Create a JVM CFA edge. Also sets it as the entering and leaving edge of the source and target nodes.- Parameters:
source
- the source node of the edgetarget
- the target node of the edge
-
-
Method Detail
-
getSource
public JvmCfaNode getSource()
Description copied from interface:CfaEdge
Returns its source node.- Specified by:
getSource
in interfaceCfaEdge<JvmCfaNode>
-
getTarget
public JvmCfaNode getTarget()
Description copied from interface:CfaEdge
Returns its target node.- Specified by:
getTarget
in interfaceCfaEdge<JvmCfaNode>
-
setSource
public void setSource(JvmCfaNode source)
Sets a node as the predecessor of the edge and adds the edge as leaving edge of the node.
-
setTarget
public void setTarget(JvmCfaNode target)
Sets a node as the successor of the edge and adds the edge as entering edge of the node.
-
targetSignature
public MethodSignature targetSignature()
Returns the signature of the target method. This is the current method or, for call edges, the target method of the call.
-
-