2

我想使用 xtext 创建一个非常简单的 DSL,具有以下功能:

  • 它将有两种原始类型:数字和字符串
  • 用户可以定义自己的类,由字段声明组成
  • 字段声明将名称与类型相关联,其中类型可以是类或基元

以下是我对 DSL 的尝试,类定义和引用工作正常,但我不知道如何拥有原始类型。'String' 和 'Number' 文字不起作用:

Model:
    (classes+=Class)*
    (fields+=Field)*;

FieldType: Class | 'String' | 'Number';

Field:
    type=[FieldType] name=ID ";";

Class:
    "class" name=ID
    "{"
        (fields+=Field)*
    "}";

这是我希望对上述 DSL 有效的示例:

Class SomeClass {

}

// This works!
SomeClass reference;

// This does not, doesn't recognise the "String" literal
String string;

请注意,接下来我将支持分配。因此,我的 DSL 将需要结合数字/字符串文字的概念,以便它支持Number someNumber = 123;

4

1 回答 1

1

睡了之后,我认为正确的答案是改变我的方法。在上面的定义中,我们有

Field:
    type=[FieldType] name=ID ";";

这定义了一个名为“字段”的规则,它由两部分组成;“类型”和“名称”。它是呈现问题的类型部分。方括号表示我们期待 的实例FieldType,即:

FieldType: Class | 'String' | 'Number';

现在,很明显您可以拥有一个类的实例,但从语义上讲,没有办法拥有“字符串”或“数字”字面量的实例。

我相信这就是我上面的 DSL 不允许我声明原语的原因。字符串/数字“类型”根本不是您可以拥有实例的元素。


进一步思考,原始字段的定义与类实例的字段定义之间存在一些非常重要的区别。例如,您只能在类的实例上调用方法(在我的情况下,我将 String 视为真正的原语,因此没有方法)。

因此,拥有两种不同类型的声明可能很重要,一种是 for PrimitiveField,一种是 for ObjectField。字段可以是以下任何一种:

Model:
    (classes+=Class)*
    (fields+=Field)*;

PrimitiveType: 'String' | 'Number' | 'Boolean';

Field:
    PrimitiveField | ObjectField
;

PrimitiveField:
    type=PrimitiveType name=ID ";"
;
ObjectField:
    type=[Class] name=ID ";";

Class:
    "class" name=ID
    "{"
    (fields+=Field)*
    (methods+=Method)*
    "}";
于 2013-10-19T11:21:15.933 回答