擴展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