Interface InterfaceOperationInvocation

    • Method Detail

      • getStatement_ID

        io.ciera.runtime.summit.types.UniqueId getStatement_ID()
                                                        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
      • getOpNameLineNumber

        int getOpNameLineNumber()
                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setOpNameLineNumber

        void setOpNameLineNumber​(int m_opNameLineNumber)
                          throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • getOpNameColumn

        int getOpNameColumn()
                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setOpNameColumn

        void setOpNameColumn​(int m_opNameColumn)
                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • getOwnerNameLineNumber

        int getOwnerNameLineNumber()
                            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
      • getOwnerNameColumn

        int getOwnerNameColumn()
                        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
      • setProvidedOp_Id

        void setProvidedOp_Id​(io.ciera.runtime.summit.types.UniqueId ref_ProvidedOp_Id)
                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • getProvidedOp_Id

        io.ciera.runtime.summit.types.UniqueId getProvidedOp_Id()
                                                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setRequiredOp_Id

        void setRequiredOp_Id​(io.ciera.runtime.summit.types.UniqueId ref_RequiredOp_Id)
                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • getRequiredOp_Id

        io.ciera.runtime.summit.types.UniqueId getRequiredOp_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
      • getValue_ID

        io.ciera.runtime.summit.types.UniqueId getValue_ID()
                                                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setR603_is_a_ACT_SMT

        default void setR603_is_a_ACT_SMT​(ACT_SMT inst)
      • R603_is_a_ACT_SMT

        ACT_SMT R603_is_a_ACT_SMT()
                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setR629_has_target_Value

        default void setR629_has_target_Value​(Value inst)
      • R629_has_target_Value

        Value R629_has_target_Value()
                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setR657_is_invocation_of_RequiredOperation

        default void setR657_is_invocation_of_RequiredOperation​(RequiredOperation inst)
      • R657_is_invocation_of_RequiredOperation

        RequiredOperation R657_is_invocation_of_RequiredOperation()
                                                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • addR679_takes_V_PAR

        default void addR679_takes_V_PAR​(V_PAR inst)
      • removeR679_takes_V_PAR

        default void removeR679_takes_V_PAR​(V_PAR inst)
      • R679_takes_V_PAR

        V_PARSet R679_takes_V_PAR()
                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setR680_is_invocation_of_ProvidedOperation

        default void setR680_is_invocation_of_ProvidedOperation​(ProvidedOperation inst)
      • R680_is_invocation_of_ProvidedOperation

        ProvidedOperation R680_is_invocation_of_ProvidedOperation()
                                                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException