Car&*

SketchSystems.spec

Car&*

  Engine*
    EngineOff*
      insert KEY -> EngineOff
      turn KEY -> EngineOn
    EngineOn
      turn KEY -> EngineOff
      
  Key?*
    lock ALL -> Key?
    unlock ALL -> Key?
    key inserted? -> KeyInserted
    key remoed? -> KeyRemoved
    KeyRemoved*
      insert KEY -> KeyInserted
    KeyInserted
      remove KEY -> Key?
      turn KEY -> KeyInserted

  Left Front Door*
    LockedLFD*
      unlock LFD -> ClosedLFD
      unlock ALL -> ClosedLFD
    ClosedLFD
      open LFD -> OpenLFD
      lock LFD -> LockedLFD
      lock ALL -> ClosedLFD
    OpenLFD
      close LFD -> ClosedLFD

  Right Front Door
    LockedRFD*
      unlock RFD -> ClosedRFD
      unlock ALL -> ClosedRFD
    ClosedRFD
      open RFD -> OpenRFD
      lock RFD -> LockedRFD
      lock ALL -> LockedRFD
    OpenRFD
      close RFD -> ClosedRFD

  Left Rear Door*
    LockedLRD*
      unlock LRD -> ClosedLRD
      unlock ALL -> ClosedLRD
    ClosedLRD
      open LRD -> OpenLRD
      lock LRD -> LockedLRD
      lock ALL -> LockedLRD
    OpenLRD
      close LRD -> ClosedLRD

  Right Rear Door*
    LockedRRD*
      unlock RRD -> ClosedRRD
      unlock ALL -> ClosedRRD
    ClosedRRD
      open RRD -> OpenRRD
      lock RRD -> LockedRRD
      lock ALL -> LockedRRD
    OpenRRD
      close RRD -> ClosedRRD

SketchSystems_prototype.js

function render(model) {
  console.log(model)  
  let current_state_name = model.active_states[0].name;
  return $("h1",
           {style: {color: "darkBlue"}},
           `The current state is: ${current_state_name}`);
}