Interface FunctionInvocationSet

    • Method Detail

      • setFunctionNameColumn

        void setFunctionNameColumn​(int m_functionNameColumn)
                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setStatement_ID

        void setStatement_ID​(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)
                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setFunctionNameLineNumber

        void setFunctionNameLineNumber​(int m_functionNameLineNumber)
                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setSync_ID

        void setSync_ID​(io.ciera.runtime.summit.types.UniqueId ref_Sync_ID)
                 throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_ACT_SMT

        ACT_SMTSet R603_is_a_ACT_SMT()
                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R669_takes_V_PAR

        V_PARSet R669_takes_V_PAR()
                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R675_is_an_invocation_of_S_SYNC

        S_SYNCSet R675_is_an_invocation_of_S_SYNC()
                                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException