Class FunctionInvocationSetImpl

    • Constructor Detail

      • FunctionInvocationSetImpl

        public FunctionInvocationSetImpl()
    • Method Detail

      • setStatement_ID

        public void setStatement_ID​(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)
                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setStatement_ID in interface FunctionInvocationSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setFunctionNameColumn

        public void setFunctionNameColumn​(int m_functionNameColumn)
                                   throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setFunctionNameColumn in interface FunctionInvocationSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setFunctionNameLineNumber

        public void setFunctionNameLineNumber​(int m_functionNameLineNumber)
                                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setFunctionNameLineNumber in interface FunctionInvocationSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setSync_ID

        public void setSync_ID​(io.ciera.runtime.summit.types.UniqueId ref_Sync_ID)
                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setSync_ID in interface FunctionInvocationSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_ACT_SMT

        public ACT_SMTSet R603_is_a_ACT_SMT()
                                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R603_is_a_ACT_SMT in interface FunctionInvocationSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R669_takes_V_PAR

        public V_PARSet R669_takes_V_PAR()
                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R669_takes_V_PAR in interface FunctionInvocationSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException