(check-for-reduce-reduce-conflict closure accept-items grammar k)
(check-for-shift-reduce-conflict closure accept-items grammar k)
(expected-terminals closure grammar)
Compute a set of terminals that might occur next in this state.
Compute a set of terminals that might occur next in this state.
(item-lookahead Item)
Access lookahead
field from a Item
record. See active.lawrence.lr/make-item
.
Access `lookahead` field from a [[Item]] record. See [[active.lawrence.lr/make-item]].
(item-position Item)
Access position
field from a Item
record. See active.lawrence.lr/make-item
.
Access `position` field from a [[Item]] record. See [[active.lawrence.lr/make-item]].
(item-production Item)
Access production
field from a Item
record. See active.lawrence.lr/make-item
.
Access `production` field from a [[Item]] record. See [[active.lawrence.lr/make-item]].
(item? thing)
Is object a Item
record? See active.lawrence.lr/make-item
.
Is object a `Item` record? See [[active.lawrence.lr/make-item]].
(make-ds-parse state-map-0 grammar k compute-closure state)
Returns [code new-state-map todo-states].
Returns [code new-state-map todo-states].
(make-item production position lookahead)
Construct a Item
record.
production
: access via active.lawrence.lr/item-production
position
: access via active.lawrence.lr/item-position
lookahead
: access via active.lawrence.lr/item-lookahead
Construct a `Item` record. `production`: access via [[active.lawrence.lr/item-production]] `position`: access via [[active.lawrence.lr/item-position]] `lookahead`: access via [[active.lawrence.lr/item-lookahead]]
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close