Class DeleteSetImpl
-
- All Implemented Interfaces:
io.ciera.runtime.summit.classes.IInstanceSet<DeleteSet,Delete>,io.ciera.runtime.summit.types.ISet<Delete>,io.ciera.runtime.summit.types.IXtumlType,DeleteSet,Iterable<Delete>,Collection<Delete>,Set<Delete>
public class DeleteSetImpl extends io.ciera.runtime.summit.classes.InstanceSet<DeleteSet,Delete> implements DeleteSet
-
-
Constructor Summary
Constructors Constructor Description DeleteSetImpl()DeleteSetImpl(Comparator<? super Delete> comp)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description List<Delete>elements()DeleteSetemptySet()DeleteSetemptySet(Comparator<? super Delete> comp)DeletenullElement()ACT_SMTSetR603_is_a_ACT_SMT()V_VARSetR634_destroys_V_VAR()voidsetStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)voidsetVar_ID(io.ciera.runtime.summit.types.UniqueId ref_Var_ID)-
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
-
DeleteSetImpl
public DeleteSetImpl()
-
DeleteSetImpl
public DeleteSetImpl(Comparator<? super Delete> comp)
-
-
Method Detail
-
setVar_ID
public void setVar_ID(io.ciera.runtime.summit.types.UniqueId ref_Var_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
-
setStatement_ID
public void setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID) throws io.ciera.runtime.summit.exceptions.XtumlException- Specified by:
setStatement_IDin interfaceDeleteSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R603_is_a_ACT_SMT
public ACT_SMTSet R603_is_a_ACT_SMT() throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
R603_is_a_ACT_SMTin interfaceDeleteSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R634_destroys_V_VAR
public V_VARSet R634_destroys_V_VAR() throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
R634_destroys_V_VARin interfaceDeleteSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
nullElement
public Delete nullElement()
- Specified by:
nullElementin interfaceio.ciera.runtime.summit.types.ISet<Delete>
-
emptySet
public DeleteSet emptySet()
- Specified by:
emptySetin interfaceio.ciera.runtime.summit.types.ISet<Delete>
-
emptySet
public DeleteSet emptySet(Comparator<? super Delete> comp)
- Specified by:
emptySetin interfaceio.ciera.runtime.summit.types.ISet<Delete>
-
-