Interface ConstantSpecificationSet

All Superinterfaces:
Collection<ConstantSpecification>, io.ciera.runtime.summit.classes.IInstanceSet<ConstantSpecificationSet,ConstantSpecification>, io.ciera.runtime.summit.types.ISet<ConstantSpecification>, Iterable<ConstantSpecification>, io.ciera.runtime.summit.types.IXtumlType, Set<ConstantSpecification>
All Known Implementing Classes:
ConstantSpecificationSetImpl

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

    • setInformalGroupName

      void setInformalGroupName(String m_InformalGroupName) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setDescrip

      void setDescrip(String m_Descrip) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setConstant_Spec_ID

      void setConstant_Spec_ID(io.ciera.runtime.summit.types.UniqueId ref_Constant_Spec_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R1504_contains_SymbolicConstant

      SymbolicConstantSet R1504_contains_SymbolicConstant() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R8001_is_a_PackageableElement

      PackageableElementSet R8001_is_a_PackageableElement() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException