RelaxNG/publidoc.rnc
author Patrick PIERRE <patrick.pierre@prismallia.fr>
lun., 18 juil. 2011 23:35:32 +0200
changeset 34 c51d5097d065
parent 33 c70de8fae29d
child 35 de4114d12ef1
permissions -rw-r--r--
Amélioration de la gestion des auteurs et des éditeurs
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@0
    24
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ document ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
    25
patrick@0
    26
document = element document { document.attributes, document.content }
patrick@0
    27
patrick@0
    28
document.attributes =
patrick@0
    29
   document.id.attribute
patrick@0
    30
document.id.attribute = attribute xml:id { xsd:ID }
patrick@0
    31
patrick@0
    32
document.content =
patrick@20
    33
   top.head?,
patrick@0
    34
   (division+ | topic+)
patrick@0
    35
patrick@0
    36
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
    37
patrick@18
    38
top.topic = element topic { top.topic.attributes, top.topic.content }
patrick@0
    39
patrick@20
    40
top.topic.attributes =
patrick@20
    41
   topic.id.attribute
patrick@20
    42
 & topic.type.attribute?
patrick@20
    43
topic.id.attribute = attribute xml:id { xsd:ID }
patrick@20
    44
topic.type.attribute = attribute type { xsd:NCName }
patrick@20
    45
patrick@20
    46
top.topic.content =
patrick@20
    47
   top.head?,
patrick@20
    48
   section+
patrick@0
    49
patrick@0
    50
# =============================================================================
patrick@20
    51
#                                 HEAD LEVEL
patrick@0
    52
# =============================================================================
patrick@0
    53
patrick@20
    54
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
    55
patrick@20
    56
top.head = element head { top.head.content }
patrick@20
    57
division.head = element head { division.head.content }
patrick@20
    58
component.head = element head { component.head.content }
patrick@20
    59
section.head = element head { section.head.content }
patrick@20
    60
block.head = element head { block.head.content }
patrick@0
    61
patrick@20
    62
top.head.content =
patrick@18
    63
   (title, subtitle?)?
patrick@34
    64
 & identifier*
patrick@18
    65
 & language?
patrick@0
    66
 & author*
patrick@0
    67
 & publisher?
patrick@0
    68
 & date?
patrick@0
    69
 & place?
patrick@0
    70
 & source*
patrick@0
    71
 & subjectset?
patrick@0
    72
 & abstract?
patrick@0
    73
 & annotation*
patrick@20
    74
division.head.content =
patrick@18
    75
   (title, subtitle?)?
patrick@18
    76
 & language?
patrick@18
    77
 & annotation*
patrick@20
    78
component.head.content =
patrick@18
    79
   (title, subtitle?)?
patrick@18
    80
 & language?
patrick@18
    81
 & author*
patrick@18
    82
 & annotation*
patrick@20
    83
section.head.content =
patrick@18
    84
   (title, subtitle?)?
patrick@18
    85
 & language?
patrick@18
    86
 & annotation*
patrick@20
    87
block.head.content =
patrick@20
    88
   (title, subtitle?)?
patrick@0
    89
patrick@0
    90
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ title, subtitle ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
    91
patrick@0
    92
title = element title { title.content }
patrick@18
    93
subtitle = element subtitle { title.content }
patrick@2
    94
patrick@0
    95
title.content = inlines
patrick@0
    96
patrick@34
    97
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ identifier ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@34
    98
patrick@34
    99
identifier = element identifier { identifier.content, identifier.attributes }
patrick@34
   100
patrick@34
   101
identifier.attributes =
patrick@34
   102
   class.attribute
patrick@34
   103
class.attribute = attribute class { "uri" | "ean" }
patrick@34
   104
patrick@34
   105
identifier.content =  xsd:anyURI | xsd:NMTOKEN
patrick@34
   106
patrick@18
   107
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ language ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@18
   108
patrick@18
   109
language = element language { language.attributes }
patrick@18
   110
patrick@34
   111
language.attributes =
patrick@34
   112
   lang.attribute
patrick@18
   113
lang.attribute = attribute xml:lang { xsd:language }
patrick@0
   114
patrick@0
   115
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ author, publisher ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   116
patrick@5
   117
# ~~~~~~ author
patrick@0
   118
author = element author { author.content }
patrick@0
   119
patrick@33
   120
author.attributes =
patrick@33
   121
   role.attribute?
patrick@33
   122
role.attribute = attribute role { "author" | "illustrator" }
patrick@33
   123
patrick@0
   124
author.content =
patrick@0
   125
   firstname?,
patrick@33
   126
   lastname,
patrick@33
   127
   role*
patrick@33
   128
patrick@5
   129
# ~~~~~~ publisher
patrick@0
   130
publisher = element publisher { publisher.content }
patrick@0
   131
patrick@34
   132
publisher.content =
patrick@34
   133
   label,
patrick@34
   134
   url?
patrick@0
   135
patrick@5
   136
# ~~~~~~ firstname
patrick@5
   137
firstname = element firstname { firstname.content }
patrick@5
   138
patrick@5
   139
firstname.content = inlines
patrick@5
   140
patrick@5
   141
# ~~~~~~ lastname
patrick@5
   142
lastname = element lastname { lastname.content }
patrick@5
   143
patrick@5
   144
lastname.content = inlines
patrick@5
   145
patrick@34
   146
# ~~~~~~ label
patrick@34
   147
label = element label { label.content }
patrick@34
   148
patrick@34
   149
label.content = inlines
patrick@34
   150
patrick@34
   151
# ~~~~~~ role
patrick@34
   152
role = element role { role.attributes }
patrick@34
   153
patrick@34
   154
role.attributes =
patrick@34
   155
   role.of.attribute
patrick@34
   156
role.of.attribute = attribute of { "author" | "illustrator" }
patrick@34
   157
patrick@34
   158
# ~~~~~~ url
patrick@34
   159
url = element url { url.content }
patrick@34
   160
patrick@34
   161
url.content = xsd:anyURI
patrick@34
   162
patrick@2
   163
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ place ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@2
   164
patrick@2
   165
place = element place { place.content }
patrick@2
   166
patrick@2
   167
place.content = inlines
patrick@2
   168
patrick@0
   169
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ source ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   170
patrick@2
   171
# ~~~~~~ source
patrick@0
   172
source = element source {
patrick@0
   173
   source.attributes,
patrick@0
   174
   (  (attribute type { "book" }, source.content.book)
patrick@0
   175
    | (attribute type { "file" })),
patrick@0
   176
   source.content
patrick@0
   177
}
patrick@0
   178
patrick@0
   179
source.attributes =
patrick@0
   180
   source.id.attribute
patrick@0
   181
source.id.attribute = attribute id { xsd:NMTOKEN }
patrick@0
   182
patrick@0
   183
source.content.book =
patrick@0
   184
   title,
patrick@0
   185
   pagenumber*
patrick@0
   186
source.content =
patrick@0
   187
   annotation*
patrick@0
   188
patrick@2
   189
# ~~~~~~ pagenumber
patrick@0
   190
pagenumber = element pagenumber { pagenumber.attributes }
patrick@2
   191
patrick@0
   192
pagenumber.attributes =
patrick@0
   193
   pagenumber.value.attribute
patrick@33
   194
pagenumber.value.attribute = attribute value { xsd:positiveInteger }
patrick@0
   195
patrick@0
   196
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ subject ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   197
patrick@2
   198
# ~~~~~~ subjectset
patrick@0
   199
subjectset = element subjectset { subjectset.content }
patrick@0
   200
patrick@0
   201
subjectset.content = subject+
patrick@0
   202
patrick@2
   203
# ~~~~~~ subject
patrick@0
   204
subject = element subject { subject.attributes }
patrick@2
   205
patrick@0
   206
subject.attributes =
patrick@0
   207
   subject.id.attribute
patrick@0
   208
subject.id.attribute = attribute id { xsd:NMTOKEN }
patrick@0
   209
patrick@5
   210
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ abstract ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@2
   211
patrick@2
   212
abstract = element abstract { abstract.content }
patrick@2
   213
patrick@2
   214
abstract.content =
patrick@20
   215
   p+
patrick@2
   216
patrick@0
   217
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ annotation ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   218
patrick@0
   219
annotation = element annotation { annotation.content }
patrick@0
   220
patrick@0
   221
annotation.content = inlines
patrick@0
   222
patrick@0
   223
patrick@0
   224
# =============================================================================
patrick@20
   225
#                                 DIVISION LEVEL
patrick@0
   226
# =============================================================================
patrick@0
   227
patrick@0
   228
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   229
patrick@0
   230
division = element division { division.content }
patrick@0
   231
patrick@0
   232
division.content =
patrick@20
   233
   division.head?,
patrick@0
   234
   (division+ | topic+)
patrick@0
   235
patrick@0
   236
patrick@0
   237
# =============================================================================
patrick@20
   238
#                               COMPONENT LEVEL
patrick@0
   239
# =============================================================================
patrick@0
   240
patrick@0
   241
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   242
patrick@0
   243
topic = element topic { topic.attributes, topic.content }
patrick@0
   244
patrick@0
   245
topic.attributes =
patrick@0
   246
   topic.id.attribute?
patrick@0
   247
 & topic.type.attribute?
patrick@0
   248
patrick@0
   249
topic.content =
patrick@20
   250
   component.head?,
patrick@0
   251
   section+
patrick@0
   252
patrick@0
   253
patrick@0
   254
# =============================================================================
patrick@20
   255
#                                 SECTION LEVEL
patrick@0
   256
# =============================================================================
patrick@0
   257
patrick@20
   258
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ section ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   259
patrick@0
   260
section = element section { section.content, section.attributes }
patrick@0
   261
patrick@0
   262
section.content =
patrick@20
   263
   section.head?,
patrick@9
   264
   (section+ | block+)
patrick@0
   265
patrick@0
   266
section.attributes =
patrick@0
   267
   status.attribute?
patrick@0
   268
status.attribute = attribute status { xsd:NCName }
patrick@0
   269
patrick@0
   270
patrick@0
   271
# =============================================================================
patrick@20
   272
#                                 BLOCK LEVEL
patrick@0
   273
# =============================================================================
patrick@0
   274
patrick@20
   275
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ block ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@9
   276
patrick@20
   277
block = (p | speech | \list | table | media)
patrick@9
   278
patrick@20
   279
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ p ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   280
patrick@20
   281
p = element p { p.content }
patrick@0
   282
patrick@20
   283
p.content =
patrick@0
   284
   inlines
patrick@0
   285
patrick@18
   286
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ speech ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@18
   287
patrick@18
   288
# ~~~~~~ speech
patrick@18
   289
speech = element speech { speech.content }
patrick@18
   290
patrick@18
   291
speech.content =
patrick@18
   292
   speaker?,
patrick@18
   293
   stage?,
patrick@20
   294
   p+
patrick@18
   295
patrick@18
   296
# ~~~~~~ speaker
patrick@18
   297
speaker = element speaker { speaker.content }
patrick@18
   298
patrick@18
   299
speaker.content = inlines
patrick@18
   300
patrick@18
   301
# ~~~~~~ stage
patrick@18
   302
stage = element stage { stage.content }
patrick@18
   303
patrick@18
   304
stage.content = inlines
patrick@18
   305
patrick@17
   306
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ list ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@9
   307
patrick@9
   308
# ~~~~~~ list
patrick@9
   309
\list = element list { \list.content }
patrick@9
   310
patrick@9
   311
\list.content =
patrick@20
   312
   block.head?,
patrick@13
   313
   (  (attribute type {"ordered"} ?, item, item+)
patrick@9
   314
    | (attribute type {"glossary"}, glossary.item+) )
patrick@9
   315
patrick@9
   316
# ~~~~~~ item
patrick@9
   317
item = element item { item.content }
patrick@9
   318
patrick@30
   319
item.content =
patrick@30
   320
   inlines
patrick@30
   321
 | block+
patrick@9
   322
patrick@9
   323
# ~~~~~~ glossary.item
patrick@9
   324
glossary.item = element item { glossary.item.content }
patrick@9
   325
patrick@9
   326
glossary.item.content =
patrick@9
   327
   label,
patrick@9
   328
   block+
patrick@9
   329
patrick@17
   330
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ table ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@17
   331
patrick@17
   332
table = element table { table.content }
patrick@17
   333
patrick@17
   334
table.content =
patrick@20
   335
   block.head?,
patrick@17
   336
   tgroup+,
patrick@17
   337
   caption?
patrick@17
   338
patrick@17
   339
# ~~~~~~ tgroup
patrick@17
   340
tgroup = element tgroup { tgroup.attributes, tgroup.content }
patrick@17
   341
patrick@17
   342
tgroup.content =
patrick@17
   343
   thead?,
patrick@17
   344
   tfoot?,
patrick@17
   345
   tbody
patrick@17
   346
patrick@17
   347
tgroup.attributes =
patrick@17
   348
   cols.attribute
patrick@17
   349
 & align.attribute?
patrick@17
   350
 & colsep.attribute?
patrick@17
   351
 & rowsep.attribute?
patrick@17
   352
cols.attribute = attribute cols { xsd:positiveInteger }
patrick@17
   353
align.attribute = attribute align { "left"  |  "right"  | "center" | "justify" }
patrick@17
   354
colsep.attribute = attribute colsep { "0" | "1" }
patrick@17
   355
rowsep.attribute = attribute rowsep { "0" | "1" }
patrick@17
   356
patrick@17
   357
# ~~~~~~ thead, tfoot, tbody
patrick@22
   358
thead = element thead { thead.attributes, thead.content }
patrick@22
   359
tfoot = element tfoot { tfoot.attributes, tfoot.content }
patrick@22
   360
tbody = element tbody { tbody.attributes, tbody.content }
patrick@17
   361
patrick@22
   362
thead.attributes =
patrick@22
   363
   valign.attribute?
patrick@22
   364
tfoot.attributes =
patrick@22
   365
   valign.attribute?
patrick@22
   366
tbody.attributes =
patrick@22
   367
   valign.attribute?
patrick@22
   368
valign.attribute = attribute valign { "top" | "middle" | "bottom" }
patrick@22
   369
   
patrick@17
   370
thead.content =
patrick@17
   371
   row+
patrick@17
   372
tfoot.content =
patrick@17
   373
   row+
patrick@17
   374
tbody.content =
patrick@17
   375
   row+
patrick@17
   376
patrick@17
   377
# ~~~~~~ row
patrick@17
   378
row = element row { row.attribute, row.content }
patrick@17
   379
patrick@17
   380
row.attribute =
patrick@17
   381
   valign.attribute?
patrick@17
   382
patrick@17
   383
row.content =
patrick@17
   384
  entry+
patrick@17
   385
patrick@17
   386
# ~~~~~~ entry
patrick@17
   387
entry = element entry { entry.content }
patrick@17
   388
patrick@17
   389
entry.content =
patrick@17
   390
   inlines
patrick@20
   391
 | p+
patrick@17
   392
patrick@17
   393
# ~~~~~~ caption
patrick@17
   394
caption = element caption { caption.content }
patrick@17
   395
patrick@17
   396
caption.content =
patrick@20
   397
   inlines
patrick@20
   398
 | p+
patrick@17
   399
patrick@0
   400
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ media ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   401
patrick@2
   402
# ~~~~~~ media
patrick@0
   403
media = element media { media.content }
patrick@0
   404
patrick@0
   405
media.content =
patrick@24
   406
   block.head?,
patrick@0
   407
   image+,
patrick@17
   408
   caption?
patrick@0
   409
patrick@2
   410
# ~~~~~~ image
patrick@0
   411
image = element image { image.attributes, image.content }
patrick@0
   412
patrick@0
   413
image.attributes =
patrick@0
   414
   media.id.attribute
patrick@17
   415
media.id.attribute = attribute id { xsd:NMTOKEN }
patrick@0
   416
patrick@0
   417
image.content =
patrick@0
   418
   copyright?
patrick@0
   419
patrick@2
   420
# ~~~~~~ copyright
patrick@0
   421
copyright = element copyright { copyright.content }
patrick@3
   422
patrick@0
   423
copyright.content = inlines
patrick@0
   424
patrick@0
   425
patrick@0
   426
# =============================================================================
patrick@20
   427
#                                 INLINE LEVEL
patrick@0
   428
# =============================================================================
patrick@0
   429
patrick@0
   430
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ inlines ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   431
patrick@0
   432
inlines = mixed {
patrick@0
   433
   sup*
patrick@0
   434
 & sub*
patrick@13
   435
 & number*
patrick@0
   436
 & date*
patrick@0
   437
 & name*
patrick@5
   438
 & note*
patrick@0
   439
 & foreign*
patrick@0
   440
 & highlight*
patrick@5
   441
 & mentioned*
patrick@5
   442
 & quote*
patrick@8
   443
 & acronym*
patrick@8
   444
 & term*
patrick@25
   445
 & link*
patrick@0
   446
}
patrick@0
   447
patrick@0
   448
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   449
patrick@0
   450
sup = element sup { inlines }
patrick@0
   451
patrick@0
   452
sub = element sub { inlines }
patrick@0
   453
patrick@13
   454
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ number ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   455
patrick@13
   456
number = element number {
patrick@13
   457
   ( attribute type {"roman"}, number.attributes, number.roman.content )
patrick@13
   458
 | ( number.attributes, number.content)
patrick@13
   459
}
patrick@13
   460
patrick@13
   461
number.attributes =
patrick@13
   462
   number.value.attribute?
patrick@13
   463
number.value.attribute = attribute value { xsd:integer | xsd:decimal }
patrick@13
   464
patrick@13
   465
number.content = mixed { sup* }
patrick@13
   466
number.roman.content = xsd:token {pattern = "[dlxvi]+"}
patrick@0
   467
patrick@0
   468
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ date ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   469
patrick@0
   470
date = element date { date.attributes, date.content }
patrick@0
   471
patrick@3
   472
date.attributes =
patrick@13
   473
   date.value.attribute
patrick@13
   474
 & date.of.attribute?
patrick@13
   475
date.value.attribute = attribute value { xsd:date | xsd:gYearMonth | xsd:gYear }
patrick@33
   476
date.of.attribute = attribute of { "birth" | "death" }
patrick@0
   477
patrick@13
   478
date.content = mixed { sup* }
patrick@0
   479
patrick@2
   480
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ name ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   481
patrick@0
   482
name = element name { name.attributes, name.content }
patrick@2
   483
patrick@2
   484
name.attributes =
patrick@2
   485
   name.of.attribute?
patrick@33
   486
name.of.attribute = attribute of
patrick@33
   487
   { "person" | "company" | "book" | "newspaper" | "party" }
patrick@0
   488
patrick@2
   489
name.content = inlines
patrick@2
   490
patrick@5
   491
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ note ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   492
patrick@5
   493
note = element note { note.attributes, note.content }
patrick@0
   494
patrick@5
   495
note.attributes =
patrick@5
   496
   note.label.attribute?
patrick@5
   497
note.label.attribute = attribute label { text }
patrick@0
   498
patrick@5
   499
note.content =
patrick@17
   500
   inlines
patrick@20
   501
 | p+
patrick@0
   502
patrick@13
   503
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ foreign ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   504
patrick@0
   505
foreign = element foreign { foreign.attributes, foreign.content }
patrick@0
   506
patrick@9
   507
foreign.attributes =
patrick@9
   508
   lang.attribute?
patrick@0
   509
patrick@0
   510
foreign.content = inlines
patrick@0
   511
patrick@0
   512
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ highlight ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   513
patrick@0
   514
highlight = element highlight { highlight.content }
patrick@0
   515
patrick@0
   516
highlight.content = inlines
patrick@0
   517
patrick@5
   518
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ mentioned ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@5
   519
patrick@5
   520
mentioned = element mentioned { mentioned.content }
patrick@5
   521
patrick@5
   522
mentioned.content = inlines
patrick@5
   523
patrick@5
   524
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ quote ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@5
   525
patrick@5
   526
quote = element quote { quote.content }
patrick@5
   527
patrick@5
   528
quote.content = inlines
patrick@5
   529
patrick@8
   530
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ acronym ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@8
   531
patrick@8
   532
acronym = element acronym { acronym.content }
patrick@8
   533
patrick@8
   534
acronym.content = inlines
patrick@8
   535
patrick@8
   536
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ term ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@8
   537
patrick@8
   538
term = element term { term.content }
patrick@8
   539
patrick@8
   540
term.content = inlines
patrick@8
   541
patrick@0
   542
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ link ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0
   543
patrick@0
   544
link = element link { link.attributes, link.content }
patrick@0
   545
patrick@9
   546
link.attributes =
patrick@9
   547
   (uri.attribute | idref.attribute)?
patrick@9
   548
uri.attribute = attribute uri { xsd:anyURI }
patrick@9
   549
idref.attribute = attribute idref { xsd:IDREF }
patrick@0
   550
patrick@0
   551
link.content = inlines