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 Summary
Modifier and TypeMethodDescriptionvoidsetConstant_Spec_ID(io.ciera.runtime.summit.types.UniqueId ref_Constant_Spec_ID) voidsetDescrip(String m_Descrip) voidsetInformalGroupName(String m_InformalGroupName) Methods inherited from interface java.util.Collection
parallelStream, removeIf, stream, toArrayMethods inherited from interface io.ciera.runtime.summit.classes.IInstanceSet
getById1, getById2, getById3, getByInstanceIdMethods inherited from interface io.ciera.runtime.summit.types.ISet
any, anyWhere, difference, difference, disunion, disunion, elements, emptySet, emptySet, intersection, intersection, nullElement, sorted, sorted, union, union, whereMethods inherited from interface io.ciera.runtime.summit.types.IXtumlType
equality, inequality, oneWhere, serialize
-
Method Details
-
setInformalGroupName
void setInformalGroupName(String m_InformalGroupName) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setDescrip
- 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
-