2016-07-24 82 views
0

我尝试编写新的语法,并且我在Java中编写了类似Enum的东西,它使Var(我的语法中的一个类型)成为一组预定义的常量。Xtext交叉引用枚举的常量

我希望它能够识别包含在这个Var中的常量,但我没有找到办法如何去做(虽然我尝试阅读“使用Xtext和Xtend实现特定于领域的语言”一书,并且在互联网上搜索了很多)

所以我对语法的DomainModel了一个小例子:

Domainmodel: 
    (elements+=AbstractElement)*; 

PackageDeclaration: 
    'package' name=QualifiedName '{' 
    (elements+=AbstractElement)* 
    '}'; 

AbstractElement: 
    PackageDeclaration | Type | Import; 

QualifiedName: 
    ID ('.' ID)*; 

Import: 
    'import' importedNamespace=QualifiedNameWithWildcard; 

QualifiedNameWithWildcard: 
    QualifiedName '.*'?; 

Type: 
    DataType | Entity | Var; 

DataType: 
    'datatype' name=ID; 

Entity: 
    'entity' name=ID ('extends' superType=[Entity|QualifiedName])? '{' 
    (features+=Feature)* 
    '}'; 

Feature: 
    (many?='many')? name=ID ':' type=[VarDecl |QualifiedName]; 

Var: 
    kind='Var' var=VarDecl; 

VarDecl: 
    type=VarType name=SimpleVarID; 

SimpleVarID: 
    ID ('[' INT ']')*; 

VarType: 
    name='boolean' 
    | '{' const+=TypeConstant (',' const+=TypeConstant)* '}'; 

TypeConstant: 
    ID | INT | 'FALSE' | 'TRUE'; 

所以,例子是:

Var {LEFT,RIGHT} move 

entity C { 
    content: move 
    side: LEFT //ERROR: couldn't resolve reference to VarDecl 'LEFT' 
} 

我知道LEF T不是VarDecl,它是ID,但我不知道如何做到这一点。 我需要做什么才能让左手被识别为包含移动的东西?
评论:在我的真实语法中,我实际上尝试移动== LEFT(布尔运算符),它不能识别LEFT作为移动常量(同样的错误出现)。

谢谢!

回答

0

我不知道如果我得到你,但这里有一些提示

第一你只能引用您允许在语法的东西

QualifiedName: 
    TypeConstantLiteral ('.' TypeConstantLiteral)*; 

VarType: 
    name='boolean' 
    | '{' const+=TypeConstant (',' const+=TypeConstant)* '}'; 

Feature: 
    (many?='many')? name=ID ':' type=[Referrable | QualifiedName];  

Referrable: 
    VarDecl | TypeConstant 
; 

TypeConstant: 
    name=TypeConstantLiteral; 

TypeConstantLiteral:ID | INT | 'FALSE' | 'TRUE';  

,那么你必须关心命名

class MyDslRuntimeModule extends AbstractMyDslRuntimeModule { 

    override bindIQualifiedNameProvider() { 
     SimpleNameProvider 
    } 

} 

(取决于您的用例,您可以使用DefaultDeclarativeNameProvider的自己的子类代替

请注意:这不包括类型系统/范围/验证尚未

+0

非常感谢!!,它的工作! – RoG