flutter - 使用 Flutter 的 PetiteParser 创建 FHIRPath
问题描述
我想使用 petitparser 寻求一些指导(我正在更新这个问题)。我试图在 dart 中重新创建一个名为FHIRPath的基于 json 的语法。我是这样的语法新手,所以我花了一点时间来理解我想要它做什么(或者我认为我想要它做什么)。我已经设法让它解析 json 路径和一般功能,它看起来像这样:
class FhirPathGrammar extends GrammarDefinition {
Parser start() => ref0(value).end();
Parser value() => (ref0(parens) | ref0(dotString) | ref0(path)).star();
Parser parens() =>
(char('(') & ref0(value) & char(')')).map((value) => value);
Parser dotString() =>
(anyOf('-_') | letter() | digit() | range(0x80, 0x10FFF))
.plus()
.flatten();
Parser path() => (char('.') & ref0(dotString)).map((value) => value);
}
如果我运行这个函数:
void main() {
var pathString = 'Patient.name.exists()';
var definition = FhirPathGrammar();
final parser = definition.build();
print(parser.parse(pathString));
}
这是结果:
[Patient, [., name], [., exists], [(, [], )]]
到现在为止还挺好。但是现在如果我改变我的语法类,并添加一个相等的解析器:
class FhirPathGrammar extends GrammarDefinition {
Parser start() => ref0(value).end();
Parser value() =>
(ref0(parens) | ref0(dotString) | ref0(path) | ref0(equal)).star();
Parser equal() =>
(ref0(value) & string(' = ') & ref0(value)).map((value) => value);
Parser parens() =>
(char('(') & ref0(value) & char(')')).map((value) => value);
Parser dotString() =>
(anyOf('-_') | letter() | digit() | range(0x80, 0x10FFF))
.plus()
.flatten();
Parser path() => (char('.') & ref0(dotString)).map((value) => value);
}
我收到以下错误:
Unhandled exception:
Stack Overflow
#0 ChoiceParser.parseOn package:petitparser/…/combinator/choice.dart:71
#1 PossessiveRepeatingParser.parseOn package:petitparser/…/repeater/possessive.dart:59
#2 FlattenParser.parseOn package:petitparser/…/action/flatten.dart:31
// Then these 4 lines repeat
#3 ChoiceParser.parseOn package:petitparser/…/combinator/choice.dart:69
#4 PossessiveRepeatingParser.parseOn package:petitparser/…/repeater/possessive.dart:67
#5 SequenceParser.parseOn package:petitparser/…/combinator/sequence.dart:39
#6 MapParser.parseOn package:petitparser/…/action/map.dart:38
// until it gets here
#9491 ChoiceParser.parseOn package:petitparser/…/combinator/choice.dart:69
#9492 PossessiveRepeatingParser.parseOn package:petitparser/…/repeater/possessive.dart:67
#9493 SequenceParser.parseOn package:petitparser/…/combinator/sequence.dart:39
#9494 PickParser.parseOn package:petitparser/…/action/pick.dart:26
#9495 CastParser.parseOn package:petitparser/…/action/cast.dart:17
#9496 Parser.parse package:petitparser/…/core/parser.dart:51
#9497 main fhir_path/also_main.dart:7
#9498 _delayEntrypointInvocation.<anonymous closure> (dart:isolate-patch/isolate_patch.dart:283:19)
#9499 _RawReceivePortImpl._handleMessage (dart:isolate-patch/isolate_patch.dart:184:12)
正如@lukas-renggli 指出的那样,它似乎进入了一个无限循环。所以至少我认为这就是正在发生的事情。但我认为我不明白它是如何匹配导致无限循环的。
解决方案
如果没有一个最小的、可重现的例子,很难说出发生了什么。但是,我怀疑星型运算符中选择的解析器之一总是成功而不消耗任何东西(ref0(empty)
看起来很可疑)。这将导致无限循环。
例如,以下解析器显示了这样的行为:
epsilon().star().parse(''); // loops forever
更新问题的答案:您的语法在生产中是左递归equals
的。一个类似的、稍微简单的例子是:
// Loops forever: expression is recursively called without consuming anything.
Parser expression() => (ref0(expression) & char('+') & ref0(expression))
| digit();`
// Fixes the infinite loop by forcing the grammar to consume something
// at each step.
Parser expression() => digit().separatedBy(char('+'));
有多种方法可以修复您的示例,具体取决于您想要的确切行为。最简单的选项是重写语法以使等号作为其他选项之间的分隔符:
Parser value() => (ref0(parens) | ref0(dotString) | ref0(path))
.separatedBy(string(" = "));
我建议您查看Expression Builder。它可以简化构建表达式解析器并避免常见的陷阱。
推荐阅读
- timer - 在 SAML21G18B 上使用 TC0 与 Arduino Mattairtech 发行版
- javascript - D3堆叠条形图,每个堆叠由不同组设置不同的颜色,
- python - 如何从 jupyter 笔记本单元格中删除旧图?
- terraform - 错误:创建 AWSConfig 规则时出错:无法创建 AWSConfig 规则:InvalidParameterValueException
- mysql - 如何在mysql中获取像树结构一样的数据?
- ios - IOS:上下文菜单“粘贴”en UITextField 在文件 xib 中没有显示/工作
- r - 进行计算以在 r 中输入缺失数据
- wordpress - 当我将代码添加到sage(wordpress)中的functions.php时页面重新加载
- javascript - 从字符串中解析标签并以 JSX 形式返回
- go - golang bigquery docs指定完成运算符,但会产生编译错误