Summary
Parsing expression grammar and packrat parser

Metadata

Tags:	text, parsing
Authors:	Chris Double

Words

Tuple classes

Class	Superclass	Slots
left-recursion	tuple	seed rule-id head next
memo-entry	tuple	ans pos
parse-error	tuple	position got messages
parse-failed	tuple	input word
parse-result	tuple	remaining ast
parser	tuple	peg compiled id
peg-head	tuple	rule-id involved-set eval-set

Parsing words

Word	Syntax
PEG:	PEG: word ( stack -- effect ) definition... ;

Generic words

Word	Stack effect
(compile)	( peg -- quot )

Symbol words

delayed

error-stack

fail

ignore

input

lrstack

pos

Ordinary words

Word	Stack effect
(grow-lr)	( h p r: ( -- result ) m -- )
(merge-errors)	( a b -- c )
(parse)	( input parser -- result )
(setup-lr)	( l s -- )
2choice	( parser1 parser2 -- parser )
2seq	( parser1 parser2 -- parser )
3choice	( parser1 parser2 parser3 -- parser )
3seq	( parser1 parser2 parser3 -- parser )
4choice	( parser1 parser2 parser3 parser4 -- parser )
4seq	( parser1 parser2 parser3 parser4 -- parser )
<parse-error>	( position got messages -- parse-error )
<parse-result>	( remaining ast -- parse-result )
action	( parser quot -- parser )
add-error	( position got message -- )
apply-memo-rule	( r m -- ast )
apply-non-memo-rule	( r p -- ast )
apply-rule	( r p -- ast )
box	( quot -- parser )
choice	( seq -- parser )
choice*	( quot -- parser )
compile	( parser -- word )
compile-parser	( parser -- word )
compile-parser-quot	( parser -- quot )
compile-parsers-quots	( parsers -- quots )
compiled-parse	( state word -- result )
define-parser-word	( word parser -- )
delay	( quot -- parser )
ensure	( parser -- parser )
ensure-not	( parser -- parser )
eval-rule	( rule -- ast )
execute-parser	( word -- result )
failed?	( obj -- ? )
fixup-delayed	( -- )
grow-lr	( h p r m -- ast )
heads	( -- cache )
hide	( parser -- parser )
ignore?	( obj -- ? )
input-from	( input -- n )
input-slice	( -- slice )
lr-answer	( r p m -- ast )
memo	( pos id -- memo-entry )
merge-errors	( -- )
merge-overlapping-errors	( a b -- c )
optional	( parser -- parser )
packrat	( id -- cache )
parse	( input parser -- ast )
parse-failed	( input word -- * )
peg-cache	( -- cache )
preset-parser-word	( parser -- word parser )
process-parser-result	( result -- result )
process-rule-result	( p result -- result )
range	( min max -- parser )
recall	( r p -- memo-entry )
repeat0	( parser -- parser )
repeat1	( parser -- parser )
reset-pegs	( -- )
rule-id	( word -- id )
satisfy	( quot -- parser )
semantic	( parser quot -- parser )
seq	( seq -- parser )
seq*	( quot -- parser )
set-memo	( memo-entry pos id -- )
setup-growth	( h p -- )
setup-lr	( r l -- )
sp	( parser -- parser )
stop-growth?	( ast m -- ? )
token	( string -- parser )
update-m	( ast m -- )
with-packrat	( input quot -- result )

Class predicate words

Word	Stack effect
left-recursion?	( object -- ? )
memo-entry?	( object -- ? )
parse-error?	( object -- ? )
parse-failed?	( object -- ? )
parse-result?	( object -- ? )
parser?	( object -- ? )
peg-head?	( object -- ? )

Files


Metadata files


Children from resource:basis

Vocabulary	Summary
peg.debugger
peg.ebnf	Declarative EBNF language for writing PEG parsers
peg.parsers	Additional PEG parsers
peg.search	Search and replace using parsing expression grammars

Children from resource:extra

Vocabulary	Summary
peg.expr	Simple expression evaluator using EBNF
peg.javascript	JavaScript Parser
peg.pl0	Grammar for PL/0 Language

Children

Vocabulary	Summary
peg.private