Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorbvosburgh2012-04-04 12:24:04 -0400
committerbvosburgh2012-04-04 12:24:04 -0400
commit0a2659cfc217c2487ad0bb3b0f4669f1acaec074 (patch)
treead6de6926b4478de80ba43e5d4b6366ea62c0e74
parentf644bde151a63fe137c9bb47888ad230148f94f3 (diff)
downloadwebtools.dali-0a2659cfc217c2487ad0bb3b0f4669f1acaec074.tar.gz
webtools.dali-0a2659cfc217c2487ad0bb3b0f4669f1acaec074.tar.xz
webtools.dali-0a2659cfc217c2487ad0bb3b0f4669f1acaec074.zip
new constructor
-rw-r--r--common/plugins/org.eclipse.jpt.common.utility/src/org/eclipse/jpt/common/utility/IndentingPrintWriter.java12
1 files changed, 10 insertions, 2 deletions
diff --git a/common/plugins/org.eclipse.jpt.common.utility/src/org/eclipse/jpt/common/utility/IndentingPrintWriter.java b/common/plugins/org.eclipse.jpt.common.utility/src/org/eclipse/jpt/common/utility/IndentingPrintWriter.java
index 11641aa132..730a01ae5a 100644
--- a/common/plugins/org.eclipse.jpt.common.utility/src/org/eclipse/jpt/common/utility/IndentingPrintWriter.java
+++ b/common/plugins/org.eclipse.jpt.common.utility/src/org/eclipse/jpt/common/utility/IndentingPrintWriter.java
@@ -1,5 +1,5 @@
/*******************************************************************************
- * Copyright (c) 2005, 2010 Oracle. All rights reserved.
+ * Copyright (c) 2005, 2012 Oracle. All rights reserved.
* This program and the accompanying materials are made available under the
* terms of the Eclipse Public License v1.0, which accompanies this distribution
* and is available at http://www.eclipse.org/legal/epl-v10.html.
@@ -36,9 +36,17 @@ public class IndentingPrintWriter
* Construct a writer that indents with the specified string.
*/
public IndentingPrintWriter(Writer out, String indent) {
+ this(out, indent, 0);
+ }
+
+ /**
+ * Construct a writer that indents with the specified string
+ * and begins with the specified indent level.
+ */
+ public IndentingPrintWriter(Writer out, String indent, int initialIndentLevel) {
super(out);
this.indent = indent;
- this.indentLevel = 0;
+ this.indentLevel = initialIndentLevel;
this.needsIndent = true;
}

Back to the top