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>
public class HaltSetImpl extends io.ciera.runtime.summit.classes.InstanceSet<HaltSet,Halt> implements HaltSet
-
-
Constructor Summary
Constructors Constructor Description HaltSetImpl()HaltSetImpl(Comparator<? super Halt> comp)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description List<Halt>elements()HaltSetemptySet()HaltSetemptySet(Comparator<? super Halt> comp)HaltnullElement()StatementSetR451_is_a_Statement()voidsetBlock_number(String ref_block_number)voidsetName(String ref_name)voidsetParent_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, remove
-
Methods 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, where
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
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, intersection, intersection, sorted, sorted, union, union, where
-
-
-
-
Constructor Detail
-
HaltSetImpl
public HaltSetImpl()
-
HaltSetImpl
public HaltSetImpl(Comparator<? super Halt> comp)
-
-
Method Detail
-
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
-
setName
public void setName(String ref_name) throws io.ciera.runtime.summit.exceptions.XtumlException
-
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_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
-
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
-
R451_is_a_Statement
public StatementSet R451_is_a_Statement() throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
R451_is_a_Statementin interfaceHaltSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
nullElement
public Halt nullElement()
- Specified by:
nullElementin interfaceio.ciera.runtime.summit.types.ISet<Halt>
-
emptySet
public HaltSet emptySet()
- Specified by:
emptySetin interfaceio.ciera.runtime.summit.types.ISet<Halt>
-
emptySet
public HaltSet emptySet(Comparator<? super Halt> comp)
- Specified by:
emptySetin interfaceio.ciera.runtime.summit.types.ISet<Halt>
-
-