Question

在野牛中，添加

就足够了

%verbose-error

到文件以使解析器错误更加冗长。有没有办法获得与ocamlyacc类似的功能？

Here是类似问题的答案，但我无法做出任何改变。这就是我调用词法分析器和解析器函数的方法：

let rec foo () =
    try
    let line = input_line stdin in
    (try
       let _ = (Parser.latexstatement lexer_token_safe (Lexing.from_string line)) in
         print_string ("SUCCESS\n")
     with
           LexerException s          -> print_string ("$L" ^ line ^ "\n")
         | Parsing.Parse_error       -> print_string ("$P" ^ line ^ "\n")
         | _                         -> print_string ("$S " ^ line ^ "\n"));
    flush stdout;
    foo ();
    with
    End_of_file -> ()
;;
foo ();;

Answer 1

我不认为ocamlyacc中有一个选项可以自动执行您想要的操作，所以让我尝试在下面提供一些描述，说明可以采取哪些措施来处理语法错误并提供更多有用的消息。也许这不是你问的。

错误实际上必须在词法和解析错误中分开，具体取决于错误发生在解析过程的哪个阶段。

在mll个文件中，如果出现意外模式，将引发Failure例外
在mly个文件中，这是一个Parsing.Parse_error例外，将会生成

所以你有几个解决方案：

让词法分析器和解析器代码引发异常，并在调用它们的代码中捕获它们
使用其中任何一个实现错误的特定情况
- 捕获词法分析器的所有规则（或必要时更具体的模式）
- 在解析器规则中使用error特殊终端来捕获特定位置的错误

在任何情况下，您都必须创建函数以获取有关错误在源中的位置的信息。 Lexing和Parsing都使用location中定义的Lexing记录，其中包含以下字段：

pos_fname：当前处理的文件的名称
pos_lnum：文件中的行号
pos_bol：从行首开头的字符编号

pos_cnum：当前位置的字符编号

词法分析器使用的lexbuf变量有两个值，用于跟踪当前被刻录的标记（lexeme_start_p和lexeme_curr_p Lexing中允许您访问这些数据的值。解析器有四个跟踪即将合成的当前符号（或非终端），以及当前规则项，可以使用Parsing函数（rhs_start_pos和rhs_end_pos检索，以及symbol_start_pos和symbol_end_pos）。

以下是一些生成更详细例外的函数：

exception LexErr of string exception ParseErr of string let error msg start finish = Printf.sprintf "(line %d: char %d..%d): %s" start.pos_lnum (start.pos_cnum -start.pos_bol) (finish.pos_cnum - finish.pos_bol) msg let lex_error lexbuf = raise ( LexErr (error (lexeme lexbuf) (lexeme_start_p lexbuf) (lexeme_end_p lexbuf))) let parse_error msg nterm = raise ( ParseErr (error msg (rhs_start_p nterm) (rhs_end_p nterm)))

和一些基本用例：

解析器：％token ERR

/* ... */ wsorword: WS { $1 } | WORD { $1 } | error { parse_error "wsorword" 1; ERR "" } /* a token needed for typecheck */ ;

词法分析：

rule lexer = parse (* ... *) (* catch all pattern *) | _ { lex_error lexbuf }

剩下要做的就是修改顶级函数以捕获异常并处理它们。

最后，出于调试目的，set_trace中有一个Parsing函数可以启用解析引擎使用的状态机的显示消息：它跟踪自动机的所有内部状态变化

Answer 2

在<properties> <failOnMissingWebXml>false</failOnMissingWebXml> </properties>模块中（您可以检查here），有一个功能Parsing可以做到这一点。您可以将其用作：Parsing.set_trace来启用。此外，您可以使用-v参数运行ocamlyacc，它将输出.output，列出所有状态和tras.ition。

ocamlyacc的详细错误

2 个答案: