3
我正在努力讓自己的腦袋繞過LPEG。我已經設法產生了一個符合我想要的語法，但是我一直在抨擊這個語法並且沒有走得太遠。這個想法是解析一個TeX的簡化形式的文檔。我想一個文件分成：用lpeg解析類TeX語言
- 環境，這是
\begin{cmd}和\end{cmd}雙。 - 命令它可以採取像這樣的參數：
\foo{bar}或可以是裸露的：\foo。 - 環境和命令都可以具有如下參數：
\command[color=green,background=blue]{content}。其他東西。
我也想跟蹤行號信息的錯誤處理的目的。這是我到目前爲止：
lpeg = require("lpeg")
lpeg.locale(lpeg)
-- Assume a lot of "X = lpeg.X" here.
-- Line number handling from http://lua-users.org/lists/lua-l/2011-05/msg00607.html
-- with additional print statements to check they are working.
local newline = P"\r"^-1 * "\n"/function (a) print("New"); end
local incrementline = Cg(Cb"linenum")/ function (a) print("NL"); return a + 1 end , "linenum"
local setup = Cg (Cc (1) , "linenum")
nl = newline * incrementline
space = nl + lpeg.space
-- Taken from "Name-value lists" in http://www.inf.puc-rio.br/~roberto/lpeg/
local identifier = (R("AZ") + R("az") + P("_") + R("09"))^1
local sep = lpeg.S(",;") * space^0
local value = (1-lpeg.S(",;]"))^1
local pair = lpeg.Cg(C(identifier) * space ^0 * "=" * space ^0 * C(value)) * sep^-1
local list = lpeg.Cf(lpeg.Ct("") * pair^0, rawset)
local parameters = (P("[") * list * P("]")) ^-1
-- And the rest is mine
anything = C((space^1 + (1-lpeg.S("\\{}")))^1) * Cb("linenum")/function (a,b) return { text = a, line = b } end
begin_environment = P("\\begin") * Ct(parameters) * P("{") * Cg(identifier, "environment") * Cb("environment") * P("}")/function (a,b) return { params = a[1], environment = b } end
end_environment = P("\\end{") * Cg(identifier) * P("}")
texlike = lpeg.P{
"document";
document = setup * V("stuff") * -1,
stuff = Cg(V"environment" + anything + V"bracketed_stuff" + V"command_with" + V"command_without")^0,
bracketed_stuff = P"{" * V"stuff" * P"}"/function (a) return a end,
command_with =((P("\\") * Cg(identifier) * Ct(parameters) * Ct(V"bracketed_stuff"))-P("\\end{"))/function (i,p,n) return { command = i, parameters = p, nodes = n } end,
command_without = ((P("\\") * Cg(identifier) * Ct(parameters))-P("\\end{"))/function (i,p) return { command = i, parameters = p } end,
environment = Cg(begin_environment * Ct(V("stuff")) * end_environment)/function (b,stuff, e) return { b = b, stuff = stuff, e = e} end
}
它幾乎可行！
> texlike:match("\\foo[one=two]thing\\bar")
{
command = "foo",
parameters = {
{
one = "two",
},
},
}
{
line = 1,
text = "thing",
}
{
command = "bar",
parameters = {
},
}
但是！首先，我不能讓行號處理部分工作。 incrementline內的功能永遠不會被觸發。
我也不太工作了捕獲如何嵌套的信息傳遞給處理函數（這就是爲什麼我有散Cg，C和Ct半隨機在語法）。這意味着，只有一個項目從內command_with返回：
> texlike:match("\\foo{text \\command moretext}")
{
command = "foo",
nodes = {
{
line = 1,
text = "text ",
},
},
parameters = {
},
}
我也很想能檢查環境中啓動和結束匹配，但是當我試圖這樣做，從我的反向引用「開始「在我到達」結束「的時候並沒有在範圍內。我不知道該從哪裏出發。