public void printTableLine(PrintStream ps, int idx) { String[] line = table.get(idx); for (int i = 0; i < line.length; i++) { ps.print(String.format("%s%s", i > 0 ? "\t" : "", line[i])); } }
public void printHeaderLine(PrintStream ps) { for (int i = 0; i < header.size(); i++) { ps.print(String.format("%s%s", i > 0 ? "\t" : "", header.get(i))); } }