mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-16 18:31:32 +00:00
Add a schema for the diff format
This commit is contained in:
parent
c6d38cf090
commit
a127eb07b3
65
data/schema/diff.cfg
Normal file
65
data/schema/diff.cfg
Normal file
@ -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]
|
Loading…
x
Reference in New Issue
Block a user