ebnf 0.1.0 → 0.2.0

data/README.md

@@ -1,4 +1,5 @@
-# EBNF
+# EBNF [![Build Status](https://secure.travis-ci.org/gkellogg/ebnf.png?branch=master)](http://travis-ci.org/gkellogg/ebnf)
+
 
 [EBNF][] parser and generic parser generator.
 
@@ -46,16 +47,20 @@ to each `terminal` and `production`. A trivial parser loop can be described as f
     class Parser
       include Meta
 
-      terminal(:SYMBOL, /([a-z]|[A-Z]|[0-9]|_)+/) do |parser, prod, token, input|
+      terminal(:SYMBOL, /([a-z]|[A-Z]|[0-9]|_)+/) do |prod, token, input|
         # Add data based on scanned token to input
         input[:symbol] = token.value
       end
 
-      production(:rule) do |parser, phase, input, current, callback|
-        # Process on start of production when phase == :start
+      start_production(:rule) do |input, current, callback|
+        # Process on start of production
         # Set state for entry into recursed rules through current
 
-        # Process on end of production when phase == :finish
+        # Callback to parser loop with callback
+      end
+
+      production(:rule) do |input, current, callback|
+        # Process on end of production
         # return results in input, retrieve results from recursed rules in current
 
         # Callback to parser loop with callback
@@ -134,7 +139,7 @@ The [EBNF][] variant used here is based on [W3C][] [EBNF][] as defined in the
                         |  
                         )+
 
-# #  Acknowledgements
+##  Acknowledgements
 Much of this work, particularly the generic parser, is inspired by work originally done by
 Tim Berners-Lee's Python [predictive parser](http://www.w3.org/2000/10/swap/grammar/predictiveParser.py).
 

data/VERSION

@@ -1 +1 @@
-0.1.0
+0.2.0

data/etc/ebnf.ll1

@@ -1,189 +1,36 @@
-((rule
- _empty
- "0"
- (first _eps)
- (follow
-  "("
-  ")"
-  "-"
-  "@pass"
-  "@terminals"
-  ENUM
-  HEX
-  O_ENUM
-  O_RANGE
-  RANGE
-  STRING1
-  STRING2
-  "["
-  _eof
-  "|"
- )
- (seq)
-)
+((rule _empty "0" (first _eps)
+       (follow "(" ")" "-" "@pass" "@terminals" ENUM HEX O_ENUM O_RANGE RANGE STRING1 STRING2 "[" _eof "|")
+       (seq))
  (pass @pass "0" (seq ()))
- (rule
- ebnf
- "1"
- (start #t)
- (first
-  "("
-  "@pass"
-  "@terminals"
-  ENUM
-  HEX
-  O_ENUM
-  O_RANGE
-  RANGE
-  STRING1
-  STRING2
-  "["
-  _eps
- )
- (follow _eof)
- (alt _empty _ebnf_star)
-)
- (rule
- _ebnf_star
- "1*"
- (first
-  "("
-  "@pass"
-  "@terminals"
-  ENUM
-  HEX
-  O_ENUM
-  O_RANGE
-  RANGE
-  STRING1
-  STRING2
-  "["
- )
- (follow _eof)
- (seq _ebnf_1 ebnf)
-)
- (rule
- __ebnf_star_comp
- "1*.comp"
- (first
-  "("
-  "@pass"
-  "@terminals"
-  ENUM
-  HEX
-  O_ENUM
-  O_RANGE
-  RANGE
-  STRING1
-  STRING2
-  "["
-  _eps
- )
- (follow _eof)
- (seq ebnf)
-)
- (rule
- _ebnf_1
- "1.1"
- (first
-  "("
-  "@pass"
-  "@terminals"
-  ENUM
-  HEX
-  O_ENUM
-  O_RANGE
-  RANGE
-  STRING1
-  STRING2
-  "["
- )
- (follow
-  "("
-  "@pass"
-  "@terminals"
-  ENUM
-  HEX
-  O_ENUM
-  O_RANGE
-  RANGE
-  STRING1
-  STRING2
-  "["
- )
- (alt declaration rule)
-)
- (rule
- declaration
- "2"
- (first
-  "("
-  "@pass"
-  "@terminals"
-  ENUM
-  HEX
-  O_ENUM
-  O_RANGE
-  RANGE
-  STRING1
-  STRING2
- )
- (follow
-  "("
-  "@pass"
-  "@terminals"
-  ENUM
-  HEX
-  O_ENUM
-  O_RANGE
-  RANGE
-  STRING1
-  STRING2
-  "["
- )
- (alt "@terminals" "@pass")
-)
- (rule
- rule
- "3"
- (first "[")
- (follow
-  "("
-  "@pass"
-  "@terminals"
-  ENUM
-  HEX
-  O_ENUM
-  O_RANGE
-  RANGE
-  STRING1
-  STRING2
-  "["
- )
- (seq lhs "::=" expression)
-)
- (rule
- _rule_comp
- "3.comp"
- (first "::=")
- (follow
-  "("
-  "@pass"
-  "@terminals"
-  ENUM
-  HEX
-  O_ENUM
-  O_RANGE
-  RANGE
-  STRING1
-  STRING2
-  "["
- )
- (seq "::=" expression)
-)
- (rule
- __rule_comp_comp
- "3.comp.comp"
+ (rule ebnf "1" (start #t)
+       (first "(" "@pass" "@terminals" ENUM HEX O_ENUM O_RANGE RANGE STRING1STRING2 "[" _eps)
+       (follow _eof) (alt _empty _ebnf_2))
+ (rule _ebnf_1 "1.1"
+       (first "(" "@pass" "@terminals" ENUM HEX O_ENUM O_RANGE RANGE STRING1 STRING2 "[")
+       (follow "(" "@pass" "@terminals" ENUM HEX O_ENUM O_RANGE RANGE STRING1 STRING2 "[")
+       (alt declaration rule))
+ (rule _ebnf_2 "1.2"
+       (first "(" "@pass" "@terminals" ENUM HEX O_ENUM O_RANGE RANGE STRING1 STRING2 "[")
+       (follow _eof) (seq _ebnf_1 ebnf))
+ (rule _ebnf_3 "1.3"
+       (first "(" "@pass" "@terminals" ENUM HEX O_ENUM O_RANGE RANGE STRING1 STRING2 "[" _eps)
+       (follow _eof) (seq ebnf))
+ (rule declaration "2"
+       (first "(" "@pass" "@terminals" ENUM HEX O_ENUM O_RANGE RANGE STRING1 STRING2 )
+       (follow "(" "@pass" "@terminals" ENUM HEX O_ENUM O_RANGE RANGE STRING1 STRING2
+               "[" )
+       (alt "@terminals" "@pass"))
+ (rule rule "3" (first "[")
+       (follow "(" "@pass" "@terminals" ENUM HEX O_ENUM O_RANGE RANGE STRING1 STRING2
+               "[" )
+       (seq lhs "::=" expression))
+ (rule _rule_1 "3.1" (first "::=")
+       (follow "(" "@pass" "@terminals" ENUM HEX O_ENUM O_RANGE RANGE STRING1 STRING2
+               "[" )
+       (seq "::=" expression))
+ (rule
+ _rule_2
+ "3.2"
  (first
   "("
   ENUM
@@ -217,22 +64,22 @@
  (seq "[" SYMBOL "]" SYMBOL)
 )
  (rule
- _lhs_comp
- "4.comp"
+ _lhs_1
+ "4.1"
  (first SYMBOL)
  (follow "::=")
  (seq SYMBOL "]" SYMBOL)
 )
  (rule
- __lhs_comp_comp
- "4.comp.comp"
+ _lhs_2
+ "4.2"
  (first "]")
  (follow "::=")
  (seq "]" SYMBOL)
 )
  (rule
- ___lhs_comp_comp_comp
- "4.comp.comp.comp"
+ _lhs_3
+ "4.3"
  (first SYMBOL)
  (follow "::=")
  (seq SYMBOL)
@@ -324,11 +171,28 @@
   STRING2
   "["
  )
- (alt _empty __alt_1_star)
+ (alt _empty _alt_3)
 )
  (rule
- __alt_1_star
- "6.1*"
+ _alt_2
+ "6.2"
+ (first "|")
+ (follow
+  "("
+  ENUM
+  HEX
+  O_ENUM
+  O_RANGE
+  RANGE
+  STRING1
+  STRING2
+  "|"
+ )
+ (seq "|" seq)
+)
+ (rule
+ _alt_3
+ "6.3"
  (first "|")
  (follow
   "("
@@ -344,11 +208,11 @@
   STRING2
   "["
  )
- (seq __alt_1_1 _alt_1)
+ (seq _alt_2 _alt_1)
 )
  (rule
- ___alt_1_star_comp
- "6.1*.comp"
+ _alt_4
+ "6.4"
  (first
   "("
   ENUM
@@ -378,25 +242,8 @@
  (seq _alt_1)
 )
  (rule
- __alt_1_1
- "6.1.1"
- (first "|")
- (follow
-  "("
-  ENUM
-  HEX
-  O_ENUM
-  O_RANGE
-  RANGE
-  STRING1
-  STRING2
-  "|"
- )
- (seq "|" seq)
-)
- (rule
- ___alt_1_1_comp
- "6.1.1.comp"
+ _alt_5
+ "6.5"
  (first
   "("
   ENUM
@@ -406,9 +253,14 @@
   RANGE
   STRING1
   STRING2
+  _eps
+  "|"
  )
  (follow
   "("
+  ")"
+  "@pass"
+  "@terminals"
   ENUM
   HEX
   O_ENUM
@@ -416,13 +268,13 @@
   RANGE
   STRING1
   STRING2
-  "|"
+  "["
  )
- (seq seq)
+ (seq _alt_1)
 )
  (rule
- _alt_comp
- "6.comp"
+ _alt_6
+ "6.6"
  (first
   "("
   ENUM
@@ -432,14 +284,9 @@
   RANGE
   STRING1
   STRING2
-  _eps
-  "|"
  )
  (follow
   "("
-  ")"
-  "@pass"
-  "@terminals"
   ENUM
   HEX
   O_ENUM
@@ -447,9 +294,9 @@
   RANGE
   STRING1
   STRING2
-  "["
+  "|"
  )
- (seq _alt_1)
+ (seq seq)
 )
  (rule
  seq
@@ -514,11 +361,11 @@
   _eof
   "|"
  )
- (alt _empty __seq_1_star)
+ (alt _empty _seq_2)
 )
  (rule
- __seq_1_star
- "7.1*"
+ _seq_2
+ "7.2"
  (first
   "("
   ENUM
@@ -549,8 +396,8 @@
  (seq diff _seq_1)
 )
  (rule
- ___seq_1_star_comp
- "7.1*.comp"
+ _seq_3
+ "7.3"
  (first
   "("
   ENUM
@@ -582,8 +429,8 @@
  (seq _seq_1)
 )
  (rule
- _seq_comp
- "7.comp"
+ _seq_4
+ "7.4"
  (first
   "("
   ENUM
@@ -664,14 +511,15 @@
   STRING1
   STRING2
  )
- (alt _empty __diff_1_star)
+ (alt _empty _diff_3)
 )
  (rule
- __diff_1_star
- "8.1*"
+ _diff_2
+ "8.2"
  (first "-")
  (follow
   "("
+  "-"
   ENUM
   HEX
   O_ENUM
@@ -680,14 +528,14 @@
   STRING1
   STRING2
  )
- (seq __diff_1_1 _diff_1)
+ (seq "-" postfix)
 )
  (rule
- ___diff_1_star_comp
- "8.1*.comp"
- (first
+ _diff_3
+ "8.3"
+ (first "-")
+ (follow
   "("
-  "-"
   ENUM
   HEX
   O_ENUM
@@ -695,10 +543,15 @@
   RANGE
   STRING1
   STRING2
-  _eps
  )
- (follow
+ (seq _diff_2 _diff_1)
+)
+ (rule
+ _diff_4
+ "8.4"
+ (first
   "("
+  "-"
   ENUM
   HEX
   O_ENUM
@@ -706,16 +559,10 @@
   RANGE
   STRING1
   STRING2
+  _eps
  )
- (seq _diff_1)
-)
- (rule
- __diff_1_1
- "8.1.1"
- (first "-")
  (follow
   "("
-  "-"
   ENUM
   HEX
   O_ENUM
@@ -724,13 +571,14 @@
   STRING1
   STRING2
  )
- (seq "-" postfix)
+ (seq _diff_1)
 )
  (rule
- ___diff_1_1_comp
- "8.1.1.comp"
+ _diff_5
+ "8.5"
  (first
   "("
+  "-"
   ENUM
   HEX
   O_ENUM
@@ -738,10 +586,10 @@
   RANGE
   STRING1
   STRING2
+  _eps
  )
  (follow
   "("
-  "-"
   ENUM
   HEX
   O_ENUM
@@ -750,14 +598,13 @@
   STRING1
   STRING2
  )
- (seq postfix)
+ (seq _diff_1)
 )
  (rule
- _diff_comp
- "8.comp"
+ _diff_6
+ "8.6"
  (first
   "("
-  "-"
   ENUM
   HEX
   O_ENUM
@@ -765,10 +612,10 @@
   RANGE
   STRING1
   STRING2
-  _eps
  )
  (follow
   "("
+  "-"
   ENUM
   HEX
   O_ENUM
@@ -777,7 +624,7 @@
   STRING1
   STRING2
  )
- (seq _diff_1)
+ (seq postfix)
 )
  (rule
  postfix
@@ -818,6 +665,7 @@
   STRING1
   STRING2
   _eps
+  _postfix_2
  )
  (follow
   "("
@@ -830,11 +678,12 @@
   STRING1
   STRING2
  )
- (alt _empty (range "?*+"))
+ (alt _empty _postfix_2)
 )
+ (terminal _postfix_2 "9.2" (range "?*+"))
  (rule
- _postfix_comp
- "9.comp"
+ _postfix_3
+ "9.3"
  (first
   "("
   ENUM
@@ -845,6 +694,7 @@
   STRING1
   STRING2
   _eps
+  _postfix_2
  )
  (follow
   "("
@@ -881,6 +731,7 @@
   RANGE
   STRING1
   STRING2
+  _postfix_2
  )
  (alt
   HEX
@@ -906,12 +757,13 @@
   RANGE
   STRING1
   STRING2
+  _postfix_2
  )
  (seq "(" expression ")")
 )
  (rule
- __primary_1_comp
- "10.1.comp"
+ _primary_2
+ "10.2"
  (first
   "("
   ENUM
@@ -931,12 +783,13 @@
   RANGE
   STRING1
   STRING2
+  _postfix_2
  )
  (seq expression ")")
 )
  (rule
- ___primary_1_comp_comp
- "10.1.comp.comp"
+ _primary_3
+ "10.3"
  (first ")")
  (follow
   "("
@@ -947,6 +800,7 @@
   RANGE
   STRING1
   STRING2
+  _postfix_2
  )
  (seq ")")
 )