Class JvmCfaEdge

    • 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 edge
        target - the target node of the edge
    • Method Detail

      • 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.