Package io.ciera.tool.sql.ooaofooa.instance.impl

Class I_INSSetImpl

java.lang.Object

io.ciera.runtime.summit.types.Set<E>

io.ciera.runtime.summit.classes.InstanceSet<I_INSSet,I_INS>

io.ciera.tool.sql.ooaofooa.instance.impl.I_INSSetImpl

All Implemented Interfaces:

io.ciera.runtime.summit.classes.IInstanceSet<I_INSSet,I_INS>, io.ciera.runtime.summit.types.ISet<I_INS>, io.ciera.runtime.summit.types.IXtumlType, I_INSSet, Iterable<I_INS>, Collection<I_INS>, Set<I_INS>

public class I_INSSetImpl
extends io.ciera.runtime.summit.classes.InstanceSet<I_INSSet,I_INS>
implements I_INSSet

Constructor Summary

Constructors

Constructor	Description
I_INSSetImpl()
I_INSSetImpl(Comparator<? super I_INS> comp)

Method Summary

Modifier and Type	Method	Description
List<I_INS>	elements()
I_INSSet	emptySet()
I_INSSet	emptySet(Comparator<? super I_INS> comp)
I_INS	nullElement()
PendingEventSet	R2907_has_waiting_PendingEvent()
AttributeValueSet	R2909_has_characteristic_abstracted_by_AttributeValue()
StateMachineStateSet	R2915_occupies_StateMachineState()
PendingEventSet	R2935_is_target_of_PendingEvent()
PendingEventSet	R2937_sends_PendingEvent()
MonitorSet	R2949_monitored_by_Monitor()
TransitionSet	R2953_entered_last_state_via_Transition()
StackFrameSet	R2954_provides_context_for_StackFrame()
ComponentInstanceSet	R2957_created_by_ComponentInstance()
LinkParticipationSet	R2958_LinkParticipation()
void	setCIE_ID(io.ciera.runtime.summit.types.UniqueId m_CIE_ID)
void	setDefault_Name(String m_Default_Name)
void	setExecution_Engine_ID(io.ciera.runtime.summit.types.UniqueId ref_Execution_Engine_ID)
void	setInst_ID(io.ciera.runtime.summit.types.UniqueId m_Inst_ID)
void	setLabel(String m_Label)
void	setName(String m_Name)
void	setSM_ID(io.ciera.runtime.summit.types.UniqueId ref_SM_ID)
void	setSMstt_ID(io.ciera.runtime.summit.types.UniqueId ref_SMstt_ID)
void	setTrans_ID(io.ciera.runtime.summit.types.UniqueId ref_Trans_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

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface io.ciera.runtime.summit.types.IXtumlType

equality, inequality, oneWhere, serialize

Methods inherited from interface java.util.Set

add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, spliterator, toArray, toArray

Constructor Detail

I_INSSetImpl

public I_INSSetImpl()

I_INSSetImpl

public I_INSSetImpl(Comparator<? super I_INS> comp)

Method Detail

setExecution_Engine_ID

public void setExecution_Engine_ID(io.ciera.runtime.summit.types.UniqueId ref_Execution_Engine_ID)
                            throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setExecution_Engine_ID in interface I_INSSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setTrans_ID

public void setTrans_ID(io.ciera.runtime.summit.types.UniqueId ref_Trans_ID)
                 throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setTrans_ID in interface I_INSSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setInst_ID

public void setInst_ID(io.ciera.runtime.summit.types.UniqueId m_Inst_ID)
                throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setInst_ID in interface I_INSSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setSM_ID

public void setSM_ID(io.ciera.runtime.summit.types.UniqueId ref_SM_ID)
              throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setSM_ID in interface I_INSSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setSMstt_ID

public void setSMstt_ID(io.ciera.runtime.summit.types.UniqueId ref_SMstt_ID)
                 throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setSMstt_ID in interface I_INSSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setDefault_Name

public void setDefault_Name(String m_Default_Name)
                     throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setDefault_Name in interface I_INSSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setLabel

public void setLabel(String m_Label)
              throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setLabel in interface I_INSSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setCIE_ID

public void setCIE_ID(io.ciera.runtime.summit.types.UniqueId m_CIE_ID)
               throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setCIE_ID in interface I_INSSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setName

public void setName(String m_Name)
             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setName in interface I_INSSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R2907_has_waiting_PendingEvent

public PendingEventSet R2907_has_waiting_PendingEvent()
                                               throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R2907_has_waiting_PendingEvent in interface I_INSSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R2909_has_characteristic_abstracted_by_AttributeValue

public AttributeValueSet R2909_has_characteristic_abstracted_by_AttributeValue()
                                                                        throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R2909_has_characteristic_abstracted_by_AttributeValue in interface I_INSSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R2915_occupies_StateMachineState

public StateMachineStateSet R2915_occupies_StateMachineState()
                                                      throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R2915_occupies_StateMachineState in interface I_INSSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R2935_is_target_of_PendingEvent

public PendingEventSet R2935_is_target_of_PendingEvent()
                                                throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R2935_is_target_of_PendingEvent in interface I_INSSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R2937_sends_PendingEvent

public PendingEventSet R2937_sends_PendingEvent()
                                         throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R2937_sends_PendingEvent in interface I_INSSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R2949_monitored_by_Monitor

public MonitorSet R2949_monitored_by_Monitor()
                                      throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R2949_monitored_by_Monitor in interface I_INSSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R2953_entered_last_state_via_Transition

public TransitionSet R2953_entered_last_state_via_Transition()
                                                      throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R2953_entered_last_state_via_Transition in interface I_INSSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R2954_provides_context_for_StackFrame

public StackFrameSet R2954_provides_context_for_StackFrame()
                                                    throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R2954_provides_context_for_StackFrame in interface I_INSSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R2957_created_by_ComponentInstance

public ComponentInstanceSet R2957_created_by_ComponentInstance()
                                                        throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R2957_created_by_ComponentInstance in interface I_INSSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R2958_LinkParticipation

public LinkParticipationSet R2958_LinkParticipation()
                                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R2958_LinkParticipation in interface I_INSSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

nullElement

public I_INS nullElement()

Specified by:

nullElement in interface io.ciera.runtime.summit.types.ISet<I_INS>

emptySet

public I_INSSet emptySet()

Specified by:

emptySet in interface io.ciera.runtime.summit.types.ISet<I_INS>

emptySet

public I_INSSet emptySet(Comparator<? super I_INS> comp)

Specified by:

emptySet in interface io.ciera.runtime.summit.types.ISet<I_INS>

elements

public List<I_INS> elements()

Specified by:

elements in interface io.ciera.runtime.summit.types.ISet<I_INS>