Interface TransitionSet

All Superinterfaces:
Collection<Transition>, io.ciera.runtime.summit.classes.IInstanceSet<TransitionSet,Transition>, io.ciera.runtime.summit.types.ISet<Transition>, Iterable<Transition>, io.ciera.runtime.summit.types.IXtumlType, Set<Transition>
All Known Implementing Classes:
TransitionSetImpl

public interface TransitionSet extends io.ciera.runtime.summit.classes.IInstanceSet<TransitionSet,Transition>
  • Method Details

    • setSM_ID

      void setSM_ID(io.ciera.runtime.summit.types.UniqueId ref_SM_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setSMstt_ID

      void setSMstt_ID(io.ciera.runtime.summit.types.UniqueId ref_SMstt_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setSMspd_IDdeprecated

      void setSMspd_IDdeprecated(io.ciera.runtime.summit.types.UniqueId m_SMspd_IDdeprecated) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setTrans_ID

      void setTrans_ID(io.ciera.runtime.summit.types.UniqueId m_Trans_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R2953_caused_last_state_change_to_I_INS

      I_INSSet R2953_caused_last_state_change_to_I_INS() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R505_SM_SM

      SM_SMSet R505_SM_SM() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R506_is_destined_to_StateMachineState

      StateMachineStateSet R506_is_destined_to_StateMachineState() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R507_is_a_CreationTransition

      CreationTransitionSet R507_is_a_CreationTransition() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R507_is_a_NewStateTransition

      NewStateTransitionSet R507_is_a_NewStateTransition() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R507_is_a_NoEventTransition

      NoEventTransitionSet R507_is_a_NoEventTransition() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R512_MealyActionHome

      MealyActionHomeSet R512_MealyActionHome() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R530_houses_action_for_TransitionActionHome

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