net.sf.jlinkgrammar

Class Resources

java.lang.Object

net.sf.jlinkgrammar.Resources

public class Resources
extends java.lang.Object

TODO add javadoc

Constructor Summary

Constructors

Constructor and Description
Resources()

Method Summary

Methods

Modifier and Type	Method and Description
(package private) void	printTime(ParseOptions opts, java.lang.String s) Print out the elapsed time since this was last called.
(package private) void	printTotalTime(ParseOptions opts) Print out time since last reset and total cumulative time.
(package private) void	reset() Reset start time for a new parsing run.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Resources

Resources()

Method Detail

reset

void reset()

Reset start time for a new parsing run.

printTime

void printTime(ParseOptions opts,
             java.lang.String s)

Print out the elapsed time since this was last called.

Parameters:

opts - control verbosity and output destination

s - Label to print

printTotalTime

void printTotalTime(ParseOptions opts)

Print out time since last reset and total cumulative time.

Parameters:

opts - control verbosity and output destination