Interface UserDefinedTypeSet

All Superinterfaces:
Collection<UserDefinedType>, io.ciera.runtime.summit.classes.IInstanceSet<UserDefinedTypeSet,UserDefinedType>, io.ciera.runtime.summit.types.ISet<UserDefinedType>, Iterable<UserDefinedType>, io.ciera.runtime.summit.types.IXtumlType, Set<UserDefinedType>
All Known Implementing Classes:
UserDefinedTypeSetImpl

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

    • setPackage

      void setPackage(String ref_package) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setBase_type_name

      void setBase_type_name(String ref_base_type_name) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setBase_type_package

      void setBase_type_package(String ref_base_type_package) 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
    • R3802_based_on_Type

      TypeSet R3802_based_on_Type() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R401_is_a_File

      FileSet R401_is_a_File() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R407_is_a_Type

      TypeSet R407_is_a_Type() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException