Professional Documents
Culture Documents
>: If (It Instanceof Machineexec) Else Return Super (It) ;
>: If (It Instanceof Machineexec) Else Return Super (It) ;
<<Interface>>
MachineExec
ExecFsmAlg<M, S, F extends S, T, Me extends M>
StateExec
+ current: State
+ event : String
+ step(event) : State + machineExec(MachineExec it) : Me
+ $(Machine it) : M
+ step(ch)
<<Interface>> <<Interface>>
<<Interface>> ExecFsm extends PrintCurrentFsm extends
Stepper
ExecFsmAlg<Stepper,Stepper,Stepper,Stepper,Stepper> ExecFsmAlg<Printer,Printer,Printer,Printer,Printert>
+ step(event)
+ machine(Machine it) : Stepper + machineExec(MachineExec it) : Printer
+ machineExec(MachineExec it) : Stepper
+ state(State it) : Stepper
+ finalState(FinalState it) : Stepper
+ transition(Transition it) : Stepper