Xtext与该关键字的交叉引用

Question

我目前正在帮助op Xtext制作一个新的DSL。我希望能够在语法中定义规则，使用this操作某些值并引用当前对象。然而，我无法获得正确的语法来让它工作。

我从Xtext表达式示例中获取了一些代码，并对其进行了修改，以便能够对卡片值进行交叉引用。我如何使用this关键字？我从其他一些SO问题中了解到，我可以使用自己的范围提供程序来实现这一点，但不知道从哪里开始。

看到一些代码：

//MyDSL. xtext

Game returns Game:
    'Game'
    name=STRING
    ...
    ('Cardpropertytypes' '{' cardpropertytypes+=CardPropertyType ( "," cardpropertytypes+=CardPropertyType)* '}' )?
    cards += Card*
;

Card returns Card:
    'Card'
    name=ID
    '{'
        'type' type=[CardType]
        ('cost' '{' cost+=Cost ( "," cost+=Cost)* '}' )?
        ('properties' '{' properties+=CardProperty ( "," properties+=CardProperty)* '}' )?
        ('rules' '{' rules+=CardRule ( "," rules+=CardRule)* '}' )?
        ('actions' '{' actions+=CardAction ( "," actions+=CardAction)* '}' )?
    '}';

CardRule returns CardRule:
    {CardRule}
    '{'
        ('description' description=STRING)?
        ('requirements' requirements=Addition)?
        ('action' action=Addition)?
        ('duration' duration=Duration)?
    '}';

CardProperty returns CardProperty:
  type=[CardPropertyType] (':' value=INT)?;

Addition returns Expression:
  Multiplication ({Addition.left=current} '+' right=Multiplication)*;

Multiplication returns Expression:
  Primary ({Multiplication.left=current} '*' right=Primary)*;

Primary returns Expression:
  Literal |
  '(' Addition ')';

Literal returns Expression: 
    {Expression}
    QualifiedName |
    NumberLiteral;

QualifiedName:
    ID ('.' ID)*;

NumberLiteral:
  value=INT;

//卡片。mydsl

Cardpropertytypes {
    Toughness,
    Power,
    Flying,
    Indestructible
}
Card AdantoVanguard {
    ...
    properties {
        Toughness: 1,
        Power: 1,
        Flying
    }
    rules {
        {
            //action this.properties.Toughness + 2
            action ????
        }
    }
}

澄清：如果我有一个卡片模型，它的属性如上面的代码示例所示，我想在规则部分说：

this.properties.propertyName + 2

我怎样才能做到这一点？

Answer 1

在xtext中，交叉引用看起来像

ref=[SomeType]

它是

ref=[SomeType|ID]

这意味着ID将被解析为引用某个类型，因此通过将ID替换为另一个规则，例如：

ref=[SomeType|IDORTHIS]
...
IDORTHIS: ID | "this";

您可以实现解析端

对于作用域方面，您需要实现作用域提供程序

范围提供程序内部

• 覆盖getScope
• 使用上下文和引用参数确定哪个引用的范围
• 使用上下文收集要放入范围的元素
• 创建一个新的作用域，例如使用作用域类中的方法，或手动输入SimpleScope/EObjectDescription。创造或。。。。。（关于这一点，您的要求非常模糊）