Next: Introduction, Previous: (dir), Up: (dir) [Contents][Index]
This is the yacc Reference Manual, generated automatically by Declt version 3.0 "Montgomery Scott" on Tue Dec 22 12:58:19 2020 GMT+0.
• Introduction | What yacc is all about | |
• Systems | The systems documentation | |
• Files | The files documentation | |
• Packages | The packages documentation | |
• Definitions | The symbols documentation | |
• Indexes | Concepts, functions, variables and data types |
> (compile-file "yacc.lisp") > (load *) > (compile-file "yacc-tests.lisp") > (load *) > (yacc-tests:tests) Note that you really must compile yacc-tests.lisp to a file in order to test the fasdumping machinery. Complete documentation is provided in texinfo format in ``cl-yacc.texi'', and you will find a complete example in the file ``calculator.lisp''. The most recent version should be available from http://www.pps.jussieu.fr/~jch/software/cl-yacc/ Juliusz Chroboczek
Next: Files, Previous: Introduction, Up: Top [Contents][Index]
The main system appears first, followed by any subsystem dependency.
• The yacc system |
Juliusz Chroboczek <jch@pps.jussieu.fr>
MIT/X11
A LALR(1) parser generator for Common Lisp
yacc.asd (file)
yacc.lisp (file)
Files are sorted by type and then listed depth-first from the systems components trees.
• Lisp files |
• The yacc.asd file | ||
• The yacc/yacc.lisp file |
Next: The yacc/yacc․lisp file, Previous: Lisp files, Up: Lisp files [Contents][Index]
yacc.asd
yacc (system)
Previous: The yacc․asd file, Up: Lisp files [Contents][Index]
yacc (system)
yacc.lisp
Next: Definitions, Previous: Files, Up: Top [Contents][Index]
Packages are listed by definition order.
• The yacc package |
yacc.lisp (file)
common-lisp
Definitions are sorted by export status, category, package, and then by lexicographic order.
• Exported definitions | ||
• Internal definitions |
Next: Internal definitions, Previous: Definitions, Up: Definitions [Contents][Index]
• Exported macros | ||
• Exported functions | ||
• Exported generic functions | ||
• Exported conditions |
Next: Exported functions, Previous: Exported definitions, Up: Exported definitions [Contents][Index]
DEFINE-GRAMMAR NAME OPTION... PRODUCTION...
PRODUCTION ::= (SYMBOL RHS...)
RHS ::= SYMBOL | (SYMBOL... [ACTION])
Defines the special variable NAME to be a grammar. Options are as in
MAKE-GRAMMAR.
DEFINE-GRAMMAR NAME OPTION... PRODUCTION...
PRODUCTION ::= (SYMBOL RHS...)
RHS ::= SYMBOL | (SYMBOL... [ACTION])
Defines the special variable NAME to be a parser. Options are as in
MAKE-GRAMMAR and MAKE-PARSER.
Next: Exported generic functions, Previous: Exported macros, Up: Exported definitions [Contents][Index]
Returns a parser for the given grammar.
If MUFFLE-CONFLICTS is NIL, then a warning will be signaled for all conflicts.
If it is T, then no warnings will be signaled. If it is a list of the form
(SR SS), then a warning will be signaled unless there are exactly SR
shift-reduce conflicts and SS shift-shift conflicts.
Parse the stream of symbols provided by LEXER using PARSER.
LEXER is a function of no arguments returning a symbol and a semantic value,
and should return (VALUES NIL NIL) when the end of input is reached.
Handle YACC-PARSE-ERROR to provide custom error reporting.
Next: Exported conditions, Previous: Exported functions, Up: Exported definitions [Contents][Index]
Previous: Exported generic functions, Up: Exported definitions [Contents][Index]
yacc.lisp (file)
yacc-compile-warning (condition)
:shift-reduce
conflict-summary-warning-shift-reduce (generic function)
:reduce-reduce
conflict-summary-warning-reduce-reduce (generic function)
yacc.lisp (file)
:kind
conflict-warning-kind (generic function)
:state
conflict-warning-state (generic function)
:terminal
conflict-warning-terminal (generic function)
yacc.lisp (file)
warning (condition)
yacc.lisp (file)
yacc-runtime-error (condition)
:terminal
yacc-parse-error-terminal (generic function)
:value
yacc-parse-error-value (generic function)
:expected-terminals
yacc-parse-error-expected-terminals (generic function)
yacc.lisp (file)
error (condition)
yacc-parse-error (condition)
Previous: Exported definitions, Up: Definitions [Contents][Index]
• Internal special variables | ||
• Internal macros | ||
• Internal functions | ||
• Internal generic functions | ||
• Internal structures | ||
• Internal types |
Next: Internal macros, Previous: Internal definitions, Up: Internal definitions [Contents][Index]
The number of elements when items-closure switches to using a hashtable.
Next: Internal functions, Previous: Internal special variables, Up: Internal definitions [Contents][Index]
Next: Internal generic functions, Previous: Internal macros, Up: Internal definitions [Contents][Index]
FIRST(s1.s) where f1=FIRST(s1).
Compute the LR(1) lookaheads for all the collections in KERNELS.
Compute the kernel of goto(KERNEL, SYMBOL)
Compute the set collections of LR(0) items for GRAMMAR.
Compute the LR(1) lookaheads for all items in KERNEL. If PROPAGATE-ONLY is true, ignore spontaneous generation.
Compute the parsing tables for grammar GRAMMAR and transitions KERNELS. PRECEDENCE is as in FIND-PRECEDENCE. MUFFLE-WARNINGS is one of NIL, T, :SOME or a list of the form (sr rr).
True if symbol derives epsilon.
Unmemoised version of DERIVES-EPSILON.
The list of symbols A such that C rm->* A.eta for some eta.
The list of terminals a such that C rm->* a.eta, last non-epsilon.
Return the tail of PRECEDENCE starting with the element containing OP. PRECEDENCE is a list of elements of the form (KEYWORD . (op...)).
Return the only terminal in S, or NIL if none or multiple.
The set of symbols (both terminal and nonterminal) of GRAMMAR.
Decide what to do with a conflict between A1 and A2 in state ID on symbol S. Returns three actions: the chosen action, the number of new sr and rr.
Equality predicate for LR(0) items.
Equality predicate for LR(1) items.
Returns an object suitable for keying associations of LR1-items.
Equality predicate for sorted sets of LR(0) items.
Compute the closure of a set of LR(1) items.
The item in a singleton set of items.
Add all the elements of ITEMS to COLLECTION.
Find an LR(1) item equal to ITEM in COLLECTION, or NIL.
Apply F to all elements of COLLECTION.
Set a unique ID for all kernels in KERNELS.
Print FIRST (without epsilon) for all symbols of GRAMMAR.
Print the goto graph defined by KERNELS.
Equality predicate for productions within a single grammar
Total order on productions within a single grammar
Union of FIRST(eta) for all the eta s.t. S rm->* Aeta.
Sequence version of RELATIVE-FIRST.
Sequence version of DERIVES-EPSILON*.
Sequence version of DERIVES-FIRST.
Sequence version of DERIVES-FIRST-TERMINAL.
Sequence version of FIRST-TERMINALS.
Next: Internal structures, Previous: Internal functions, Up: Internal definitions [Contents][Index]
Next: Internal types, Previous: Internal generic functions, Up: Internal definitions [Contents][Index]
yacc.lisp (file)
structure-object (structure)
print-object (method)
yacc.lisp (file)
structure-object (structure)
symbol
goto-symbol (function)
(setf goto-symbol) (function)
yacc::kernel
(yacc::required-argument)
goto-target (function)
(setf goto-target) (function)
yacc.lisp (file)
structure-object (structure)
make-load-form (method)
grammar-name (function)
(setf grammar-name) (function)
list
(quote nil)
grammar-terminals (function)
(setf grammar-terminals) (function)
list
(quote nil)
grammar-precedence (function)
(setf grammar-precedence) (function)
list
(quote nil)
grammar-productions (function)
(setf grammar-productions) (function)
(or list (member :undefined))
:undefined
grammar-%symbols (function)
(setf grammar-%symbols) (function)
list
(quote nil)
grammar-derives-epsilon (function)
(setf grammar-derives-epsilon) (function)
list
(quote nil)
grammar-derives-first (function)
(setf grammar-derives-first) (function)
list
(quote nil)
grammar-derives-first-terminal (function)
(setf grammar-derives-first-terminal) (function)
yacc.lisp (file)
structure-object (structure)
print-object (method)
yacc::production
(yacc::required-argument)
item-production (function)
(setf item-production) (function)
yacc::index
(yacc::required-argument)
item-position (function)
(setf item-position) (function)
yacc.lisp (file)
structure-object (structure)
print-object (method)
(or null yacc::index)
kernel-id (function)
(setf kernel-id) (function)
list
(quote nil)
kernel-items (function)
(setf kernel-items) (function)
list
(quote nil)
kernel-gotos (function)
(setf kernel-gotos) (function)
yacc.lisp (file)
item (structure)
list
(quote nil)
item-lookaheads (function)
(setf item-lookaheads) (function)
yacc.lisp (file)
item (structure)
symbol
(yacc::required-argument)
item-lookahead (function)
(setf item-lookahead) (function)
yacc.lisp (file)
structure-object (structure)
make-load-form (method)
yacc::index
(yacc::required-argument)
parser-states (function)
(setf parser-states) (function)
simple-vector
(yacc::required-argument)
parser-goto (function)
(setf parser-goto) (function)
simple-vector
(yacc::required-argument)
parser-action (function)
(setf parser-action) (function)
yacc.lisp (file)
structure-object (structure)
(or null yacc::index)
production-id (function)
(setf production-id) (function)
symbol
(yacc::required-argument)
production-symbol (function)
(setf production-symbol) (function)
list
(yacc::required-argument)
production-derives (function)
(setf production-derives) (function)
function
(function list)
production-action (function)
(setf production-action) (function)
production-action-form (function)
(setf production-action-form) (function)
yacc.lisp (file)
action (structure)
make-load-form (method)
symbol
(yacc::required-argument)
reduce-action-symbol (function)
(setf reduce-action-symbol) (function)
yacc::index
(yacc::required-argument)
reduce-action-length (function)
(setf reduce-action-length) (function)
function
(function list)
reduce-action-action (function)
(setf reduce-action-action) (function)
reduce-action-action-form (function)
(setf reduce-action-action-form) (function)
yacc.lisp (file)
action (structure)
make-load-form (method)
yacc::index
(yacc::required-argument)
shift-action-state (function)
(setf shift-action-state) (function)
Previous: Internal structures, Up: Internal definitions [Contents][Index]
Previous: Definitions, Up: Top [Contents][Index]
• Concept index | ||
• Function index | ||
• Variable index | ||
• Data type index |
Next: Function index, Previous: Indexes, Up: Indexes [Contents][Index]
Jump to: | F L Y |
---|
Jump to: | F L Y |
---|
Next: Variable index, Previous: Concept index, Up: Indexes [Contents][Index]
Jump to: | %
(
A C D F G H I K L M N P R S T Y |
---|
Jump to: | %
(
A C D F G H I K L M N P R S T Y |
---|
Next: Data type index, Previous: Function index, Up: Indexes [Contents][Index]
Jump to: | %
*
A D E G I K L N P R S T V |
---|
Jump to: | %
*
A D E G I K L N P R S T V |
---|
Previous: Variable index, Up: Indexes [Contents][Index]
Jump to: | A C G I K L P R S T Y |
---|
Jump to: | A C G I K L P R S T Y |
---|