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 ProgressMonitor
parser
- 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 ProgressMonitor
parser
- 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 ProgressMonitor
parser
- 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 ProgressMonitor
parser
- the parser