如何解决在XText中解析后,如何添加或缓存模型的其他重要信息? 后期处理?
让我们假设以下简单语法(无任何用法或含义):
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 举报,一经查实,本站将立刻删除。