public interface NullSmtSet extends io.ciera.runtime.summit.classes.IInstanceSet<NullSmtSet,NullSmt>
| Modifier and Type | Method and Description |
|---|---|
StatementSet |
R451_is_a_Statement() |
void |
setBlock_number(String ref_block_number) |
void |
setName(String ref_name) |
void |
setParent_name(String ref_parent_name) |
void |
setParent_package(String ref_parent_package) |
void |
setStatement_number(String ref_statement_number) |
getById1, getById2, getById3, getByInstanceIdany, anyWhere, difference, difference, disunion, disunion, elements, emptySet, intersection, intersection, nullElement, union, union, whereadd, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, spliterator, toArray, toArrayparallelStream, removeIf, streamvoid setParent_package(String ref_parent_package) throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setParent_name(String ref_parent_name) throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setName(String ref_name) throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setBlock_number(String ref_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setStatement_number(String ref_statement_number) throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionStatementSet R451_is_a_Statement() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionCopyright © 2019. All rights reserved.