Renaming "re.lua" to "relabel.lua".

Adding examples, README and lpeglabel.html

7 files changed, 343 insertions, 0 deletions

diff --git a/examples/listId1.lua b/examples/listId1.lua
new file mode 100644
index 0000000..e075bd1
--- /dev/null
+++ b/examples/listId1.lua
@@ -0,0 +1,27 @@
+local m = require'lpeglabel'
+
+local g = m.P{
+  "S",
+  S = m.V"Id" * m.V"List",
+  List = -m.P(1) + ("," + m.T(2)) * m.V"Id" * m.V"List",
+  Id = m.R'az'^1 + m.T(1),
+}
+
+function mymatch (g, s)
+        local r, e = g:match(s)
+        if not r then
+                if e == 1 then
+        return r, "Error: expecting an identifier"
+        elseif e == 2 then
+        return r, "Error: expecting ','"
+        else
+        return r, "Error"
+        end
+        end
+        return r
+end
+        
+print(mymatch(g, "a,b"))
+print(mymatch(g, "a b"))
+print(mymatch(g, ", b"))
+
diff --git a/examples/listId2.lua b/examples/listId2.lua
new file mode 100644
index 0000000..4943368
--- /dev/null
+++ b/examples/listId2.lua
@@ -0,0 +1,32 @@
+local m = require'lpeglabel'
+
+local errUndef = 0
+local errId = 1
+local errComma = 2
+
+local terror = {
+        [errUndef] = "Error",
+        [errId] = "Error: expecting an identifier",
+        [errComma] = "Error: expecting ','",
+}
+
+local g = m.P{
+  "S",
+  S = m.V"Id" * m.V"List",
+  List = -m.P(1) + ("," + m.T(errComma)) * m.V"Id" * m.V"List",
+  Id = m.R'az'^1 + m.T(errId),
+}
+
+function mymatch (g, s)
+        local r, e = g:match(s)
+        if not r then
+                return r, terror[e]
+        end
+        return r
+end
+        
+print(mymatch(g, "a,b"))
+print(mymatch(g, "a b"))
+print(mymatch(g, ", b"))
+
+
diff --git a/examples/listIdCatch.lua b/examples/listIdCatch.lua
new file mode 100644
index 0000000..38ad2e5
--- /dev/null
+++ b/examples/listIdCatch.lua
@@ -0,0 +1,25 @@
+local m = require'lpeglabel'
+
+local errUndef, errId, errComma = 0, 1, 2
+
+local terror = {
+  [errUndef] = "Error",
+  [errId] = "Error: expecting an identifier",
+  [errComma] = "Error: expecting ','",
+}
+
+g = m.P{
+  "S",
+        S = m.Lc(m.Lc(m.V"Id" * m.V"List", m.V"ErrId", errId),
+           m.V"ErrComma", errComma),
+        List = -m.P(1)  +  m.V"Comma" * m.V"Id" * m.V"List",
+        Id = m.R'az'^1  +  m.T(errId),
+        Comma = ","  +  m.T(errComma),
+        ErrId = m.Cc(errId) / terror,
+        ErrComma = m.Cc(errComma) / terror
+}
+
+print(g:match("a,b"))
+print(g:match("a b"))
+print(g:match(",b"))
+
diff --git a/examples/listIdCatchRe.lua b/examples/listIdCatchRe.lua
new file mode 100644
index 0000000..5d38fec
--- /dev/null
+++ b/examples/listIdCatchRe.lua
@@ -0,0 +1,34 @@
+local re = require're'
+
+local terror = {} 
+
+local function newError(l, msg) 
+  table.insert(terror, { l = l, msg = msg } )
+end
+
+newError("errId", "Error: expecting an identifier")
+newError("errComma", "Error: expecting ','")
+
+local labelCode = {}
+local labelMsg = {}
+for k, v in ipairs(terror) do 
+  labelCode[v.l] = k
+  labelMsg[v.l] = v.msg
+end
+
+re.setlabels(labelCode)
+
+local p = re.compile([[
+  S        <- Id List  /{errId}  ErrId  /{errComma}  ErrComma
+  List     <- !.  /  Comma Id List
+  Id       <- [a-z]+  /  %{errId}
+  Comma    <- ','  /  %{errComma}
+  ErrId    <- '' -> errId
+  ErrComma <- '' ->  errComma
+]], labelMsg)
+
+print(p:match("a,b"))
+print(p:match("a b"))
+print(p:match(",b"))
+
+
diff --git a/examples/listIdRe1.lua b/examples/listIdRe1.lua
new file mode 100644
index 0000000..c75bb1d
--- /dev/null
+++ b/examples/listIdRe1.lua
@@ -0,0 +1,27 @@
+local re = require 're' 
+
+local g = re.compile[[
+  S    <- Id List
+  List <- !.  /  (',' /         %{2}) Id List
+  Id   <- [a-z]  /  %{1}        
+]]
+
+function mymatch (g, s)
+        local r, e = g:match(s)
+        if not r then
+                if e == 1 then
+        return r, "Error: expecting an identifier"
+        elseif e == 2 then
+        return r, "Error: expecting ','"
+        else
+        return r, "Error"
+        end
+        end
+        return r
+end
+        
+print(mymatch(g, "a,b"))
+print(mymatch(g, "a b"))
+print(mymatch(g, ", b"))
+
+
diff --git a/examples/listIdRe2.lua b/examples/listIdRe2.lua
new file mode 100644
index 0000000..67c42f1
--- /dev/null
+++ b/examples/listIdRe2.lua
@@ -0,0 +1,35 @@
+local re = require 're' 
+
+local errUndef, errId, errComma = 0, 1, 2
+
+local terror = {
+        [errUndef] = "Error",
+        [errId] = "Error: expecting an identifier",
+        [errComma] = "Error: expecting ','",
+}
+
+local tlabels = { ["errUndef"] = errUndef,
+                  ["errId"]    = errId, 
+                  ["errComma"] = errComma }
+
+re.setlabels(tlabels)
+
+local g = re.compile[[
+  S    <- Id List
+  List <- !.  /  (',' /         %{errComma}) Id List
+  Id   <- [a-z]  /  %{errId}    
+]]
+
+function mymatch (g, s)
+        local r, e = g:match(s)
+        if not r then
+                return r, terror[e]
+        end
+        return r
+end
+        
+print(mymatch(g, "a,b"))
+print(mymatch(g, "a b"))
+print(mymatch(g, ", b"))
+
+
diff --git a/examples/tiny.lua b/examples/tiny.lua
new file mode 100644
index 0000000..aa9dbea
--- /dev/null
+++ b/examples/tiny.lua
@@ -0,0 +1,163 @@
+local re = require 're'
+
+local terror = {}
+
+local function newError(l, msg)
+        table.insert(terror, { l = l, msg = msg} )
+end
+
+newError("errSemi", "Error: missing ';'")  
+newError("errExpIf", "Error: expected expression after 'if'") 
+newError("errThen", "Error: expected 'then' keyword") 
+newError("errCmdSeq1", "Error: expected at least a command after 'then'") 
+newError("errCmdSeq2", "Error: expected at least a command after 'else'") 
+newError("errEnd", "Error: expected 'end' keyword") 
+newError("errCmdSeqRep", "Error: expected at least a command after 'repeat'") 
+newError("errUntil", "Error: expected 'until' keyword") 
+newError("errExpRep", "Error: expected expression after 'until'") 
+newError("errAssignOp", "Error: expected ':=' in assigment") 
+newError("errExpAssign", "Error: expected expression after ':='") 
+newError("errReadName", "Error: expected an identifier after 'read'") 
+newError("errWriteExp", "Error: expected expression after 'write'") 
+newError("errSimpExp", "Error: expected '(', ID, or number after '<' or '='")
+newError("errTerm", "Error: expected '(', ID, or number after '+' or '-'")
+newError("errFactor", "Error: expected '(', ID, or number after '*' or '/'")
+newError("errExpFac", "Error: expected expression after '('")
+newError("errClosePar", "Error: expected ')' after expression")
+
+local line
+
+local function incLine()
+        line = line + 1
+        return true
+end
+
+local function countLine(s, i)
+        line = 1
+        local p = re.compile([[
+                S <- (%nl -> incLine  / .)*
+        ]], { incLine = incLine}) 
+        p:match(s:sub(1, i))
+        return true
+end
+
+local labelCode = {}
+for k, v in ipairs(terror) do 
+        labelCode[v.l] = k
+end
+
+re.setlabels(labelCode)
+
+local g = re.compile([[
+  Tiny         <- CmdSeq  
+  CmdSeq       <- (Cmd (SEMICOLON / ErrSemi)) (Cmd (SEMICOLON / ErrSemi))*
+  Cmd          <- IfCmd / RepeatCmd / ReadCmd / WriteCmd  / AssignCmd 
+  IfCmd        <- IF (Exp / ErrExpIf)  (THEN / ErrThen)  (CmdSeq / ErrCmdSeq1)  (ELSE (CmdSeq / ErrCmdSeq2)  / '') (END / ErrEnd)
+  RepeatCmd    <- REPEAT  (CmdSeq / ErrCmdSeqRep)  (UNTIL / ErrUntil)  (Exp / ErrExpRep)
+  AssignCmd    <- NAME  (ASSIGNMENT / ErrAssignOp)  (Exp / ErrExpAssign)
+  ReadCmd      <- READ  (NAME / ErrReadName)
+  WriteCmd     <- WRITE  (Exp / ErrWriteExp)
+  Exp          <- SimpleExp  ((LESS / EQUAL) (SimpleExp / ErrSimpExp) / '')
+  SimpleExp    <- Term  ((ADD / SUB)  (Term / ErrTerm))*
+  Term         <- Factor  ((MUL / DIV)  (Factor / ErrFactor))*
+  Factor       <- OPENPAR  (Exp / ErrExpFac)  (CLOSEPAR / ErrClosePar)  / NUMBER  / NAME
+  ErrSemi      <- ErrCount %{errSemi}
+        ErrExpIf     <- ErrCount %{errExpIf}
+        ErrThen      <- ErrCount %{errThen}
+        ErrCmdSeq1   <- ErrCount %{errCmdSeq1}
+        ErrCmdSeq2   <- ErrCount %{errCmdSeq2}
+        ErrEnd       <- ErrCount %{errEnd}
+        ErrCmdSeqRep <- ErrCount %{errCmdSeqRep}
+        ErrUntil     <- ErrCount %{errUntil}
+        ErrExpRep    <- ErrCount %{errExpRep}
+        ErrAssignOp  <- ErrCount %{errAssignOp}
+        ErrExpAssign <- ErrCount %{errExpAssign}
+        ErrReadName  <- ErrCount %{errReadName}
+        ErrWriteExp  <- ErrCount %{errWriteExp}
+        ErrSimpExp   <- ErrCount %{errSimpExp}
+        ErrTerm      <- ErrCount %{errTerm}
+        ErrFactor    <- ErrCount %{errFactor}
+        ErrExpFac    <- ErrCount %{errExpFac}
+        ErrClosePar  <- ErrCount %{errClosePar}
+        ErrCount     <- '' => countLine 
+  ADD          <- Sp '+'
+  ASSIGNMENT   <- Sp ':='
+  CLOSEPAR     <- Sp ')'
+  DIV          <- Sp '/'
+  IF           <- Sp 'if'
+  ELSE         <- Sp 'else'
+  END          <- Sp 'end'
+  EQUAL        <- Sp '='
+  LESS         <- Sp '<'
+  MUL          <- Sp '*'
+  NAME         <- Sp !RESERVED [a-z]+
+  NUMBER       <- Sp [0-9]+
+  OPENPAR      <- Sp '('
+  READ         <- Sp 'read'
+  REPEAT       <- Sp 'repeat'
+  SEMICOLON    <- Sp ';'
+  SUB          <- Sp '-'
+  THEN         <- Sp 'then'
+  UNTIL        <- Sp 'until'
+  WRITE        <- Sp 'write'
+        RESERVED     <- (IF / ELSE / END / READ / REPEAT / THEN / UNTIL / WRITE) ![a-z]+
+  Sp           <- %s*   
+]], { countLine = countLine })
+
+
+local function printError(n, e)
+        assert(n == nil)
+        print("Line " .. line .. ": " .. terror[e].msg)
+end
+
+local s = [[
+n := 5;
+f := 1;
+repeat
+  f := f + n;
+  n := n - 1
+until (n < 1);
+write f;]]
+printError(g:match(s))
+
+s = [[
+n := 5;
+f := 1;
+repeat
+  f := f + n;
+  n := n - 1;
+until (n < 1);
+read ;]]
+printError(g:match(s))
+
+s = [[
+if a < 1 then
+  b := 2;
+else
+  b := 3;]]
+printError(g:match(s))
+
+s = [[
+n := 5;
+f := 1;
+repeat
+  f := f + n;
+  n := n - 1;
+untill (n < 1);
+]]
+printError(g:match(s))
+
+s = [[
+n := 5;
+f := 1;
+repeat
+  f := f + n;
+  n := n - 1;
+3 (n < 1);
+]]
+printError(g:match(s))
+
+printError(g:match("a : 2"))
+printError(g:match("a := (2"))
+
+