RelaxNG/publiset.rnc
changeset 126 59658f3a4f6f
parent 117 fb3173d57512
child 127 efce69890bfd
--- a/RelaxNG/publiset.rnc	jeu. juil. 26 18:35:33 2012 +0200
+++ b/RelaxNG/publiset.rnc	lun. juil. 30 23:23:57 2012 +0200
@@ -263,6 +263,8 @@
 inlines = mixed {
    sup*
  & sub*
+ & name*
+ & highlight*
 }
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
@@ -271,6 +273,23 @@
 
 sub = element sub { inlines }
 
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ name ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+name = element name { name.attributes, name.content }
+
+name.attributes =
+   name.of.attribute?
+name.of.attribute = attribute of
+   { "person" | "company" | "book" | "newspaper" | "party" }
+
+name.content = inlines
+
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ highlight ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+highlight = element highlight { highlight.content }
+
+highlight.content = inlines
+
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ link ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 link = element link { link.attributes, link.content }