Interface BreakSmtSet
-
- All Superinterfaces:
Collection<BreakSmt>,io.ciera.runtime.summit.classes.IInstanceSet<BreakSmtSet,BreakSmt>,io.ciera.runtime.summit.types.ISet<BreakSmt>,Iterable<BreakSmt>,io.ciera.runtime.summit.types.IXtumlType,Set<BreakSmt>
- All Known Implementing Classes:
BreakSmtSetImpl
public interface BreakSmtSet extends io.ciera.runtime.summit.classes.IInstanceSet<BreakSmtSet,BreakSmt>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description StatementSetR451_is_a_Statement()voidsetBlock_number(String ref_block_number)voidsetBody_name(String ref_body_name)voidsetParent_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, toArray
-
Methods inherited from interface io.ciera.runtime.summit.classes.IInstanceSet
getById1, getById2, getById3, getByInstanceId
-
Methods 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, where
-
-
-
-
Method Detail
-
setBlock_number
void setBlock_number(String ref_block_number) 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
-
setBody_name
void setBody_name(String ref_body_name) 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
-
setParent_name
void setParent_name(String ref_parent_name) throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R451_is_a_Statement
StatementSet R451_is_a_Statement() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
-