Interface NullSmtSet
- All Superinterfaces:
Collection<NullSmt>,io.ciera.runtime.summit.classes.IInstanceSet<NullSmtSet,,NullSmt> io.ciera.runtime.summit.types.ISet<NullSmt>,Iterable<NullSmt>,io.ciera.runtime.summit.types.IXtumlType,Set<NullSmt>
- All Known Implementing Classes:
NullSmtSetImpl
public interface NullSmtSet
extends io.ciera.runtime.summit.classes.IInstanceSet<NullSmtSet,NullSmt>
-
Method Summary
Modifier and TypeMethodDescriptionvoidsetBlock_number(String ref_block_number) voidvoidsetParent_name(String ref_parent_name) voidsetParent_package(String ref_parent_package) voidsetStatement_number(String ref_statement_number) Methods inherited from interface java.util.Collection
parallelStream, removeIf, stream, toArrayMethods inherited from interface io.ciera.runtime.summit.classes.IInstanceSet
getById1, getById2, getById3, getByInstanceIdMethods 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, whereMethods inherited from interface io.ciera.runtime.summit.types.IXtumlType
equality, inequality, oneWhere, serialize
-
Method Details
-
setParent_name
void setParent_name(String ref_parent_name) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setParent_package
void setParent_package(String ref_parent_package) 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
-
setName
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R451_is_a_Statement
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-