public class DefaultProgressMonitor extends java.lang.Object implements ProgressMonitor
ProgressMonitor.| Modifier and Type | Field and Description |
|---|---|
static int |
earleyFrequency
The default update interval (number of tokens).
|
static int |
gllFrequency
The default update interval (number of states).
|
static long |
minimumTimeInterval |
| Constructor and Description |
|---|
DefaultProgressMonitor()
Create a progress monitor.
|
| Modifier and Type | Method and Description |
|---|---|
void |
finished(GearleyParser parser)
Finish the monitor.
|
void |
progress(GearleyParser parser,
int tokens)
Report progress.
|
int |
starting(GearleyParser parser,
int tokens)
Start the monitor.
|
void |
workingSet(GearleyParser parser,
int size,
int highwater)
Report progress.
|
public static int earleyFrequency
public static int gllFrequency
public static long minimumTimeInterval
public DefaultProgressMonitor()
public int starting(GearleyParser parser, int tokens)
starting in interface ProgressMonitorparser - the parsertokens - the total size of the inputpublic void progress(GearleyParser parser, int tokens)
This implementation just prints a simple message to System.out.
progress in interface ProgressMonitorparser - the parsertokens - the number of tokens processed so far.public void workingSet(GearleyParser parser, int size, int highwater)
This implementation just prints a simple message to System.out.
workingSet in interface ProgressMonitorparser - the parsersize - the number of items that remain in the working set.highwater - the last token seen.public void finished(GearleyParser parser)
finished in interface ProgressMonitorparser - the parser