]> ocean-lang.org Git - ocean/commit
parsergen: calculate and record "min_prefix" for each state.
authorNeilBrown <neilb@suse.de>
Thu, 2 Oct 2014 10:51:36 +0000 (20:51 +1000)
committerNeilBrown <neilb@suse.de>
Thu, 2 Oct 2014 10:51:36 +0000 (20:51 +1000)
commit41fd3e529b1ea61cbced5ff8417aa5c5a9163edd
treec887b38806298a6680e31ec469e10ab55ef2d477
parent58c84c7457ecc82710909ae5f15a39ad16434659
parsergen: calculate and record "min_prefix" for each state.

This is needed to determine when we can cancel an TK_out.

Signed-off-by: NeilBrown <neil@brown.name>
csrc/parsergen.mdc