Spoofax 2.4.0

Spoofax 2.4 fixes several bugs and includes a program generator.


Eclipse plugin

Update site

  • Eclipse update site: http://artifacts.metaborg.org/content/unzip/releases-unzipped/org/metaborg/org.metaborg.spoofax.eclipse.updatesite/2.4.0/org.metaborg.spoofax.eclipse.updatesite-2.4.0-assembly.zip-unzip/
  • Eclipse update site archive

IntelliJ plugin

  • IntelliJ update site: http://artifacts.metaborg.org/content/repositories/releases/org/metaborg/org.metaborg.intellij.dist/2.4.0/org.metaborg.intellij.dist-2.4.0.zip
  • IntelliJ update site archive

Command-line utilities

Core API

  • Spoofax Core uber JAR
  • Spoofax Core uber Maven artifact: org.metaborg:org.metaborg.spoofax.core.uber:2.4.0

Maven artifacts

Maven artifacts can be found on our artifact server. The Maven version used for this release is 2.4.0. See the instructions on using MetaBorg Maven artifacts for more information.


Eclipse Plugin

  • Fix: re-parse and re-analyze open editors if the language is reloaded.


  • Fix: use deep equality instead of object equality to compare elements in set constraints.
  • Fix: prevent clashes of variable names with known lower-case Stratego constructors.
  • Improvement: add strategies to the Stratego API to query references and declaration associated with AST nodes.
  • Fix: prevent exception traces when hovering over the editor.
  • Fix: bug in Stratego generation when complex terms are used in occurrences.
  • Fix: bug where editor resolution would only consider leaf nodes, but not parents if the leafs do not resolve.
  • Fix: bug where sometimes error messages of files were lost.


  • Improvement: latest JSGLR2 performance optimizations.
  • Fix: bug in JSGLR2 where non-default start symbols were not taken into account.