textx 语法，使用空格作为重复修饰符

Question

我正在尝试为 Fire Dynamics Simulator using textx. For the most part, ignoring the whitespace is perfect as most parameters and values should be separated by commas. However, it is acceptable to ignore the comma at the end of a parameter and it appears that the program also will look past missing comma in the value list 使用的输入文件编写解析器。

我已经精简了这个问题的语法定义，但下面的代码显示 data 中有 2 条以 & 开头并以 / 结尾的记录。每条记录都有两个参数。第一个有一些字符串值，而第二个记录有数值。此代码运行良好。

import textx

def test_parse_mesh(model):
    expected = {
        'XB': [0.0, 5.0, 0.0, 4.0, 0.0, 3.0],
        'IJK': [50, 40, 30],
    }
    parsed = {
        param.name: param.value
        for param in model.records[1].parameters
    }
    assert expected == parsed

grammar = """
Model: records*=Record;
Record: /^&/ namelist=ID parameters*=Parameter[','] '/';
Parameter: name=ID '=' value+=Value[','];
Value: (NUMBER | STRING);
"""

data = """
&HEAD CHID='Some Value', TITLE='another string'/
&MESH IJK = 50,40,30,
      XB  = 0.0,5.0,0.0,4.0,0.0,3.0/
"""

mm = textx.metamodel_from_str(grammar)
model = mm.model_from_str(data)
test_parse_mesh(model)

但是，我希望能够修改 grammar 以能够解析以下版本的 data:

data = """
&HEAD CHID='Some Value', TITLE='another string'/
&MESH IJK = 50 40 30
      XB  = 0.0 5.0 0.0 4.0 0.0 3.0/
"""

我查看了 repetition modifiers and was able to get the following to work, but was unable to get it to work in the larger grammar definition. I also tried to alter the parser configuration，但无法使其正常工作。

grammar = """
Record[noskipws]: parameters*=Parameter[/,|\s+/];
Parameter[noskipws]: /\s*/ name=ID /\s*=\s*/ value+=NUMBER[/,|\s+/];
"""

data = """
IJK = 50 40 30 
XB = 0 5 0 4 0 3
"""

mm = textx.metamodel_from_str(grammar)
model = mm.model_from_str(data)

expected = {'XB': [0.0, 5.0, 0.0, 4.0, 0.0, 3.0], 'IJK': [50, 40, 30]}
assert {param.name: param.value for param in model.parameters} == expected

如何修改顶部的语法以正确解析没有逗号的 data 第二版？我会接受一个可以让它与 one parameter per line 一起使用的答案，但理想情况下能够处理两种情况下丢失的逗号。

Answer 1

当我看到你的 post 时，我认为解决方案应该是分隔符的简单可选匹配，例如：

Model: records*=Record;
Record: /^&/ namelist=ID parameters*=Parameter[/,?/] '/';
Parameter: name=ID '=' value+=Value[/,?/];
Value: NUMBER | STRING;

但是，它没有用。经过一些调试输出调查后，我注意到可选分隔符匹配 ,? 尽管在没有逗号的地方成功会终止重复匹配。错误在于琶音。我刚刚做了一个修复。它在 master 分支上可用，因此请暂时从 GitHub 安装。我将很快发布新版本的 Arpeggio。使用提供的错误修复，上述语法可以正常工作。您甚至可以混合搭配，只在某些地方使用分隔符，例如：

&HEAD CHID='Some Value' TITLE='another string'/
&MESH IJK = 50 40, 30,
      XB  = 0.0 5.0, 0.0 4.0 0.0 3.0/

编辑 [2021-04-25]： Arpeggio 1.10.2 已发布，修复了此答案中提到的问题。

textx 语法，使用空格作为重复修饰符

textx Grammar, Use Whitespace as Repetition Modifier

python

python-3.x

textx