Java 使用xtext验证语义的最佳方法

Java 使用xtext验证语义的最佳方法,java,validation,dsl,xtext,xtend,Java,Validation,Dsl,Xtext,Xtend,我是Xtext验证系统的新手,不知道如何验证我的表达式 我有点像: VAR <VARIABLE>:<TYPE>:= <VALUE>; END_VAR 如何将元素与TypeName元素关联 你要找的是打字系统。有几种方法可以实现这一点:您可以编写自己的(通过在validator类中编写检查),您可以使用现有的方法,如或 你可以看看Lorenzo Bettinis的书《用Xtext和Xtend实现领域特定语言》你要找的是一个类型系统。有几

我是Xtext验证系统的新手,不知道如何验证我的表达式

我有点像:

   VAR
      <VARIABLE>:<TYPE>:= <VALUE>;
   END_VAR

如何将元素与TypeName元素关联

你要找的是打字系统。有几种方法可以实现这一点:您可以编写自己的(通过在validator类中编写检查),您可以使用现有的方法,如或


你可以看看Lorenzo Bettinis的书《用Xtext和Xtend实现领域特定语言》

你要找的是一个类型系统。有几种方法可以实现这一点:您可以编写自己的(通过在validator类中编写检查),您可以使用现有的方法,如或


你可以看看Lorenzo Bettinis的书《用Xtext和Xtend实现领域特定语言》

你要找的是一个类型系统。有几种方法可以实现这一点:您可以编写自己的(通过在validator类中编写检查),您可以使用现有的方法,如或


你可以看看Lorenzo Bettinis的书《用Xtext和Xtend实现领域特定语言》

你要找的是一个类型系统。有几种方法可以实现这一点:您可以编写自己的(通过在validator类中编写检查),您可以使用现有的方法,如或

您可以看看Lorenzo Bettinis的书《用Xtext和Xtend实现特定领域的语言》

,这本书确实非常值得推荐。这确实是非常值得推荐的。这确实是非常值得推荐的。这确实是非常值得推荐的。
VarRule:
   'VAR' 
     variableDef+=VariableDefRule+ ';'
   'END_VAR'
;
VariableDefRule:
  type=TypeName (':=' constant=Constant)?
;
TypeName:
  INT | STRING | FLOAT
;

INT: name='INT';
STRING: name='STRING';
FLOAT: name='FLOAT';

Constant:
  Integer | String | ...
;
terminal Integer returns ecore::EInt:
 (0..9)+
;