Interface InstanceSelectorSet

    • Method Detail

      • setName

        void setName​(String ref_name)
              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setComp_name

        void setComp_name​(String ref_comp_name)
                   throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setComp_package

        void setComp_package​(String ref_comp_package)
                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setClass_name

        void setClass_name​(String ref_class_name)
                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setClass_package

        void setClass_package​(String ref_class_package)
                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setRel_num

        void setRel_num​(int m_rel_num)
                 throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setConditionality

        void setConditionality​(Cond m_conditionality)
                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setFormalizer

        void setFormalizer​(boolean m_formalizer)
                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R442_navigates_from_ModelInst

        ModelInstSet R442_navigates_from_ModelInst()
                                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R445_is_a_Selector

        SelectorSet R445_is_a_Selector()
                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R4505_invoked_by_SetSelector

        SetSelectorSet R4505_invoked_by_SetSelector()
                                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException