java.lang.Object

cruise.umple.compiler.StateWrapper

public class StateWrapper
extends java.lang.Object

A simple wrapper over a State machine's states that allows keeping track of the parent state of the wrapped state, and all events that will cause a transition out of the wrapped state.

Constructor Summary

Constructors

Constructor Description

StateWrapper(State aWrappedState, int aStateId)

Method Summary

Modifier and Type	Method	Description
`boolean`	`addEvent(EventWrapper aEvent)`
`boolean`	`addEventAt(EventWrapper aEvent, int index)`
`void`	`addMappedTransistion(Event event, Transition transition)`	Adds an event and the transition it maps to for this state to the eventMap
`boolean`	`addOrMoveEventAt(EventWrapper aEvent, int index)`
`void`	`delete()`
`java.lang.String`	`getDashedName()`	Returns the name of this state, accounting for nested depth.
`java.lang.String`	`getDottedName()`	Returns the name of this state, accounting for parent states.
`EventWrapper`	`getEvent(int index)`
`java.util.List<EventWrapper>`	`getEvents()`
`Transition`	`getMappedTransition(Event event, java.util.Random randomGen)`	Returns one of the transitions caused by this event using the injected Random number generator
`StateWrapper`	`getParent()`
`java.lang.String`	`getParentId()`	Returns the id value of this states parent, or the empty string, if this has no parent
`Event[]`	`getPossibleEvents()`	returns an array of possible events
`int`	`getStateId()`
`State`	`getWrappedState()`
`boolean`	`hasEvents()`
`boolean`	`hasParent()`
`int`	`indexOfEvent(EventWrapper aEvent)`
`boolean`	`isEndState()`	If no possible events exist to exit this state, then the wrapped state is an end state.
`static int`	`minimumNumberOfEvents()`
`int`	`numberOfEvents()`
`boolean`	`removeEvent(EventWrapper aEvent)`
`boolean`	`setParent(StateWrapper aNewParent)`
`boolean`	`setStateId(int aStateId)`
`boolean`	`setWrappedState(State aWrappedState)`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object

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

Constructor Details
- StateWrapper
  
  public StateWrapper(State aWrappedState, int aStateId)
Method Details
- setWrappedState
  
  public boolean setWrappedState(State aWrappedState)
- setStateId
  
  public boolean setStateId(int aStateId)
- getWrappedState
  
  public State getWrappedState()
- getStateId
  
  public int getStateId()
- getParent
  
  public StateWrapper getParent()
- hasParent
  
  public boolean hasParent()
- getEvent
  
  public EventWrapper getEvent(int index)
- getEvents
  
  public java.util.List<EventWrapper> getEvents()
- numberOfEvents
  
  public int numberOfEvents()
- hasEvents
  
  public boolean hasEvents()
- indexOfEvent
  
  public int indexOfEvent(EventWrapper aEvent)
- setParent
  
  public boolean setParent(StateWrapper aNewParent)
- minimumNumberOfEvents
  
  public static int minimumNumberOfEvents()
- addEvent
  
  public boolean addEvent(EventWrapper aEvent)
- removeEvent
  
  public boolean removeEvent(EventWrapper aEvent)
- addEventAt
  
  public boolean addEventAt(EventWrapper aEvent, int index)
- addOrMoveEventAt
  
  public boolean addOrMoveEventAt(EventWrapper aEvent, int index)
- delete
  
  public void delete()
- isEndState
  
  public boolean isEndState()
  
  If no possible events exist to exit this state, then the wrapped state is an end state.
- addMappedTransistion
  
  public void addMappedTransistion(Event event, Transition transition)
  
  Adds an event and the transition it maps to for this state to the eventMap
- getMappedTransition
  
  public Transition getMappedTransition(Event event, java.util.Random randomGen)
  
  Returns one of the transitions caused by this event using the injected Random number generator
- getPossibleEvents
  
  public Event[] getPossibleEvents()
  
  returns an array of possible events
- getDottedName
  
  public java.lang.String getDottedName()
  
  Returns the name of this state, accounting for parent states. The parent state names are added as prefixes, separated by dots.
- getDashedName
  
  public java.lang.String getDashedName()
  
  Returns the name of this state, accounting for nested depth. For each level of nesting this state is in, a dash is prefixed to the name
- getParentId
  
  public java.lang.String getParentId()
  
  Returns the id value of this states parent, or the empty string, if this has no parent
- toString
  
  public java.lang.String toString()
  
  Overrides:
  
  toString in class java.lang.Object

Class StateWrapper

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Details

Method Details