扩展Xbase类型系统

Question

我有一个简单的DSL，灵感来自mini-java示例，但基于XBase。请看下面，快速了解一下我的语法。

Package returns Package:
{Package}
'package'
name = QualifiedName
(importSection = XImportSection)?
(classifiers += Classifier)*
;

Classifier returns Classifier : 
Class 
| DataType 
| Enum
;

Class returns Class:
{Class}
((abstract?='abstract'? 'class') | interface?= 'interface') name = ID
('<' typeParameters+=JvmTypeParameter (',' 
typeParameters+=JvmTypeParameter)* '>')?
('extends' superType=JvmParameterizedTypeReference)?
'{'
   (members+=Member)*
'}'
 ; ...

我的问题如下：

如何扩展XBase类型系统，以便识别用这个简单的DSL定义的超类和子类之间的类型一致性？！

我花了几天的时间寻找示例，但我无法找到一个明确的示例。

提前感谢您的任何提示，帮助！

干杯,

Answer 1

你可以看看xtend对此做了什么。

https://github.com/eclipse/xtext-xtend/blob/7ffa1888e0e8b2f1e960bcfd92b2cf4c74babcf1/org.eclipse.xtend.core/src/org/eclipse/xtend/core/validation/XtendValidator.java