增广抽象语法树

Question

下面是一个简单的语法：

START = DECL DECL $ ;
DECL = TYPE NAME '=' VAL ;
TYPE = 'int' | 'float' ;
NAME = 'a' | 'b' ;
VAL = '4' ;

我用Grako解析这个输入流：

int a = 4
float b = 4

然后检索这个抽象语法树(JSON)：

[
  "int",
  "a",
  [
    "=",
    "4"
  ],
  [
    "float",
    "b",
    [
      "=",
      "4"
    ]
  ]
]

是否有一种简单的方法可以获得这样的AST：

[
  "int" TYPE,
  "a" NAME,
  [
    "=" DECL,
    "4" VAL
  ],
  [
    "float" TYPE,
    "b" NAME,
    [
      "=" DECL,
      "4" VAL
    ]
  ]
]

或者这个：

...
"int TYPE",
...

我相信在Grako生成的解析器中的语义操作是解决方案，但我无法解决。

有什么简单的方法吗？

Answer 1

您建议的输出格式与JSON不兼容，也不是Python。通过使用Grako的特性进行AST定制，您可以获得可以用Python和任何具有JSON库的其他语言处理的输出。

通过向感兴趣的元素添加AST名称来修改语法，如下所示：

START = DECL DECL $ ;
DECL = TYPE:TYPE NAME:NAME '=' VAL:VAL ;
TYPE = 'int' | 'float' ;
NAME = 'a' | 'b' ;
VAL = '4' ;

你会得到这样的输出：

AST:
[AST({'NAME': 'a', 'VAL': '4', 'TYPE': 'int'}), AST({'NAME': 'b', 'VAL': '4', 'TYPE': 'float'})]

JSON:
[
  {
    "TYPE": "int",
    "NAME": "a",
    "VAL": "4"
  },
  {
    "TYPE": "float",
    "NAME": "b",
    "VAL": "4"
  }
]

得到的AST很容易处理成您需要的任何最终输出。