Add a schema for the diff format

wesnoth · Aug 31, 2019 · a127eb0 · a127eb0
1 parent c6d38cf
commit a127eb0
Showing 1 changed file with 65 additions and 0 deletions.
diff --git a/data/schema/diff.cfg b/data/schema/diff.cfg
@@ -0,0 +1,65 @@
+{./macros.cfg}
+[wml_schema]
+	[type]
+		name="string"
+		value=".*"
+	[/type]
+	[type]
+		name="delete"
+		value="x"
+	[/type]
+	[type]
+		name="index"
+		value="[0-9]+"
+	[/type]
+	[tag]
+		name="root"
+		[tag]
+			name="insert"
+			{ANY_KEY string}
+		[/tag]
+		[tag]
+			name="delete"
+			{ANY_KEY delete}
+		[/tag]
+		[tag]
+			name="insert_child"
+			any_tag=yes
+			max=infinite
+			[key]
+				name="index"
+				type="index"
+				mandatory=yes
+			[/key]
+		[/tag]
+		[tag]
+			name="delete_child"
+			max=infinite
+			[key]
+				name="index"
+				type="index"
+				mandatory=yes
+			[/key]
+			[tag]
+				name="*"
+			[/tag]
+		[/tag]
+		[tag]
+			name="change_child"
+			max=infinite
+			[key]
+				name="index"
+				type="index"
+				mandatory=yes
+			[/key]
+			[tag]
+				name="*"
+				{LINK_TAG insert}
+				{LINK_TAG delete}
+				{LINK_TAG insert_child}
+				{LINK_TAG delete_child}
+				{LINK_TAG change_child}
+			[/tag]
+		[/tag]
+	[/tag]
+[/wml_schema]