Question

我尝试编写新的语法，并在Java中编写了类似Enum的东西，它使Var（我的语法中的一种类型）成为一组预定义的常量。

我希望它能够识别包含在这个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'
}

我知道LEFT不是VarDecl，它是ID，但我不知道如何做到与众不同。我需要做什么才能将LEFT识别为包含移动的东西？评论：在我的真实语法中，我实际上尝试移动== LEFT（布尔运算符）并且它不会将LEFT识别为移动的常量（出现相同的错误）。

谢谢！

Answer 1

我不确定我是否能得到你，但这里有一些提示

首先，您只能在语法中引用您允许的内容

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子类

请注意：这还不包括类型系统/范围/验证

Xtext交叉引用Enum的常量

1 个答案: