Class AutoIndentWriter

output/java/1.4.19/AutoIndentWriter.java:57–245

Essentially a char filter that knows how to auto-indent output by maintaining a stack of indent levels. The indent stack is a stack of strings so we can repeat original indent not just the same number of columns (don't have to worry about tabs vs spaces then). Anchors are char positions (tabs wo

public class AutoIndentWriter implements STWriter {
    /** Stack of indents. Use {@link List} as it's much faster than {@link Stack}. Grows
     *  from 0..n-1.
     */
    public List<String> indents = new ArrayList<String>();

    /** Stack of integer anchors (char positions in line); avoid {@link Integer}
     *  creation overhead.
     */
    public int[] anchors = new int[10];
    public int anchors_sp = -1;

    /** {@code \n} or {@code \r\n}? */
    public String newline;
    public Writer out = null;
    public boolean atStartOfLine = true;

    /**
     * Track char position in the line (later we can think about tabs). Indexed
     * from 0. We want to keep {@code charPosition <= }{@link #lineWidth}.
     * This is the position we are <em>about</em> to write, not the position
     * last written to.
     */
    public int charPosition = 0;

    /** The absolute char index into the output of the next char to be written. */
    public int charIndex = 0;
    public int lineWidth = NO_WRAP;
    public AutoIndentWriter(Writer out, String newline) {
        this.out = out;
        indents.add(null); // s oftart with no indent
        this.newline = newline;
    }

    public AutoIndentWriter(Writer out) {
        this(out, System.getProperty("line.separator"));
    }

    @Override
    public void setLineWidth(int lineWidth) {
        this.lineWidth = lineWidth;
    }

    @Override
    public void pushIndentation(String indent) {
        indents.add(indent);
    }

    @Override
    public String popIndentation() {
        return indents.remove(indents.size()-1);
    }

    @Override
    public void pushAnchorPoint() {
        if ( (anchors_sp+1) >= anchors.length ) {
            int[] a = new int[anchors.length*2];
            System.arraycopy(anchors, 0, a, 0, anchors.length-1);