如何让 Ragel 执行不同的解析操作

Question

我是 Ragel 的新手，一直在尝试解析 Regex 表达式的特定模式。如果找到匹配项，我希望执行操作 done，如果没有匹配项，即使缺少任何单个字符，我也希望执行操作 parse_error。

这是我写的代码：

#include <iostream>
#include <string.h>
#include <stdio.h>

%%{
action done {
printf("done\n");
}


action parse_error {
printf("error : %c\n",fc);
}


machine ldf;    
main := (':'.'LoadSdf'.[0-9]+.[a-zA-Z0-9_\-\.])@done |    //execute done
         (^(':'.'LoadSdf'.[0-9]+.[a-zA-Z0-9_\-\.])) $err(parse_error); //execute parse error for no match

}%%

%%write data;
int main(int argc, char** argv)
{
int cs;
 if(argc > 1) {
char *p = argv[1];
char *pe = p+strlen(p) + 1;
%%write init;
%%write exec;
}
 return 0;
}

我看到的行为是 done 和 parse_error 都在正则表达式完全匹配时执行。

任何人都可以提供一些关于如何处理此案例的提示吗？

Answer 1

这段代码有几个问题。首先，技术错误 --- 你的 off-by-one 定义为 pe（它包含零字符，你的机器不应该关心零（当然你可以让它处理它们，但它只是无缘无故地使事情复杂化））。定义 eof 也很有用，因为当您在输入中有类似“:Load”的内容（缺少 "Sdf" 和后续块）时，它应该是一个错误。这是由

修复的

-char *pe = p+strlen(p) + 1;
+char *pe = p+strlen(p);
+char *eof = pe;

另一个问题是没有必要结合一些机器和它的负面来控制错误。这些是不同的动作。看看你机器的图片：

您可以看到在中间没有适当的错误处理，最后您可以多次调用 done() 因为它被指定在转换到最终状态之一时发生。可能它只应该运行在正确的机器完成时（即在最终状态下达到 EOF）。

因此，如果您要将机器定义更改为

main := (':'.'LoadSdf'.[0-9]+.[a-zA-Z0-9_\-\.]) %/done $!(parse_error);

你可能会得到你想要的：

$ ./a.out "asdf"
error : a
$ ./a.out "qwerty"
error : q
$ ./a.out ":Load"
error : 
$ ./a.out ":LoadSdf"
error : 
$ ./a.out ":LoadSdf1212"
done
$ ./a.out ":LoadSdf1q"
done
$ ./a.out ":LoadSdf1qwe"
error : w

图形形式如下所示：

如何让 Ragel 执行不同的解析操作

How to get Ragel perform different actions for parsing

c++

fsm

ragel