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

    19

    20

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

    21

#                                  TOP LEVEL

    22

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

    23

    24

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

    25

    26

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

    27

    28

top.head.content =

    29

   (title, shorttitle?, subtitle*)?

    30

 & identifier*

    31

 & copyright*

    32

 & collection?

    33

 & contributors?

    34

 & date?

    35

 & place?

    36

 & (source, source?)?

    37

 & keywordset?

    38

 & subjectset?

    39

 & abstract?

    40

 & head.index*

    41

 & cover?

    42

 & annotation*

    43

    44

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

    45

    46

# ~~~~~~ document

    47

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

    48

    49

document.attributes =

    50

   document.id.attribute

    51

 & document.type.attribute?

    52

 & lang.attribute?

    53

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

    54

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

    55

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

    56

    57

document.content =

    58

   top.head?,

    59

   (division | topic)+

    60

    61

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

    62

    63

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

    64

    65

top.topic.attributes =

    66

   topic.id.attribute

    67

 & topic.type.attribute?

    68

 & lang.attribute?

    69

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

    70

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

    71

    72

top.topic.content =

    73

   top.head?,

    74

   header?,

    75

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

    76

   footer?

    77

    78

    79

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

    80

#                                 DIVISION LEVEL

    81

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

    82

    83

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

    84

    85

# ~~~~~~ division

    86

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

    87

    88

division.attributes =

    89

   division.type.attribute?

    90

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

    91

    92

division.content =

    93

   division.head?,

    94

   front?,

    95

   (division | topic)+

    96

    97

# ~~~~~~ division.head

    98

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

    99

   100

division.head.content =

   101

   (title, shorttitle?, subtitle*)?

   102

 & head.index*

   103

 & abstract?

   104

 & annotation*

   105

   106

# ~~~~~~ front

   107

front = element front { front.content }

   108

   109

front.content =

   110

   section+

   111

   112

   113

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

   114

#                                COMPONENT LEVEL

   115

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

   116

   117

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

   118

   119

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

   120

   121

component.head.content =

   122

   (title, shorttitle?, subtitle*)?

   123

 & contributors?

   124

 & date?

   125

 & place?

   126

 & keywordset?

   127

 & subjectset?

   128

 & head.index*

   129

 & abstract?

   130

 & annotation*

   131

   132

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

   133

   134

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

   135

   136

topic.attributes =

   137

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

   138

 & topic.type.attribute?

   139

 & lang.attribute?

   140

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

   141

   142

topic.content =

   143

   component.head?,

   144

   header?,

   145

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

   146

   footer?

   147

   148

   149

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

   150

#                                 SECTION LEVEL

   151

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

   152

   153

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

   154

   155

header = element header { header.content }

   156

   157

header.content =

   158

   block+

   159

   160

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

   161

   162

# ~~~~~~ section

   163

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

   164

   165

section.attributes =

   166

   xmlid.attribute?

   167

 & section.type.attribute?

   168

 & lang.attribute?

   169

 & for.attribute?

   170

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

   171

for.attribute = attribute for { xsd:NCName }

   172

   173

section.content =

   174

   section.head?,

   175

   (section+ | block+)

   176

   177

# ~~~~~~ section.head

   178

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

   179

   180

section.head.content =

   181

   (title, shorttitle?, subtitle*)?

   182

 & keywordset?

   183

 & subjectset?

   184

 & head.index*

   185

 & abstract?

   186

 & audio*

   187

 & annotation*

   188

   189

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

   190

   191

# ~~~~~~ bibliography

   192

bibliography = element bibliography { bibliography.content }

   193

   194

bibliography.content =

   195

   bibliography.entry+

   196

   197

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

   198

   199

footer = element footer { footer.content }

   200

   201

footer.content =

   202

   block+

   203

   204

   205

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

   206

#                                 BLOCK LEVEL

   207

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

   208

   209

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

   210

   211

# ~~~~~~ block

   212

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

   213

   214

# ~~~~~~ block.head

   215

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

   216

   217

block.head.content =

   218

   (title, shorttitle?, subtitle*)?

   219

 & head.index*

   220

   221

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

   222

   223

p = element p { p.content }

   224

   225

p.content =

   226

   inlines

   227

   228

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

   229

   230

# ~~~~~~ speech

   231

speech = element speech { speech.content }

   232

   233

speech.content =

   234

   speaker?,

   235

   stage?,

   236

   (p | blockquote)+

   237

   238

# ~~~~~~ speaker

   239

speaker = element speaker { speaker.content }

   240

   241

speaker.content = inlines

   242

   243

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

   244

   245

# ~~~~~~ list

   246

\list = element list {

   247

   block.head?,

   248

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

   249

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

   250

}

   251

   252

# ~~~~~~ item

   253

item = element item { item.content }

   254

   255

item.content =

   256

   inlines

   257

 | block+

   258

   259

# ~~~~~~ glossary.item

   260

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

   261

   262

glossary.item.content =

   263

   label,

   264

   block+

   265

   266

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

   267

   268

# ~~~~~~ blockquote

   269

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

   270

   271

blockquote.attributes =

   272

   blockquote.type.attribute?

   273

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

   274

   275

blockquote.content =

   276

   block.head?,

   277

   (p | speech | \list)+,

   278

   attribution?

   279

   280

# ~~~~~~ attribution

   281

attribution = element attribution { attribution.content }

   282

   283

attribution.content = mixed {

   284

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

   285

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

   286

   287

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

   288

   289

# ~~~~~~ table

   290

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

   291

   292

table.attributes =

   293

   table.type.attribute?

   294

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

   295

   296

table.content =

   297

   block.head?,

   298

   thead?,

   299

   (tbody+ | tr+),

   300

   table.caption?

   301

   302

# ~~~~~~ thead, tbody

   303

thead = element thead { thead.content }

   304

tbody = element tbody { tbody.content }

   305

   306

thead.content =

   307

   tr+

   308

tbody.content =

   309

   tr+

   310

   311

# ~~~~~~ tr

   312

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

   313

   314

tr.attributes =

   315

   align.attribute?

   316

 & valign.attribute?

   317

 & cell.type.attribute?

   318

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

   319

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

   320

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

   321

   322

tr.content =

   323

   (td | th)+

   324

   325

# ~~~~~~ td, th

   326

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

   327

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

   328

   329

td.attributes =

   330

   align.attribute?

   331

 & valign.attribute?

   332

 & colspan.attribute?

   333

 & rowspan.attribute?

   334

 & cell.type.attribute?

   335

colspan.attribute = attribute colspan { xsd:positiveInteger }

   336

rowspan.attribute = attribute rowspan { xsd:positiveInteger }

   337

   338

td.content =

   339

   inlines

   340

 | (p | media)+

   341

   342

# ~~~~~~ table.caption

   343

table.caption = element caption { caption.content }

   344

   345

caption.content =

   346

   inlines

   347

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

   348

   349

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

   350

   351

# ~~~~~~ table.cals

   352

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

   353

   354

table.cals.content =

   355

   block.head?,

   356

   tgroup+,

   357

   table.caption?

   358

   359

# ~~~~~~ tgroup

   360

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

   361

   362

tgroup.attributes =

   363

   cols.attribute

   364

cols.attribute = attribute cols { xsd:positiveInteger }

   365

   366

tgroup.content =

   367

   thead.cals?,

   368

   tbody.cals

   369

   370

# ~~~~~~ thead, tbody

   371

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

   372

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

   373

   374

thead.cals.content =

   375

   row+

   376

tbody.cals.content =

   377

   row+

   378

   379

# ~~~~~~ row

   380

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

   381

   382

row.attributes =

   383

   valign.attribute?

   384

   385

row.content =

   386

  table.cals.entry+

   387

   388

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

   389

table.cals.entry = element entry {

   390

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

   391

   392

table.cals.entry.attributes =

   393

   align.attribute?

   394

 & valign.attribute?

   395

   396

table.cals.entry.content =

   397

   inlines

   398

 | (p | media)+

   399

   400

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

   401

   402

# ~~~~~~ media

   403

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

   404

   405

media.attributes =

   406

   xmlid.attribute?

   407

 & media.type.attribute?

   408

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

   409

   410

media.content =

   411

   block.head?,

   412

   (media.image | audio | video)+,

   413

   media.caption?,

   414

   link?

   415

   416

# ~~~~~~ image

   417

image = element image { image.attributes }

   418

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

   419

   420

image.attributes =

   421

   media.id.attribute

   422

 & image.type?

   423

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

   424

image.type = attribute type { "cover" | "thumbnail" | "icon" | "animation" }

   425

   426

media.image.content =

   427

   copyright?,

   428

   hotspot*

   429

   430

# ~~~~~~ audio

   431

audio = element audio { audio.attributes }

   432

   433

audio.attributes =

   434

   media.id.attribute

   435

 & audio.type?

   436

audio.type = attribute type { "music" | "voice" | "background" | "smil" }

   437

   438

# ~~~~~~ video

   439

video = element video { video.attributes }

   440

   441

video.attributes =

   442

   media.id.attribute

   443

   444

# ~~~~~~ hotspot

   445

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

   446

   447

hotspot.attributes =

   448

   x.attribute

   449

 & y.attribute

   450

 & w.attribute

   451

 & h.attribute?

   452

 & hotspot.display.attribute?

   453

 & hotspot.type.attribute?

   454

 & xmlid.attribute?

   455

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

   456

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

   457

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

   458

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

   459

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

   460

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

   461

   462

hotspot.content =

   463

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

   464

 | (spot, scenario?)

   465

 | empty 

   466

   467

# ~~~~~~ spot

   468

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

   469

   470

spot.attributes =

   471

   dx.attribute?

   472

 & dy.attribute?

   473

 & dw.attribute?

   474

 & dh.attribute?

   475

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

   476

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

   477

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

   478

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

   479

   480

spot.content =

   481

   ((p+ | image), audio?)

   482

 | audio

   483

 | video

   484

   485

# ~~~~~~ media.caption

   486

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

   487

   488

caption.attributes =

   489

   x.attribute?

   490

 & y.attribute?

   491

   492

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

   493

   494

# ~~~~~~ scenario

   495

scenario = element scenario { scenario.content }

   496

   497

scenario.content =

   498

   init*,

   499

   onclick*

   500

   501

# ~~~~~~ init

   502

init = element init { init.attributes }

   503

   504

init.attributes =

   505

   init.action.attribute

   506

 & target.attribute?

   507

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

   508

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

   509

   510

# ~~~~~~ onclick

   511

onclick = element onclick { onclick.attributes }

   512

   513

onclick.attributes =

   514

   onclick.action.attribute

   515

 & target.attribute?

   516

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

   517

   518

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ bibliograpgy.entry ~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   519

   520

# ~~~~~~ bibliography.entry

   521

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

   522

   523

bibliography.entry.content =

   524

   identifier.ean?

   525

 & title

   526

 & subtitle?

   527

 & copyright?

   528

 & collection?

   529

 & contributors?

   530

 & date?

   531

 & place?

   532

 & folio?

   533

 & pages?

   534

   535

# ~~~~~~ folio

   536

folio = element folio { folio.content }

   537

   538

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

   539

   540

# ~~~~~~ pages

   541

pages = element pages { pages.content }

   542

   543

pages.content = xsd:positiveInteger

   544

   545

   546

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

   547

#                                 HEAD LEVEL

   548

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

   549

   550

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

   551

   552

title = element title { title.content }

   553

shorttitle = element shorttitle { title.content }

   554

subtitle = element subtitle { title.content }

   555

   556

title.content = inlines

   557

   558

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

   559

   560

# ~~~~~~ identifier

   561

identifier = element identifier {

   562

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

   563

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

   564

}

   565

   566

# ~~~~~~ identifier.ean

   567

identifier.ean = element identifier {

   568

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

   569

}

   570

   571

# ~~~~~~ identifier.uri

   572

identifier.uri = element identifier {

   573

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

   574

}

   575

   576

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

   577

   578

copyright = element copyright { copyright.content }

   579

   580

copyright.content = simple.inlines

   581

   582

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

   583

   584

collection = element collection { collection.content }

   585

   586

collection.content = simple.inlines

   587

   588

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

   589

   590

# ~~~~~~ contributors

   591

contributors = element contributors { contributors.content }

   592

   593

contributors.content =

   594

   contributor+

   595

   596

# ~~~~~~ contributor

   597

contributor = element contributor { contributor.content }

   598

   599

contributor.content =

   600

   identifier.uri?,

   601

   (((firstname, secondname?)?, lastname) | label),

   602

   address?,

   603

   link?,

   604

   role+

   605

   606

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

   607

firstname = element firstname { firstname.content }

   608

secondname = element secondname { secondname.content }

   609

lastname = element lastname { lastname.content }

   610

label = element label { label.content }

   611

   612

firstname.content = simple.inlines

   613

secondname.content = simple.inlines

   614

lastname.content = simple.inlines

   615

label.content = simple.inlines

   616

   617

# ~~~~~~ address

   618

address = element address { address.content }

   619

   620

address.content = simple.inlines

   621

   622

# ~~~~~~ role

   623

role = element role { role.content }

   624

   625

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

   626

   627

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

   628

   629

place = element place { place.content }

   630

   631

place.content = simple.inlines

   632

   633

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

   634

   635

source = element source {

   636

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

   637

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

   638

   source.content

   639

}

   640

   641

source.content.file =

   642

   identifier.uri

   643

source.content =

   644

   annotation*

   645

   646

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

   647

   648

# ~~~~~~ keywordset

   649

keywordset = element keywordset { keywordset.content }

   650

   651

keywordset.content = keyword+

   652

   653

# ~~~~~~ keyword

   654

keyword = element keyword { keyword.content }

   655

   656

keyword.content = simple.inlines

   657

   658

# ~~~~~~ subjectset

   659

subjectset = element subjectset { subjectset.content }

   660

   661

subjectset.content = subject+

   662

   663

# ~~~~~~ subject

   664

subject = element subject { subject.content }

   665

   666

subject.content = simple.inlines

   667

   668

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

   669

   670

# ~~~~~~ index

   671

index = element index { index.content }

   672

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

   673

   674

index.content =

   675

   (index.w, index.entry?)

   676

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

   677

head.index.content =

   678

   index.entry, index.entry?

   679

   680

# ~~~~~~ index.w

   681

index.w = element w { simple.inlines }

   682

   683

# ~~~~~~ index.entry

   684

index.entry = element entry { simple.inlines }

   685

   686

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

   687

   688

abstract = element abstract { abstract.content }

   689

   690

abstract.content =

   691

   p+

   692

   693

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

   694

   695

cover = element cover { cover.content }

   696

   697

cover.content =

   698

   cover.image

   699

   700

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

   701

   702

cover.image.attributes =

   703

   media.id.attribute

   704

   705

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

   706

   707

annotation = element annotation { annotation.content }

   708

   709

annotation.content = inlines

   710

   711

   712

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

   713

#                                 INLINE LEVEL

   714

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

   715

   716

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

   717

   718

simple.inlines = mixed {

   719

   sup*

   720

 & sub*

   721

 & var*

   722

 & number*

   723

 & math*

   724

 & date*

   725

 & name*

   726

 & acronym*

   727

 & term*

   728

 & warning*

   729

}

   730

   731

inlines = mixed {

   732

   sup*

   733

 & sub*

   734

 & var*

   735

 & number*

   736

 & math*

   737

 & date*

   738

 & name*

   739

 & acronym*

   740

 & term*

   741

 & warning*

   742

   743

 & literal*

   744

 & foreign*

   745

 & highlight*

   746

 & emphasis*

   747

 & mentioned*

   748

 & stage*

   749

 & initial*

   750

 & quote*

   751

 & image*

   752

 & audio*

   753

 & smil*

   754

 & note*

   755

 & link*

   756

 & anchor*

   757

 & index*

   758

}

   759

   760

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

   761

   762

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

   763

   764

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

   765

   766

var = element var { mixed { warning* } }

   767

   768

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

   769

   770

number = element number {

   771

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

   772

 | ( number.attributes, number.content)

   773

}

   774

   775

number.attributes =

   776

   number.value.attribute?

   777

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

   778

   779

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

   780

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

   781

   782

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

   783

   784

# ~~~~~~ math

   785

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

   786

   787

math.attributes =

   788

   xmlid.attribute?

   789

 & math.display.attribute?

   790

math.display.attribute = attribute display {

   791

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

   792

   793

math.content =

   794

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

   795

 | latex

   796

   797

# ~~~~~~ latex

   798

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

   799

   800

latex.attributes =

   801

   plain.attritute?

   802

plain.attritute = attribute plain { xsd:boolean }

   803

   804

latex.content = text

   805

   806

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

   807

   808

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

   809

   810

date.attributes =

   811

   date.value.attribute

   812

 & date.of.attribute?

   813

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

   814

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

   815

   816

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

   817

   818

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

   819

   820

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

   821

   822

name.attributes =

   823

   name.of.attribute?

   824

name.of.attribute = attribute of {

   825

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

   826

 | "painting" }

   827

   828

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

   829

   830

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

   831

   832

acronym = element acronym { acronym.content }

   833

   834

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

   835

   836

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

   837

   838

term = element term { term.content }

   839

   840

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

   841

   842

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

   843

   844

literal = element literal { literal.content }

   845

   846

literal.content = inlines

   847

   848

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

   849

   850

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

   851

   852

foreign.attributes =

   853

   lang.attribute?

   854

   855

foreign.content = inlines

   856

   857

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

   858

   859

highlight = element highlight { highlight.content }

   860

   861

highlight.content = inlines

   862

   863

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

   864

   865

emphasis = element emphasis { emphasis.content }

   866

   867

emphasis.content = inlines

   868

   869

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

   870

   871

mentioned = element mentioned { mentioned.content }

   872

   873

mentioned.content = inlines

   874

   875

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

   876

   877

stage = element stage { stage.content }

   878

   879

stage.content = inlines

   880

   881

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ initial ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   882

   883

initial = element initial { initial.content }

   884

   885

initial.content =

   886

   initial.c,

   887

   initial.w?

   888

   889

initial.c = element c { text }

   890

initial.w = element w { inlines }

   891

   892

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

   893

   894

quote = element quote { quote.content }

   895

   896

quote.content =

   897

   (phrase, attribution) | inlines

   898

   899

phrase = element phrase { phrase.content }

   900

   901

phrase.content = inlines

   902

   903

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ smil ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   904

   905

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

   906

   907

smil.attributes =

   908

   audio.attribute?

   909

 & begin.attribute?

   910

 & end.attribute?

   911

audio.attribute = attribute audio { xsd:anyURI }

   912

begin.attribute = attribute begin { xsd:decimal }

   913

end.attribute = attribute end { xsd:decimal }

   914

   915

smil.content = inlines

   916

   917

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ note ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   918

   919

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

   920

   921

note.attributes =

   922

   note.label.attribute?

   923

note.label.attribute = attribute label { text }

   924

   925

note.content =

   926

   (note.w?, block+)

   927

 | inlines

   928

   929

note.w = element w { inlines }

   930

   931

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ link ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   932

   933

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

   934

   935

link.attributes =

   936

   (uri.attribute | idref.attribute)

   937

uri.attribute = attribute uri { xsd:anyURI }

   938

idref.attribute = attribute idref { xsd:IDREF }

   939

   940

link.content = simple.inlines

   941

   942

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ anchor ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   943

   944

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

   945

   946

anchor.attributes =

   947

   anchor.id.attribute

   948

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

   949

   950

anchor.content = simple.inlines

   951

   952

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ warning ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   953

   954

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

   955

   956

warning.attributes =

   957

   warning.type.attribute?

   958

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

   959

   960

warning.content = inlines