Spoofax语言工作台学习笔记——命名的定义和声明-优快云博客

本文介绍了使用名称绑定语言NaBL解决跨文件命名定义和声明校验问题的方法。通过引入临时命名空间AppRef，实现在不同文件间正确引用appid。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

今天在使用名称绑定语言NaBL的时候，解决了命名定义和声明的命名校验的问题。

语言场景是这样的，一个源文件定义了app（应用），具有唯一id。定义诺干个dataset（数据集）并且声明对应的app id，但是dataset可以在多个文件中，dataset无id，dataset下有诺干data model（entity、webpage），data model在app的命名范围下具有唯一id。

关键语法定义的SDF片段：

"app" ID Dataset -> AppDecl{"AppDecl"}
"app" ID Page -> AppDecl{"AppDecl"}

先贴出正确的NaBL解决方法：

module names

imports

include/SmartX

namespaces
  App AppRef
  DataModel DataModelProperty
  Page
rules
  App(appId, pageId) : 
    defines unique App appId
    refers to Page pageId in AppRef appId
  AppDecl(appId, _) : 
    refers to App appId//声明定义
    defines unique AppRef appId//声明临时引用命名空间
    scopes DataModel, Page//DataModel，Page在App命名空间作用范围下
  Entity(e, _): 
    defines unique DataModel e
  Webpage(w, _, _, _): 
    defines unique DataModel w
    scopes DataModelProperty
  Property(_, x, _, _): 
    defines unique DataModelProperty x 
  Page(pageId, _, _, _, _, _, _, _):
    defines unique Page pageId

查阅了NaBL的官方文档，本来以为会有直接的方法，但是为了实现应用定义和应用下属页面和数据集定义在不同的文件（不同解析树），不能直接使用scopes子句定义应用的子命名空间。因此，我的解决方案是定义一个AppRef临时的命名空间，重点在于以下片段：

  AppDecl(appId, _) : 
    refers to App appId//声明定义
    defines unique AppRef appId//声明临时引用命名空间
    scopes DataModel, Page//DataModel，Page在App命名空间作用范围下

详细解释一下三个从句，第一句，表示从App命名空间中引用命名appId；第二句，定义新的命名空间AppRef，虽然功能实现了，但这句有一点非常令我费解，使用unique和non-unique并无区别，都可以重复引用（符合当前需求）；第三句，和官方文档上用法一致，使得 DataModel, Page在AppRef的命名空间下，这句从句必须紧跟defines 从句之后，表示在AppRef命名空间下。

问题解决了，回顾解决思路，引入AppRef命名空间，在AppRef下定义命名空间，引入中个中级命名空间最主要的原因是app id定义和声明在不同的解析树中（跨文件）。