Interface RelateSmtSet
- All Superinterfaces:
Collection<RelateSmt>,io.ciera.runtime.summit.classes.IInstanceSet<RelateSmtSet,,RelateSmt> io.ciera.runtime.summit.types.ISet<RelateSmt>,Iterable<RelateSmt>,io.ciera.runtime.summit.types.IXtumlType,Set<RelateSmt>
- All Known Implementing Classes:
RelateSmtSetImpl
public interface RelateSmtSet
extends io.ciera.runtime.summit.classes.IInstanceSet<RelateSmtSet,RelateSmt>
-
Method Summary
Modifier and TypeMethodDescriptionvoidsetBlock_number(String ref_block_number) voidsetBody_name(String ref_body_name) voidsetComp_name(String ref_comp_name) voidsetComp_package(String ref_comp_package) voidsetForm_expression_number(String ref_form_expression_number) voidsetParent_name(String ref_parent_name) voidsetParent_package(String ref_parent_package) voidsetPart_expression_number(String ref_part_expression_number) voidsetRel_name(String ref_rel_name) voidsetStatement_number(String ref_statement_number) 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
-
setComp_package
void setComp_package(String ref_comp_package) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setBlock_number
void setBlock_number(String ref_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setBody_name
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setRel_name
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setPart_expression_number
void setPart_expression_number(String ref_part_expression_number) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setParent_name
void setParent_name(String ref_parent_name) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setStatement_number
void setStatement_number(String ref_statement_number) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setForm_expression_number
void setForm_expression_number(String ref_form_expression_number) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setComp_name
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setParent_package
void setParent_package(String ref_parent_package) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R451_is_a_Statement
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R479_relates_formalizing_Expression
ExpressionSet R479_relates_formalizing_Expression() throws io.ciera.runtime.summit.exceptions.XtumlException- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R480_relates_participating_Expression
ExpressionSet R480_relates_participating_Expression() throws io.ciera.runtime.summit.exceptions.XtumlException- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R481_creates_instances_of_ClassRelationship
ClassRelationshipSet R481_creates_instances_of_ClassRelationship() throws io.ciera.runtime.summit.exceptions.XtumlException- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-