public class StatementSetImpl extends io.ciera.runtime.summit.classes.InstanceSet<StatementSet,Statement> implements StatementSet
| Constructor and Description |
|---|
StatementSetImpl() |
StatementSetImpl(Comparator<? super Statement> comp) |
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 StatementSetImpl()
public StatementSetImpl(Comparator<? super Statement> comp)
public void setStatement_number(String m_statement_number) throws io.ciera.runtime.summit.exceptions.XtumlException
setStatement_number in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setPrefix(String m_prefix) throws io.ciera.runtime.summit.exceptions.XtumlException
setPrefix in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setParent_package(String ref_parent_package) throws io.ciera.runtime.summit.exceptions.XtumlException
setParent_package in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setBody_name(String ref_body_name) throws io.ciera.runtime.summit.exceptions.XtumlException
setBody_name in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setBlock_number(String ref_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException
setBlock_number in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setNext_statement_number(String ref_next_statement_number) throws io.ciera.runtime.summit.exceptions.XtumlException
setNext_statement_number in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setParent_name(String ref_parent_name) throws io.ciera.runtime.summit.exceptions.XtumlException
setParent_name in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setOal(String m_oal) throws io.ciera.runtime.summit.exceptions.XtumlException
setOal in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic CodeBlockSet R450_is_contained_by_CodeBlock() throws io.ciera.runtime.summit.exceptions.XtumlException
R450_is_contained_by_CodeBlock in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic BreakSmtSet R451_is_a_BreakSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
R451_is_a_BreakSmt in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ContinueSmtSet R451_is_a_ContinueSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
R451_is_a_ContinueSmt in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic DeleteSmtSet R451_is_a_DeleteSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
R451_is_a_DeleteSmt in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ExpressionAsStatementSet R451_is_a_ExpressionAsStatement() throws io.ciera.runtime.summit.exceptions.XtumlException
R451_is_a_ExpressionAsStatement in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ForSmtSet R451_is_a_ForSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
R451_is_a_ForSmt in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic GenerateSet R451_is_a_Generate() throws io.ciera.runtime.summit.exceptions.XtumlException
R451_is_a_Generate in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic HaltSet R451_is_a_Halt() throws io.ciera.runtime.summit.exceptions.XtumlException
R451_is_a_Halt in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic IfSmtSet R451_is_a_IfSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
R451_is_a_IfSmt in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic NullSmtSet R451_is_a_NullSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
R451_is_a_NullSmt in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic RelateSmtSet R451_is_a_RelateSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
R451_is_a_RelateSmt in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ReturnSmtSet R451_is_a_ReturnSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
R451_is_a_ReturnSmt in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic UnrelateSmtSet R451_is_a_UnrelateSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
R451_is_a_UnrelateSmt in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic WhileSmtSet R451_is_a_WhileSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
R451_is_a_WhileSmt in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic VariableSet R457_declares_Variable() throws io.ciera.runtime.summit.exceptions.XtumlException
R457_declares_Variable in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic StatementSet R477_executes_after_Statement() throws io.ciera.runtime.summit.exceptions.XtumlException
R477_executes_after_Statement in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic StatementSet R477_executes_before_Statement() throws io.ciera.runtime.summit.exceptions.XtumlException
R477_executes_before_Statement in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic FinalizationSet R485_finalizes_Finalization() throws io.ciera.runtime.summit.exceptions.XtumlException
R485_finalizes_Finalization in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ExpressionSet R775_may_contain_Expression() throws io.ciera.runtime.summit.exceptions.XtumlException
R775_may_contain_Expression in interface StatementSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic Statement nullElement()
nullElement in interface io.ciera.runtime.summit.types.ISet<Statement>public StatementSet emptySet()
emptySet in interface io.ciera.runtime.summit.types.ISet<Statement>public StatementSet emptySet(Comparator<? super Statement> comp)
emptySet in interface io.ciera.runtime.summit.types.ISet<Statement>Copyright © 2021. All rights reserved.