Class virtual Cf_machine.state


class virtual [['a, 'b]] state : object .. end
A virtual class to represent the public and private interface of object- oriented gadget states. Use inherit ['i, 'o] state to derive a class that implements a complete state in a state machine.
Inherits
method next : (< next : 'c; .. >, 'a, 'b, unit) Cf_gadget.t as 'c
Use obj#next to transition the state of the machine by storing obj in the state of the gadget and applying Cf_gadget.guard self#guard.
method private virtual guard : (< next : 'c; .. > as 'd, 'a, 'b, unit) Cf_gadget.guard_t
Implement to produce a guard for receiving events on one or more wires.