1 files changed, 52 insertions, 0 deletions
diff --git a/plugins/org.eclipse.net4j.db/src/org/eclipse/net4j/spi/db/ddl/InternalDBNamedElement.java b/plugins/org.eclipse.net4j.db/src/org/eclipse/net4j/spi/db/ddl/InternalDBNamedElement.java
index 7203fe8f4e..5ee15948ca 100644
--- a/plugins/org.eclipse.net4j.db/src/org/eclipse/net4j/spi/db/ddl/InternalDBNamedElement.java
+++ b/plugins/org.eclipse.net4j.db/src/org/eclipse/net4j/spi/db/ddl/InternalDBNamedElement.java
@@ -13,7 +13,12 @@ package org.eclipse.net4j.spi.db.ddl;
 import org.eclipse.net4j.db.ddl.IDBNamedElement;
 
 import java.io.IOException;
+import java.io.OutputStream;
+import java.io.OutputStreamWriter;
+import java.io.UnsupportedEncodingException;
 import java.io.Writer;
+import java.nio.charset.Charset;
+import java.nio.charset.CharsetEncoder;
 
 /**
  * @since 4.2
@@ -30,4 +35,51 @@ public interface InternalDBNamedElement extends IDBNamedElement, InternalDBEleme
   public void dump();
 
   public void dump(Writer writer) throws IOException;
+
+  /**
+   * @author Eike Stepper
+   * @since 4.8
+   */
+  public interface DumpFormat
+  {
+    public CharSequence getNewline();
+
+    public CharSequence getIndent();
+
+    /**
+     * @author Eike Stepper
+     */
+    public static class HTML extends OutputStreamWriter implements DumpFormat
+    {
+      public HTML(OutputStream out, Charset cs)
+      {
+        super(out, cs);
+      }
+
+      public HTML(OutputStream out, CharsetEncoder enc)
+      {
+        super(out, enc);
+      }
+
+      public HTML(OutputStream out, String charsetName) throws UnsupportedEncodingException
+      {
+        super(out, charsetName);
+      }
+
+      public HTML(OutputStream out)
+      {
+        super(out);
+      }
+
+      public CharSequence getNewline()
+      {
+        return "<br/>";
+      }
+
+      public CharSequence getIndent()
+      {
+        return "&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;";
+      }
+    }
+  }
 }