org.antlr.works.stats

Class StatisticsManager

java.lang.Object

org.antlr.works.stats.StatisticsManager

public class StatisticsManager
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static int	MAX_REPORTS
protected List<String>	rawLines
protected String	type

Constructor Summary

Constructors

Constructor and Description
StatisticsManager(String type)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	addRawLine(String line)
static String	getAbsoluteFileName(String filename)
String	getRawString(int index)
String	getReadableString(int index)
int	getStatsCount()
boolean	load()
protected boolean	loadFromFile(String file)
protected boolean	loadGrammar()
protected boolean	loadGUI()
protected boolean	loadRuntime()
void	reset()
static void	reset(String type)

Methods inherited from class java.lang.Object

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

Field Detail

MAX_REPORTS

public static final int MAX_REPORTS

See Also:

Constant Field Values

type

protected String type

rawLines

protected List<String> rawLines

Constructor Detail

StatisticsManager

public StatisticsManager(String type)

Method Detail

getStatsCount

public int getStatsCount()

getReadableString

public String getReadableString(int index)

getRawString

public String getRawString(int index)

load

public boolean load()

loadGUI

protected boolean loadGUI()

loadGrammar

protected boolean loadGrammar()

loadRuntime

protected boolean loadRuntime()

loadFromFile

protected boolean loadFromFile(String file)

addRawLine

protected void addRawLine(String line)

reset

public void reset()

reset

public static void reset(String type)

getAbsoluteFileName

public static String getAbsoluteFileName(String filename)