blob: 50bf68503817f642a6391bff445038e8d2f0c17d [file] [log] [blame]
@namespace(uri="stm", prefix="")
package stm;
class StateMachine {
val State[*] states;
val Transition[*] transitions;
}
class State {
attr String name;
ref Transition[*]#from outgoing;
ref Transition[*]#to incoming;
}
class Transition {
ref State#outgoing from;
ref State#incoming to;
}