/** Given a stats line suitable for sending to the antlr.org site, * return a human-readable version. Return null if there is a * problem with the data. */ @Override public String toString() { return toString(toNotifyString()); }
/** Given a stats line suitable for sending to the antlr.org site, * return a human-readable version. Return null if there is a * problem with the data. */ @Override public String toString() { return toString(toNotifyString()); }
/** Given a stats line suitable for sending to the antlr.org site, * return a human-readable version. Return null if there is a * problem with the data. */ public String toString() { return toString(toNotifyString()); }
/** Given a stats line suitable for sending to the antlr.org site, * return a human-readable version. Return null if there is a * problem with the data. */ public String toString() { return toString(toNotifyString()); }
public String getReadableString(int index) { if(index < 0 || index >= rawLines.size()) return null; else { String rawLine = rawLines.get(index); if(type.equals(StatisticsReporter.TYPE_GRAMMAR)) return GrammarReport.toString(rawLine); else if(type.equals(StatisticsReporter.TYPE_RUNTIME)) { // TJP removed 11/23/10 since we don't use anymore //return Profiler.toString(rawLine); return null; } else return StatisticsAW.shared().getReadableString(); } }
System.out.println(greport.toString());