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 ofCfaEdgefor 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 JvmCfaNodegetSource()Returns its source node.JvmCfaNodegetTarget()Returns its target node.voidsetSource(JvmCfaNode source)Sets a node as the predecessor of the edge and adds the edge as leaving edge of the node.voidsetTarget(JvmCfaNode target)Sets a node as the successor of the edge and adds the edge as entering edge of the node.MethodSignaturetargetSignature()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:CfaEdgeReturns its source node.- Specified by:
getSourcein interfaceCfaEdge<JvmCfaNode>
-
getTarget
public JvmCfaNode getTarget()
Description copied from interface:CfaEdgeReturns its target node.- Specified by:
getTargetin 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.
-
-