Class JvmCallCfaEdge

    • 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