Merge pull request #7880 from overleaf/jk-cm6-parser-migrate-to-web

[web] CM6: Migrate lezer parser to web GitOrigin-RevId: d6f63ab2f3440292373bcc814c3769285be47c2b
2026-11-14 14:13:43 +01:00 · 2022-06-24 08:03:44 +00:00
parent 496f283892
commit 3d38087297
8 changed files with 94 additions and 1 deletions
@@ -0,0 +1,49 @@
+const {
+  compile,
+  options,
+} = require('../modules/source-editor/scripts/lezer-latex/generate')
+const fs = require('fs')
+
+const PLUGIN_NAME = 'lezer-grammar-compiler'
+
+class LezerGrammarCompilerPlugin {
+  apply(compiler) {
+    compiler.hooks.make.tap(PLUGIN_NAME, compilation => {
+      // Add the grammar file to the file paths watched by webpack
+      compilation.fileDependencies.add(options.grammarPath)
+    })
+    compiler.hooks.beforeCompile.tapAsync(
+      PLUGIN_NAME,
+      (_compilation, callback) => {
+        // Check timestamps on grammar and parser files, and re-compile if needed.
+        // (Note: the compiled parser file is watched by webpack, and so will trigger
+        //  a second compilation immediately after. This seems harmless.)
+        if (
+          !fs.existsSync(options.parserOutputPath) ||
+          !fs.existsSync(options.termsOutputPath)
+        ) {
+          console.log('Parser does not exist, compiling')
+          compile()
+          return callback()
+        }
+        fs.stat(options.grammarPath, (err, grammarStat) => {
+          if (err) {
+            return callback(err)
+          }
+          fs.stat(options.parserOutputPath, (err, parserStat) => {
+            if (err) {
+              return callback(err)
+            }
+            callback()
+            if (grammarStat.mtime > parserStat.mtime) {
+              console.log('Grammar file newer than parser file, re-compiling')
+              compile()
+            }
+          })
+        })
+      }
+    )
+  }
+}
+
+module.exports = { LezerGrammarCompilerPlugin }