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