From 03a5b034218bb063e2caa11e08db976d0cd992ed Mon Sep 17 00:00:00 2001
From: Rick Giles <rickgiles>
Date: Fri, 13 Dec 2002 15:37:26 +0000
Subject: [PATCH] DTD for XMLLogger output

---
 docs/xmllogger.dtd | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 docs/xmllogger.dtd

diff --git a/docs/xmllogger.dtd b/docs/xmllogger.dtd
new file mode 100644
index 000000000..4e2335f65
--- /dev/null
+++ b/docs/xmllogger.dtd
@@ -0,0 +1,16 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!-- DTD for XMLLogger output -->
+
+<!ELEMENT checkstyle (file|error|exception)*>
+
+<!ELEMENT file (error|exception)*>
+<!ATTLIST file name CDATA #REQUIRED>
+
+<!ELEMENT error EMPTY>
+<!ATTLIST error
+    line NMTOKEN #REQUIRED
+    column NMTOKEN #IMPLIED
+    message CDATA #REQUIRED
+>
+
+<!ELEMENT exception (#PCDATA)>
\ No newline at end of file