WG211/M21Mosses

The Spoofax language workbench supports precise code navigation for any language whose syntax and name resolution have been specified in its meta-languages. However, Spoofax only runs locally, and it does not support navigation when browsing code repositories online.

This talk is about a toolchain to generate PDFs and web pages that support the same navigation online as Spoofax does locally. The technique is currently being prototyped on the CBS (Component-Based Semantics) specification language. When browsing a CBS specification locally in Spoofax, we can now generate not only a parser and compiler for the specified language, but also PDFs and web pages for navigating its CBS specifications online.