RelaxNG/publidoc.rnc
author Marc TRÉMULOT
lun., 11 mars 2013 19:02:04 +0100
changeset 178 b436aabe26f9
parent 177 fbd3e7259bbc
child 179 d5cb2d137502
permissions -rw-r--r--
Extension des meta-données d'une section
patrick@0
     1
# $Id$
patrick@0
     2
patrick@0
     3
start = publidoc
patrick@0
     4
patrick@0
     5
patrick@0
     6
publidoc = element publidoc {
patrick@0
     7
   publidoc.attributes,
patrick@0
     8
   publidoc.content
patrick@0
     9
}
patrick@0
    10
patrick@0
    11
publidoc.attributes =
patrick@0
    12
   version.attribute
patrick@0
    13
version.attribute = attribute version { "1.0" }
patrick@0
    14
patrick@0
    15
publidoc.content =
patrick@0
    16
   document
patrick@0
    17
 | top.topic
patrick@0
    18
patrick@0
    19
patrick@0
    20
# =============================================================================
patrick@20
    21
#                                  TOP LEVEL
patrick@0
    22
# =============================================================================
patrick@0
    23
patrick@98
    24
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ top.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90
    25
patrick@90
    26
top.head = element head { top.head.content }
patrick@90
    27
patrick@90
    28
top.head.content =
patrick@127
    29
   (title, shorttitle?, subtitle?)?
patrick@156
    30
 & (identifier, identifier?)?
patrick@90
    31
 & copyright?
Patrick@155
    32
 & collection?
patrick@90
    33
 & contributors?
patrick@90
    34
 & date?
patrick@90
    35
 & place?
patrick@156
    36
 & (source, source?)?
patrick@90
    37
 & keywordset?
patrick@90
    38
 & subjectset?
patrick@90
    39
 & abstract?
patrick@90
    40
 & cover?
patrick@90
    41
 & annotation*
patrick@90
    42
patrick@0
    43
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ document ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
    44
patrick@90
    45
# ~~~~~~ document
patrick@0
    46
document = element document { document.attributes, document.content }
patrick@0
    47
patrick@0
    48
document.attributes =
patrick@0
    49
   document.id.attribute
patrick@142
    50
 & document.type.attribute?
patrick@66
    51
 & lang.attribute?
patrick@117
    52
document.id.attribute = attribute id { xsd:NMTOKEN }
patrick@142
    53
document.type.attribute = attribute type { xsd:NCName }
patrick@66
    54
lang.attribute = attribute xml:lang { xsd:language }
patrick@0
    55
patrick@0
    56
document.content =
patrick@20
    57
   top.head?,
patrick@56
    58
   (division | topic)+
patrick@0
    59
patrick@0
    60
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
    61
patrick@18
    62
top.topic = element topic { top.topic.attributes, top.topic.content }
patrick@0
    63
patrick@20
    64
top.topic.attributes =
patrick@20
    65
   topic.id.attribute
patrick@20
    66
 & topic.type.attribute?
patrick@66
    67
 & lang.attribute?
patrick@117
    68
topic.id.attribute = attribute id { xsd:NMTOKEN }
patrick@20
    69
topic.type.attribute = attribute type { xsd:NCName }
patrick@20
    70
patrick@20
    71
top.topic.content =
patrick@20
    72
   top.head?,
Patrick@137
    73
   header?,
Patrick@137
    74
   section+,
Patrick@137
    75
   footer?
patrick@0
    76
patrick@40
    77
patrick@0
    78
# =============================================================================
patrick@20
    79
#                                 DIVISION LEVEL
patrick@0
    80
# =============================================================================
patrick@0
    81
patrick@70
    82
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
    83
patrick@90
    84
# ~~~~~~ division
patrick@0
    85
division = element division { division.content }
patrick@0
    86
patrick@0
    87
division.content =
patrick@20
    88
   division.head?,
patrick@56
    89
   (division | topic)+
patrick@0
    90
patrick@90
    91
# ~~~~~~ division.head
patrick@90
    92
division.head = element head { division.head.content }
patrick@90
    93
patrick@90
    94
division.head.content =
patrick@127
    95
   (title, shorttitle?, subtitle?)?
patrick@90
    96
 & abstract?
patrick@90
    97
 & annotation*
patrick@90
    98
patrick@0
    99
patrick@0
   100
# =============================================================================
patrick@90
   101
#                                COMPONENT LEVEL
patrick@0
   102
# =============================================================================
patrick@0
   103
patrick@90
   104
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ component.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90
   105
patrick@90
   106
component.head = element head { component.head.content }
patrick@90
   107
patrick@90
   108
component.head.content =
patrick@127
   109
   (title, shorttitle?, subtitle?)?
patrick@90
   110
 & contributors?
patrick@143
   111
 & date?
patrick@143
   112
 & place?
patrick@143
   113
 & keywordset?
patrick@143
   114
 & subjectset?
patrick@90
   115
 & abstract?
patrick@90
   116
 & annotation*
patrick@90
   117
patrick@0
   118
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   119
patrick@0
   120
topic = element topic { topic.attributes, topic.content }
patrick@0
   121
patrick@0
   122
topic.attributes =
patrick@122
   123
   (topic.id.attribute | topic.xmlid.attribute)?
patrick@0
   124
 & topic.type.attribute?
patrick@69
   125
 & lang.attribute?
patrick@122
   126
topic.xmlid.attribute = attribute xml:id { xsd:ID }
patrick@0
   127
patrick@0
   128
topic.content =
patrick@20
   129
   component.head?,
Patrick@137
   130
   header?,
Patrick@137
   131
   section+,
Patrick@137
   132
   footer?
patrick@0
   133
patrick@0
   134
patrick@0
   135
# =============================================================================
patrick@20
   136
#                                 SECTION LEVEL
patrick@0
   137
# =============================================================================
patrick@0
   138
Patrick@137
   139
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ header ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Patrick@137
   140
Patrick@137
   141
header = element header { header.content }
Patrick@137
   142
Patrick@137
   143
header.content =
Patrick@137
   144
   block+
Patrick@137
   145
patrick@20
   146
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ section ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   147
patrick@90
   148
# ~~~~~~ section
patrick@58
   149
section = element section { section.attributes, section.content }
patrick@58
   150
patrick@58
   151
section.attributes =
patrick@58
   152
   section.type.attribute?
patrick@64
   153
 & lang.attribute?
patrick@166
   154
 & for.attribute?
patrick@58
   155
section.type.attribute = attribute type { xsd:NCName }
patrick@166
   156
for.attribute = attribute for { xsd:NCName }
patrick@0
   157
patrick@0
   158
section.content =
patrick@20
   159
   section.head?,
patrick@9
   160
   (section+ | block+)
patrick@0
   161
patrick@90
   162
# ~~~~~~ section.head
patrick@90
   163
section.head = element head { section.head.content }
patrick@90
   164
patrick@90
   165
section.head.content =
patrick@127
   166
   (title, shorttitle?, subtitle?)?
Marc@178
   167
 & date?
Marc@177
   168
 & keywordset?
Marc@177
   169
 & subjectset?
patrick@90
   170
 & abstract?
patrick@105
   171
 & audio*
patrick@90
   172
 & annotation*
patrick@90
   173
Patrick@137
   174
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ footer ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Patrick@137
   175
Patrick@137
   176
footer = element footer { footer.content }
Patrick@137
   177
Patrick@137
   178
footer.content =
Patrick@137
   179
   block+
Patrick@137
   180
patrick@0
   181
patrick@0
   182
# =============================================================================
patrick@20
   183
#                                 BLOCK LEVEL
patrick@0
   184
# =============================================================================
patrick@0
   185
patrick@20
   186
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ block ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@9
   187
patrick@90
   188
# ~~~~~~ block
patrick@44
   189
block = (p | speech | \list | blockquote | table | media)
patrick@9
   190
patrick@90
   191
# ~~~~~~ block.head
patrick@90
   192
block.head = element head { block.head.content }
patrick@90
   193
patrick@90
   194
block.head.content =
patrick@127
   195
   (title, shorttitle?, subtitle?)?
patrick@90
   196
patrick@42
   197
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ p ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   198
patrick@20
   199
p = element p { p.content }
patrick@0
   200
patrick@20
   201
p.content =
patrick@0
   202
   inlines
patrick@0
   203
patrick@18
   204
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ speech ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@18
   205
patrick@18
   206
# ~~~~~~ speech
patrick@18
   207
speech = element speech { speech.content }
patrick@18
   208
patrick@18
   209
speech.content =
patrick@18
   210
   speaker?,
patrick@18
   211
   stage?,
patrick@20
   212
   p+
patrick@18
   213
patrick@18
   214
# ~~~~~~ speaker
patrick@18
   215
speaker = element speaker { speaker.content }
patrick@18
   216
patrick@18
   217
speaker.content = inlines
patrick@18
   218
patrick@18
   219
# ~~~~~~ stage
patrick@18
   220
stage = element stage { stage.content }
patrick@18
   221
patrick@18
   222
stage.content = inlines
patrick@18
   223
patrick@17
   224
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ list ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@9
   225
patrick@9
   226
# ~~~~~~ list
patrick@75
   227
\list = element list {
patrick@20
   228
   block.head?,
patrick@71
   229
   (  (attribute type {"ordered"}?, item, item+)
patrick@9
   230
    | (attribute type {"glossary"}, glossary.item+) )
patrick@75
   231
}
patrick@9
   232
patrick@9
   233
# ~~~~~~ item
patrick@9
   234
item = element item { item.content }
patrick@9
   235
patrick@30
   236
item.content =
patrick@73
   237
   inlines
patrick@73
   238
 | block+
patrick@9
   239
patrick@9
   240
# ~~~~~~ glossary.item
patrick@9
   241
glossary.item = element item { glossary.item.content }
patrick@9
   242
patrick@9
   243
glossary.item.content =
patrick@9
   244
   label,
patrick@9
   245
   block+
patrick@9
   246
patrick@44
   247
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ blockquote ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@44
   248
patrick@44
   249
# ~~~~~~ blockquote
patrick@44
   250
blockquote = element blockquote { blockquote.content }
patrick@44
   251
patrick@44
   252
blockquote.content =
patrick@44
   253
   block.head?,
patrick@44
   254
   (p | speech | \list)+,
patrick@44
   255
   attribution?
patrick@44
   256
patrick@44
   257
# ~~~~~~ attribution
patrick@72
   258
attribution = element attribution { attribution.content }
patrick@44
   259
patrick@72
   260
attribution.content =
patrick@44
   261
   inlines
patrick@44
   262
patrick@17
   263
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ table ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@17
   264
patrick@73
   265
# ~~~~~~ table
patrick@17
   266
table = element table { table.content }
patrick@17
   267
patrick@17
   268
table.content =
patrick@20
   269
   block.head?,
patrick@17
   270
   tgroup+,
patrick@109
   271
   table.caption?
patrick@17
   272
patrick@17
   273
# ~~~~~~ tgroup
patrick@17
   274
tgroup = element tgroup { tgroup.attributes, tgroup.content }
patrick@17
   275
patrick@17
   276
tgroup.content =
patrick@17
   277
   thead?,
patrick@17
   278
   tbody
patrick@17
   279
patrick@17
   280
tgroup.attributes =
patrick@17
   281
   cols.attribute
patrick@17
   282
 & align.attribute?
patrick@17
   283
 & colsep.attribute?
patrick@17
   284
 & rowsep.attribute?
patrick@17
   285
cols.attribute = attribute cols { xsd:positiveInteger }
patrick@17
   286
align.attribute = attribute align { "left"  |  "right"  | "center" | "justify" }
patrick@17
   287
colsep.attribute = attribute colsep { "0" | "1" }
patrick@17
   288
rowsep.attribute = attribute rowsep { "0" | "1" }
patrick@17
   289
patrick@146
   290
# ~~~~~~ thead, tbody
patrick@22
   291
thead = element thead { thead.attributes, thead.content }
patrick@22
   292
tbody = element tbody { tbody.attributes, tbody.content }
patrick@17
   293
patrick@22
   294
thead.attributes =
patrick@22
   295
   valign.attribute?
patrick@22
   296
tbody.attributes =
patrick@22
   297
   valign.attribute?
patrick@22
   298
valign.attribute = attribute valign { "top" | "middle" | "bottom" }
patrick@75
   299
patrick@17
   300
thead.content =
patrick@17
   301
   row+
patrick@17
   302
tbody.content =
patrick@17
   303
   row+
patrick@17
   304
patrick@17
   305
# ~~~~~~ row
patrick@146
   306
row = element row { row.attributes, row.content }
patrick@17
   307
patrick@146
   308
row.attributes =
patrick@17
   309
   valign.attribute?
patrick@146
   310
 & rowsep.attribute?
patrick@17
   311
patrick@17
   312
row.content =
patrick@17
   313
  entry+
patrick@17
   314
patrick@17
   315
# ~~~~~~ entry
patrick@146
   316
entry = element entry { entry.attributes, entry.content }
patrick@146
   317
patrick@146
   318
entry.attributes =
patrick@146
   319
   align.attribute?
patrick@146
   320
 & valign.attribute?
patrick@146
   321
 & colsep.attribute?
patrick@146
   322
 & rowsep.attribute?
patrick@17
   323
patrick@17
   324
entry.content =
patrick@17
   325
   inlines
patrick@37
   326
 | (p | media)+
patrick@17
   327
patrick@109
   328
# ~~~~~~ table.caption
patrick@109
   329
table.caption = element caption { caption.content }
patrick@17
   330
patrick@17
   331
caption.content =
patrick@20
   332
   inlines
Patrick@138
   333
 | (p | speech | \list | blockquote)+
patrick@17
   334
patrick@35
   335
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ media ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   336
patrick@2
   337
# ~~~~~~ media
patrick@0
   338
media = element media { media.content }
patrick@0
   339
patrick@0
   340
media.content =
patrick@24
   341
   block.head?,
patrick@119
   342
   (image | audio | video)+,
patrick@109
   343
   media.caption?,
patrick@36
   344
   link?
patrick@0
   345
patrick@2
   346
# ~~~~~~ image
patrick@0
   347
image = element image { image.attributes, image.content }
patrick@0
   348
patrick@0
   349
image.attributes =
patrick@104
   350
   media.id.attribute
patrick@104
   351
 & image.type?
patrick@17
   352
media.id.attribute = attribute id { xsd:NMTOKEN }
patrick@134
   353
image.type = attribute type { "cover" | "thumbnail" | "icon" }
patrick@0
   354
patrick@0
   355
image.content =
patrick@111
   356
   copyright?,
Patrick@176
   357
   hotspot*
patrick@0
   358
patrick@45
   359
# ~~~~~~ audio
patrick@45
   360
audio = element audio { audio.attributes }
patrick@43
   361
patrick@45
   362
audio.attributes =
patrick@43
   363
   media.id.attribute
patrick@104
   364
 & audio.type?
patrick@113
   365
audio.type = attribute type { "music" | "voice" | "background" | "smil" }
patrick@43
   366
patrick@119
   367
# ~~~~~~ video
patrick@119
   368
video = element video { video.attributes }
patrick@119
   369
patrick@119
   370
video.attributes =
patrick@119
   371
   media.id.attribute
patrick@119
   372
patrick@122
   373
# ~~~~~~ hotspot
patrick@122
   374
hotspot = element hotspot { hotspot.attributes, hotspot.content }
patrick@122
   375
patrick@122
   376
hotspot.attributes =
patrick@122
   377
   x.attribute
patrick@122
   378
 & y.attribute
Patrick@176
   379
 & dx.attribute?
Patrick@176
   380
 & dy.attribute?
patrick@122
   381
 & (width.attribute & height.attribute)?
Patrick@176
   382
 & hidden.attribute?
Patrick@173
   383
x.attribute = attribute x { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
Patrick@173
   384
y.attribute = attribute y { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
Patrick@176
   385
dx.attribute = attribute dx { xsd:token {pattern = "-?\d{1,2}(\.\d)?"} }
Patrick@176
   386
dy.attribute = attribute dy { xsd:token {pattern = "-?\d{1,2}(\.\d)?"} }
Patrick@173
   387
width.attribute = attribute width {
Patrick@173
   388
   xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
Patrick@173
   389
height.attribute = attribute height {
Patrick@173
   390
   xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
Patrick@176
   391
hidden.attribute = attribute hidden { xsd:boolean }
Patrick@176
   392
   
patrick@122
   393
hotspot.content =
Patrick@176
   394
   (p | link | image | audio | video)
patrick@109
   395
   
patrick@109
   396
# ~~~~~~ media.caption
patrick@109
   397
media.caption = element caption { caption.attributes, caption.content }
patrick@109
   398
patrick@109
   399
caption.attributes =
patrick@109
   400
   x.attribute?
patrick@109
   401
 & y.attribute?
patrick@109
   402
patrick@0
   403
patrick@0
   404
# =============================================================================
patrick@90
   405
#                                 HEAD LEVEL
patrick@90
   406
# =============================================================================
patrick@90
   407
patrick@127
   408
# ~~~~~~~~~~~~~~~~~~~~~~~ title, shorttitle, subtitle ~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90
   409
patrick@90
   410
title = element title { title.content }
patrick@127
   411
shorttitle = element shorttitle { title.content }
patrick@90
   412
subtitle = element subtitle { title.content }
patrick@90
   413
patrick@90
   414
title.content = inlines
patrick@90
   415
patrick@90
   416
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ identifier ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90
   417
patrick@156
   418
identifier = element identifier {
patrick@156
   419
   (attribute type { "ean" }, xsd:token {pattern = "\d{13}"})
patrick@156
   420
 | (attribute type { "uri" }, xsd:anyURI)
patrick@90
   421
}
patrick@90
   422
patrick@90
   423
identifier.ean = element identifier {
patrick@90
   424
   attribute type { "ean" }, xsd:token {pattern = "\d{13}"}
patrick@90
   425
}
patrick@90
   426
patrick@156
   427
identifier.uri = element identifier {
patrick@156
   428
   attribute type { "uri" }, xsd:anyURI
patrick@156
   429
}
patrick@90
   430
patrick@90
   431
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ copyright ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90
   432
patrick@90
   433
copyright = element copyright { copyright.content }
patrick@90
   434
patrick@90
   435
copyright.content = inlines
patrick@90
   436
Patrick@155
   437
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ collection ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Patrick@155
   438
Patrick@155
   439
collection = element collection { collection.content }
Patrick@155
   440
Patrick@155
   441
collection.content = inlines
Patrick@155
   442
patrick@90
   443
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ contributors ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90
   444
patrick@90
   445
# ~~~~~~ contributors
patrick@90
   446
contributors = element contributors { contributors.content }
patrick@90
   447
patrick@90
   448
contributors.content =
patrick@90
   449
   contributor+
patrick@90
   450
patrick@90
   451
# ~~~~~~ contributor
patrick@90
   452
contributor = element contributor { contributor.content }
patrick@90
   453
patrick@90
   454
contributor.content =
patrick@90
   455
   (((firstname, secondname?)?, lastname) | label),
patrick@90
   456
   address?,
patrick@90
   457
   link?,
patrick@101
   458
   role+
patrick@90
   459
patrick@90
   460
# ~~~~~~ firstname, secondname, lastname, label
patrick@90
   461
firstname = element firstname { firstname.content }
patrick@90
   462
secondname = element secondname { secondname.content }
patrick@90
   463
lastname = element lastname { lastname.content }
patrick@90
   464
label = element label { label.content }
patrick@90
   465
patrick@90
   466
firstname.content = inlines
patrick@90
   467
secondname.content = inlines
patrick@90
   468
lastname.content = inlines
patrick@90
   469
label.content = inlines
patrick@90
   470
patrick@90
   471
# ~~~~~~ address
patrick@90
   472
address = element address { address.content }
patrick@90
   473
patrick@90
   474
address.content = inlines
patrick@90
   475
patrick@90
   476
# ~~~~~~ role
patrick@90
   477
role = element role { role.content }
patrick@90
   478
patrick@90
   479
role.content = "author" | "illustrator" | "publisher" | "packager"
patrick@90
   480
patrick@90
   481
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ place ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90
   482
patrick@90
   483
place = element place { place.content }
patrick@90
   484
patrick@90
   485
place.content = inlines
patrick@90
   486
patrick@90
   487
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ source ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90
   488
patrick@90
   489
# ~~~~~~ source
patrick@90
   490
source = element source {
patrick@90
   491
   (  (attribute type { "book" }, source.content.book)
patrick@90
   492
    | (attribute type { "file" }, source.content.file)),
patrick@90
   493
   source.content
patrick@90
   494
}
patrick@90
   495
patrick@90
   496
source.content.book =
patrick@90
   497
   identifier.ean,
patrick@90
   498
   title?,
patrick@90
   499
   pagenumber*
patrick@90
   500
source.content.file =
patrick@90
   501
   identifier.uri
patrick@90
   502
source.content =
patrick@90
   503
   annotation*
patrick@90
   504
patrick@90
   505
# ~~~~~~ pagenumber
patrick@90
   506
pagenumber = element pagenumber { pagenumber.content }
patrick@90
   507
patrick@90
   508
pagenumber.content = xsd:positiveInteger
patrick@90
   509
patrick@132
   510
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~ keyword & subject ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90
   511
patrick@90
   512
# ~~~~~~ keywordset
patrick@90
   513
keywordset = element keywordset { keywordset.content }
patrick@90
   514
patrick@90
   515
keywordset.content = keyword+
patrick@90
   516
patrick@90
   517
# ~~~~~~ keyword
patrick@90
   518
keyword = element keyword { keyword.content }
patrick@90
   519
patrick@90
   520
keyword.content = mixed { sup*, sub* }
patrick@90
   521
patrick@90
   522
# ~~~~~~ subjectset
patrick@90
   523
subjectset = element subjectset { subjectset.content }
patrick@90
   524
patrick@90
   525
subjectset.content = subject+
patrick@90
   526
patrick@90
   527
# ~~~~~~ subject
patrick@132
   528
subject = element subject { subject.content }
patrick@90
   529
patrick@132
   530
subject.content = xsd:NMTOKEN
patrick@90
   531
patrick@90
   532
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ abstract ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90
   533
patrick@90
   534
abstract = element abstract { abstract.content }
patrick@90
   535
patrick@90
   536
abstract.content =
patrick@90
   537
   p+
patrick@90
   538
patrick@90
   539
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cover ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90
   540
patrick@90
   541
cover = element cover { cover.content }
patrick@90
   542
patrick@90
   543
cover.content =
patrick@90
   544
   cover.image
patrick@90
   545
patrick@90
   546
cover.image = element image { cover.image.attributes }
patrick@90
   547
patrick@90
   548
cover.image.attributes =
patrick@90
   549
   cover.image.id.attribute
patrick@90
   550
cover.image.id.attribute = attribute id { xsd:NMTOKEN }
patrick@105
   551
   
patrick@90
   552
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ annotation ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90
   553
patrick@90
   554
annotation = element annotation { annotation.content }
patrick@90
   555
patrick@90
   556
annotation.content = inlines
patrick@90
   557
patrick@90
   558
patrick@90
   559
# =============================================================================
patrick@20
   560
#                                 INLINE LEVEL
patrick@0
   561
# =============================================================================
patrick@0
   562
patrick@0
   563
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ inlines ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   564
patrick@0
   565
inlines = mixed {
patrick@0
   566
   sup*
patrick@0
   567
 & sub*
patrick@42
   568
 & var*
patrick@13
   569
 & number*
patrick@42
   570
 & math*
patrick@0
   571
 & date*
patrick@0
   572
 & name*
patrick@5
   573
 & note*
patrick@0
   574
 & foreign*
patrick@0
   575
 & highlight*
patrick@5
   576
 & quote*
patrick@8
   577
 & acronym*
Patrick@140
   578
 & mentioned*
patrick@8
   579
 & term*
Patrick@140
   580
 & literal*
patrick@25
   581
 & link*
patrick@42
   582
 & anchor*
patrick@91
   583
 & initial*
patrick@93
   584
 & image*
patrick@105
   585
 & smil*
patrick@0
   586
}
patrick@0
   587
patrick@42
   588
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   589
patrick@42
   590
sup = element sup { text }
patrick@0
   591
patrick@42
   592
sub = element sub { text }
patrick@42
   593
patrick@42
   594
var = element var { text }
patrick@42
   595
patrick@90
   596
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ number ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90
   597
patrick@90
   598
number = element number {
patrick@90
   599
   ( attribute type {"roman"}, number.attributes, number.roman.content )
patrick@90
   600
 | ( number.attributes, number.content)
patrick@90
   601
}
patrick@90
   602
patrick@90
   603
number.attributes =
patrick@90
   604
   number.value.attribute?
patrick@90
   605
number.value.attribute = attribute value { xsd:integer | xsd:decimal }
patrick@90
   606
patrick@90
   607
number.content = mixed { sup* }
patrick@157
   608
number.roman.content = xsd:token {pattern = "[DLXVI]+"}
patrick@90
   609
patrick@42
   610
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ math ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@42
   611
patrick@42
   612
math = element math {
patrick@42
   613
   ( attribute notation {"tex"}, math.attributes, math.tex.content )
patrick@42
   614
 | ( math.attributes, math.content)
patrick@42
   615
}
patrick@42
   616
patrick@42
   617
math.attributes =
patrick@42
   618
   wide.attribute?
patrick@42
   619
wide.attribute = attribute wide { xsd:boolean }
patrick@42
   620
patrick@42
   621
math.content = mixed { sup* & sub* & var* }
patrick@42
   622
math.tex.content = text
patrick@0
   623
patrick@36
   624
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ date ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   625
patrick@0
   626
date = element date { date.attributes, date.content }
patrick@0
   627
patrick@3
   628
date.attributes =
patrick@13
   629
   date.value.attribute
patrick@13
   630
 & date.of.attribute?
patrick@13
   631
date.value.attribute = attribute value { xsd:date | xsd:gYearMonth | xsd:gYear }
patrick@33
   632
date.of.attribute = attribute of { "birth" | "death" }
patrick@0
   633
patrick@13
   634
date.content = mixed { sup* }
patrick@0
   635
patrick@36
   636
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ name ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   637
patrick@0
   638
name = element name { name.attributes, name.content }
patrick@2
   639
patrick@2
   640
name.attributes =
patrick@2
   641
   name.of.attribute?
patrick@33
   642
name.of.attribute = attribute of
Patrick@135
   643
   { "person" | "company" | "book" | "newspaper" | "party" | "painting" }
patrick@0
   644
patrick@2
   645
name.content = inlines
patrick@2
   646
patrick@36
   647
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ note ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   648
patrick@5
   649
note = element note { note.attributes, note.content }
patrick@0
   650
patrick@5
   651
note.attributes =
patrick@5
   652
   note.label.attribute?
patrick@5
   653
note.label.attribute = attribute label { text }
patrick@0
   654
patrick@5
   655
note.content =
patrick@144
   656
   (w?, p+) | inlines
patrick@91
   657
patrick@91
   658
w = element w { inlines }
patrick@0
   659
patrick@36
   660
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ foreign ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   661
patrick@0
   662
foreign = element foreign { foreign.attributes, foreign.content }
patrick@0
   663
patrick@9
   664
foreign.attributes =
patrick@9
   665
   lang.attribute?
patrick@0
   666
patrick@0
   667
foreign.content = inlines
patrick@0
   668
patrick@36
   669
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ highlight ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   670
patrick@0
   671
highlight = element highlight { highlight.content }
patrick@0
   672
patrick@0
   673
highlight.content = inlines
patrick@0
   674
patrick@36
   675
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ quote ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@5
   676
patrick@5
   677
quote = element quote { quote.content }
patrick@5
   678
patrick@131
   679
quote.content =
patrick@131
   680
   (phrase, attribution) | inlines
patrick@131
   681
patrick@131
   682
phrase = element phrase { phrase.content }
patrick@131
   683
patrick@131
   684
phrase.content = inlines
patrick@5
   685
patrick@36
   686
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ acronym ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@8
   687
patrick@8
   688
acronym = element acronym { acronym.content }
patrick@8
   689
patrick@8
   690
acronym.content = inlines
patrick@8
   691
Patrick@140
   692
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ mentioned ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Patrick@140
   693
Patrick@140
   694
mentioned = element mentioned { mentioned.content }
Patrick@140
   695
Patrick@140
   696
mentioned.content = inlines
Patrick@140
   697
patrick@36
   698
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ term ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@8
   699
patrick@8
   700
term = element term { term.content }
patrick@8
   701
patrick@8
   702
term.content = inlines
patrick@8
   703
Patrick@140
   704
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ literal ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Patrick@140
   705
Patrick@140
   706
literal = element literal { literal.content }
Patrick@140
   707
Patrick@140
   708
literal.content = text
Patrick@140
   709
patrick@36
   710
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ link ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   711
patrick@0
   712
link = element link { link.attributes, link.content }
patrick@0
   713
patrick@9
   714
link.attributes =
patrick@42
   715
   (uri.attribute | idref.attribute)
patrick@9
   716
uri.attribute = attribute uri { xsd:anyURI }
patrick@9
   717
idref.attribute = attribute idref { xsd:IDREF }
patrick@0
   718
patrick@0
   719
link.content = inlines
patrick@42
   720
patrick@42
   721
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ anchor ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@42
   722
Patrick@147
   723
anchor = element anchor { anchor.attributes, anchor.content }
patrick@42
   724
patrick@42
   725
anchor.attributes =
patrick@42
   726
   anchor.id.attribute
patrick@42
   727
anchor.id.attribute = attribute xml:id { xsd:ID }
patrick@91
   728
Patrick@147
   729
anchor.content = inlines
Patrick@147
   730
patrick@91
   731
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ initial ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@91
   732
patrick@91
   733
initial = element initial { initial.content }
patrick@91
   734
patrick@91
   735
initial.content =
patrick@91
   736
   c,
patrick@91
   737
   w?
patrick@91
   738
patrick@91
   739
c = element c { text }
patrick@105
   740
patrick@105
   741
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ smil ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@105
   742
patrick@105
   743
smil = element smil { smil.attributes, smil.content }
patrick@105
   744
patrick@105
   745
smil.attributes =
patrick@105
   746
   begin.attribute?
patrick@105
   747
 & end.attribute?
patrick@105
   748
begin.attribute = attribute begin { xsd:decimal }
patrick@105
   749
end.attribute = attribute end { xsd:decimal }
patrick@105
   750
patrick@105
   751
smil.content = inlines