1

# $Id$

     2

     3

start = publidoc

     4

     5

     6

publidoc = element publidoc {

     7

   publidoc.attributes,

     8

   publidoc.content

     9

}

    10

    11

publidoc.attributes =

    12

   version.attribute

    13

version.attribute = attribute version { "1.0" }

    14

    15

publidoc.content =

    16

   document

    17

 | top.topic

    18

 | glossary

    19

    20

# =============================================================================

    21

#                                 HEAD LEVEL

    22

# =============================================================================

    23

    24

# ~~~~~~~~~~~~~~~~~~~~~~~ title, shorttitle, subtitle ~~~~~~~~~~~~~~~~~~~~~~~~~

    25

    26

title = element title { title.content }

    27

shorttitle = element shorttitle { title.content }

    28

subtitle = element subtitle { title.content }

    29

    30

title.content = inlines

    31

    32

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ identifier ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    33

    34

# ~~~~~~ identifier

    35

identifier = element identifier {

    36

   (attribute type { "ean" }, for.attribute?, xsd:token {pattern = "\d{13}"})

    37

 | (attribute type { "uri" }, for.attribute?, xsd:anyURI)

    38

}

    39

    40

# ~~~~~~ identifier.ean

    41

identifier.ean = element identifier {

    42

   attribute type { "ean" }, for.attribute?, xsd:token {pattern = "\d{13}"}

    43

}

    44

    45

# ~~~~~~ identifier.uri

    46

identifier.uri = element identifier {

    47

   attribute type { "uri" }, for.attribute?, xsd:anyURI

    48

}

    49

    50

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ copyright ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    51

    52

copyright = element copyright { copyright.content }

    53

    54

copyright.content = simple.inlines

    55

    56

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ collection ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    57

    58

collection = element collection { collection.content }

    59

    60

collection.content = simple.inlines

    61

    62

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ contributors ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    63

    64

# ~~~~~~ contributors

    65

contributors = element contributors { contributors.content }

    66

    67

contributors.content =

    68

   contributor+

    69

    70

# ~~~~~~ contributor

    71

contributor = element contributor { contributor.content }

    72

    73

contributor.content =

    74

   identifier.uri?,

    75

   ((firstname?, lastname) | label),

    76

   address?,

    77

   link?,

    78

   role+

    79

    80

# ~~~~~~ firstname, secondname, lastname, label

    81

firstname = element firstname { firstname.content }

    82

lastname = element lastname { lastname.content }

    83

label = element label { label.content }

    84

    85

firstname.content = simple.inlines

    86

lastname.content = simple.inlines

    87

label.content = simple.inlines

    88

    89

# ~~~~~~ address

    90

address = element address { address.content }

    91

    92

address.content = simple.inlines

    93

    94

# ~~~~~~ role

    95

role = element role { role.content }

    96

    97

role.content = "author" | "illustrator" | "publisher" | "packager"

    98

 | "translator"

    99

   100

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ place ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   101

   102

place = element place { place.content }

   103

   104

place.content = simple.inlines

   105

   106

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ source ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   107

   108

source = element source {

   109

   (  (attribute type { "book" }, bibliography.entry.content)

   110

    | (attribute type { "file" }, source.content.file)),

   111

   source.content

   112

}

   113

   114

source.content.file =

   115

   identifier.uri

   116

source.content =

   117

   annotation?

   118

   119

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ keyword & subject ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   120

   121

# ~~~~~~ keywordset

   122

keywordset = element keywordset { keywordset.content }

   123

   124

keywordset.content = keyword+

   125

   126

# ~~~~~~ keyword

   127

keyword = element keyword { keyword.content }

   128

   129

keyword.content = simple.inlines

   130

   131

# ~~~~~~ subjectset

   132

subjectset = element subjectset { subjectset.content }

   133

   134

subjectset.content = subject+

   135

   136

# ~~~~~~ subject

   137

subject = element subject { subject.content }

   138

   139

subject.content = simple.inlines

   140

   141

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ index ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   142

   143

# ~~~~~~ indexset

   144

indexset = element indexset { indexset.content }

   145

   146

indexset.content = head.index+

   147

   148

# ~~~~~~ index

   149

index = element index { index.content }

   150

head.index = element index { head.index.content }

   151

   152

index.content =

   153

   (index.w, index.entry?)

   154

 | (index.entry, (index.w | index.entry)?)

   155

head.index.content =

   156

   index.entry, index.entry?

   157

   158

# ~~~~~~ index.w

   159

index.w = element w { simple.inlines }

   160

   161

# ~~~~~~ index.entry

   162

index.entry = element entry { simple.inlines }

   163

   164

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ abstract ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   165

   166

abstract = element abstract { abstract.content }

   167

   168

abstract.content =

   169

   p+

   170

   171

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cover ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   172

   173

cover = element cover { cover.content }

   174

   175

cover.content =

   176

   cover.image

   177

   178

cover.image = element image { cover.image.attributes }

   179

   180

cover.image.attributes =

   181

   media.id.attribute

   182

   183

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ annotation ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   184

   185

annotation = element annotation { annotation.content }

   186

   187

annotation.content =

   188

   inlines | p+

   189

   190

   191

# =============================================================================

   192

#                                  TOP LEVEL

   193

# =============================================================================

   194

   195

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ top.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   196

   197

top.head = element head { top.head.content }

   198

   199

top.head.content =

   200

   (title & shorttitle? & subtitle*)?

   201

 & identifier*

   202

 & copyright*

   203

 & collection?

   204

 & contributors?

   205

 & date?

   206

 & place?

   207

 & (source, source?)?

   208

 & keywordset?

   209

 & subjectset?

   210

 & indexset?

   211

 & abstract?

   212

 & cover?

   213

 & annotation?

   214

   215

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ document ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   216

   217

document = element document { document.attributes, document.content }

   218

   219

document.attributes =

   220

   document.id.attribute?

   221

 & document.type.attribute?

   222

 & lang.attribute?

   223

document.id.attribute = attribute id { xsd:NMTOKEN }

   224

document.type.attribute = attribute type { xsd:NCName }

   225

lang.attribute = attribute xml:lang { xsd:language }

   226

   227

document.content =

   228

   top.head?,

   229

   (division | topic | glossary)+

   230

   231

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ top.topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   232

   233

top.topic = element topic { top.topic.attributes, top.topic.content }

   234

   235

top.topic.attributes =

   236

   topic.id.attribute?

   237

 & topic.type.attribute?

   238

 & lang.attribute?

   239

topic.id.attribute = attribute id { xsd:NMTOKEN }

   240

topic.type.attribute = attribute type { xsd:NCName }

   241

   242

top.topic.content =

   243

   top.head?,

   244

   header?,

   245

   ((section+, bibliography?) | bibliography),

   246

   footer?

   247

   248

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ glossary ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   249

   250

glossary = element glossary { glossary.attributes, glossary.content }

   251

   252

glossary.attributes =

   253

   glossary.type.attribute?

   254

 & lang.attribute?

   255

 & langto.attribute?

   256

glossary.type.attribute = attribute type { xsd:NCName }

   257

langto.attribute = attribute langto { xsd:language }

   258

   259

glossary.content =

   260

   glossary.entry+

   261

   262

   263

# =============================================================================

   264

#                                 DIVISION LEVEL

   265

# =============================================================================

   266

   267

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   268

   269

division.head = element head { division.head.content }

   270

   271

division.head.content =

   272

   (title & shorttitle? & subtitle*)?

   273

 & indexset?

   274

 & abstract?

   275

 & annotation?

   276

   277

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   278

   279

division = element division { division.attributes, division.content }

   280

   281

division.attributes =

   282

   division.type.attribute?

   283

division.type.attribute = attribute type { xsd:NCName }

   284

   285

division.content =

   286

   division.head?,

   287

   front?,

   288

   (division | topic)+

   289

   290

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ front ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   291

   292

front = element front { front.content }

   293

   294

front.content =

   295

   section+

   296

   297

   298

# =============================================================================

   299

#                                COMPONENT LEVEL

   300

# =============================================================================

   301

   302

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ component.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   303

   304

component.head = element head { component.head.content }

   305

   306

component.head.content =

   307

   (title & shorttitle? & subtitle*)?

   308

 & contributors?

   309

 & date?

   310

 & place?

   311

 & keywordset?

   312

 & subjectset?

   313

 & indexset?

   314

 & abstract?

   315

 & annotation?

   316

   317

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   318

   319

topic = element topic { topic.attributes, topic.content }

   320

   321

topic.attributes =

   322

   (topic.id.attribute | xmlid.attribute)?

   323

 & topic.type.attribute?

   324

 & lang.attribute?

   325

xmlid.attribute = attribute xml:id { xsd:ID }

   326

   327

topic.content =

   328

   component.head?,

   329

   header?,

   330

   ((section+, bibliography?) | bibliography),

   331

   footer?

   332

   333

   334

# =============================================================================

   335

#                                 SECTION LEVEL

   336

# =============================================================================

   337

   338

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ section.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   339

   340

section.head = element head { section.head.content }

   341

   342

section.head.content =

   343

   (title & shorttitle? & subtitle*)?

   344

 & keywordset?

   345

 & subjectset?

   346

 & indexset?

   347

 & abstract?

   348

 & audio*

   349

 & annotation?

   350

   351

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ header ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   352

   353

header = element header { header.content }

   354

   355

header.content =

   356

   block+

   357

   358

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ section ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   359

   360

section = element section { section.attributes, section.content }

   361

   362

section.attributes =

   363

   xmlid.attribute?

   364

 & section.type.attribute?

   365

 & lang.attribute?

   366

 & for.attribute?

   367

section.type.attribute = attribute type { xsd:NCName }

   368

for.attribute = attribute for { xsd:NCName }

   369

   370

section.content =

   371

   section.head?,

   372

   (section+ | block+)

   373

   374

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ bibliography ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   375

   376

bibliography = element bibliography { bibliography.content }

   377

   378

bibliography.content =

   379

   bibliography.entry+

   380

   381

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ footer ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   382

   383

footer = element footer { footer.content }

   384

   385

footer.content =

   386

   block+

   387

   388

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ glossary.entry ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   389

# ~~~~~~ glossary.entry

   390

glossary.entry= element entry {

   391

   glossary.entry.attributes, glossary.entry.content }

   392

   393

glossary.entry.attributes =

   394

   xmlid.attribute?

   395

   396

glossary.entry.content =

   397

   mainterm,

   398

   alt-terms?,

   399

   media?,

   400

   meanings+,

   401

   seealso*

   402

   403

# ~~~~~~ mainterm

   404

mainterm = element mainterm { mainterm.content }

   405

mainterm.content = simple.inlines

   406

   407

# ~~~~~~ alt-terms

   408

alt-terms = element alt-terms { alt-terms.content }

   409

alt-terms.content = alt-term+

   410

   411

# ~~~~~~ alt-term

   412

alt-term = element alt-term { alt-term.attributes, alt-term.content }

   413

alt-term.attributes = alt-term.type.attribute?

   414

alt-term.content = inlines

   415

   416

alt-term.type.attribute = attribute type { xsd:NCName }

   417

   418

# =============================================================================

   419

#                                 BLOCK LEVEL

   420

# =============================================================================

   421

   422

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ block.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   423

   424

block.head = element head { block.head.content }

   425

   426

block.head.content =

   427

   (title & shorttitle? & subtitle*)?

   428

 & indexset?

   429

 & annotation?

   430

   431

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ block ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   432

   433

block = (p | \list | blockquote | speech | table | table.cals | media)

   434

   435

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ p ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   436

   437

p = element p { p.content }

   438

   439

p.content =

   440

   inlines

   441

   442

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ list ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   443

   444

# ~~~~~~ list

   445

\list = element list {

   446

   block.head?,

   447

   (  (attribute type {"ordered"}?, item, item+)

   448

    | (attribute type {"glossary"}, item.glossary+) )

   449

}

   450

   451

# ~~~~~~ item

   452

item = element item { item.content }

   453

   454

item.content =

   455

   inlines

   456

 | block+

   457

   458

# ~~~~~~ item.glossary

   459

item.glossary = element item { item.glossary.content }

   460

   461

item.glossary.content =

   462

   label,

   463

   block+

   464

   465

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ blockquote ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   466

   467

# ~~~~~~ blockquote

   468

blockquote = element blockquote { blockquote.attributes, blockquote.content }

   469

   470

blockquote.attributes =

   471

   blockquote.type.attribute?

   472

blockquote.type.attribute = attribute type { xsd:NCName }

   473

   474

blockquote.content =

   475

   block.head?,

   476

   (p | speech | \list)+,

   477

   attribution?

   478

   479

# ~~~~~~ attribution

   480

attribution = element attribution { attribution.content }

   481

   482

attribution.content = mixed {

   483

   sup* & number* & date* & name* & foreign* & acronym* & term* & literal*

   484

 & highlight* & emphasis* & mentioned* & note* & warning* }

   485

   486

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ speech ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   487

   488

# ~~~~~~ speech

   489

speech = element speech { speech.content }

   490

   491

speech.content =

   492

   speaker?,

   493

   stage?,

   494

   (p | blockquote)+

   495

   496

# ~~~~~~ speaker

   497

speaker = element speaker { speaker.content }

   498

   499

speaker.content = inlines

   500

   501

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ table ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   502

   503

# ~~~~~~ table

   504

table = element table { table.attributes, table.content }

   505

   506

table.attributes =

   507

   table.type.attribute?

   508

table.type.attribute = attribute type { xsd:NCName }

   509

   510

table.content =

   511

   block.head?,

   512

   ((thead?, tbody+) | tr+),

   513

   table.caption?

   514

   515

# ~~~~~~ thead, tbody

   516

thead = element thead { thead.content }

   517

tbody = element tbody { tbody.content }

   518

   519

thead.content =

   520

   tr+

   521

tbody.content =

   522

   tr+

   523

   524

# ~~~~~~ tr

   525

tr = element tr { tr.attributes, tr.content }

   526

   527

tr.attributes =

   528

   align.attribute?

   529

 & valign.attribute?

   530

 & cell.type.attribute?

   531

align.attribute = attribute align { "left"  |  "right"  | "center" | "justify" }

   532

valign.attribute = attribute valign { "top" | "middle" | "bottom" }

   533

cell.type.attribute = attribute type { xsd:NCName }

   534

   535

tr.content =

   536

   (td | th)+

   537

   538

# ~~~~~~ td, th

   539

td = element td { td.attributes, td.content }

   540

th = element th { td.attributes, td.content }

   541

   542

td.attributes =

   543

   align.attribute?

   544

 & valign.attribute?

   545

 & colspan.attribute?

   546

 & rowspan.attribute?

   547

 & cell.type.attribute?

   548

colspan.attribute = attribute colspan { xsd:positiveInteger }

   549

rowspan.attribute = attribute rowspan { xsd:positiveInteger }

   550

   551

td.content =

   552

   inlines

   553

 | (p | media)+

   554

   555

# ~~~~~~ table.caption

   556

table.caption = element caption { caption.content }

   557

   558

caption.content =

   559

   inlines

   560

 | (p | speech | \list | blockquote)+

   561

   562

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ table.cals ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   563

   564

# ~~~~~~ table.cals

   565

table.cals = element table { table.attributes, table.cals.content }

   566

   567

table.cals.content =

   568

   block.head?,

   569

   tgroup+,

   570

   table.caption?

   571

   572

# ~~~~~~ tgroup

   573

tgroup = element tgroup { tgroup.attributes, tgroup.content }

   574

   575

tgroup.attributes =

   576

   cols.attribute

   577

cols.attribute = attribute cols { xsd:positiveInteger }

   578

   579

tgroup.content =

   580

   thead.cals?,

   581

   tbody.cals

   582

   583

# ~~~~~~ thead, tbody

   584

thead.cals = element thead { thead.cals.content }

   585

tbody.cals = element tbody { tbody.cals.content }

   586

   587

thead.cals.content =

   588

   row+

   589

tbody.cals.content =

   590

   row+

   591

   592

# ~~~~~~ row

   593

row = element row { row.attributes, row.content }

   594

   595

row.attributes =

   596

   valign.attribute?

   597

   598

row.content =

   599

  table.cals.entry+

   600

   601

# ~~~~~~ table.cals.entry

   602

table.cals.entry = element entry {

   603

   table.cals.entry.attributes, table.cals.entry.content }

   604

   605

table.cals.entry.attributes =

   606

   align.attribute?

   607

 & valign.attribute?

   608

   609

table.cals.entry.content =

   610

   inlines

   611

 | (p | media)+

   612

   613

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ media ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   614

   615

# ~~~~~~ media

   616

media = element media { media.attributes, media.content }

   617

   618

media.attributes =

   619

   xmlid.attribute?

   620

 & media.type.attribute?

   621

media.type.attribute = attribute type { xsd:NCName }

   622

   623

media.content =

   624

   block.head?,

   625

   (media.image | audio | video)+,

   626

   media.caption?,

   627

   link?

   628

   629

# ~~~~~~ image

   630

image = element image { image.attributes }

   631

media.image = element image { image.attributes, media.image.content }

   632

   633

image.attributes =

   634

   media.id.attribute

   635

 & image.type.attribute?

   636

 & image.zoom.attribute?

   637

 & alt.attribute?

   638

media.id.attribute = attribute id { xsd:NMTOKEN }

   639

image.type.attribute = attribute type {

   640

   "cover" | "thumbnail" | "icon" | "animation" }

   641

image.zoom.attribute = attribute zoom {"true" | "false"}

   642

alt.attribute = attribute alt { text }

   643

   644

media.image.content =

   645

   copyright?,

   646

   hotspot*

   647

   648

# ~~~~~~ audio

   649

audio = element audio { audio.attributes }

   650

   651

audio.attributes =

   652

   media.id.attribute

   653

 & audio.type?

   654

audio.type = attribute type { "music" | "voice" | "en" | "fr" | "background"

   655

 | "smil" }

   656

   657

# ~~~~~~ video

   658

video = element video { video.attributes }

   659

   660

video.attributes =

   661

   media.id.attribute

   662

   663

# ~~~~~~ hotspot

   664

hotspot = element hotspot { hotspot.attributes, hotspot.content }

   665

   666

hotspot.attributes =

   667

   x.attribute

   668

 & y.attribute

   669

 & w.attribute

   670

 & h.attribute?

   671

 & hotspot.display.attribute?

   672

 & hotspot.type.attribute?

   673

 & xmlid.attribute?

   674

x.attribute = attribute x { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }

   675

y.attribute = attribute y { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }

   676

w.attribute = attribute w { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }

   677

h.attribute = attribute h { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }

   678

hotspot.display.attribute = attribute display { "normal" | "visible" | "pulse" }

   679

hotspot.type.attribute = attribute type { xsd:NCName }

   680

   681

hotspot.content =

   682

   ((link | p+ | image | audio | video), (spot, scenario?)?)

   683

 | (spot, scenario?)

   684

 | empty

   685

   686

# ~~~~~~ spot

   687

spot = element spot { spot.attributes, spot.content }

   688

   689

spot.attributes =

   690

   dx.attribute?

   691

 & dy.attribute?

   692

 & dw.attribute?

   693

 & dh.attribute?

   694

dx.attribute = attribute dx { xsd:token {pattern = "-?\d{1,2}(\.\d{1,2})?%"} }

   695

dy.attribute = attribute dy { xsd:token {pattern = "-?\d{1,2}(\.\d{1,2})?%"} }

   696

dw.attribute = attribute dw { xsd:token {pattern = "-?\d{1,2}(\.\d{1,2})?%"} }

   697

dh.attribute = attribute dh { xsd:token {pattern = "-?\d{1,2}(\.\d{1,2})?%"} }

   698

   699

spot.content =

   700

   ((p+ | image), audio?)

   701

 | audio

   702

 | video

   703

   704

# ~~~~~~ media.caption

   705

media.caption = element caption { caption.attributes, caption.content }

   706

   707

caption.attributes =

   708

   x.attribute?

   709

 & y.attribute?

   710

   711

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ scenario ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   712

   713

# ~~~~~~ scenario

   714

scenario = element scenario { scenario.content }

   715

   716

scenario.content =

   717

   init*,

   718

   onclick*

   719

   720

# ~~~~~~ init

   721

init = element init { init.attributes }

   722

   723

init.attributes =

   724

   init.action.attribute

   725

 & target.attribute?

   726

init.action.attribute = attribute action { "hide" }

   727

target.attribute = attribute target { "hotspot" | "spot" }

   728

   729

# ~~~~~~ onclick

   730

onclick = element onclick { onclick.attributes }

   731

   732

onclick.attributes =

   733

   onclick.action.attribute

   734

 & target.attribute?

   735

onclick.action.attribute = attribute action { "show" }

   736

   737

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ bibliography.entry ~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   738

   739

# ~~~~~~ bibliography.entry

   740

bibliography.entry = element entry { bibliography.entry.content }

   741

   742

bibliography.entry.content =

   743

   identifier.ean?

   744

 & title

   745

 & subtitle?

   746

 & copyright?

   747

 & collection?

   748

 & contributors?

   749

 & date?

   750

 & place?

   751

 & folio?

   752

 & pages?

   753

   754

# ~~~~~~ folio

   755

folio = element folio { folio.content }

   756

   757

folio.content = xsd:positiveInteger | xsd:token {pattern = "[DLXVI]+"}

   758

   759

# ~~~~~~ pages

   760

pages = element pages { pages.content }

   761

   762

pages.content = xsd:positiveInteger

   763

   764

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ meanings ~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   765

   766

# ~~~~~~ meanings

   767

meanings = element meanings { meanings.attributes, meanings.content }

   768

   769

meanings.attributes =

   770

   gramcode.attribute?

   771

gramcode.attribute = attribute gramcode { xsd:NMTOKEN }

   772

   773

meanings.content =

   774

   meaning+

   775

   776

# ~~~~~~ meaning

   777

meaning = element meaning { meaning.attributes, meaning.content }

   778

   779

meaning.attributes =

   780

   meaning.domain.attribute?

   781

 & langlevel.attribute?

   782

meaning.domain.attribute = attribute domain { xsd:NMTOKEN }

   783

langlevel.attribute = attribute langlevel { xsd:NMTOKEN }

   784

   785

meaning.content =

   786

   ((definition, example*, synonym*, antonym*, translation*)

   787

    | (definition?, example*, synonym*, antonym*, translation+)

   788

    | (definition?, example*, synonym+, antonym*, translation*)

   789

    | (definition?, example*, synonym*, antonym+, translation*)),

   790

   dictum*

   791

   792

# ~~~~~~ definition

   793

definition = element definition { inlines }

   794

   795

# ~~~~~~ synonym, antonym

   796

synonym = element synonym { simple.inlines }

   797

antonym = element antonym { simple.inlines }

   798

   799

# ~~~~~~ translation

   800

translation = element translation { simple.inlines }

   801

   802

# ~~~~~~ dictum

   803

dictum = element dictum { dictum.content }

   804

dictum.content =  p+

   805

   806

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ seealso ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   807

   808

seealso = element seealso { seealso.attributes }

   809

   810

seealso.attributes =

   811

   gloss.ref.attribute

   812

   813

   814

# =============================================================================

   815

#                                 INLINE LEVEL

   816

# =============================================================================

   817

   818

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ inlines ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   819

   820

simple.inlines = mixed {

   821

   sup*

   822

 & sub*

   823

 & var*

   824

 & number*

   825

 & acronym*

   826

 & warning*

   827

}

   828

   829

inlines = mixed {

   830

   sup*

   831

 & sub*

   832

 & var*

   833

 & number*

   834

 & acronym*

   835

 & warning*

   836

   837

 & highlight*

   838

 & emphasis*

   839

 & mentioned*

   840

 & literal*

   841

 & term*

   842

 & example*

   843

 & stage*

   844

 & name*

   845

 & foreign*

   846

 & date*

   847

 & math*

   848

 & quote*

   849

 & initial*

   850

 & note*

   851

 & link*

   852

 & anchor*

   853

 & index*

   854

 & gloss*

   855

 & image*

   856

 & audio*

   857

 & smil*

   858

}

   859

   860

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   861

   862

sup = element sup { mixed { var* & warning* } }

   863

   864

sub = element sub { mixed { var* & warning* } }

   865

   866

var = element var { mixed { warning* } }

   867

   868

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ number ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   869

   870

number = element number {

   871

   ( attribute type {"roman"}, number.attributes, number.roman.content )

   872

 | ( number.attributes, number.content)

   873

}

   874

   875

number.attributes =

   876

   number.value.attribute?

   877

number.value.attribute = attribute value { xsd:integer | xsd:decimal }

   878

   879

number.content = mixed { sup* & warning* }

   880

number.roman.content = xsd:token {pattern = "[MCLXVI]+"}

   881

   882

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ acronym ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   883

   884

acronym = element acronym { acronym.content }

   885

   886

acronym.content = mixed { sup* & warning* }

   887

   888

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ highlight ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   889

   890

highlight = element highlight { highlight.content }

   891

   892

highlight.content = inlines

   893

   894

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ emphasis ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   895

   896

emphasis = element emphasis { emphasis.content }

   897

   898

emphasis.content = inlines

   899

   900

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ mentioned ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   901

   902

mentioned = element mentioned { mentioned.content }

   903

   904

mentioned.content = inlines

   905

   906

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ literal ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   907

   908

literal = element literal { literal.content }

   909

   910

literal.content = inlines

   911

   912

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ term ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   913

   914

term = element term { term.content }

   915

   916

term.content = mixed { sup* & warning* }

   917

   918

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ example ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   919

   920

example = element example { example.content }

   921

   922

example.content = inlines

   923

   924

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ stage ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   925

   926

stage = element stage { stage.content }

   927

   928

stage.content = inlines

   929

   930

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ name ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   931

   932

name = element name { name.attributes, name.content }

   933

   934

name.attributes =

   935

   name.of.attribute?

   936

name.of.attribute = attribute of {

   937

   "person" | "company" | "book" | "newspaper" | "party" | "movie"

   938

 | "painting" }

   939

   940

name.content = mixed { sup* & number* & acronym* & warning* }

   941

   942

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ foreign ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   943

   944

foreign = element foreign { foreign.attributes, foreign.content }

   945

   946

foreign.attributes =

   947

   lang.attribute?

   948

   949

foreign.content = inlines

   950

   951

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ date ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   952

   953

date = element date { date.attributes, date.content }

   954

   955

date.attributes =

   956

   date.value.attribute

   957

 & date.of.attribute?

   958

date.value.attribute = attribute value { xsd:date | xsd:gYearMonth | xsd:gYear }

   959

date.of.attribute = attribute of { "birth" | "death" }

   960

   961

date.content = mixed { sup* & number* & warning* }

   962

   963

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ math ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   964

   965

# ~~~~~~ math

   966

math = element math { math.attributes, math.content }

   967

   968

math.attributes =

   969

   xmlid.attribute?

   970

 & math.display.attribute?

   971

math.display.attribute = attribute display {

   972

   "wide" | "numbered" | "box"  | "numbered-box" }

   973

   974

math.content =

   975

   mixed { sup* & sub* & var* & warning* }

   976

 | latex

   977

   978

# ~~~~~~ latex

   979

latex = element latex { latex.attributes, latex.content }

   980

   981

latex.attributes =

   982

   plain.attritute?

   983

plain.attritute = attribute plain { xsd:boolean }

   984

   985

latex.content = text

   986

   987

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ quote ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   988

   989

quote = element quote { quote.content }

   990

   991

quote.content =

   992

   (phrase, attribution) | inlines

   993