This is the yacc Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Jun 15 04:51:15 2025 GMT+0.
The main system appears first, followed by any subsystem dependency.
yaccA LALR(1) parser generator for Common Lisp
Juliusz Chroboczek <jch@irif.fr>
MIT/X11
yacc.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
yacc/yacc.lispyacc (system).
yacc.
conflict-summary-warning (condition).
conflict-warning (condition).
define-grammar (macro).
define-parser (macro).
make-grammar (function).
make-load-form (method).
make-load-form (method).
make-load-form (method).
make-load-form (method).
make-load-form (method).
make-load-form (method).
make-parser (function).
make-production (function).
parse-with-lexer (function).
print-object (method).
print-object (method).
print-object (method).
print-object (method).
yacc-compile-warning (condition).
yacc-parse-error (condition).
yacc-parse-error-expected-terminals (reader method).
yacc-parse-error-terminal (reader method).
yacc-parse-error-value (reader method).
yacc-runtime-error (condition).
%copy-item (function).
%make-grammar (function).
%make-kernel (function).
%make-parser (function).
*items-closure-hash-threshold* (special variable).
accept-action (structure).
accept-action-p (function).
action (structure).
action-equal-p (function).
action-p (function).
clear-lr1-collection (function).
combine-first (function).
compute-all-lookaheads (function).
compute-goto (function).
compute-kernels (function).
compute-lookaheads (function).
compute-parsing-tables (function).
conflict-summary-warning-reduce-reduce (reader method).
conflict-summary-warning-shift-reduce (reader method).
conflict-warning-kind (reader method).
conflict-warning-state (reader method).
conflict-warning-terminal (reader method).
copy-accept-action (function).
copy-action (function).
copy-goto (function).
copy-grammar (function).
copy-kernel (function).
copy-lr0-item (function).
copy-lr1-item (function).
copy-parser (function).
copy-production (function).
copy-reduce-action (function).
copy-shift-action (function).
derives-epsilon (function).
derives-epsilon* (function).
derives-first (function).
derives-first-terminal (function).
do-lr1-collection (macro).
find-goto (function).
find-precedence (function).
find-single-terminal (function).
first-terminals (function).
goto (structure).
goto-equal-p (function).
goto-p (function).
goto-symbol (reader).
(setf goto-symbol) (writer).
goto-target (reader).
(setf goto-target) (writer).
grammar (structure).
grammar-%symbols (reader).
(setf grammar-%symbols) (writer).
grammar-derives-epsilon (reader).
(setf grammar-derives-epsilon) (writer).
grammar-derives-first (reader).
(setf grammar-derives-first) (writer).
grammar-derives-first-terminal (reader).
(setf grammar-derives-first-terminal) (writer).
grammar-discard-memos (function).
grammar-epsilon-productions (function).
grammar-name (reader).
(setf grammar-name) (writer).
grammar-p (function).
grammar-precedence (reader).
(setf grammar-precedence) (writer).
grammar-productions (reader).
(setf grammar-productions) (writer).
grammar-symbols (function).
grammar-terminals (reader).
(setf grammar-terminals) (writer).
handle-conflict (function).
index (type).
item (structure).
item-action (function).
item-action-form (function).
item-derives (function).
item-dot-left (function).
item-dot-right (function).
item-dot-right-p (function).
item-dot-symbol (function).
item-equal-p (function).
item-lookahead (reader).
(setf item-lookahead) (writer).
item-lookaheads (reader).
(setf item-lookaheads) (writer).
item-lr1-equal-p (function).
item-lr1-hash-value (function).
item-p (function).
item-position (reader).
(setf item-position) (writer).
item-production (reader).
(setf item-production) (writer).
item-set-equal-p (function).
item-shift (function).
item-symbol (function).
item< (function).
items-closure (function).
kernel (structure).
kernel-gotos (reader).
(setf kernel-gotos) (writer).
kernel-id (reader).
(setf kernel-id) (writer).
kernel-item (function).
kernel-items (reader).
(setf kernel-items) (writer).
kernel-p (function).
lr0-item (structure).
lr0-item-p (function).
lr1-add (function).
lr1-add-collection (function).
lr1-collection (type).
lr1-collection-empty-p (function).
lr1-find (function).
lr1-item (structure).
lr1-item-p (function).
lr1-item-shift (function).
make-accept-action (function).
make-goto (function).
make-hash-table-from-lr1-list (function).
make-item (function).
make-kernel (function).
make-lr1-collection (function).
make-lr1-item (function).
make-reduce-action (function).
make-shift-action (function).
map-lr1-collection (function).
memq (function).
number-kernels (function).
parse-grammar (function).
parse-production (function).
parser (structure).
parser-action (reader).
(setf parser-action) (writer).
parser-goto (reader).
(setf parser-goto) (writer).
parser-p (function).
parser-states (reader).
(setf parser-states) (writer).
print-action (function).
print-derives-epsilon (function).
print-first-terminals (function).
print-goto-graph (function).
print-item (function).
print-kernel (function).
print-production (function).
print-states (function).
production (structure).
production-action (reader).
(setf production-action) (writer).
production-action-form (reader).
(setf production-action-form) (writer).
production-derives (reader).
(setf production-derives) (writer).
production-equal-p (function).
production-id (reader).
(setf production-id) (writer).
production-p (function).
production-symbol (reader).
(setf production-symbol) (writer).
production< (function).
reduce-action (structure).
reduce-action-action (reader).
(setf reduce-action-action) (writer).
reduce-action-action-form (reader).
(setf reduce-action-action-form) (writer).
reduce-action-length (reader).
(setf reduce-action-length) (writer).
reduce-action-p (function).
reduce-action-symbol (reader).
(setf reduce-action-symbol) (writer).
relative-first (function).
relative-first-sequence (function).
required-argument (function).
sequence-derives-epsilon (function).
sequence-derives-first (function).
sequence-derives-first-terminal (function).
sequence-first (function).
sequence-first-terminals (function).
shift-action (structure).
shift-action-p (function).
shift-action-state (reader).
(setf shift-action-state) (writer).
signed-index (type).
terminal-p (function).
Packages are listed by definition order.
yacccommon-lisp.
conflict-summary-warning (condition).
conflict-warning (condition).
define-grammar (macro).
define-parser (macro).
make-grammar (function).
make-parser (function).
make-production (function).
parse-with-lexer (function).
yacc-compile-warning (condition).
yacc-parse-error (condition).
yacc-parse-error-expected-terminals (generic reader).
yacc-parse-error-terminal (generic reader).
yacc-parse-error-value (generic reader).
yacc-runtime-error (condition).
%copy-item (function).
%make-grammar (function).
%make-kernel (function).
%make-parser (function).
*items-closure-hash-threshold* (special variable).
accept-action (structure).
accept-action-p (function).
action (structure).
action-equal-p (function).
action-p (function).
clear-lr1-collection (function).
combine-first (function).
compute-all-lookaheads (function).
compute-goto (function).
compute-kernels (function).
compute-lookaheads (function).
compute-parsing-tables (function).
conflict-summary-warning-reduce-reduce (generic reader).
conflict-summary-warning-shift-reduce (generic reader).
conflict-warning-kind (generic reader).
conflict-warning-state (generic reader).
conflict-warning-terminal (generic reader).
copy-accept-action (function).
copy-action (function).
copy-goto (function).
copy-grammar (function).
copy-kernel (function).
copy-lr0-item (function).
copy-lr1-item (function).
copy-parser (function).
copy-production (function).
copy-reduce-action (function).
copy-shift-action (function).
derives-epsilon (function).
derives-epsilon* (function).
derives-first (function).
derives-first-terminal (function).
do-lr1-collection (macro).
find-goto (function).
find-precedence (function).
find-single-terminal (function).
first-terminals (function).
goto (structure).
goto-equal-p (function).
goto-p (function).
goto-symbol (reader).
(setf goto-symbol) (writer).
goto-target (reader).
(setf goto-target) (writer).
grammar (structure).
grammar-%symbols (reader).
(setf grammar-%symbols) (writer).
grammar-derives-epsilon (reader).
(setf grammar-derives-epsilon) (writer).
grammar-derives-first (reader).
(setf grammar-derives-first) (writer).
grammar-derives-first-terminal (reader).
(setf grammar-derives-first-terminal) (writer).
grammar-discard-memos (function).
grammar-epsilon-productions (function).
grammar-name (reader).
(setf grammar-name) (writer).
grammar-p (function).
grammar-precedence (reader).
(setf grammar-precedence) (writer).
grammar-productions (reader).
(setf grammar-productions) (writer).
grammar-symbols (function).
grammar-terminals (reader).
(setf grammar-terminals) (writer).
handle-conflict (function).
index (type).
item (structure).
item-action (function).
item-action-form (function).
item-derives (function).
item-dot-left (function).
item-dot-right (function).
item-dot-right-p (function).
item-dot-symbol (function).
item-equal-p (function).
item-lookahead (reader).
(setf item-lookahead) (writer).
item-lookaheads (reader).
(setf item-lookaheads) (writer).
item-lr1-equal-p (function).
item-lr1-hash-value (function).
item-p (function).
item-position (reader).
(setf item-position) (writer).
item-production (reader).
(setf item-production) (writer).
item-set-equal-p (function).
item-shift (function).
item-symbol (function).
item< (function).
items-closure (function).
kernel (structure).
kernel-gotos (reader).
(setf kernel-gotos) (writer).
kernel-id (reader).
(setf kernel-id) (writer).
kernel-item (function).
kernel-items (reader).
(setf kernel-items) (writer).
kernel-p (function).
lr0-item (structure).
lr0-item-p (function).
lr1-add (function).
lr1-add-collection (function).
lr1-collection (type).
lr1-collection-empty-p (function).
lr1-find (function).
lr1-item (structure).
lr1-item-p (function).
lr1-item-shift (function).
make-accept-action (function).
make-goto (function).
make-hash-table-from-lr1-list (function).
make-item (function).
make-kernel (function).
make-lr1-collection (function).
make-lr1-item (function).
make-reduce-action (function).
make-shift-action (function).
map-lr1-collection (function).
memq (function).
number-kernels (function).
parse-grammar (function).
parse-production (function).
parser (structure).
parser-action (reader).
(setf parser-action) (writer).
parser-goto (reader).
(setf parser-goto) (writer).
parser-p (function).
parser-states (reader).
(setf parser-states) (writer).
print-action (function).
print-derives-epsilon (function).
print-first-terminals (function).
print-goto-graph (function).
print-item (function).
print-kernel (function).
print-production (function).
print-states (function).
production (structure).
production-action (reader).
(setf production-action) (writer).
production-action-form (reader).
(setf production-action-form) (writer).
production-derives (reader).
(setf production-derives) (writer).
production-equal-p (function).
production-id (reader).
(setf production-id) (writer).
production-p (function).
production-symbol (reader).
(setf production-symbol) (writer).
production< (function).
reduce-action (structure).
reduce-action-action (reader).
(setf reduce-action-action) (writer).
reduce-action-action-form (reader).
(setf reduce-action-action-form) (writer).
reduce-action-length (reader).
(setf reduce-action-length) (writer).
reduce-action-p (function).
reduce-action-symbol (reader).
(setf reduce-action-symbol) (writer).
relative-first (function).
relative-first-sequence (function).
required-argument (function).
sequence-derives-epsilon (function).
sequence-derives-first (function).
sequence-derives-first-terminal (function).
sequence-first (function).
sequence-first-terminals (function).
shift-action (structure).
shift-action-p (function).
shift-action-state (reader).
(setf shift-action-state) (writer).
signed-index (type).
terminal-p (function).
Definitions are sorted by export status, category, package, and then by lexicographic order.
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.
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.
yacc.
yacc-parse-error)) ¶yacc.
yacc-parse-error)) ¶yacc.
yacc-parse-error)) ¶production) &optional env) ¶accept-action) &optional env) ¶reduce-action) &optional env) ¶shift-action) &optional env) ¶production) stream) ¶yacc.
simple-warning.
yacc-compile-warning.
:kind
This slot is read-only.
:state
This slot is read-only.
:terminal
This slot is read-only.
yacc.
warning.
yacc.
:terminal
This slot is read-only.
:value
This slot is read-only.
:expected-terminals
This slot is read-only.
The number of elements when items-closure switches to using a hashtable.
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.
yacc.
yacc.
yacc.
yacc.
yacc.
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.
yacc.
Equality predicate for LR(1) items.
Returns an object suitable for keying associations of LR1-items.
yacc.
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.
yacc.
Equality predicate for productions within a single grammar
Total order on productions within a single grammar
yacc.
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.
yacc.
conflict-summary-warning)) ¶yacc.
conflict-summary-warning)) ¶yacc.
conflict-warning)) ¶yacc.
conflict-warning)) ¶yacc.
conflict-warning)) ¶yacc.
structure-object.
yacc.
structure-object.
list
(quote nil)
list
(quote nil)
list
(quote nil)
(or list (member :undefined))
:undefined
list
(quote nil)
list
(quote nil)
list
(quote nil)
yacc.
structure-object.
yacc::production
(yacc::required-argument)
common-lisp.
yacc::index
(yacc::required-argument)
yacc.
structure-object.
yacc::index
(yacc::required-argument)
simple-vector
(yacc::required-argument)
simple-vector
(yacc::required-argument)
yacc.
structure-object.
(or null yacc::index)
common-lisp.
symbol
(yacc::required-argument)
list
(yacc::required-argument)
function
(function list)
yacc.
common-lisp.
symbol
(yacc::required-argument)
common-lisp.
yacc::index
(yacc::required-argument)
function
(function list)
| 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 |
|---|
| 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 |
|---|
| Jump to: | A C F G I K L P R S T Y |
|---|
| Jump to: | A C F G I K L P R S T Y |
|---|