The yacc Reference Manual

This is the yacc Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Mon Feb 26 15:53:34 2024 GMT+0.

Table of Contents


1 Introduction


2 Systems

The main system appears first, followed by any subsystem dependency.


2.1 yacc

A LALR(1) parser generator for Common Lisp

Author

Juliusz Chroboczek <>

License

MIT/X11

Source

yacc.asd.

Child Component

yacc.lisp (file).


3 Files

Files are sorted by type and then listed depth-first from the systems components trees.


3.1 Lisp


3.1.1 yacc/yacc.asd

Source

yacc.asd.

Parent Component

yacc (system).

ASDF Systems

yacc.


3.1.2 yacc/yacc.lisp

Source

yacc.asd.

Parent Component

yacc (system).

Packages

yacc.

Public Interface
Internals

4 Packages

Packages are listed by definition order.


4.1 yacc

Source

yacc.lisp.

Use List

common-lisp.

Public Interface
Internals

5 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.


5.1 Public Interface


5.1.1 Macros

Macro: define-grammar (name &body body)

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.

Package

yacc.

Source

yacc.lisp.

Macro: define-parser (name &body body)

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.

Package

yacc.

Source

yacc.lisp.


5.1.2 Ordinary functions

Function: make-grammar (&key name start-symbol terminals precedence productions)
Package

yacc.

Source

yacc.lisp.

Function: make-parser (grammar &key discard-memos muffle-conflicts print-derives-epsilon print-first-terminals print-states print-goto-graph print-lookaheads)

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.

Package

yacc.

Source

yacc.lisp.

Function: make-production (symbol derives &key action action-form)
Package

yacc.

Source

yacc.lisp.

Function: parse-with-lexer (lexer parser)

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.

Package

yacc.

Source

yacc.lisp.


5.1.3 Generic functions

Generic Reader: yacc-parse-error-expected-terminals (condition)
Package

yacc.

Methods
Reader Method: yacc-parse-error-expected-terminals ((condition yacc-parse-error))
Source

yacc.lisp.

Target Slot

expected-terminals.

Generic Reader: yacc-parse-error-terminal (condition)
Package

yacc.

Methods
Reader Method: yacc-parse-error-terminal ((condition yacc-parse-error))
Source

yacc.lisp.

Target Slot

terminal.

Generic Reader: yacc-parse-error-value (condition)
Package

yacc.

Methods
Reader Method: yacc-parse-error-value ((condition yacc-parse-error))
Source

yacc.lisp.

Target Slot

value.


5.1.4 Standalone methods

Method: make-load-form ((p production) &optional env)
Source

yacc.lisp.

Method: make-load-form ((p parser) &optional env)
Source

yacc.lisp.

Method: make-load-form ((a accept-action) &optional env)
Source

yacc.lisp.

Method: make-load-form ((a reduce-action) &optional env)
Source

yacc.lisp.

Method: make-load-form ((a shift-action) &optional env)
Source

yacc.lisp.

Method: make-load-form ((g grammar) &optional env)
Source

yacc.lisp.

Method: print-object ((object kernel) stream)
Source

yacc.lisp.

Method: print-object ((object item) stream)
Source

yacc.lisp.

Method: print-object ((object production) stream)
Source

yacc.lisp.

Method: print-object ((object action) stream)
Source

yacc.lisp.


5.1.5 Conditions

Condition: conflict-summary-warning
Package

yacc.

Source

yacc.lisp.

Direct superclasses

yacc-compile-warning.

Direct methods
Direct slots
Slot: shift-reduce
Initargs

:shift-reduce

Readers

conflict-summary-warning-shift-reduce.

Writers

This slot is read-only.

Slot: reduce-reduce
Initargs

:reduce-reduce

Readers

conflict-summary-warning-reduce-reduce.

Writers

This slot is read-only.

Condition: conflict-warning
Package

yacc.

Source

yacc.lisp.

Direct superclasses
Direct methods
Direct slots
Slot: kind
Initargs

:kind

Readers

conflict-warning-kind.

Writers

This slot is read-only.

Slot: state
Initargs

:state

Readers

conflict-warning-state.

Writers

This slot is read-only.

Slot: terminal
Initargs

:terminal

Readers

conflict-warning-terminal.

Writers

This slot is read-only.

Condition: yacc-compile-warning
Package

yacc.

Source

yacc.lisp.

Direct superclasses

warning.

Direct subclasses
Condition: yacc-parse-error
Package

yacc.

Source

yacc.lisp.

Direct superclasses

yacc-runtime-error.

Direct methods
Direct slots
Slot: terminal
Initargs

:terminal

Readers

yacc-parse-error-terminal.

Writers

This slot is read-only.

Slot: value
Initargs

:value

Readers

yacc-parse-error-value.

Writers

This slot is read-only.

Slot: expected-terminals
Initargs

:expected-terminals

Readers

yacc-parse-error-expected-terminals.

Writers

This slot is read-only.

Condition: yacc-runtime-error
Package

yacc.

Source

yacc.lisp.

Direct superclasses

error.

Direct subclasses

yacc-parse-error.


5.2 Internals


5.2.1 Special variables

Special Variable: *items-closure-hash-threshold*

The number of elements when items-closure switches to using a hashtable.

Package

yacc.

Source

yacc.lisp.


5.2.2 Macros

Macro: do-lr1-collection ((var collection) &body body)
Package

yacc.

Source

yacc.lisp.


5.2.3 Ordinary functions

Function: %copy-item (instance)
Package

yacc.

Source

yacc.lisp.

Function: %make-grammar (&key name terminals precedence productions %symbols derives-epsilon derives-first derives-first-terminal)
Package

yacc.

Source

yacc.lisp.

Function: %make-kernel (items)
Package

yacc.

Source

yacc.lisp.

Function: %make-parser (states goto action)
Package

yacc.

Source

yacc.lisp.

Function: accept-action-p (object)
Package

yacc.

Source

yacc.lisp.

Function: action-equal-p (a1 a2)
Package

yacc.

Source

yacc.lisp.

Function: action-p (object)
Package

yacc.

Source

yacc.lisp.

Function: clear-lr1-collection (collection)
Package

yacc.

Source

yacc.lisp.

Function: combine-first (f1 s grammar)

FIRST(s1.s) where f1=FIRST(s1).

Package

yacc.

Source

yacc.lisp.

Function: compute-all-lookaheads (kernels grammar)

Compute the LR(1) lookaheads for all the collections in KERNELS.

Package

yacc.

Source

yacc.lisp.

Function: compute-goto (kernel symbol grammar)

Compute the kernel of goto(KERNEL, SYMBOL)

Package

yacc.

Source

yacc.lisp.

Function: compute-kernels (grammar)

Compute the set collections of LR(0) items for GRAMMAR.

Package

yacc.

Source

yacc.lisp.

Function: compute-lookaheads (kernel grammar &optional propagate-only)

Compute the LR(1) lookaheads for all items in KERNEL. If PROPAGATE-ONLY is true, ignore spontaneous generation.

Package

yacc.

Source

yacc.lisp.

Function: compute-parsing-tables (kernels grammar &key muffle-conflicts)

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).

Package

yacc.

Source

yacc.lisp.

Function: copy-accept-action (instance)
Package

yacc.

Source

yacc.lisp.

Function: copy-action (instance)
Package

yacc.

Source

yacc.lisp.

Function: copy-goto (instance)
Package

yacc.

Source

yacc.lisp.

Function: copy-grammar (instance)
Package

yacc.

Source

yacc.lisp.

Function: copy-kernel (instance)
Package

yacc.

Source

yacc.lisp.

Function: copy-lr0-item (instance)
Package

yacc.

Source

yacc.lisp.

Function: copy-lr1-item (instance)
Package

yacc.

Source

yacc.lisp.

Function: copy-parser (instance)
Package

yacc.

Source

yacc.lisp.

Function: copy-production (instance)
Package

yacc.

Source

yacc.lisp.

Function: copy-reduce-action (instance)
Package

yacc.

Source

yacc.lisp.

Function: copy-shift-action (instance)
Package

yacc.

Source

yacc.lisp.

Function: derives-epsilon (symbol grammar &optional seen)

True if symbol derives epsilon.

Package

yacc.

Source

yacc.lisp.

Function: derives-epsilon* (symbol grammar &optional seen)

Unmemoised version of DERIVES-EPSILON.

Package

yacc.

Source

yacc.lisp.

Function: derives-first (c grammar &optional seen)

The list of symbols A such that C rm->* A.eta for some eta.

Package

yacc.

Source

yacc.lisp.

Function: derives-first-terminal (c grammar &optional seen)

The list of terminals a such that C rm->* a.eta, last non-epsilon.

Package

yacc.

Source

yacc.lisp.

Function: find-goto (kernel symbol)
Package

yacc.

Source

yacc.lisp.

Function: find-precedence (op precedence)

Return the tail of PRECEDENCE starting with the element containing OP. PRECEDENCE is a list of elements of the form (KEYWORD . (op...)).

Package

yacc.

Source

yacc.lisp.

Function: find-single-terminal (s grammar)

Return the only terminal in S, or NIL if none or multiple.

Package

yacc.

Source

yacc.lisp.

Function: first-terminals (s grammar)

FIRST(s) without epsilon.

Package

yacc.

Source

yacc.lisp.

Function: goto-equal-p (g1 g2)
Package

yacc.

Source

yacc.lisp.

Function: goto-p (object)
Package

yacc.

Source

yacc.lisp.

Reader: goto-symbol (instance)
Writer: (setf goto-symbol) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

symbol.

Reader: goto-target (instance)
Writer: (setf goto-target) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

target.

Reader: grammar-%symbols (instance)
Writer: (setf grammar-%symbols) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

%symbols.

Reader: grammar-derives-epsilon (instance)
Writer: (setf grammar-derives-epsilon) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

derives-epsilon.

Reader: grammar-derives-first (instance)
Writer: (setf grammar-derives-first) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

derives-first.

Reader: grammar-derives-first-terminal (instance)
Writer: (setf grammar-derives-first-terminal) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

derives-first-terminal.

Function: grammar-discard-memos (grammar)
Package

yacc.

Source

yacc.lisp.

Function: grammar-epsilon-productions (grammar)
Package

yacc.

Source

yacc.lisp.

Reader: grammar-name (instance)
Writer: (setf grammar-name) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

name.

Function: grammar-p (object)
Package

yacc.

Source

yacc.lisp.

Reader: grammar-precedence (instance)
Writer: (setf grammar-precedence) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

precedence.

Reader: grammar-productions (instance)
Writer: (setf grammar-productions) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

productions.

Function: grammar-symbols (grammar)

The set of symbols (both terminal and nonterminal) of GRAMMAR.

Package

yacc.

Source

yacc.lisp.

Reader: grammar-terminals (instance)
Writer: (setf grammar-terminals) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

terminals.

Function: handle-conflict (a1 a2 grammar action-productions id s &optional muffle-conflicts)

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.

Package

yacc.

Source

yacc.lisp.

Function: item-action (item)
Package

yacc.

Source

yacc.lisp.

Function: item-action-form (item)
Package

yacc.

Source

yacc.lisp.

Function: item-derives (item)
Package

yacc.

Source

yacc.lisp.

Function: item-dot-left (item)
Package

yacc.

Source

yacc.lisp.

Function: item-dot-right (item &optional n)
Package

yacc.

Source

yacc.lisp.

Function: item-dot-right-p (item)
Package

yacc.

Source

yacc.lisp.

Function: item-dot-symbol (item)
Package

yacc.

Source

yacc.lisp.

Function: item-equal-p (i1 i2)

Equality predicate for LR(0) items.

Package

yacc.

Source

yacc.lisp.

Reader: item-lookahead (instance)
Writer: (setf item-lookahead) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

lookahead.

Reader: item-lookaheads (instance)
Writer: (setf item-lookaheads) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

lookaheads.

Function: item-lr1-equal-p (i1 i2)

Equality predicate for LR(1) items.

Package

yacc.

Source

yacc.lisp.

Function: item-lr1-hash-value (item)

Returns an object suitable for keying associations of LR1-items.

Package

yacc.

Source

yacc.lisp.

Function: item-p (object)
Package

yacc.

Source

yacc.lisp.

Reader: item-position (instance)
Writer: (setf item-position) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

position.

Reader: item-production (instance)
Writer: (setf item-production) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

production.

Function: item-set-equal-p (c1 c2)

Equality predicate for sorted sets of LR(0) items.

Package

yacc.

Source

yacc.lisp.

Function: item-shift (item &optional n)
Package

yacc.

Source

yacc.lisp.

Function: item-symbol (item)
Package

yacc.

Source

yacc.lisp.

Function: item< (i1 i2)

Total strict order on LR(0) items.

Package

yacc.

Source

yacc.lisp.

Function: items-closure (items grammar)

Compute the closure of a set of LR(1) items.

Package

yacc.

Source

yacc.lisp.

Reader: kernel-gotos (instance)
Writer: (setf kernel-gotos) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

gotos.

Reader: kernel-id (instance)
Writer: (setf kernel-id) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

id.

Function: kernel-item (kernel)

The item in a singleton set of items.

Package

yacc.

Source

yacc.lisp.

Reader: kernel-items (instance)
Writer: (setf kernel-items) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

items.

Function: kernel-p (object)
Package

yacc.

Source

yacc.lisp.

Function: lr0-item-p (object)
Package

yacc.

Source

yacc.lisp.

Function: lr1-add (item collection)

Add ITEM to COLLECTION.

Package

yacc.

Source

yacc.lisp.

Function: lr1-add-collection (items collection)

Add all the elements of ITEMS to COLLECTION.

Package

yacc.

Source

yacc.lisp.

Function: lr1-collection-empty-p (collection)
Package

yacc.

Source

yacc.lisp.

Function: lr1-find (item collection)

Find an LR(1) item equal to ITEM in COLLECTION, or NIL.

Package

yacc.

Source

yacc.lisp.

Function: lr1-item-p (object)
Package

yacc.

Source

yacc.lisp.

Function: lr1-item-shift (item &optional n)
Package

yacc.

Source

yacc.lisp.

Function: make-accept-action (&key)
Package

yacc.

Source

yacc.lisp.

Function: make-goto (symbol target)
Package

yacc.

Source

yacc.lisp.

Function: make-hash-table-from-lr1-list (l)
Package

yacc.

Source

yacc.lisp.

Function: make-item (production position)
Package

yacc.

Source

yacc.lisp.

Function: make-kernel (items &optional kernels)
Package

yacc.

Source

yacc.lisp.

Function: make-lr1-collection (&optional same-kind-as)
Package

yacc.

Source

yacc.lisp.

Function: make-lr1-item (production position lookahead)
Package

yacc.

Source

yacc.lisp.

Function: make-reduce-action (symbol length &key action action-form)
Package

yacc.

Source

yacc.lisp.

Function: make-shift-action (state)
Package

yacc.

Source

yacc.lisp.

Function: map-lr1-collection (f collection)

Apply F to all elements of COLLECTION.

Package

yacc.

Source

yacc.lisp.

Function: memq (item list)

MEMBER :TEST #’EQ

Package

yacc.

Source

yacc.lisp.

Function: number-kernels (kernels)

Set a unique ID for all kernels in KERNELS.

Package

yacc.

Source

yacc.lisp.

Function: parse-grammar (forms)
Package

yacc.

Source

yacc.lisp.

Function: parse-production (form)
Package

yacc.

Source

yacc.lisp.

Reader: parser-action (instance)
Writer: (setf parser-action) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

action.

Reader: parser-goto (instance)
Writer: (setf parser-goto) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

goto.

Function: parser-p (object)
Package

yacc.

Source

yacc.lisp.

Reader: parser-states (instance)
Writer: (setf parser-states) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

states.

Function: print-action (a s d)
Package

yacc.

Source

yacc.lisp.

Function: print-derives-epsilon (grammar &optional stream)
Package

yacc.

Source

yacc.lisp.

Function: print-first-terminals (grammar &optional stream)

Print FIRST (without epsilon) for all symbols of GRAMMAR.

Package

yacc.

Source

yacc.lisp.

Function: print-goto-graph (kernels &optional stream)

Print the goto graph defined by KERNELS.

Package

yacc.

Source

yacc.lisp.

Function: print-item (i s d)
Package

yacc.

Source

yacc.lisp.

Function: print-kernel (k s d)
Package

yacc.

Source

yacc.lisp.

Function: print-production (p s d)
Package

yacc.

Source

yacc.lisp.

Function: print-states (kernels lookaheads &optional stream)
Package

yacc.

Source

yacc.lisp.

Reader: production-action (instance)
Writer: (setf production-action) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

action.

Reader: production-action-form (instance)
Writer: (setf production-action-form) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

action-form.

Reader: production-derives (instance)
Writer: (setf production-derives) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

derives.

Function: production-equal-p (p1 p2)

Equality predicate for productions within a single grammar

Package

yacc.

Source

yacc.lisp.

Reader: production-id (instance)
Writer: (setf production-id) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

id.

Function: production-p (object)
Package

yacc.

Source

yacc.lisp.

Reader: production-symbol (instance)
Writer: (setf production-symbol) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

symbol.

Function: production< (p1 p2)

Total order on productions within a single grammar

Package

yacc.

Source

yacc.lisp.

Reader: reduce-action-action (instance)
Writer: (setf reduce-action-action) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

action.

Reader: reduce-action-action-form (instance)
Writer: (setf reduce-action-action-form) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

action-form.

Reader: reduce-action-length (instance)
Writer: (setf reduce-action-length) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

length.

Function: reduce-action-p (object)
Package

yacc.

Source

yacc.lisp.

Reader: reduce-action-symbol (instance)
Writer: (setf reduce-action-symbol) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

symbol.

Function: relative-first (s a grammar &optional seen)

Union of FIRST(eta) for all the eta s.t. S rm->* Aeta.

Package

yacc.

Source

yacc.lisp.

Function: relative-first-sequence (s a grammar &optional seen)

Sequence version of RELATIVE-FIRST.

Package

yacc.

Source

yacc.lisp.

Function: required-argument ()
Package

yacc.

Source

yacc.lisp.

Function: sequence-derives-epsilon (sequence grammar)

Sequence version of DERIVES-EPSILON*.

Package

yacc.

Source

yacc.lisp.

Function: sequence-derives-first (sequence grammar &optional seen)

Sequence version of DERIVES-FIRST.

Package

yacc.

Source

yacc.lisp.

Function: sequence-derives-first-terminal (sequence grammar &optional seen)

Sequence version of DERIVES-FIRST-TERMINAL.

Package

yacc.

Source

yacc.lisp.

Function: sequence-first (s grammar)

FIRST(s).

Package

yacc.

Source

yacc.lisp.

Function: sequence-first-terminals (s grammar)

Sequence version of FIRST-TERMINALS.

Package

yacc.

Source

yacc.lisp.

Function: shift-action-p (object)
Package

yacc.

Source

yacc.lisp.

Reader: shift-action-state (instance)
Writer: (setf shift-action-state) (instance)
Package

yacc.

Source

yacc.lisp.

Target Slot

state.

Function: terminal-p (symbol grammar)
Package

yacc.

Source

yacc.lisp.


5.2.4 Generic functions

Generic Reader: conflict-summary-warning-reduce-reduce (condition)
Package

yacc.

Methods
Reader Method: conflict-summary-warning-reduce-reduce ((condition conflict-summary-warning))
Source

yacc.lisp.

Target Slot

reduce-reduce.

Generic Reader: conflict-summary-warning-shift-reduce (condition)
Package

yacc.

Methods
Reader Method: conflict-summary-warning-shift-reduce ((condition conflict-summary-warning))
Source

yacc.lisp.

Target Slot

shift-reduce.

Generic Reader: conflict-warning-kind (condition)
Package

yacc.

Methods
Reader Method: conflict-warning-kind ((condition conflict-warning))
Source

yacc.lisp.

Target Slot

kind.

Generic Reader: conflict-warning-state (condition)
Package

yacc.

Methods
Reader Method: conflict-warning-state ((condition conflict-warning))
Source

yacc.lisp.

Target Slot

state.

Generic Reader: conflict-warning-terminal (condition)
Package

yacc.

Methods
Reader Method: conflict-warning-terminal ((condition conflict-warning))
Source

yacc.lisp.

Target Slot

terminal.


5.2.5 Structures

Structure: accept-action
Package

yacc.

Source

yacc.lisp.

Direct superclasses

action.

Direct methods

make-load-form.

Structure: action
Package

yacc.

Source

yacc.lisp.

Direct superclasses

structure-object.

Direct subclasses
Direct methods

print-object.

Structure: goto
Package

yacc.

Source

yacc.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: symbol
Package

common-lisp.

Type

symbol

Readers

goto-symbol.

Writers

(setf goto-symbol).

Slot: target
Type

yacc::kernel

Initform

(yacc::required-argument)

Readers

goto-target.

Writers

(setf goto-target).

Structure: grammar
Package

yacc.

Source

yacc.lisp.

Direct superclasses

structure-object.

Direct methods

make-load-form.

Direct slots
Slot: name
Readers

grammar-name.

Writers

(setf grammar-name).

Slot: terminals
Type

list

Initform

(quote nil)

Readers

grammar-terminals.

Writers

(setf grammar-terminals).

Slot: precedence
Type

list

Initform

(quote nil)

Readers

grammar-precedence.

Writers

(setf grammar-precedence).

Slot: productions
Type

list

Initform

(quote nil)

Readers

grammar-productions.

Writers

(setf grammar-productions).

Slot: %symbols
Type

(or list (member :undefined))

Initform

:undefined

Readers

grammar-%symbols.

Writers

(setf grammar-%symbols).

Slot: derives-epsilon
Type

list

Initform

(quote nil)

Readers

grammar-derives-epsilon.

Writers

(setf grammar-derives-epsilon).

Slot: derives-first
Type

list

Initform

(quote nil)

Readers

grammar-derives-first.

Writers

(setf grammar-derives-first).

Slot: derives-first-terminal
Type

list

Initform

(quote nil)

Readers

grammar-derives-first-terminal.

Writers

(setf grammar-derives-first-terminal).

Structure: item
Package

yacc.

Source

yacc.lisp.

Direct superclasses

structure-object.

Direct subclasses
Direct methods

print-object.

Direct slots
Slot: production
Type

yacc::production

Initform

(yacc::required-argument)

Readers

item-production.

Writers

(setf item-production).

Slot: position
Package

common-lisp.

Type

yacc::index

Initform

(yacc::required-argument)

Readers

item-position.

Writers

(setf item-position).

Structure: kernel
Package

yacc.

Source

yacc.lisp.

Direct superclasses

structure-object.

Direct methods

print-object.

Direct slots
Slot: id
Type

(or null yacc::index)

Readers

kernel-id.

Writers

(setf kernel-id).

Slot: items
Type

list

Initform

(quote nil)

Readers

kernel-items.

Writers

(setf kernel-items).

Slot: gotos
Type

list

Initform

(quote nil)

Readers

kernel-gotos.

Writers

(setf kernel-gotos).

Structure: lr0-item
Package

yacc.

Source

yacc.lisp.

Direct superclasses

item.

Direct slots
Slot: lookaheads
Type

list

Initform

(quote nil)

Readers

item-lookaheads.

Writers

(setf item-lookaheads).

Structure: lr1-item
Package

yacc.

Source

yacc.lisp.

Direct superclasses

item.

Direct slots
Slot: lookahead
Type

symbol

Initform

(yacc::required-argument)

Readers

item-lookahead.

Writers

(setf item-lookahead).

Structure: parser
Package

yacc.

Source

yacc.lisp.

Direct superclasses

structure-object.

Direct methods

make-load-form.

Direct slots
Slot: states
Type

yacc::index

Initform

(yacc::required-argument)

Readers

parser-states.

Writers

(setf parser-states).

Slot: goto
Type

simple-vector

Initform

(yacc::required-argument)

Readers

parser-goto.

Writers

(setf parser-goto).

Slot: action
Type

simple-vector

Initform

(yacc::required-argument)

Readers

parser-action.

Writers

(setf parser-action).

Structure: production
Package

yacc.

Source

yacc.lisp.

Direct superclasses

structure-object.

Direct methods
Direct slots
Slot: id
Type

(or null yacc::index)

Readers

production-id.

Writers

(setf production-id).

Slot: symbol
Package

common-lisp.

Type

symbol

Initform

(yacc::required-argument)

Readers

production-symbol.

Writers

(setf production-symbol).

Slot: derives
Type

list

Initform

(yacc::required-argument)

Readers

production-derives.

Writers

(setf production-derives).

Slot: action
Type

function

Initform

(function list)

Readers

production-action.

Writers

(setf production-action).

Slot: action-form
Readers

production-action-form.

Writers

(setf production-action-form).

Structure: reduce-action
Package

yacc.

Source

yacc.lisp.

Direct superclasses

action.

Direct methods

make-load-form.

Direct slots
Slot: symbol
Package

common-lisp.

Type

symbol

Initform

(yacc::required-argument)

Readers

reduce-action-symbol.

Writers

(setf reduce-action-symbol).

Slot: length
Package

common-lisp.

Type

yacc::index

Initform

(yacc::required-argument)

Readers

reduce-action-length.

Writers

(setf reduce-action-length).

Slot: action
Type

function

Initform

(function list)

Readers

reduce-action-action.

Writers

(setf reduce-action-action).

Slot: action-form
Readers

reduce-action-action-form.

Writers

(setf reduce-action-action-form).

Structure: shift-action
Package

yacc.

Source

yacc.lisp.

Direct superclasses

action.

Direct methods

make-load-form.

Direct slots
Slot: state
Type

yacc::index

Initform

(yacc::required-argument)

Readers

shift-action-state.

Writers

(setf shift-action-state).


5.2.6 Types

Type: index ()
Package

yacc.

Source

yacc.lisp.

Type: lr1-collection ()
Package

yacc.

Source

yacc.lisp.

Type: signed-index ()
Package

yacc.

Source

yacc.lisp.


Appendix A Indexes


A.1 Concepts


A.2 Functions

Jump to:   %   (  
A   C   D   F   G   H   I   K   L   M   N   P   R   S   T   Y  
Index Entry  Section

%
%copy-item: Private ordinary functions
%make-grammar: Private ordinary functions
%make-kernel: Private ordinary functions
%make-parser: Private ordinary functions

(
(setf goto-symbol): Private ordinary functions
(setf goto-target): Private ordinary functions
(setf grammar-%symbols): Private ordinary functions
(setf grammar-derives-epsilon): Private ordinary functions
(setf grammar-derives-first): Private ordinary functions
(setf grammar-derives-first-terminal): Private ordinary functions
(setf grammar-name): Private ordinary functions
(setf grammar-precedence): Private ordinary functions
(setf grammar-productions): Private ordinary functions
(setf grammar-terminals): Private ordinary functions
(setf item-lookahead): Private ordinary functions
(setf item-lookaheads): Private ordinary functions
(setf item-position): Private ordinary functions
(setf item-production): Private ordinary functions
(setf kernel-gotos): Private ordinary functions
(setf kernel-id): Private ordinary functions
(setf kernel-items): Private ordinary functions
(setf parser-action): Private ordinary functions
(setf parser-goto): Private ordinary functions
(setf parser-states): Private ordinary functions
(setf production-action): Private ordinary functions
(setf production-action-form): Private ordinary functions
(setf production-derives): Private ordinary functions
(setf production-id): Private ordinary functions
(setf production-symbol): Private ordinary functions
(setf reduce-action-action): Private ordinary functions
(setf reduce-action-action-form): Private ordinary functions
(setf reduce-action-length): Private ordinary functions
(setf reduce-action-symbol): Private ordinary functions
(setf shift-action-state): Private ordinary functions

A
accept-action-p: Private ordinary functions
action-equal-p: Private ordinary functions
action-p: Private ordinary functions

C
clear-lr1-collection: Private ordinary functions
combine-first: Private ordinary functions
compute-all-lookaheads: Private ordinary functions
compute-goto: Private ordinary functions
compute-kernels: Private ordinary functions
compute-lookaheads: Private ordinary functions
compute-parsing-tables: Private ordinary functions
conflict-summary-warning-reduce-reduce: Private generic functions
conflict-summary-warning-reduce-reduce: Private generic functions
conflict-summary-warning-shift-reduce: Private generic functions
conflict-summary-warning-shift-reduce: Private generic functions
conflict-warning-kind: Private generic functions
conflict-warning-kind: Private generic functions
conflict-warning-state: Private generic functions
conflict-warning-state: Private generic functions
conflict-warning-terminal: Private generic functions
conflict-warning-terminal: Private generic functions
copy-accept-action: Private ordinary functions
copy-action: Private ordinary functions
copy-goto: Private ordinary functions
copy-grammar: Private ordinary functions
copy-kernel: Private ordinary functions
copy-lr0-item: Private ordinary functions
copy-lr1-item: Private ordinary functions
copy-parser: Private ordinary functions
copy-production: Private ordinary functions
copy-reduce-action: Private ordinary functions
copy-shift-action: Private ordinary functions

D
define-grammar: Public macros
define-parser: Public macros
derives-epsilon: Private ordinary functions
derives-epsilon*: Private ordinary functions
derives-first: Private ordinary functions
derives-first-terminal: Private ordinary functions
do-lr1-collection: Private macros

F
find-goto: Private ordinary functions
find-precedence: Private ordinary functions
find-single-terminal: Private ordinary functions
first-terminals: Private ordinary functions
Function, %copy-item: Private ordinary functions
Function, %make-grammar: Private ordinary functions
Function, %make-kernel: Private ordinary functions
Function, %make-parser: Private ordinary functions
Function, (setf goto-symbol): Private ordinary functions
Function, (setf goto-target): Private ordinary functions
Function, (setf grammar-%symbols): Private ordinary functions
Function, (setf grammar-derives-epsilon): Private ordinary functions
Function, (setf grammar-derives-first): Private ordinary functions
Function, (setf grammar-derives-first-terminal): Private ordinary functions
Function, (setf grammar-name): Private ordinary functions
Function, (setf grammar-precedence): Private ordinary functions
Function, (setf grammar-productions): Private ordinary functions
Function, (setf grammar-terminals): Private ordinary functions
Function, (setf item-lookahead): Private ordinary functions
Function, (setf item-lookaheads): Private ordinary functions
Function, (setf item-position): Private ordinary functions
Function, (setf item-production): Private ordinary functions
Function, (setf kernel-gotos): Private ordinary functions
Function, (setf kernel-id): Private ordinary functions
Function, (setf kernel-items): Private ordinary functions
Function, (setf parser-action): Private ordinary functions
Function, (setf parser-goto): Private ordinary functions
Function, (setf parser-states): Private ordinary functions
Function, (setf production-action): Private ordinary functions
Function, (setf production-action-form): Private ordinary functions
Function, (setf production-derives): Private ordinary functions
Function, (setf production-id): Private ordinary functions
Function, (setf production-symbol): Private ordinary functions
Function, (setf reduce-action-action): Private ordinary functions
Function, (setf reduce-action-action-form): Private ordinary functions
Function, (setf reduce-action-length): Private ordinary functions
Function, (setf reduce-action-symbol): Private ordinary functions
Function, (setf shift-action-state): Private ordinary functions
Function, accept-action-p: Private ordinary functions
Function, action-equal-p: Private ordinary functions
Function, action-p: Private ordinary functions
Function, clear-lr1-collection: Private ordinary functions
Function, combine-first: Private ordinary functions
Function, compute-all-lookaheads: Private ordinary functions
Function, compute-goto: Private ordinary functions
Function, compute-kernels: Private ordinary functions
Function, compute-lookaheads: Private ordinary functions
Function, compute-parsing-tables: Private ordinary functions
Function, copy-accept-action: Private ordinary functions
Function, copy-action: Private ordinary functions
Function, copy-goto: Private ordinary functions
Function, copy-grammar: Private ordinary functions
Function, copy-kernel: Private ordinary functions
Function, copy-lr0-item: Private ordinary functions
Function, copy-lr1-item: Private ordinary functions
Function, copy-parser: Private ordinary functions
Function, copy-production: Private ordinary functions
Function, copy-reduce-action: Private ordinary functions
Function, copy-shift-action: Private ordinary functions
Function, derives-epsilon: Private ordinary functions
Function, derives-epsilon*: Private ordinary functions
Function, derives-first: Private ordinary functions
Function, derives-first-terminal: Private ordinary functions
Function, find-goto: Private ordinary functions
Function, find-precedence: Private ordinary functions
Function, find-single-terminal: Private ordinary functions
Function, first-terminals: Private ordinary functions
Function, goto-equal-p: Private ordinary functions
Function, goto-p: Private ordinary functions
Function, goto-symbol: Private ordinary functions
Function, goto-target: Private ordinary functions
Function, grammar-%symbols: Private ordinary functions
Function, grammar-derives-epsilon: Private ordinary functions
Function, grammar-derives-first: Private ordinary functions
Function, grammar-derives-first-terminal: Private ordinary functions
Function, grammar-discard-memos: Private ordinary functions
Function, grammar-epsilon-productions: Private ordinary functions
Function, grammar-name: Private ordinary functions
Function, grammar-p: Private ordinary functions
Function, grammar-precedence: Private ordinary functions
Function, grammar-productions: Private ordinary functions
Function, grammar-symbols: Private ordinary functions
Function, grammar-terminals: Private ordinary functions
Function, handle-conflict: Private ordinary functions
Function, item-action: Private ordinary functions
Function, item-action-form: Private ordinary functions
Function, item-derives: Private ordinary functions
Function, item-dot-left: Private ordinary functions
Function, item-dot-right: Private ordinary functions
Function, item-dot-right-p: Private ordinary functions
Function, item-dot-symbol: Private ordinary functions
Function, item-equal-p: Private ordinary functions
Function, item-lookahead: Private ordinary functions
Function, item-lookaheads: Private ordinary functions
Function, item-lr1-equal-p: Private ordinary functions
Function, item-lr1-hash-value: Private ordinary functions
Function, item-p: Private ordinary functions
Function, item-position: Private ordinary functions
Function, item-production: Private ordinary functions
Function, item-set-equal-p: Private ordinary functions
Function, item-shift: Private ordinary functions
Function, item-symbol: Private ordinary functions
Function, item<: Private ordinary functions
Function, items-closure: Private ordinary functions
Function, kernel-gotos: Private ordinary functions
Function, kernel-id: Private ordinary functions
Function, kernel-item: Private ordinary functions
Function, kernel-items: Private ordinary functions
Function, kernel-p: Private ordinary functions
Function, lr0-item-p: Private ordinary functions
Function, lr1-add: Private ordinary functions
Function, lr1-add-collection: Private ordinary functions
Function, lr1-collection-empty-p: Private ordinary functions
Function, lr1-find: Private ordinary functions
Function, lr1-item-p: Private ordinary functions
Function, lr1-item-shift: Private ordinary functions
Function, make-accept-action: Private ordinary functions
Function, make-goto: Private ordinary functions
Function, make-grammar: Public ordinary functions
Function, make-hash-table-from-lr1-list: Private ordinary functions
Function, make-item: Private ordinary functions
Function, make-kernel: Private ordinary functions
Function, make-lr1-collection: Private ordinary functions
Function, make-lr1-item: Private ordinary functions
Function, make-parser: Public ordinary functions
Function, make-production: Public ordinary functions
Function, make-reduce-action: Private ordinary functions
Function, make-shift-action: Private ordinary functions
Function, map-lr1-collection: Private ordinary functions
Function, memq: Private ordinary functions
Function, number-kernels: Private ordinary functions
Function, parse-grammar: Private ordinary functions
Function, parse-production: Private ordinary functions
Function, parse-with-lexer: Public ordinary functions
Function, parser-action: Private ordinary functions
Function, parser-goto: Private ordinary functions
Function, parser-p: Private ordinary functions
Function, parser-states: Private ordinary functions
Function, print-action: Private ordinary functions
Function, print-derives-epsilon: Private ordinary functions
Function, print-first-terminals: Private ordinary functions
Function, print-goto-graph: Private ordinary functions
Function, print-item: Private ordinary functions
Function, print-kernel: Private ordinary functions
Function, print-production: Private ordinary functions
Function, print-states: Private ordinary functions
Function, production-action: Private ordinary functions
Function, production-action-form: Private ordinary functions
Function, production-derives: Private ordinary functions
Function, production-equal-p: Private ordinary functions
Function, production-id: Private ordinary functions
Function, production-p: Private ordinary functions
Function, production-symbol: Private ordinary functions
Function, production<: Private ordinary functions
Function, reduce-action-action: Private ordinary functions
Function, reduce-action-action-form: Private ordinary functions
Function, reduce-action-length: Private ordinary functions
Function, reduce-action-p: Private ordinary functions
Function, reduce-action-symbol: Private ordinary functions
Function, relative-first: Private ordinary functions
Function, relative-first-sequence: Private ordinary functions
Function, required-argument: Private ordinary functions
Function, sequence-derives-epsilon: Private ordinary functions
Function, sequence-derives-first: Private ordinary functions
Function, sequence-derives-first-terminal: Private ordinary functions
Function, sequence-first: Private ordinary functions
Function, sequence-first-terminals: Private ordinary functions
Function, shift-action-p: Private ordinary functions
Function, shift-action-state: Private ordinary functions
Function, terminal-p: Private ordinary functions

G
Generic Function, conflict-summary-warning-reduce-reduce: Private generic functions
Generic Function, conflict-summary-warning-shift-reduce: Private generic functions
Generic Function, conflict-warning-kind: Private generic functions
Generic Function, conflict-warning-state: Private generic functions
Generic Function, conflict-warning-terminal: Private generic functions
Generic Function, yacc-parse-error-expected-terminals: Public generic functions
Generic Function, yacc-parse-error-terminal: Public generic functions
Generic Function, yacc-parse-error-value: Public generic functions
goto-equal-p: Private ordinary functions
goto-p: Private ordinary functions
goto-symbol: Private ordinary functions
goto-target: Private ordinary functions
grammar-%symbols: Private ordinary functions
grammar-derives-epsilon: Private ordinary functions
grammar-derives-first: Private ordinary functions
grammar-derives-first-terminal: Private ordinary functions
grammar-discard-memos: Private ordinary functions
grammar-epsilon-productions: Private ordinary functions
grammar-name: Private ordinary functions
grammar-p: Private ordinary functions
grammar-precedence: Private ordinary functions
grammar-productions: Private ordinary functions
grammar-symbols: Private ordinary functions
grammar-terminals: Private ordinary functions

H
handle-conflict: Private ordinary functions

I
item-action: Private ordinary functions
item-action-form: Private ordinary functions
item-derives: Private ordinary functions
item-dot-left: Private ordinary functions
item-dot-right: Private ordinary functions
item-dot-right-p: Private ordinary functions
item-dot-symbol: Private ordinary functions
item-equal-p: Private ordinary functions
item-lookahead: Private ordinary functions
item-lookaheads: Private ordinary functions
item-lr1-equal-p: Private ordinary functions
item-lr1-hash-value: Private ordinary functions
item-p: Private ordinary functions
item-position: Private ordinary functions
item-production: Private ordinary functions
item-set-equal-p: Private ordinary functions
item-shift: Private ordinary functions
item-symbol: Private ordinary functions
item<: Private ordinary functions
items-closure: Private ordinary functions

K
kernel-gotos: Private ordinary functions
kernel-id: Private ordinary functions
kernel-item: Private ordinary functions
kernel-items: Private ordinary functions
kernel-p: Private ordinary functions

L
lr0-item-p: Private ordinary functions
lr1-add: Private ordinary functions
lr1-add-collection: Private ordinary functions
lr1-collection-empty-p: Private ordinary functions
lr1-find: Private ordinary functions
lr1-item-p: Private ordinary functions
lr1-item-shift: Private ordinary functions

M
Macro, define-grammar: Public macros
Macro, define-parser: Public macros
Macro, do-lr1-collection: Private macros
make-accept-action: Private ordinary functions
make-goto: Private ordinary functions
make-grammar: Public ordinary functions
make-hash-table-from-lr1-list: Private ordinary functions
make-item: Private ordinary functions
make-kernel: Private ordinary functions
make-load-form: Public standalone methods
make-load-form: Public standalone methods
make-load-form: Public standalone methods
make-load-form: Public standalone methods
make-load-form: Public standalone methods
make-load-form: Public standalone methods
make-lr1-collection: Private ordinary functions
make-lr1-item: Private ordinary functions
make-parser: Public ordinary functions
make-production: Public ordinary functions
make-reduce-action: Private ordinary functions
make-shift-action: Private ordinary functions
map-lr1-collection: Private ordinary functions
memq: Private ordinary functions
Method, conflict-summary-warning-reduce-reduce: Private generic functions
Method, conflict-summary-warning-shift-reduce: Private generic functions
Method, conflict-warning-kind: Private generic functions
Method, conflict-warning-state: Private generic functions
Method, conflict-warning-terminal: Private generic functions
Method, make-load-form: Public standalone methods
Method, make-load-form: Public standalone methods
Method, make-load-form: Public standalone methods
Method, make-load-form: Public standalone methods
Method, make-load-form: Public standalone methods
Method, make-load-form: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, yacc-parse-error-expected-terminals: Public generic functions
Method, yacc-parse-error-terminal: Public generic functions
Method, yacc-parse-error-value: Public generic functions

N
number-kernels: Private ordinary functions

P
parse-grammar: Private ordinary functions
parse-production: Private ordinary functions
parse-with-lexer: Public ordinary functions
parser-action: Private ordinary functions
parser-goto: Private ordinary functions
parser-p: Private ordinary functions
parser-states: Private ordinary functions
print-action: Private ordinary functions
print-derives-epsilon: Private ordinary functions
print-first-terminals: Private ordinary functions
print-goto-graph: Private ordinary functions
print-item: Private ordinary functions
print-kernel: Private ordinary functions
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-production: Private ordinary functions
print-states: Private ordinary functions
production-action: Private ordinary functions
production-action-form: Private ordinary functions
production-derives: Private ordinary functions
production-equal-p: Private ordinary functions
production-id: Private ordinary functions
production-p: Private ordinary functions
production-symbol: Private ordinary functions
production<: Private ordinary functions

R
reduce-action-action: Private ordinary functions
reduce-action-action-form: Private ordinary functions
reduce-action-length: Private ordinary functions
reduce-action-p: Private ordinary functions
reduce-action-symbol: Private ordinary functions
relative-first: Private ordinary functions
relative-first-sequence: Private ordinary functions
required-argument: Private ordinary functions

S
sequence-derives-epsilon: Private ordinary functions
sequence-derives-first: Private ordinary functions
sequence-derives-first-terminal: Private ordinary functions
sequence-first: Private ordinary functions
sequence-first-terminals: Private ordinary functions
shift-action-p: Private ordinary functions
shift-action-state: Private ordinary functions

T
terminal-p: Private ordinary functions

Y
yacc-parse-error-expected-terminals: Public generic functions
yacc-parse-error-expected-terminals: Public generic functions
yacc-parse-error-terminal: Public generic functions
yacc-parse-error-terminal: Public generic functions
yacc-parse-error-value: Public generic functions
yacc-parse-error-value: Public generic functions


A.3 Variables

Jump to:   %   *  
A   D   E   G   I   K   L   N   P   R   S   T   V  
Index Entry  Section

%
%symbols: Private structures

*
*items-closure-hash-threshold*: Private special variables

A
action: Private structures
action: Private structures
action: Private structures
action-form: Private structures
action-form: Private structures

D
derives: Private structures
derives-epsilon: Private structures
derives-first: Private structures
derives-first-terminal: Private structures

E
expected-terminals: Public conditions

G
goto: Private structures
gotos: Private structures

I
id: Private structures
id: Private structures
items: Private structures

K
kind: Public conditions

L
length: Private structures
lookahead: Private structures
lookaheads: Private structures

N
name: Private structures

P
position: Private structures
precedence: Private structures
production: Private structures
productions: Private structures

R
reduce-reduce: Public conditions

S
shift-reduce: Public conditions
Slot, %symbols: Private structures
Slot, action: Private structures
Slot, action: Private structures
Slot, action: Private structures
Slot, action-form: Private structures
Slot, action-form: Private structures
Slot, derives: Private structures
Slot, derives-epsilon: Private structures
Slot, derives-first: Private structures
Slot, derives-first-terminal: Private structures
Slot, expected-terminals: Public conditions
Slot, goto: Private structures
Slot, gotos: Private structures
Slot, id: Private structures
Slot, id: Private structures
Slot, items: Private structures
Slot, kind: Public conditions
Slot, length: Private structures
Slot, lookahead: Private structures
Slot, lookaheads: Private structures
Slot, name: Private structures
Slot, position: Private structures
Slot, precedence: Private structures
Slot, production: Private structures
Slot, productions: Private structures
Slot, reduce-reduce: Public conditions
Slot, shift-reduce: Public conditions
Slot, state: Public conditions
Slot, state: Private structures
Slot, states: Private structures
Slot, symbol: Private structures
Slot, symbol: Private structures
Slot, symbol: Private structures
Slot, target: Private structures
Slot, terminal: Public conditions
Slot, terminal: Public conditions
Slot, terminals: Private structures
Slot, value: Public conditions
Special Variable, *items-closure-hash-threshold*: Private special variables
state: Public conditions
state: Private structures
states: Private structures
symbol: Private structures
symbol: Private structures
symbol: Private structures

T
target: Private structures
terminal: Public conditions
terminal: Public conditions
terminals: Private structures

V
value: Public conditions


A.4 Data types

Jump to:   A   C   F   G   I   K   L   P   R   S   T   Y  
Index Entry  Section

A
accept-action: Private structures
action: Private structures

C
Condition, conflict-summary-warning: Public conditions
Condition, conflict-warning: Public conditions
Condition, yacc-compile-warning: Public conditions
Condition, yacc-parse-error: Public conditions
Condition, yacc-runtime-error: Public conditions
conflict-summary-warning: Public conditions
conflict-warning: Public conditions

F
File, yacc.asd: The yacc/yacc․asd file
File, yacc.lisp: The yacc/yacc․lisp file

G
goto: Private structures
grammar: Private structures

I
index: Private types
item: Private structures

K
kernel: Private structures

L
lr0-item: Private structures
lr1-collection: Private types
lr1-item: Private structures

P
Package, yacc: The yacc package
parser: Private structures
production: Private structures

R
reduce-action: Private structures

S
shift-action: Private structures
signed-index: Private types
Structure, accept-action: Private structures
Structure, action: Private structures
Structure, goto: Private structures
Structure, grammar: Private structures
Structure, item: Private structures
Structure, kernel: Private structures
Structure, lr0-item: Private structures
Structure, lr1-item: Private structures
Structure, parser: Private structures
Structure, production: Private structures
Structure, reduce-action: Private structures
Structure, shift-action: Private structures
System, yacc: The yacc system

T
Type, index: Private types
Type, lr1-collection: Private types
Type, signed-index: Private types

Y
yacc: The yacc system
yacc: The yacc package
yacc-compile-warning: Public conditions
yacc-parse-error: Public conditions
yacc-runtime-error: Public conditions
yacc.asd: The yacc/yacc․asd file
yacc.lisp: The yacc/yacc․lisp file