面向软件元语言的在线基于名称的导航

软件语言的设计与实现通常涉及用各种生僻元语言编写的规约。语言工作台在本地浏览语言规约时通常支持精确的基于名称的导航，但在代码仓库中在线浏览相同规约时缺乏此类支持。本文提出一种技术，利用普通网页浏览器支持在线仓库中语言规约的精确基于名称的导航。其思路是生成超链接孪生体：即规范文本逐字复制的网站，并在名称引用与声明之间增强超链接。通过直接从语言工作台内部使用的名称绑定分析生成超链接，超链接孪生体中的在线导航自动与本地导航保持一致。所提出的技术已在 Spoofax 语言工作台中实现，并用于从 Spoofax 元语言的各种语言规约生成超链接孪生体网站。然而，该技术的适用性不限于 Spoofax，其他语言工作台的开发者大概也可实现类似工具，使其语言规约对未安装该工作台的人更易访问。