From 0fb4f14b28a50dd21cae045bb5ea24bb879f53b6 Mon Sep 17 00:00:00 2001
From: Roland Kaufmann <roland.kaufmann@uni.no>
Date: Mon, 13 May 2013 10:50:22 +0200
Subject: [PATCH] Provide DTD schema to describe parameter file format

Notice that this definition specifies a superset of the actual format
as the ParameterGroup tag is context-dependent (which cannot be captured
by DTD schemata).
---
 opm/core/utility/parameters/param.dtd | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 opm/core/utility/parameters/param.dtd

diff --git a/opm/core/utility/parameters/param.dtd b/opm/core/utility/parameters/param.dtd
new file mode 100644
index 00000000..37fcf8b6
--- /dev/null
+++ b/opm/core/utility/parameters/param.dtd
@@ -0,0 +1,26 @@
+<!-- parameter groups contains nested groups, values, or
+     inclusion from files (either at this level, or as a sub-group) -->
+<!ELEMENT ParameterGroup (ParameterGroup |
+                          Parameter |
+                          ParameterGroupFromFile |
+                          MergeWithFile)*>
+<!-- note: top-level group has implied name, sub-groups must be specified -->
+<!ATTLIST ParameterGroup name NMTOKEN #IMPLIED>
+
+<!-- single value parameters. filenames can have either relative or absolute paths -->
+<!ELEMENT Parameter EMPTY>
+<!ATTLIST Parameter type  (bool | int | double | string | file | cmdline) #REQUIRED
+                    name  NMTOKEN    #REQUIRED
+                    value CDATA      #REQUIRED
+>
+
+<!-- include parameters from another file, as a named sub-group
+     (the nameless top-level in that file becomes "name" in this) -->
+<!ELEMENT ParameterGroupFromFile EMPTY>
+<!ATTLIST ParameterGroupFromFile name  NMTOKEN  #REQUIRED
+                                 value CDATA    #REQUIRED
+>
+
+<!-- include parameters from another file as if they were given on this level -->
+<!ELEMENT MergeWithFile EMPTY>
+<!ATTLIST MergeWithFile value CDATA #REQUIRED>