public interface ProgressMonitor
For each parse, the EarleyParser
will call starting
just before the parse begins, progress
periodically during the
parse, and finished
when the parse is complete.
Modifier and Type | Method and Description |
---|---|
void |
finished(GearleyParser parser)
Indicates that the parse has finished.
|
void |
progress(GearleyParser parser,
int tokens)
Indicates progress in the parse.
|
int |
starting(GearleyParser parser,
int tokens)
Indicates that the parse is about to begin.
|
void |
workingSet(GearleyParser parser,
int size,
int highwater)
Indicates progress in the parse.
|
int starting(GearleyParser parser, int tokens)
The value returned is a measure of the update frequency. The progress
method will be called every time that many tokens has been processed. A value of
zero (or a negative value) will disable the progress
callbacks, but
finished
will still be called.
parser
- the parsertokens
- the total size of the inputvoid progress(GearleyParser parser, int tokens)
parser
- the parsertokens
- the number of tokens processed so far.void workingSet(GearleyParser parser, int size, int highwater)
parser
- the parsersize
- the number of items left to process.highwater
- the last token seen.void finished(GearleyParser parser)
parser
- the parser