/* * [The "BSD licence"] * Copyright (c) 2010 Ben Gruver * All rights reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions * are met: * 1. Redistributions of source code must retain the above copyright * notice, this list of conditions and the following disclaimer. * 2. Redistributions in binary form must reproduce the above copyright * notice, this list of conditions and the following disclaimer in the * documentation and/or other materials provided with the distribution. * 3. The name of the author may not be used to endorse or promote products * derived from this software without specific prior written permission. * * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT * INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ package org.jf.util; import java.io.IOException; import java.io.Writer; public class IndentingWriter extends Writer { private final Writer writer; private final char[] buffer = new char[16]; private int indentLevel = 0; private boolean beginningOfLine; private static final String newLine = System.getProperty("line.separator"); public IndentingWriter(Writer writer) { this.writer = writer; } @Override public void write(int chr) throws IOException { //synchronized(lock) { if (chr == '\n') { writer.write(newLine); beginningOfLine = true; } else { if (beginningOfLine) { for (int i=0; i<indentLevel; i++) { writer.write(' '); } } beginningOfLine = false; writer.write(chr); } //} } @Override public void write(char[] chars) throws IOException { //synchronized(lock) { for (char chr: chars) { write(chr); } //} } @Override public void write(char[] chars, int start, int len) throws IOException { //synchronized(lock) { len = start+len; while (start < len) { write(chars[start++]); } //} } @Override public void write(String s) throws IOException { //synchronized (lock) { for (int i=0; i<s.length(); i++) { write(s.charAt(i)); } //} } @Override public void write(String str, int start, int len) throws IOException { //synchronized(lock) { len = start+len; while (start < len) { write(str.charAt(start++)); } //} } @Override public Writer append(CharSequence charSequence) throws IOException { write(charSequence.toString()); return this; } @Override public Writer append(CharSequence charSequence, int start, int len) throws IOException { write(charSequence.subSequence(start, len).toString()); return this; } @Override public Writer append(char c) throws IOException { write(c); return this; } @Override public void flush() throws IOException { //synchronized(lock) { writer.flush(); //} } @Override public void close() throws IOException { //synchronized(lock) { writer.close(); //} } public void indent(int indentAmount) { //synchronized(lock) { this.indentLevel += indentAmount; if (indentLevel < 0) { indentLevel = 0; } //} } public void deindent(int indentAmount) { //synchronized(lock) { this.indentLevel -= indentAmount; if (indentLevel < 0) { indentLevel = 0; } //} } public void printLongAsHex(long value) throws IOException { int bufferIndex = 0; do { int digit = (int)(value & 15); if (digit < 10) { buffer[bufferIndex++] = (char)(digit + '0'); } else { buffer[bufferIndex++] = (char)((digit - 10) + 'a'); } value >>>= 4; } while (value != 0); while (bufferIndex>0) { write(buffer[--bufferIndex]); } } public void printIntAsDec(int value) throws IOException { int bufferIndex = 0; boolean negative = value < 0; do { int digit = value % 10; buffer[bufferIndex++] = (char)(digit + '0'); value = value / 10; } while (value != 0); if (negative) { write('-'); } while (bufferIndex>0) { write(buffer[--bufferIndex]); } } }