问题描述
让我们假设以下简单语法(无任何用法或含义):
Model:
elements+=Element*
Element:
Type | Binding
Type:
"type" name=ID "=" type="int"
Binding:
"binding" name=ID "=" from=[Type] "to" to=[Type]
现在,我可以编写上述语法描述的简单有效程序:
type Foo = int
type Bar = int
binding Raboof = Foo to Bar
假设在某种验证中,我想检查某种类型的Bar
是否绑定到某种类型的Foo
。
在最简单的情况下,我可以只对类型的每个验证收集整个模型中的所有绑定并进行相应映射,但这每次验证到达某个类型时都可能产生巨大的成本,尽管可能没有任何更改在资源中。
class MyDslValidator extends AbstractMyDslValidator {
@Inject extension MyDslResourceCollector
@Inject extension MyDslMapBuilder
@Check
def checkIfBound(Type type) {
/* extension-method of MyDslResourceCollector */
val allBindings = collectAllVisibleBindingsOfTheModel(type)
/* extension-methods of MyDslMapBuilder */
val multiMapSourcetoTargets = buildMultiMapSourceTargets(allBindings)
val multiMapTargettoSrouces = buildMultiMapTargetSources(allBindings)
if (multiMapSourcetoTargets.get(type) > 1 || multiMapTargetToSources.get(type) > 1) {
warning(
"multiple bindings for type '" + type.name + "'",// ...
)
}
}
我的问题是以下:
在xtext
中是否有一些标准位置或挂钩可以用来在解析时或解析后收集信息,以供我在其他地方使用?在这种情况下我想为所有绑定生成两个多重映射,分别将每个 source 映射到其所有 targets ,并将每个 target 映射到其所有 sources 。
我还可以使用某种缓存机制,这种缓存机制会在资源更改后立即失效,但是我也找不到一种规范的方式来做到这一点。
解决方法
暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!
如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@)