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

Class TransitionSetImpl

java.lang.Object

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

io.ciera.runtime.summit.classes.InstanceSet<TransitionSet,Transition>

io.ciera.tool.sql.ooaofooa.statemachine.impl.TransitionSetImpl

All Implemented Interfaces:

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

public class TransitionSetImpl
extends io.ciera.runtime.summit.classes.InstanceSet<TransitionSet,Transition>
implements TransitionSet

Constructor Summary

Constructors

Constructor	Description
TransitionSetImpl()
TransitionSetImpl(Comparator<? super Transition> comp)

Method Summary

Modifier and Type	Method	Description
List<Transition>	elements()
TransitionSet	emptySet()
TransitionSet	emptySet(Comparator<? super Transition> comp)
Transition	nullElement()
I_INSSet	R2953_caused_last_state_change_to_I_INS()
SM_SMSet	R505_SM_SM()
StateMachineStateSet	R506_is_destined_to_StateMachineState()
CreationTransitionSet	R507_is_a_CreationTransition()
NewStateTransitionSet	R507_is_a_NewStateTransition()
NoEventTransitionSet	R507_is_a_NoEventTransition()
MealyActionHomeSet	R512_MealyActionHome()
TransitionActionHomeSet	R530_houses_action_for_TransitionActionHome()
void	setSM_ID(io.ciera.runtime.summit.types.UniqueId ref_SM_ID)
void	setSMspd_IDdeprecated(io.ciera.runtime.summit.types.UniqueId m_SMspd_IDdeprecated)
void	setSMstt_ID(io.ciera.runtime.summit.types.UniqueId ref_SMstt_ID)
void	setTrans_ID(io.ciera.runtime.summit.types.UniqueId m_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 Details

TransitionSetImpl

public TransitionSetImpl()

TransitionSetImpl

public TransitionSetImpl(Comparator<? super Transition> comp)

Method Details

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 TransitionSet

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 TransitionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setSMspd_IDdeprecated

public void setSMspd_IDdeprecated(io.ciera.runtime.summit.types.UniqueId m_SMspd_IDdeprecated)
                           throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setSMspd_IDdeprecated in interface TransitionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setTrans_ID

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

Specified by:

setTrans_ID in interface TransitionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R2953_caused_last_state_change_to_I_INS

public I_INSSet R2953_caused_last_state_change_to_I_INS()
                                                 throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R2953_caused_last_state_change_to_I_INS in interface TransitionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R505_SM_SM

public SM_SMSet R505_SM_SM()
                    throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R505_SM_SM in interface TransitionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R506_is_destined_to_StateMachineState

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

Specified by:

R506_is_destined_to_StateMachineState in interface TransitionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R507_is_a_CreationTransition

public CreationTransitionSet R507_is_a_CreationTransition()
                                                   throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R507_is_a_CreationTransition in interface TransitionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R507_is_a_NewStateTransition

public NewStateTransitionSet R507_is_a_NewStateTransition()
                                                   throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R507_is_a_NewStateTransition in interface TransitionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R507_is_a_NoEventTransition

public NoEventTransitionSet R507_is_a_NoEventTransition()
                                                 throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R507_is_a_NoEventTransition in interface TransitionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R512_MealyActionHome

public MealyActionHomeSet R512_MealyActionHome()
                                        throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R512_MealyActionHome in interface TransitionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R530_houses_action_for_TransitionActionHome

public TransitionActionHomeSet R530_houses_action_for_TransitionActionHome()
                                                                    throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R530_houses_action_for_TransitionActionHome in interface TransitionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

nullElement

public Transition nullElement()

Specified by:

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

emptySet

public TransitionSet emptySet()

Specified by:

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

emptySet

public TransitionSet emptySet(Comparator<? super Transition> comp)

Specified by:

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

elements

public List<Transition> elements()

Specified by:

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