steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add action rule to ebnf

release
Chris Double 2007-11-28 12:50:04 +13:00
parent 4f0c40c05a
commit c455336da6
1 changed files with 28 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
extra/peg/ebnf/ebnf.factor
View File

@ -1,6 +1,6 @@
! Copyright (C) 2007 Chris Double. ! Copyright (C) 2007 Chris Double.
! See http://factorcode.org/license.txt for BSD license. ! See http://factorcode.org/license.txt for BSD license.
USING: kernel parser words arrays strings math.parser sequences namespaces peg ; USING: kernel parser words arrays strings math.parser sequences vectors namespaces peg ;
IN: peg.ebnf IN: peg.ebnf
TUPLE: ebnf-non-terminal symbol ; TUPLE: ebnf-non-terminal symbol ;
@ -9,6 +9,7 @@ TUPLE: ebnf-choice options ;
TUPLE: ebnf-sequence elements ; TUPLE: ebnf-sequence elements ;
TUPLE: ebnf-repeat0 group ; TUPLE: ebnf-repeat0 group ;
TUPLE: ebnf-rule symbol elements ; TUPLE: ebnf-rule symbol elements ;
TUPLE: ebnf-action quot ;
TUPLE: ebnf rules ; TUPLE: ebnf rules ;
C: <ebnf-non-terminal> ebnf-non-terminal C: <ebnf-non-terminal> ebnf-non-terminal
@ -17,6 +18,7 @@ C: <ebnf-choice> ebnf-choice
C: <ebnf-sequence> ebnf-sequence C: <ebnf-sequence> ebnf-sequence
C: <ebnf-repeat0> ebnf-repeat0 C: <ebnf-repeat0> ebnf-repeat0
C: <ebnf-rule> ebnf-rule C: <ebnf-rule> ebnf-rule
C: <ebnf-action> ebnf-action
C: <ebnf> ebnf C: <ebnf> ebnf
GENERIC: ebnf-compile ( ast -- quot ) GENERIC: ebnf-compile ( ast -- quot )
@ -62,6 +64,19 @@ M: ebnf-rule ebnf-compile ( ast -- quot )
ebnf-rule-elements ebnf-compile , \ define-compound , ebnf-rule-elements ebnf-compile , \ define-compound ,
] [ ] make ; ] [ ] make ;
M: ebnf-action ebnf-compile ( ast -- quot )
[
ebnf-action-quot , \ action ,
] [ ] make ;
M: vector ebnf-compile ( ast -- quot )
[
[ ebnf-compile % ] each
] [ ] make ;
M: f ebnf-compile ( ast -- quot )
drop [ ] ;
M: ebnf ebnf-compile ( ast -- quot ) M: ebnf ebnf-compile ( ast -- quot )
[ [
ebnf-rules [ ebnf-rules [
@ -75,7 +90,7 @@ DEFER: 'rhs'
CHAR: a CHAR: z range repeat1 [ >string <ebnf-non-terminal> ] action ; CHAR: a CHAR: z range repeat1 [ >string <ebnf-non-terminal> ] action ;
: 'terminal' ( -- parser ) : 'terminal' ( -- parser )
"\"" token hide [ CHAR: " = not ] satisfy repeat1 "\"" token hide 3array seq [ first >string <ebnf-terminal> ] action ; "'" token hide [ CHAR: ' = not ] satisfy repeat1 "'" token hide 3array seq [ first >string <ebnf-terminal> ] action ;
: 'element' ( -- parser ) : 'element' ( -- parser )
'non-terminal' 'terminal' 2array choice ; 'non-terminal' 'terminal' 2array choice ;
@ -94,13 +109,20 @@ DEFER: 'rhs'
"}" token sp hide "}" token sp hide
3array seq [ first <ebnf-repeat0> ] action ; 3array seq [ first <ebnf-repeat0> ] action ;
: 'action' ( -- parser )
"=>" token hide
"[" token sp hide
"]." token ensure-not [ drop t ] satisfy 2array seq [ first ] action repeat1 [ >string ] action
"]" token "." token ensure 2array seq sp hide
4array seq [ "[ " swap first append " ]" append eval <ebnf-action> ] action ;
: 'rhs' ( -- parser ) : 'rhs' ( -- parser )
'repeat0' 'repeat0'
'sequence' 'sequence'
'choice' 'choice'
'element' 'element'
4array choice ; 4array choice 'action' sp optional 2array seq ;
: 'rule' ( -- parser ) : 'rule' ( -- parser )
'non-terminal' [ ebnf-non-terminal-symbol ] action 'non-terminal' [ ebnf-non-terminal-symbol ] action
"=" token sp hide "=" token sp hide
@ -117,4 +139,4 @@ DEFER: 'rhs'
f f
] if* ; ] if* ;
: <EBNF "EBNF>" parse-tokens "" join ebnf>quot call ; parsing : <EBNF "EBNF>" parse-tokens " " join dup . ebnf>quot call ; parsing