public class IfSmtSetImpl extends io.ciera.runtime.summit.classes.InstanceSet<IfSmtSet,IfSmt> implements IfSmtSet
| Constructor and Description |
|---|
IfSmtSetImpl() |
| Modifier and Type | Method and Description |
|---|---|
List<IfSmt> |
elements() |
IfSmtSet |
emptySet() |
IfSmt |
nullElement() |
StatementSet |
R451_is_a_Statement() |
CodeBlockSet |
R453_has_then_CodeBlock() |
CodeBlockSet |
R454_has_else_CodeBlock() |
ExpressionSet |
R471_executes_then_block_if_true_Expression() |
void |
setBlock_number(String ref_block_number) |
void |
setBody_name(String ref_body_name) |
void |
setCond_expression_number(String ref_cond_expression_number) |
void |
setElse_block_number(String ref_else_block_number) |
void |
setIs_else_if(boolean m_is_else_if) |
void |
setParent_name(String ref_parent_name) |
void |
setParent_package(String ref_parent_package) |
void |
setStatement_number(String ref_statement_number) |
void |
setThen_block_number(String ref_then_block_number) |
IfSmtSet |
value() |
add, getById1, getById2, getById3, getByInstanceId, removeaddAll, any, anyWhere, clear, contains, containsAll, difference, difference, disunion, disunion, equality, intersection, intersection, isEmpty, iterator, removeAll, retainAll, size, 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, union, union, whereadd, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, spliterator, toArray, toArrayparallelStream, removeIf, streampublic void setBlock_number(String ref_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException
setBlock_number in interface IfSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setParent_name(String ref_parent_name) throws io.ciera.runtime.summit.exceptions.XtumlException
setParent_name in interface IfSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setIs_else_if(boolean m_is_else_if)
throws io.ciera.runtime.summit.exceptions.XtumlException
setIs_else_if in interface IfSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setStatement_number(String ref_statement_number) throws io.ciera.runtime.summit.exceptions.XtumlException
setStatement_number in interface IfSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setParent_package(String ref_parent_package) throws io.ciera.runtime.summit.exceptions.XtumlException
setParent_package in interface IfSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setBody_name(String ref_body_name) throws io.ciera.runtime.summit.exceptions.XtumlException
setBody_name in interface IfSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setElse_block_number(String ref_else_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException
setElse_block_number in interface IfSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setThen_block_number(String ref_then_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException
setThen_block_number in interface IfSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setCond_expression_number(String ref_cond_expression_number) throws io.ciera.runtime.summit.exceptions.XtumlException
setCond_expression_number in interface IfSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic StatementSet R451_is_a_Statement() throws io.ciera.runtime.summit.exceptions.XtumlException
R451_is_a_Statement in interface IfSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic CodeBlockSet R453_has_then_CodeBlock() throws io.ciera.runtime.summit.exceptions.XtumlException
R453_has_then_CodeBlock in interface IfSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic CodeBlockSet R454_has_else_CodeBlock() throws io.ciera.runtime.summit.exceptions.XtumlException
R454_has_else_CodeBlock in interface IfSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ExpressionSet R471_executes_then_block_if_true_Expression() throws io.ciera.runtime.summit.exceptions.XtumlException
R471_executes_then_block_if_true_Expression in interface IfSmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic IfSmt nullElement()
public IfSmtSet emptySet()
public IfSmtSet value()
value in interface io.ciera.runtime.summit.types.IXtumlType<IfSmtSet>Copyright © 2019. All rights reserved.