Interface SignalInvocationSet

    • Method Detail

      • setRequiredSig_Id

        void setRequiredSig_Id​(io.ciera.runtime.summit.types.UniqueId ref_RequiredSig_Id)
                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setSigNameLineNumber

        void setSigNameLineNumber​(int m_sigNameLineNumber)
                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setOwnerNameColumn

        void setOwnerNameColumn​(int m_ownerNameColumn)
                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setOwnerNameLineNumber

        void setOwnerNameLineNumber​(int m_ownerNameLineNumber)
                             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
      • setProvidedSig_Id

        void setProvidedSig_Id​(io.ciera.runtime.summit.types.UniqueId ref_ProvidedSig_Id)
                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setValue_ID

        void setValue_ID​(io.ciera.runtime.summit.types.UniqueId ref_Value_ID)
                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setSigNameColumn

        void setSigNameColumn​(int m_sigNameColumn)
                       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
      • R630_has_target_Value

        ValueSet R630_has_target_Value()
                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R660_is_invocation_of_RequiredSignal

        RequiredSignalSet R660_is_invocation_of_RequiredSignal()
                                                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R662_takes_V_PAR

        V_PARSet R662_takes_V_PAR()
                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R663_is_invocation_of_ProvidedSignal

        ProvidedSignalSet R663_is_invocation_of_ProvidedSignal()
                                                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException