java/sql-dk/src/info/globalcode/sql/dk/formatting/AbstractXmlFormatter.java
branchv_0
changeset 136 c0f9521900bf
parent 132 f785ee7a70a2
child 152 7a3382823fc3
equal deleted inserted replaced
135:ef432015fdee 136:c0f9521900bf
    48 	public static final String PROPERTY_INDENT_TEXT = "indentText";
    48 	public static final String PROPERTY_INDENT_TEXT = "indentText";
    49 	private static final TerminalColor ELEMENT_COLOR = TerminalColor.Magenta;
    49 	private static final TerminalColor ELEMENT_COLOR = TerminalColor.Magenta;
    50 	private static final TerminalColor ATTRIBUTE_NAME_COLOR = TerminalColor.Green;
    50 	private static final TerminalColor ATTRIBUTE_NAME_COLOR = TerminalColor.Green;
    51 	private static final TerminalColor ATTRIBUTE_VALUE_COLOR = TerminalColor.Yellow;
    51 	private static final TerminalColor ATTRIBUTE_VALUE_COLOR = TerminalColor.Yellow;
    52 	private static final TerminalColor XML_DECLARATION_COLOR = TerminalColor.Red;
    52 	private static final TerminalColor XML_DECLARATION_COLOR = TerminalColor.Red;
       
    53 	private static final TerminalColor XML_DOCTYPE_COLOR = TerminalColor.Cyan;
    53 	private Stack<QName> treePosition = new Stack<>();
    54 	private Stack<QName> treePosition = new Stack<>();
    54 	private final ColorfulPrintWriter out;
    55 	private final ColorfulPrintWriter out;
    55 	private final String indent;
    56 	private final String indent;
    56 	private final boolean indentText;
    57 	private final boolean indentText;
    57 
    58 
    68 
    69 
    69 	}
    70 	}
    70 
    71 
    71 	protected void printStartDocument() {
    72 	protected void printStartDocument() {
    72 		out.print(XML_DECLARATION_COLOR, "<?xml version=\"1.0\" encoding=\"" + Charset.defaultCharset().name() + "\"?>");
    73 		out.print(XML_DECLARATION_COLOR, "<?xml version=\"1.0\" encoding=\"" + Charset.defaultCharset().name() + "\"?>");
       
    74 	}
       
    75 
       
    76 	protected void printDoctype(String doctype) {
       
    77 		out.print(XML_DOCTYPE_COLOR, "\n<!DOCTYPE " + doctype + ">");
    73 	}
    78 	}
    74 
    79 
    75 	protected void printEndDocument() {
    80 	protected void printEndDocument() {
    76 		out.println();
    81 		out.println();
    77 		out.flush();
    82 		out.flush();