package lrgrep
Analyse the stack of a Menhir-generated LR parser using regular expressions
Install
dune-project
Dependency
Authors
Maintainers
Sources
lrgrep-0.3.tbz
sha256=84a1874d0c063da371e19c84243aac7c40bfcb9aaf204251e0eb0d1f077f2cde
sha512=5a16ff42a196fd741bc64a1bdd45b4dca0098633e73aa665829a44625ec15382891c3643fa210dbe3704336eab095d4024e093e37ae5313810f6754de6119d55
doc/kernel/Kernel/Info/Transition/index.html
Module Info.TransitionSource
Source
val of_goto :
'g grammar ->
'g goto_transition Fix.Indexing.index ->
'g transition Fix.Indexing.indexSource
val of_shift :
'g grammar ->
'g shift_transition Fix.Indexing.index ->
'g transition Fix.Indexing.indexSource
val split :
'g grammar ->
'g transition Fix.Indexing.index ->
('g goto_transition Fix.Indexing.index,
'g shift_transition Fix.Indexing.index)
Fix.Indexing.eitherSource
val find_goto :
'g grammar ->
'g lr1 Fix.Indexing.index ->
'g nonterminal Fix.Indexing.index ->
'g goto_transition Fix.Indexing.indexSource
val find_goto_target :
'g grammar ->
'g lr1 Fix.Indexing.index ->
'g nonterminal Fix.Indexing.index ->
'g lr1 Fix.Indexing.indexSource
val goto_symbol :
'g grammar ->
'g goto_transition Fix.Indexing.index ->
'g nonterminal Fix.Indexing.indexSource
val shift_symbol :
'g grammar ->
'g shift_transition Fix.Indexing.index ->
'g terminal Fix.Indexing.indexSource
val predecessors :
'g grammar ->
'g lr1 Fix.Indexing.index ->
'g transition Utils.Misc.indexsetSource
val find :
'g grammar ->
'g lr1 Fix.Indexing.index ->
'g lr1 Fix.Indexing.index ->
'g transition Fix.Indexing.index option