Exec Toolbar&

SketchSystems.spec

Exec Toolbar&
  Session
    Initial
      Request session -> Worker provisioned?

    Pending

    Worker provisioned?
      # Getting job URL
      Check worker status -> Refresh
      Cancel -> Replete Left

    Refresh
      # Worker provisioned?
      Yes -> Worker
      No -> Worker provisioned?

    Replete Left
      Reconnect -> Refresh

    Replete Right
      Reconnect -> Refresh

    Active
      Cancel -> Replete Left
      End session -> Replete Right
      Worker
        Worker Initial
          Connect to worker -> Node Running
        Connected
          Document Node Execution
            Node Initial
              Run -> Node Running
            Node Running
              Execute -> Node Executed
              Cancel -> Node Cancelled
            Node Executed
              Run -> Node Running
            Node Cancelled
              Run -> Node Running

SketchSystems_prototype.js

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