RelaxNG/publiset.rnc
author Patrick PIERRE <patrick.pierre@prismallia.fr>
dim., 12 juin 2011 16:02:23 +0200
changeset 21 7c09024d5634
parent 20 79713ffae179
child 23 814ea44c2469
permissions -rw-r--r--
Correction coquilles
patrick@0
     1
# $Id$
patrick@0
     2
patrick@0
     3
start = publiset
patrick@0
     4
patrick@0
     5
patrick@0
     6
publiset = element publiset {
patrick@0
     7
   publiset.attributes,
patrick@0
     8
   publiset.content
patrick@0
     9
}
patrick@0
    10
patrick@0
    11
publiset.attributes =
patrick@0
    12
   version.attribute
patrick@0
    13
version.attribute = attribute version { "1.0" }
patrick@0
    14
patrick@0
    15
publiset.content =
patrick@0
    16
   (composition | selection)+
patrick@0
    17
patrick@0
    18
patrick@0
    19
# =============================================================================
patrick@20
    20
#                                  TOP LEVEL
patrick@0
    21
# =============================================================================
patrick@0
    22
patrick@0
    23
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ composition ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
    24
patrick@0
    25
composition = element composition {
patrick@0
    26
   composition.attributes,
patrick@0
    27
   composition.content
patrick@0
    28
}
patrick@0
    29
patrick@0
    30
composition.attributes =
patrick@0
    31
   composition.id.attribute
patrick@0
    32
 & base.attribute?
patrick@0
    33
 & remap.attributes
patrick@0
    34
composition.id.attribute = attribute xml:id { xsd:ID }
patrick@0
    35
base.attribute = attribute xml:base { xsd:anyURI }
patrick@0
    36
patrick@0
    37
composition.content =
patrick@20
    38
   composition.head?,
patrick@0
    39
   (composition.file | composition.division)+
patrick@0
    40
patrick@0
    41
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ selection ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
    42
patrick@0
    43
selection = element selection {
patrick@0
    44
   selection.attributes,
patrick@0
    45
   selection.content
patrick@0
    46
}
patrick@0
    47
patrick@0
    48
selection.attributes =
patrick@0
    49
   base.attribute?
patrick@0
    50
selection.id.attribute = attribute xml:id { xsd:ID }
patrick@0
    51
patrick@0
    52
selection.content =
patrick@20
    53
   selection.head?,
patrick@0
    54
   (selection.file | selection.division)+
patrick@0
    55
patrick@0
    56
patrick@0
    57
# =============================================================================
patrick@20
    58
#                                  HEAD LEVEL
patrick@0
    59
# =============================================================================
patrick@0
    60
patrick@20
    61
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
    62
patrick@20
    63
composition.head = element head { head.attributes, top.head.content }
patrick@20
    64
selection.head = element head { top.head.content }
patrick@20
    65
division.head = element head { division.head.content }
patrick@0
    66
patrick@20
    67
head.attributes =
patrick@0
    68
   remap.attributes
patrick@0
    69
patrick@20
    70
top.head.content =
patrick@18
    71
   (title, subtitle?)?
patrick@18
    72
 & language?
patrick@5
    73
 & author*
patrick@5
    74
 & publisher?
patrick@5
    75
 & source?
patrick@20
    76
division.head.content =
patrick@20
    77
   (title, subtitle?)?
patrick@20
    78
 & language?
patrick@0
    79
patrick@0
    80
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ title, subtitle ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
    81
patrick@0
    82
title = element title { title.content }
patrick@18
    83
subtitle = element subtitle { title.content }
patrick@2
    84
patrick@0
    85
title.content = inlines
patrick@0
    86
patrick@18
    87
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ language ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@18
    88
patrick@18
    89
language = element language { language.attributes }
patrick@18
    90
patrick@18
    91
language.attributes = lang.attribute
patrick@18
    92
lang.attribute = attribute xml:lang { xsd:language }
patrick@0
    93
patrick@5
    94
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ author, publisher ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@5
    95
patrick@5
    96
# ~~~~~~ author
patrick@5
    97
author = element author { author.content }
patrick@5
    98
patrick@5
    99
author.content =
patrick@5
   100
   firstname?,
patrick@5
   101
   lastname
patrick@5
   102
patrick@5
   103
# ~~~~~~ publisher
patrick@5
   104
publisher = element publisher { publisher.content }
patrick@5
   105
patrick@5
   106
publisher.content = inlines
patrick@5
   107
patrick@5
   108
# ~~~~~~ firstname
patrick@5
   109
firstname = element firstname { firstname.content }
patrick@5
   110
patrick@5
   111
firstname.content = inlines
patrick@5
   112
patrick@5
   113
# ~~~~~~ lastname
patrick@5
   114
lastname = element lastname { lastname.content }
patrick@5
   115
patrick@5
   116
lastname.content = inlines
patrick@5
   117
patrick@0
   118
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ source ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   119
patrick@2
   120
# ~~~~~~ source
patrick@0
   121
source = element source {
patrick@0
   122
   source.attributes,
patrick@0
   123
   (  (attribute type { "book" }, source.content.book)
patrick@0
   124
    | (attribute type { "file" }))
patrick@0
   125
}
patrick@0
   126
patrick@0
   127
source.attributes =
patrick@0
   128
   source.id.attribute?
patrick@0
   129
 & remap.attributes
patrick@0
   130
source.id.attribute = attribute id { xsd:NMTOKEN }
patrick@0
   131
patrick@0
   132
source.content.book =
patrick@0
   133
   title?,
patrick@0
   134
   pagenumber?
patrick@0
   135
patrick@2
   136
# ~~~~~~ pagenumber
patrick@0
   137
pagenumber = element pagenumber { pagenumber.attributes }
patrick@2
   138
patrick@0
   139
pagenumber.attributes =
patrick@0
   140
   pagenumber.value.attribute
patrick@0
   141
pagenumber.value.attribute = attribute value { pagenumber.value.enumeration }
patrick@0
   142
pagenumber.value.enumeration = xsd:positiveInteger
patrick@0
   143
patrick@0
   144
patrick@0
   145
# =============================================================================
patrick@20
   146
#                                DIVISION LEVEL
patrick@0
   147
# =============================================================================
patrick@0
   148
patrick@0
   149
composition.division = element division {
patrick@0
   150
   composition.division.attributes,
patrick@0
   151
   composition.division.content
patrick@0
   152
}
patrick@0
   153
selection.division = element division {
patrick@0
   154
   selection.division.attributes,
patrick@0
   155
   selection.division.content
patrick@0
   156
}
patrick@0
   157
patrick@0
   158
composition.division.attributes =
patrick@0
   159
   base.attribute?
patrick@0
   160
 & remap.attributes
patrick@0
   161
selection.division.attributes =
patrick@0
   162
   base.attribute?
patrick@0
   163
patrick@0
   164
composition.division.content =
patrick@20
   165
   composition.head?,
patrick@20
   166
   (composition.division | composition.file)+
patrick@0
   167
selection.division.content =
patrick@20
   168
   selection.head?,
patrick@20
   169
   (selection.division | selection.file)+
patrick@0
   170
patrick@0
   171
patrick@0
   172
# =============================================================================
patrick@20
   173
#                                  FILE LEVEL
patrick@0
   174
# =============================================================================
patrick@0
   175
patrick@0
   176
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ file ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   177
patrick@2
   178
composition.file = element file { composition.file.attributes, file.content }
patrick@2
   179
selection.file = element file { selection.file.attributes, file.content }
patrick@0
   180
patrick@0
   181
composition.file.attributes =
patrick@2
   182
   xpath.attribute?
patrick@20
   183
 & transform.attribute?
patrick@0
   184
 & remap.attributes
patrick@0
   185
selection.file.attributes =
patrick@2
   186
   xpath.attribute?
patrick@20
   187
 & transform.attribute?
patrick@0
   188
xpath.attribute = attribute xpath { text }
patrick@20
   189
transform.attribute =
patrick@20
   190
   attribute transform {list { (xsd:token {pattern = "(xsl|regex):\S+"})+ }}
patrick@0
   191
patrick@2
   192
file.content = xsd:anyURI
patrick@2
   193
   
patrick@0
   194
# =============================================================================
patrick@20
   195
#                                 INLINE LEVEL
patrick@0
   196
# =============================================================================
patrick@0
   197
patrick@0
   198
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ inlines ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   199
patrick@0
   200
inlines = mixed {
patrick@0
   201
   sup*
patrick@0
   202
 & sub*
patrick@0
   203
}
patrick@0
   204
patrick@0
   205
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   206
patrick@0
   207
sup = element sup { inlines }
patrick@0
   208
patrick@0
   209
sub = element sub { inlines }
patrick@0
   210
patrick@0
   211
patrick@0
   212
# =============================================================================
patrick@20
   213
#                               REMAP ATTRIBUTES
patrick@0
   214
# =============================================================================
patrick@0
   215
patrick@0
   216
remap.attributes =
patrick@0
   217
   as.attribute?
patrick@0
   218
 & attributes.attribute?
patrick@0
   219
as.attribute = attribute as { xsd:QName }
patrick@0
   220
attributes.attribute =
patrick@0
   221
   attribute attributes {list { (xsd:token {pattern = "\c+=\S+"})+ }}