public class RelateSmtSetImpl extends io.ciera.runtime.summit.classes.InstanceSet<RelateSmtSet,RelateSmt> implements RelateSmtSet
| Constructor and Description |
|---|
RelateSmtSetImpl() |
RelateSmtSetImpl(Comparator<? super RelateSmt> comp) |
| Modifier and Type | Method and Description |
|---|---|
List<RelateSmt> |
elements() |
RelateSmtSet |
emptySet() |
RelateSmtSet |
emptySet(Comparator<? super RelateSmt> comp) |
RelateSmt |
nullElement() |
StatementSet |
R451_is_a_Statement() |
ExpressionSet |
R479_relates_formalizing_Expression() |
ExpressionSet |
R480_relates_participating_Expression() |
ClassRelationshipSet |
R481_creates_instances_of_ClassRelationship() |
void |
setBlock_number(String ref_block_number) |
void |
setBody_name(String ref_body_name) |
void |
setComp_name(String ref_comp_name) |
void |
setComp_package(String ref_comp_package) |
void |
setForm_expression_number(String ref_form_expression_number) |
void |
setParent_name(String ref_parent_name) |
void |
setParent_package(String ref_parent_package) |
void |
setPart_expression_number(String ref_part_expression_number) |
void |
setRel_name(String ref_rel_name) |
void |
setStatement_number(String ref_statement_number) |
RelateSmtSet |
value() |
add, getById1, getById2, getById3, getByInstanceId, removeaddAll, any, anyWhere, clear, contains, containsAll, difference, difference, disunion, disunion, equality, intersection, intersection, isEmpty, iterator, removeAll, retainAll, size, sorted, sorted, toArray, toArray, union, union, whereclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetById1, getById2, getById3, getByInstanceIdany, anyWhere, difference, difference, disunion, disunion, intersection, intersection, sorted, sorted, union, union, whereadd, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, spliterator, toArray, toArrayparallelStream, removeIf, streampublic RelateSmtSetImpl()
public RelateSmtSetImpl(Comparator<? super RelateSmt> comp)
public void setForm_expression_number(String ref_form_expression_number) throws io.ciera.runtime.summit.exceptions.XtumlException
setForm_expression_number in interface RelateSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setStatement_number(String ref_statement_number) throws io.ciera.runtime.summit.exceptions.XtumlException
setStatement_number in interface RelateSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setBody_name(String ref_body_name) throws io.ciera.runtime.summit.exceptions.XtumlException
setBody_name in interface RelateSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setParent_name(String ref_parent_name) throws io.ciera.runtime.summit.exceptions.XtumlException
setParent_name in interface RelateSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setComp_name(String ref_comp_name) throws io.ciera.runtime.summit.exceptions.XtumlException
setComp_name in interface RelateSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setParent_package(String ref_parent_package) throws io.ciera.runtime.summit.exceptions.XtumlException
setParent_package in interface RelateSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setBlock_number(String ref_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException
setBlock_number in interface RelateSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setComp_package(String ref_comp_package) throws io.ciera.runtime.summit.exceptions.XtumlException
setComp_package in interface RelateSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setRel_name(String ref_rel_name) throws io.ciera.runtime.summit.exceptions.XtumlException
setRel_name in interface RelateSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setPart_expression_number(String ref_part_expression_number) throws io.ciera.runtime.summit.exceptions.XtumlException
setPart_expression_number in interface RelateSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic StatementSet R451_is_a_Statement() throws io.ciera.runtime.summit.exceptions.XtumlException
R451_is_a_Statement in interface RelateSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ExpressionSet R479_relates_formalizing_Expression() throws io.ciera.runtime.summit.exceptions.XtumlException
R479_relates_formalizing_Expression in interface RelateSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ExpressionSet R480_relates_participating_Expression() throws io.ciera.runtime.summit.exceptions.XtumlException
R480_relates_participating_Expression in interface RelateSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ClassRelationshipSet R481_creates_instances_of_ClassRelationship() throws io.ciera.runtime.summit.exceptions.XtumlException
R481_creates_instances_of_ClassRelationship in interface RelateSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic RelateSmt nullElement()
nullElement in interface io.ciera.runtime.summit.types.ISet<RelateSmtSet,RelateSmt>public RelateSmtSet emptySet()
emptySet in interface io.ciera.runtime.summit.types.ISet<RelateSmtSet,RelateSmt>public RelateSmtSet emptySet(Comparator<? super RelateSmt> comp)
emptySet in interface io.ciera.runtime.summit.types.ISet<RelateSmtSet,RelateSmt>public RelateSmtSet value()
value in interface io.ciera.runtime.summit.types.IXtumlType<RelateSmtSet>public List<RelateSmt> elements()
elements in interface io.ciera.runtime.summit.types.ISet<RelateSmtSet,RelateSmt>Copyright © 2019. All rights reserved.