LSPStatus&

SketchSystems.spec

LSPStatus&
  Admin
    FAILED? -> FAILED
    SUCESS? -> SUCCESS
    WARNING? -> WARNING
    OFF? -> OFF
  Rendering
    # Check user preferences first
    Code Intelligence Preferences*
      enabled? -> Check LSP Client Exists
      disabled? -> OFF
      
    # Check LSP client with useLSPClient(file.path)
    Check LSP Client Exists
      client defined? -> getStatusFromServerState
      client undefined? -> OFF
      
    # Returns a ConnectionStatusEnum
    getStatusFromServerState
      ServerState_OFFLINE?
        true -> FAILED
        false -> ServerState_INITIALIZING?
      ServerState_INITIALIZING?
        true -> OFF
        false -> ServerState_INITIALIZED?
      ServerState_INITIALIZED?
        true -> SUCCESS
        false -> ServerState_EXITED?
      ServerState_EXITED?
        true -> FAILED
        false -> ServerState_EXITING?
      ServerState_EXITING?
        true -> FAILED
        false -> FAILED
      default -> FAILED

  Connection Status
    # 🟢
    SUCCESS
    # 🟡
    WARNING
      Refresh Workspace -> Rendering
    # 🔴
    FAILED*
      Refresh Workspace -> Rendering
    # 🔘
    OFF
      Refresh Workspace -> Rendering

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}`);
}