LPegで解析エラーを通知するにはどうすればよいですか？

Question

私はLPegベースのパーサーを書いています。構文解析エラーがnil, errmsgを返すようにするにはどうすればよいですか？

私はerror()を使用することができますが、私が知る限り、通常のエラーを生成するのはnil, errmsgではありません。

コードがpretty longですが、関連する部分はこれです：

local eof = lpeg.P(-1) 
local nl = (lpeg.P "\r")^-1 * lpeg.P "\n" + lpeg.P "\\n" + eof -- \r for winblows compat 
local nlnoeof = (lpeg.P "\r")^-1 * lpeg.P "\n" + lpeg.P "\\n" 
local ws = lpeg.S(" \t") 
local inlineComment = lpeg.P("`") * (1 - (lpeg.S("`") + nl * nl))^0 * lpeg.P("`") 
local wsc = ws + inlineComment -- comments count as whitespace 
local backslashEscaped 
= lpeg.P("\\ ")/" " -- escaped spaces 
+ lpeg.P("\\\\")/"\\" -- escaped escape character 
+ lpeg.P("\\#")/"#" 
+ lpeg.P("\\>")/">" 
+ lpeg.P("\\`")/"`" 
+ lpeg.P("\\n") -- \\n newlines count as backslash escaped 
+ lpeg.P("\\") * lpeg.P(function(_, i) 
    error("Unknown backslash escape at position " .. i) -- this error() is what I wanna get rid of. 
    end) 
local Line = lpeg.C((wsc + (backslashEscaped + 1 - nl))^0)/function(x) return x end * nl * lpeg.Cp() 

私は、無効なエスケープがあるときLine:match(...)がnil, errmsgを返すようにしたいです。

Answer 1

LPeg自体には、エラー報告に役立つ特別な機能はありません。あなたの問題への迅速な修正がprotected call (pcall)は次のように一致させるために行うために、次のようになります。

local function parse(text) 
    local ok, result = pcall(function() return Line:match(text) end) 
    if ok then 
    return result 
    else 
    -- `result` will contain the error thrown. If it is a string 
    -- Lua will add additional information to it (filename and line number). 
    -- If you do not want this, throw a table instead like `{ msg = "error" }` 
    -- and access the message using `result.msg` 
    return nil, result 
    end 
end 

しかし、これはまた、あなたはおそらくたくない、その他のエラーをキャッチします。より良い解決策は代わりにLPegLabelを使用することです。 LPegLabelは、ラベル付きの障害のサポートを追加するLPegの拡張です。 require"lpeg"をrequire"lpeglabel"に置き換え、lpeg.T(L)を使用してラベルをスローします。Lは1〜255の整数です（通常のPEG障害には0が使用されます）。スローラベルがある場合

local unknown_escape = 1 
local backslashEscaped = ... + lpeg.P("\\") * lpeg.T(unknown_escape) 

今Line:match(...)は（suffixあなたは、その長さを経由してエラー位置のために計算するために使用することができ、残りの未処理の入力、である）nil, label, suffixを返します。これにより、ラベルに基づいて適切なエラーメッセージを出力することができます。より複雑な文法については、エラーラベルとメッセージをより体系的にマッピングする方法が必要になるでしょう。どのようにしてLPegLabelリポジトリのreadmeにあるドキュメントをチェックしてください。

LPegLabelでは、（ラベル付きの選択肢を使用して）途中で文法のラベルをキャッチすることもできます。これはエラー回復のようなものを実装するのに便利です。ラベルの付いた失敗や例の詳細については、ドキュメントを確認してください。