public String getBuffer() {
        StringBuilder b = new StringBuilder();
        for (Character c : buffer) {
            if (c == '\n')
                b.append("\\n");
            else if (c == '\t')
                b.append("\\t");
            else
                b.append(c);
        }
        return b.toString();
    }