Xtext 的类型系统 Xsemantics

EPL
Java
跨平台
2017-10-08
红薯

Eclipse Xsemantics 是一种DSL(在 Xtext 中实现的),为 Xtext 实现了编写类型系统、缩减规则、解释器和一般关系规则的语言。 Xsemantics 定义是一套具有结论和一套前提的判断规则。 然后生成 Java 代码,可以在基于Xtext 的语言中进行验证。

Eclipse Update:https://dl.bintray.com/lorenzobettini/xsemantics/updates/1.10/

的码云指数为
超过 的项目
加载中

评论(0)

暂无评论

暂无资讯

暂无问答

暂无博客

返回顶部
顶部