java.lang.Object

cruise.umple.compiler.EventSequenceWalkTracker

public class EventSequenceWalkTracker
extends java.lang.Object

Constructor Summary

Constructors

Constructor Description

EventSequenceWalkTracker()

Method Summary

Modifier and Type	Method	Description
`boolean`	`addOrMoveUnvisitedStateAt(StateWrapper aUnvisitedState, int index)`
`boolean`	`addOrMoveUnvisitedTransitionAt(Transition aUnvisitedTransition, int index)`
`boolean`	`addUnvisitedState(StateWrapper aUnvisitedState)`
`boolean`	`addUnvisitedStateAt(StateWrapper aUnvisitedState, int index)`
`boolean`	`addUnvisitedTransition(Transition aUnvisitedTransition)`
`boolean`	`addUnvisitedTransitionAt(Transition aUnvisitedTransition, int index)`
`void`	`calculateMaximumEvents()`
`void`	`delete()`
`int`	`getCounter()`
`java.lang.String`	`getFinishReason()`
`int`	`getMaxEvents()`	set lazily
`StateWrapper`	`getUnvisitedState(int index)`
`java.util.List<StateWrapper>`	`getUnvisitedStates()`
`Transition`	`getUnvisitedTransition(int index)`
`java.util.List<Transition>`	`getUnvisitedTransitions()`
`boolean`	`hasUnvisitedStates()`
`boolean`	`hasUnvisitedTransitions()`
`int`	`indexOfUnvisitedState(StateWrapper aUnvisitedState)`
`int`	`indexOfUnvisitedTransition(Transition aUnvisitedTransition)`
`boolean`	`isWalkFinished(StateWrapper currentState)`
`void`	`markStateVisited(StateWrapper state)`
`void`	`markTransitionVisited(Transition trans)`
`static int`	`minimumNumberOfUnvisitedStates()`
`static int`	`minimumNumberOfUnvisitedTransitions()`
`int`	`numberOfUnvisitedStates()`
`int`	`numberOfUnvisitedTransitions()`
`boolean`	`removeUnvisitedState(StateWrapper aUnvisitedState)`
`boolean`	`removeUnvisitedTransition(Transition aUnvisitedTransition)`
`boolean`	`setCounter(int aCounter)`
`boolean`	`setFinishReason(java.lang.String aFinishReason)`
`boolean`	`setMaxEvents(int aMaxEvents)`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object

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

Constructor Details
- EventSequenceWalkTracker
  
  public EventSequenceWalkTracker()
Method Details
- setFinishReason
  
  public boolean setFinishReason(java.lang.String aFinishReason)
- setCounter
  
  public boolean setCounter(int aCounter)
- setMaxEvents
  
  public boolean setMaxEvents(int aMaxEvents)
- getFinishReason
  
  public java.lang.String getFinishReason()
- getCounter
  
  public int getCounter()
- getMaxEvents
  
  public int getMaxEvents()
  
  set lazily
- getUnvisitedState
  
  public StateWrapper getUnvisitedState(int index)
- getUnvisitedStates
  
  public java.util.List<StateWrapper> getUnvisitedStates()
- numberOfUnvisitedStates
  
  public int numberOfUnvisitedStates()
- hasUnvisitedStates
  
  public boolean hasUnvisitedStates()
- indexOfUnvisitedState
  
  public int indexOfUnvisitedState(StateWrapper aUnvisitedState)
- getUnvisitedTransition
  
  public Transition getUnvisitedTransition(int index)
- getUnvisitedTransitions
  
  public java.util.List<Transition> getUnvisitedTransitions()
- numberOfUnvisitedTransitions
  
  public int numberOfUnvisitedTransitions()
- hasUnvisitedTransitions
  
  public boolean hasUnvisitedTransitions()
- indexOfUnvisitedTransition
  
  public int indexOfUnvisitedTransition(Transition aUnvisitedTransition)
- minimumNumberOfUnvisitedStates
  
  public static int minimumNumberOfUnvisitedStates()
- addUnvisitedState
  
  public boolean addUnvisitedState(StateWrapper aUnvisitedState)
- removeUnvisitedState
  
  public boolean removeUnvisitedState(StateWrapper aUnvisitedState)
- addUnvisitedStateAt
  
  public boolean addUnvisitedStateAt(StateWrapper aUnvisitedState, int index)
- addOrMoveUnvisitedStateAt
  
  public boolean addOrMoveUnvisitedStateAt(StateWrapper aUnvisitedState, int index)
- minimumNumberOfUnvisitedTransitions
  
  public static int minimumNumberOfUnvisitedTransitions()
- addUnvisitedTransition
  
  public boolean addUnvisitedTransition(Transition aUnvisitedTransition)
- removeUnvisitedTransition
  
  public boolean removeUnvisitedTransition(Transition aUnvisitedTransition)
- addUnvisitedTransitionAt
  
  public boolean addUnvisitedTransitionAt(Transition aUnvisitedTransition, int index)
- addOrMoveUnvisitedTransitionAt
  
  public boolean addOrMoveUnvisitedTransitionAt(Transition aUnvisitedTransition, int index)
- delete
  
  public void delete()
- isWalkFinished
  
  public boolean isWalkFinished(StateWrapper currentState)
- calculateMaximumEvents
  
  public void calculateMaximumEvents()
- markTransitionVisited
  
  public void markTransitionVisited(Transition trans)
- markStateVisited
  
  public void markStateVisited(StateWrapper state)
- toString
  
  public java.lang.String toString()
  
  Overrides:
  
  toString in class java.lang.Object

Class EventSequenceWalkTracker

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Details

Method Details