version 1.1, 1994/05/07 14:55:57
|
version 1.2, 1994/07/07 14:59:22
|
Line 47
|
Line 47
|
|
|
\ recursive descent parser generator ) |
\ recursive descent parser generator ) |
|
|
|
warnings @ [IF] |
.( Loading Gray ... Copyright 1990 Martin Anton Ertl; NO WARRANTY ) cr |
.( Loading Gray ... Copyright 1990 Martin Anton Ertl; NO WARRANTY ) cr |
|
[THEN] |
|
|
\ misc ) |
\ misc ) |
: noop ; |
: noop ; |
Line 311 variable print-token ' . print-token !
|
Line 313 variable print-token ' . print-token !
|
|
|
: check-conflict \ set1 set2 -- ) |
: check-conflict \ set1 set2 -- ) |
\ print the intersection of set1 and set2 if it isn't empty ) |
\ print the intersection of set1 and set2 if it isn't empty ) |
2dup disjoint? ?not? if |
2dup disjoint? ?not? warnings @ and if |
cr .in ." conflict:" |
cr .in ." conflict:" |
intersection print-token @ apply-to-members |
intersection print-token @ apply-to-members |
else |
else |
Line 498 create concatenation-map
|
Line 500 create concatenation-map
|
: compute-alternative \ -- first maybe-empty ) |
: compute-alternative \ -- first maybe-empty ) |
operand1 compute |
operand1 compute |
operand2 compute |
operand2 compute |
rot 2dup and if |
rot 2dup and warnings @ and if |
cr .in ." warning: two branches may be empty" endif |
cr .in ." warning: two branches may be empty" endif |
or >r union r> ; |
or >r union r> ; |
|
|
Line 570 constant unary-syntax-expr
|
Line 572 constant unary-syntax-expr
|
|
|
\ options ) |
\ options ) |
: compute-option \ -- set f ) |
: compute-option \ -- set f ) |
operand compute if |
operand compute warnings @ and if |
cr .in ." warning: unnessesary option" endif |
cr .in ." warning: unnessesary option" endif |
true ; |
true ; |
|
|
Line 600 create option-map
|
Line 602 create option-map
|
|
|
\ *-repetitions ) |
\ *-repetitions ) |
: compute-*repetition \ -- set f ) |
: compute-*repetition \ -- set f ) |
operand compute if |
operand compute warnings @ and if |
cr .in ." warning: *repetition of optional term" endif |
cr .in ." warning: *repetition of optional term" endif |
true ; |
true ; |
|
|