我在构建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
不知道在哪个实例中使用它。
我当然可以创建一个规则,该规则使用两个引用(这是我当前正在执行的操作),一个使用实例变量,然后遍历实例变量的类型以获取变量引用范围内的变量,但这看起来像一种应有的方式,对于嵌套对象而言,可扩展性不佳。
这是一个稍微宽泛的问题,我希望在我做完全相反的事情之前能先得到通知。
答案 0 :(得分:2)
这是范围提供者的示例
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
/**
* This class contains custom scoping description.
*
* See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#scoping
* on how and when to use it.
*/
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)
}
}