Function handleEvent

src/runtime/runtimeClient.ts:129–319

(json:string)

  }

  handleEvent(json:string) {
    let data = JSON.parse(json);

    // Events are expected to be objects that have a type property
    // if they aren't, we toss the event out
    if(typeof data !== "object" || data.type === undefined) {
      console.error("Got invalid JSON event: " + json);
      return;
    }

    if(data.type === "event") {
      if(!this.evaluation) return;
      // console.info("EVENT", json);
      let scopes = ["event"];
      let actions = [];
      for(let insert of data.insert) {
        let [e, a, v] = insert;
        // @TODO: this is a hack to deal with external ids. We should really generate
        // a local id for them
        if(e[0] === "⍦") e = ids.get([e]);
        if(v[0] === "⍦") v = ids.get([v]);
        actions.push(new ActionImplementations["+="]("event", e, a, v, "event", scopes));
      }
      this.evaluation.executeActions(actions);
    } else if(data.type === "close") {
      if(!this.evaluation) return;
      this.evaluation.close();
      this.evaluation = undefined;
    } else if(data.type === "parse") {
      let {results, errors}: {results: any, errors: any[]} = parser.parseDoc(data.code || "", "user");
      let {text, spans, extraInfo} = results;
      let build = builder.buildDoc(results);
      let {blocks, errors: buildErrors} = build;
      results.code = data.code;
      this.lastParse = results;
      this.lastParse.documentId = data.documentId;
      for(let error of buildErrors) {
        error.injectSpan(spans, extraInfo);
      }
      this.send(JSON.stringify({type: "parse", generation: data.generation, text, spans, extraInfo, css: this.lastCss + this.enabledCss()}));
    } else if(data.type === "eval") {
      let parse = this.lastParse;
      if(config.multiDoc) {
        let code = "";
        let documents = eveSource.fetchAll("root");
        let css = "";
        let currentCss = "";
        for(let documentId in documents) {
          code += `# !!! ${documentId} !!! \n`;
          code += documents[documentId] + "\n\n";

          if(this.lastParse && documentId !== this.lastParse.documentId) {
            css += this.enabledCss(documents[documentId]) + "\n\n";
          } else {
            currentCss = this.enabledCss(documents[documentId]) + "\n\n";
          }
        }