Преобразуйте (cond? Then: else) в ifthenelse (cond, then, else) с помощью lpeg - PullRequest
2 голосов
/ 17 февраля 2012

Я пытаюсь преобразовать строку типа 'a?(b?c:d):e' в другую строку 'ifthenelse(a,ifthenelse(b,c,d),e)', используя синтаксический анализатор lpeg lua.Я медленно изучаю, как использовать lpeg, но все еще не могу найти подходящее решение, чтобы сделать это с захватами.Есть идеи?

Вот что я сделал до сих пор.

local lpeg = require("lpeg")

local S, P, R = lpeg.S, lpeg.P, lpeg.R
local C, Cc, Ct = lpeg.C, lpeg.Cc, lpeg.Ct
local Cf, Cg, Cs = lpeg.Cf, lpeg.Cg, lpeg.Cs
local V = lpeg.V

local thenop = P("?")
local elseop = P(":")
local openpar = P("(")
local closepar = P(")")
local digit = R("09")
local letter = R("az") + R("AZ")

local parser = 
   P({
    "F",
    F = V("E") * (thenop * V("E") * elseop * V("E"))^0,
    E = (letter + digit)^1 + (openpar * V("F") * closepar)
 }) -- * -1 -- Is it needed?
print(lpeg.match(parser,"a?(b?c:d):e"))
print(lpeg.match(parser,"a"))

Ответы [ 2 ]

2 голосов
/ 22 февраля 2012

Вот еще одно решение проблемы, заданное Уильямом Ахерном в списке lua.

local lpeg = require("lpeg")

lpeg.locale(lpeg)

local function tr(a, b, c)
   if not b then
       return a
   else
       return string.format("ifthenelse(%s,%s,%s)", a, b, c)
   end
end

local var = lpeg.C(lpeg.alpha * (lpeg.alnum^0))

local E, G = lpeg.V"E", lpeg.V"G"

local grammar = lpeg.P{ "E",
   E = ((var + G) * (lpeg.P"?" * E * lpeg.P":" * E)^-1) / tr,
   G = lpeg.P"(" * E * lpeg.P")",
}

print(lpeg.match(grammar, "a?(b?c:d):e"))
2 голосов
/ 21 февраля 2012

Я немного изменил грамматику, но все же думаю:

S = E "?" E ":" E | E
E = "(" S ")" | T
T = (L | D) +
L = [a-z] | [A-Z]
D = [0-9]

Грамматика без захватов:

local grammar = lpeg.P{
  "S";
  S = (lpeg.V"E" * lpeg.P"?" * lpeg.V"E" * lpeg.P":" * lpeg.V"E") + lpeg.V"E",
  E = (lpeg.P"(" * lpeg.V"S" * lpeg.P")") + lpeg.V"T",
  T = (lpeg.V"L" + lpeg.V"D")^1,
  L = lpeg.R("az") + lpeg.R("AZ"),
  D = lpeg.R("09")
}

Грамматика с захватами:

local grammar2 = lpeg.P{
  "S";
  S = (lpeg.Cs(lpeg.V"E") / "ifthenelse(%1") * (lpeg.P"?" / ",") * lpeg.V"E" * (lpeg.P":" / ",") * (lpeg.Cs(lpeg.V"E") / "%1)") + lpeg.V"E",
  E = (lpeg.P"(" / "") * lpeg.V"S" * (lpeg.P")" / "") + lpeg.V"T",
  T = (lpeg.V"L" + lpeg.V"D")^1,
  L = lpeg.R("az") + lpeg.R("AZ"),
  D = lpeg.R("09")
}

Захваты заменить:

  • "(" и ")" с пустой строкой (lpeg.P"(" / "" и lpeg.P")" / ""))
  • Первая переменная соответствует «ifthenelse (variable» (lpeg.Cs(lpeg.V"E") / "ifthenelse(%1"))
  • "?" и ":" с "," (lpeg.P"?" / "," и lpeg.P":" / ",")
  • Последнее совпадение переменной с "variable)" (lpeg.Cs(lpeg.V"E") / "%1)")

Некоторые случайные тесты (вывод в комментариях):

print( lpeg.match( lpeg.Cs(grammar2), "a") )
-- a
print( lpeg.match( lpeg.Cs(grammar2), "a?b:c") )
-- ifthenelse(a,b,c)
print( lpeg.match( lpeg.Cs(grammar2), "a?(i?j:k):c") )
-- ifthenelse(a,ifthenelse(i,j,k),c)
print( lpeg.match( lpeg.Cs(grammar2), "(a?(i?j:(x?y:z)):b)?c:(u?v:w)") )
-- ifthenelse(ifthenelse(a,ifthenelse(i,j,ifthenelse(x,y,z)),b),c,ifthenelse(u,v,w))

Я надеюсь, что вы можете продолжить отсюда.

...