int (String indent) { int result = 0; for (int i = 0, length = indent.length(); i < length; i++) { final char c = indent.charAt(i); if (c == ' ') result++; else if (c == '\t') result += getTabSize(); else if (c != '\f') throw new AssertionError(indent); } return result; }