Class IDE

src/ide.ts:2031–2980

//---------------------------------------------------------

export class IDE {
  protected _fileCache:{[fileId:string]: string} = {};

  /** The id of the active document. */
  documentId?:string;
  /** Whether the active document has been loaded. */
  loaded = false;
  /** Whether the IDE is currently loading a new document. */
  loading = false;

  /** When attempting to overwrite an existing document with a new one, the ID of the document to overwrite. */
  overwriteId:string;

  /** The current editor generation. Used for imposing a relative ordering on parses. */
  generation = 0;
  /** Whether the currently open document is a modified version of an example. */
  modified = false;
  /** Whether or not files are stored and operated on purely locally */
  local = false;

  /** Whether the inspector is currently active. */
  inspecting = false;

  /** Whether the next click should be an inspector click automatically (as opposed to requiring Cmd or Ctrl modifiers. */
  inspectingClick = false;

  renderer:Renderer = new Renderer();

  notices:{message: string|ElemGen, type: string, time: number}[] = [];

  languageService:LanguageService = new LanguageService();
  navigator:Navigator = new Navigator(this);
  editor:Editor = new Editor(this);
  comments:Comments = new Comments(this);

  constructor( ) {
    document.body.appendChild(this.renderer.content);
    this.renderer.content.classList.add("ide-root");

    this.enableInspector();
    this.monitorInputState();
  }

  elem() {
    return {c: `editor-root`, children: [
      this.navigator.render(),
      {c: "main-pane", children: [
        this.noticesElem(),
        this.editor.render(),
        this.overwriteId ? this.overwritePrompt() : undefined,
      ]},
      this.comments.render()
    ]};
  }

  noticesElem() {
    let items = [];
    for(let notice of this.notices) {