Class HaltSetImpl
- All Implemented Interfaces:
io.ciera.runtime.summit.classes.IInstanceSet<HaltSet,,Halt> io.ciera.runtime.summit.types.ISet<Halt>,io.ciera.runtime.summit.types.IXtumlType,HaltSet,Iterable<Halt>,Collection<Halt>,Set<Halt>
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionelements()emptySet()emptySet(Comparator<? super Halt> comp) voidsetBlock_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 class io.ciera.runtime.summit.classes.InstanceSet
add, getById1, getById2, getById3, getByInstanceId, removeMethods inherited from class io.ciera.runtime.summit.types.Set
addAll, any, anyWhere, clear, contains, containsAll, difference, difference, disunion, disunion, equality, intersection, intersection, isEmpty, iterator, removeAll, retainAll, size, sorted, sorted, toArray, toArray, union, union, whereMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods 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, intersection, intersection, sorted, sorted, union, union, whereMethods inherited from interface io.ciera.runtime.summit.types.IXtumlType
equality, inequality, oneWhere, serialize
-
Constructor Details
-
HaltSetImpl
public HaltSetImpl() -
HaltSetImpl
-
-
Method Details
-
setBlock_number
public void setBlock_number(String ref_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException - Specified by:
setBlock_numberin interfaceHaltSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setParent_name
public void setParent_name(String ref_parent_name) throws io.ciera.runtime.summit.exceptions.XtumlException - Specified by:
setParent_namein interfaceHaltSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setParent_package
public void setParent_package(String ref_parent_package) throws io.ciera.runtime.summit.exceptions.XtumlException - Specified by:
setParent_packagein interfaceHaltSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setName
-
setStatement_number
public void setStatement_number(String ref_statement_number) throws io.ciera.runtime.summit.exceptions.XtumlException - Specified by:
setStatement_numberin interfaceHaltSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R451_is_a_Statement
- Specified by:
R451_is_a_Statementin interfaceHaltSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
nullElement
- Specified by:
nullElementin interfaceio.ciera.runtime.summit.types.ISet<Halt>
-
emptySet
- Specified by:
emptySetin interfaceio.ciera.runtime.summit.types.ISet<Halt>
-
emptySet
- Specified by:
emptySetin interfaceio.ciera.runtime.summit.types.ISet<Halt>
-
elements
- Specified by:
elementsin interfaceio.ciera.runtime.summit.types.ISet<Halt>
-