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
All Methods Instance Methods Abstract Methods Modifier and Type Method Description StatementSetR451_is_a_Statement()ExpressionSetR479_relates_formalizing_Expression()ExpressionSetR480_relates_participating_Expression()ClassRelationshipSetR481_creates_instances_of_ClassRelationship()voidsetBlock_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, toArray
-
Methods inherited from interface io.ciera.runtime.summit.classes.IInstanceSet
getById1, getById2, getById3, getByInstanceId
-
Methods 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, where
-
-
-
-
Method Detail
-
setParent_package
void setParent_package(String ref_parent_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
-
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
-
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
-
setBlock_number
void setBlock_number(String ref_block_number) 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
-
setRel_name
void setRel_name(String ref_rel_name) throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setComp_package
void setComp_package(String ref_comp_package) throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setBody_name
void setBody_name(String ref_body_name) 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
-
R451_is_a_Statement
StatementSet R451_is_a_Statement() throws io.ciera.runtime.summit.exceptions.XtumlException
- 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
-
-