XTEXT：预处理器指令的规则

Question

我正在尝试为 XText 中的预处理器指令编写规则。目前我是这样实现的：

preproc:
    type=PREPROCESSOR_INCLUDE_TYPE val=(STRING | PREPROCESSOR_INCLUDE_VAL)| 
    type=PREPROCESSOR_DEFINE_TYPE | 
    type=PREPROCESSOR_SINGLE_PARAM_TYPE val=ID|
    type=PREPROCESSOR_NONE_PARAM_TYPE
;


terminal PREPROCESSOR_INCLUDE_TYPE: '#include'| '#import';

terminal PREPROCESSOR_INCLUDE_VAL: ' '+ '<'->'>';

terminal PREPROCESSOR_DEFINE_TYPE: '#define' -> '\n';

terminal PREPROCESSOR_SINGLE_PARAM_TYPE: '#undef' |'#ifdef' |'#ifndef' |'#pragma';

terminal PREPROCESSOR_NONE_PARAM_TYPE: '#else' | '#endif';

我不太喜欢这个解决方案，但它是我尝试过的所有解决方案中唯一有效的解决方案。有没有更聪明的方法来编写预处理器指令的规则？

我如何拆分 PREPROCESSOR_DEFINE_TYPE 规则以将预处理器指令类型（#define）与其值分开？

非常感谢

编辑

我想用这些规则捕获的是典型的预处理器指令。例如：

#include "fileName"
#import <fileName>

#define IDENTIFIER
#define IDENTIFIER WHATEVER + YOU - WANT !

#undef IDENTIFIER

#else
#endif

在所有不同的情况下，最好将预处理器类型与其值分开

Raffaello。

Answer 1

基本上，您无法（开箱即用）创建使用 XText 进行预处理的语言。 XText 生成一种语法的代码。预处理需要 2 个拟合语法。

这是挑战
http://www.eclipse.org/forums/ index.php/mv/msg/366839/894493/#msg_894493

想想看：

a = 1 
#ifdef something
    +1
#endif
;

原来如此用一种语法来表达所有这些是非常低效的，因此在 xtext 中是不切实际的。因此，如果不支持多步，像 C、make 这样的语言就超出了它的范围。

Answer 2

如果我理解您的问题，您需要一个用于定义规则的 AST 节点，该节点具有包含规则其余部分的属性，但不包含 #define 关键字。

until 规则或可能的否定 (!) 规则的问题是，它们会导致与 #define 和指令，所以不能轻易解决。

但是，您可以定义一个新终端，例如以字母或 _ 开头，以换行符结尾，可以将其添加到您的语言中，如下所示：

PREPROCESSOR_DEFINE_TYPE: '#define' instruction=Content 
;

terminal Content:
    ('a'..'z'|'A'..'Z'|'_') -> '\n'
;

我没有测试该解决方案，但它在我的 Xtext 编辑器中没有抛出任何错误，并且与 Terminals.xtext 中 ID 参数的定义非常相似，所以我相信它应该接近您所需要的。

此外，我认为您不必将所有预处理器类型定义为终端，因为这样它们就会变得更加低级构造；我会尽可能多地定义非终结规则。