Xtext如何通过实例通过限定名称引用变量

Question

我在构建dsl时遇到了这个概念的问题。我不确定这是我遗漏的一个简单的东西，还是不是xtext的预期功能。希望有人能在这个例子的背景下向我解释一下。

给定以下最小语法：

Model:
'ns' name=QualifiedName
classes+=Class*
instances+=Instance*
uses+=Use*
;
Class:
'class' name=ID '{'
variables+=Variable*
'}'
;
Variable:
'var' variable=PrimaryVariable
;
Instance:
variable=PrimaryVariable '=' 'new' type=[Class]
;
Use:
reference=[PrimaryVariable|QualifiedName]
;
PrimaryVariable:
name=ID
;
QualifiedName:
ID ('.' ID)*
;

我希望能够编写以下代码，当然这是无效的：

ns com.mine
class Class1 {
var var1
}
instance1 = new Class1
instance1.var1 // <- error here, can't resolve reference

有了这个语法和默认的作用域，只有这样才能工作：

ns com.mine
class Class1 {
var var1
}
instance1 = new Class1
Class1.var1

所以我的问题是：我该如何通过实例变量实现通过限定名称引用变量的概念？

我不认为我可以管理qualifiedNameProvider来实现这一点，因为PrimaryVariable不知道它在哪个实例中使用。

当然，我可以创建一个使用两个引用的规则(这也是我目前正在做的(，一个引用到实例变量，然后遍历实例变量的类型，以获得变量引用范围内的变量，但这似乎是对其应有方式的破解，在嵌套对象的情况下不那么可扩展。

这是一个稍微宽泛的问题，我希望在我做一些完全适得其反的事情之前，我能得到消息。

Answer 1

以下是作用域提供者的示例

import org.eclipse.emf.ecore.EObject
import org.eclipse.emf.ecore.EReference
import org.eclipse.xtext.EcoreUtil2
import org.eclipse.xtext.naming.QualifiedName
import org.eclipse.xtext.resource.EObjectDescription
import org.eclipse.xtext.scoping.IScope
import org.eclipse.xtext.scoping.impl.SimpleScope
import org.xtext.example.mydsl6.myDsl.Model
import org.xtext.example.mydsl6.myDsl.MyDslPackage
class MyDslScopeProvider extends AbstractMyDslScopeProvider {
override getScope(EObject context, EReference reference) {
if (reference === MyDslPackage.Literals.USE__REFERENCE) {
val model = EcoreUtil2.getContainerOfType(context, Model)
if (model !== null) {
val result = newArrayList
for (i : model.instances) {
result.add( EObjectDescription.create(
QualifiedName.create( i.variable.name ), i.variable ))
for (v : i.type.variables) {
result.add( EObjectDescription.create(
QualifiedName.create( i.variable.name, v.variable.name ),
v.variable ))
}
}
println(result)
return new SimpleScope(IScope.NULLSCOPE, result)
}
}
super.getScope(context, reference)
}
}