Interface InstanceSelectorSet

All Superinterfaces:
Collection<InstanceSelector>, io.ciera.runtime.summit.classes.IInstanceSet<InstanceSelectorSet,InstanceSelector>, io.ciera.runtime.summit.types.ISet<InstanceSelector>, Iterable<InstanceSelector>, io.ciera.runtime.summit.types.IXtumlType, Set<InstanceSelector>
All Known Implementing Classes:
InstanceSelectorSetImpl

public interface InstanceSelectorSet extends io.ciera.runtime.summit.classes.IInstanceSet<InstanceSelectorSet,InstanceSelector>
  • Method Details

    • setComp_package

      void setComp_package(String ref_comp_package) 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
    • 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
    • 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
    • setRel_num

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

      void setName(String ref_name) 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