Package cruise.umple.compiler

Class EventWrapper

java.lang.Object

cruise.umple.compiler.EventWrapper

public class EventWrapper
extends java.lang.Object

Allows mapping from events to the various transitions. This allows guards to effectively be ignored for the purpose of walking randomly through the state machine.

Constructor Summary

Constructors

Constructor	Description
EventWrapper(Event aWrappedEvent)

Method Summary

Modifier and Type	Method	Description
boolean	addOrMoveTransitionAt(Transition aTransition, int index)
boolean	addTransition(Transition aTransition)
boolean	addTransitionAt(Transition aTransition, int index)
void	delete()
Transition	getTransition(int index)
java.util.List<Transition>	getTransitions()
Event	getWrappedEvent()
boolean	hasTransitions()
int	indexOfTransition(Transition aTransition)
static int	minimumNumberOfTransitions()
int	numberOfTransitions()
boolean	removeTransition(Transition aTransition)
boolean	setWrappedEvent(Event aWrappedEvent)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

EventWrapper

public EventWrapper(Event aWrappedEvent)

Method Details

setWrappedEvent

public boolean setWrappedEvent(Event aWrappedEvent)

getWrappedEvent

public Event getWrappedEvent()

getTransition

public Transition getTransition(int index)

getTransitions

public java.util.List<Transition> getTransitions()

numberOfTransitions

public int numberOfTransitions()

hasTransitions

public boolean hasTransitions()

indexOfTransition

public int indexOfTransition(Transition aTransition)

minimumNumberOfTransitions

public static int minimumNumberOfTransitions()

addTransition

public boolean addTransition(Transition aTransition)

removeTransition

public boolean removeTransition(Transition aTransition)

addTransitionAt

public boolean addTransitionAt(Transition aTransition, int index)

addOrMoveTransitionAt

public boolean addOrMoveTransitionAt(Transition aTransition, int index)

delete

public void delete()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object