public String getBacktrackingReport() { StringBuilder buf = new StringBuilder(); buf.append("Backtracking report:"); buf.append(newline); buf.append("Number of decisions that backtrack: "); buf.append(grammar.decisionsWhoseDFAsUsesSynPreds.size()); buf.append(newline); buf.append(getDFALocations(grammar.decisionsWhoseDFAsUsesSynPreds)); return buf.toString(); }
public String getBacktrackingReport() { StringBuilder buf = new StringBuilder(); buf.append("Backtracking report:"); buf.append(newline); buf.append("Number of decisions that backtrack: "); buf.append(grammar.decisionsWhoseDFAsUsesSynPreds.size()); buf.append(newline); buf.append(getDFALocations(grammar.decisionsWhoseDFAsUsesSynPreds)); return buf.toString(); }
public String getBacktrackingReport() { StringBuffer buf = new StringBuffer(); buf.append("Backtracking report:"); buf.append(newline); buf.append("Number of decisions that backtrack: "); buf.append(grammar.decisionsWhoseDFAsUsesSynPreds.size()); buf.append(newline); buf.append(getDFALocations(grammar.decisionsWhoseDFAsUsesSynPreds)); return buf.toString(); }
public String getBacktrackingReport() { StringBuffer buf = new StringBuffer(); buf.append("Backtracking report:"); buf.append(newline); buf.append("Number of decisions that backtrack: "); buf.append(grammar.decisionsWhoseDFAsUsesSynPreds.size()); buf.append(newline); buf.append(getDFALocations(grammar.decisionsWhoseDFAsUsesSynPreds)); return buf.toString(); }
public String getAnalysisTimeoutReport() { StringBuffer buf = new StringBuffer(); buf.append("NFA conversion early termination report:"); buf.append(newline); buf.append("Number of NFA conversions that terminated early: "); buf.append(grammar.setOfDFAWhoseAnalysisTimedOut.size()); buf.append(newline); buf.append(getDFALocations(grammar.setOfDFAWhoseAnalysisTimedOut)); return buf.toString(); }