public class StatisticsManager extends Object
| Modifier and Type | Field and Description |
|---|---|
static int |
MAX_REPORTS |
protected List<String> |
rawLines |
protected String |
type |
| Constructor and Description |
|---|
StatisticsManager(String type) |
| 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) |
public static final int MAX_REPORTS
protected String type
public StatisticsManager(String type)
public int getStatsCount()
public String getReadableString(int index)
public String getRawString(int index)
public boolean load()
protected boolean loadGUI()
protected boolean loadGrammar()
protected boolean loadRuntime()
protected boolean loadFromFile(String file)
protected void addRawLine(String line)
public void reset()
public static void reset(String type)
Copyright © 2013. All rights reserved.