|
|
|
items(self)
An LALR(1) item of a grammar G is a
production of G with a dot at some position of the right
hand side and a list of terminals: is coded as a dictonary with key
(rule_number,dot_position) and value a set of terminals |
source code
|
|
|
|
|
goto(self,
items,
s)
goto(I,X) where I is a set of items and
X a grammar symbol is the closure of the set of all
items (A -> sX.r,a) such that (A ->
s.Xr,a) in I |
source code
|
|
|
closure(self,
items)
The closure of a set of LR(1) items I is the set of
items construted from I by the two rules: |
source code
|
|
|
|
|
|
|
NextToDot(self,
item)
returns symbol next to the dot or empty string |
source code
|
|
|
AfterDot(self,
item,
items)
returns FIRST of strings after the dot concatenated with lookahead |
source code
|
|
|
|
Inherited from LRtable :
__init__ ,
add_action ,
resolve_shift_reduce ,
rules_precedence
|