Package cruise.umple.compiler
Class EventSequencer
java.lang.Object
cruise.umple.compiler.EventSequencer
public class EventSequencer
extends java.lang.Object
-
Constructor Summary
Constructors Constructor Description EventSequencer(StateMachine aSm, int aSmNumber)
-
Method Summary
-
Constructor Details
-
Method Details
-
setSm
-
setRandomEventProportion
public boolean setRandomEventProportion(double aRandomEventProportion) -
setRandomGenerator
public boolean setRandomGenerator(java.util.Random aRandomGenerator) -
setSmNumber
public boolean setSmNumber(int aSmNumber) -
setNextStateId
public boolean setNextStateId(int aNextStateId) -
getSm
-
getRandomEventProportion
public double getRandomEventProportion() -
getRandomGenerator
public java.util.Random getRandomGenerator() -
getSmNumber
public int getSmNumber() -
getNextStateId
public int getNextStateId() -
getPossibleState
-
getPossibleStates
-
numberOfPossibleStates
public int numberOfPossibleStates() -
hasPossibleStates
public boolean hasPossibleStates() -
indexOfPossibleState
-
getPossibleTransition
-
getPossibleTransitions
-
numberOfPossibleTransitions
public int numberOfPossibleTransitions() -
hasPossibleTransitions
public boolean hasPossibleTransitions() -
indexOfPossibleTransition
-
getPossibleEvent
-
getPossibleEvents
-
numberOfPossibleEvents
public int numberOfPossibleEvents() -
hasPossibleEvents
public boolean hasPossibleEvents() -
indexOfPossibleEvent
-
getTracker
-
hasTracker
public boolean hasTracker() -
minimumNumberOfPossibleStates
public static int minimumNumberOfPossibleStates() -
addPossibleState
-
removePossibleState
-
addPossibleStateAt
-
addOrMovePossibleStateAt
-
minimumNumberOfPossibleTransitions
public static int minimumNumberOfPossibleTransitions() -
addPossibleTransition
-
removePossibleTransition
-
addPossibleTransitionAt
-
addOrMovePossibleTransitionAt
-
minimumNumberOfPossibleEvents
public static int minimumNumberOfPossibleEvents() -
addPossibleEvent
-
removePossibleEvent
-
addPossibleEventAt
-
addOrMovePossibleEventAt
-
setTracker
-
delete
public void delete() -
generateEventSequence
-
toString
public java.lang.String toString()- Overrides:
toString
in classjava.lang.Object
-