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

 & cover?

    41

 & annotation*

    42

    43

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

    44

    45

# ~~~~~~ document

    46

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

    47

    48

document.attributes =

    49

   document.id.attribute

    50

 & document.type.attribute?

    51

 & lang.attribute?

    52

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

    53

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

    54

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

    55

    56

document.content =

    57

   top.head?,

    58

   (division | topic)+

    59

    60

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

    61

    62

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

    63

    64

top.topic.attributes =

    65

   topic.id.attribute

    66

 & topic.type.attribute?

    67

 & lang.attribute?

    68

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

    69

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

    70

    71

top.topic.content =

    72

   top.head?,

    73

   header?,

    74

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

    75

   footer?

    76

    77

    78

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

    79

#                                 DIVISION LEVEL

    80

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

    81

    82

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

    83

    84

# ~~~~~~ division

    85

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

    86

    87

division.attributes =

    88

   division.type.attribute?

    89

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

    90

    91

division.content =

    92

   division.head?,

    93

   front?,

    94

   (division | topic)+

    95

    96

# ~~~~~~ division.head

    97

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

    98

    99

division.head.content =

   100

   (title, shorttitle?, subtitle*)?

   101

 & abstract?

   102

 & annotation*

   103

   104

# ~~~~~~ front

   105

front = element front { front.content }

   106

   107

front.content =

   108

   section+

   109

   110

   111

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

   112

#                                COMPONENT LEVEL

   113

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

   114

   115

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

   116

   117

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

   118

   119

component.head.content =

   120

   (title, shorttitle?, subtitle*)?

   121

 & contributors?

   122

 & date?

   123

 & place?

   124

 & keywordset?

   125

 & subjectset?

   126

 & abstract?

   127

 & annotation*

   128

   129

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

   130

   131

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

   132

   133

topic.attributes =

   134

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

   135

 & topic.type.attribute?

   136

 & lang.attribute?

   137

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

   138

   139

topic.content =

   140

   component.head?,

   141

   header?,

   142

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

   143

   footer?

   144

   145

   146

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

   147

#                                 SECTION LEVEL

   148

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

   149

   150

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

   151

   152

header = element header { header.content }

   153

   154

header.content =

   155

   block+

   156

   157

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

   158

   159

# ~~~~~~ section

   160

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

   161

   162

section.attributes =

   163

   section.type.attribute?

   164

 & lang.attribute?

   165

 & for.attribute?

   166

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

   167

for.attribute = attribute for { xsd:NCName }

   168

   169

section.content =

   170

   section.head?,

   171

   (section+ | block+)

   172

   173

# ~~~~~~ section.head

   174

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

   175

   176

section.head.content =

   177

   (title, shorttitle?, subtitle*)?

   178

 & keywordset?

   179

 & subjectset?

   180

 & abstract?

   181

 & audio*

   182

 & annotation*

   183

   184

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

   185

   186

# ~~~~~~ bibliography

   187

bibliography = element bibliography { bibliography.content }

   188

   189

bibliography.content =

   190

   bibliography.entry+

   191

   192

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

   193

   194

footer = element footer { footer.content }

   195

   196

footer.content =

   197

   block+

   198

   199

   200

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

   201

#                                 BLOCK LEVEL

   202

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

   203

   204

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

   205

   206

# ~~~~~~ block

   207

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

   208

   209

# ~~~~~~ block.head

   210

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

   211

   212

block.head.content =

   213

   (title, shorttitle?, subtitle*)?

   214

   215

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

   216

   217

p = element p { p.content }

   218

   219

p.content =

   220

   inlines

   221

   222

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

   223

   224

# ~~~~~~ speech

   225

speech = element speech { speech.content }

   226

   227

speech.content =

   228

   speaker?,

   229

   stage?,

   230

   (p | blockquote)+

   231

   232

# ~~~~~~ speaker

   233

speaker = element speaker { speaker.content }

   234

   235

speaker.content = inlines

   236

   237

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

   238

   239

# ~~~~~~ list

   240

\list = element list {

   241

   block.head?,

   242

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

   243

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

   244

}

   245

   246

# ~~~~~~ item

   247

item = element item { item.content }

   248

   249

item.content =

   250

   inlines

   251

 | block+

   252

   253

# ~~~~~~ glossary.item

   254

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

   255

   256

glossary.item.content =

   257

   label,

   258

   block+

   259

   260

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

   261

   262

# ~~~~~~ blockquote

   263

blockquote = element blockquote { blockquote.content }

   264

   265

blockquote.content =

   266

   block.head?,

   267

   (p | speech | \list)+,

   268

   attribution?

   269

   270

# ~~~~~~ attribution

   271

attribution = element attribution { attribution.content }

   272

   273

attribution.content = mixed {

   274

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

   275

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

   276

   277

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

   278

   279

# ~~~~~~ table

   280

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

   281

   282

table.attributes =

   283

   table.type.attribute?

   284

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

   285

   286

table.content =

   287

   block.head?,

   288

   thead?,

   289

   (tbody+ | tr+),

   290

   table.caption?

   291

   292

# ~~~~~~ thead, tbody

   293

thead = element thead { thead.content }

   294

tbody = element tbody { tbody.content }

   295

   296

thead.content =

   297

   tr+

   298

tbody.content =

   299

   tr+

   300

   301

# ~~~~~~ tr

   302

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

   303

   304

tr.attributes =

   305

   align.attribute?

   306

 & valign.attribute?

   307

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

   308

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

   309

   310

tr.content =

   311

   (td | th)+

   312

   313

# ~~~~~~ td, th

   314

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

   315

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

   316

   317

td.attributes =

   318

   align.attribute?

   319

 & valign.attribute?

   320

 & colspan.attribute?

   321

 & rowspan.attribute?

   322

colspan.attribute = attribute colspan { xsd:positiveInteger }

   323

rowspan.attribute = attribute rowspan { xsd:positiveInteger }

   324

   325

td.content =

   326

   inlines

   327

 | (p | media)+

   328

   329

# ~~~~~~ table.caption

   330

table.caption = element caption { caption.content }

   331

   332

caption.content =

   333

   inlines

   334

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

   335

   336

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

   337

   338

# ~~~~~~ table.cals

   339

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

   340

   341

table.cals.content =

   342

   block.head?,

   343

   tgroup+,

   344

   table.caption?

   345

   346

# ~~~~~~ tgroup

   347

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

   348

   349

tgroup.attributes =

   350

   cols.attribute

   351

cols.attribute = attribute cols { xsd:positiveInteger }

   352

   353

tgroup.content =

   354

   thead.cals?,

   355

   tbody.cals

   356

   357

# ~~~~~~ thead, tbody

   358

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

   359

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

   360

   361

thead.cals.content =

   362

   row+

   363

tbody.cals.content =

   364

   row+

   365

   366

# ~~~~~~ row

   367

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

   368

   369

row.attributes =

   370

   valign.attribute?

   371

   372

row.content =

   373

  table.cals.entry+

   374

   375

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

   376

table.cals.entry = element entry {

   377

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

   378

   379

table.cals.entry.attributes =

   380

   align.attribute?

   381

 & valign.attribute?

   382

   383

table.cals.entry.content =

   384

   inlines

   385

 | (p | media)+

   386

   387

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

   388

   389

# ~~~~~~ media

   390

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

   391

   392

media.attributes =

   393

   media.type.attribute?

   394

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

   395

   396

media.content =

   397

   block.head?,

   398

   (image | audio | video)+,

   399

   media.caption?,

   400

   link?

   401

   402

# ~~~~~~ image

   403

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

   404

hotspot.image = element image { image.attributes }

   405

   406

image.attributes =

   407

   media.id.attribute

   408

 & image.type?

   409

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

   410

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

   411

   412

image.content =

   413

   copyright?,

   414

   hotspot*

   415

   416

# ~~~~~~ audio

   417

audio = element audio { audio.attributes }

   418

   419

audio.attributes =

   420

   media.id.attribute

   421

 & audio.type?

   422

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

   423

   424

# ~~~~~~ video

   425

video = element video { video.attributes }

   426

   427

video.attributes =

   428

   media.id.attribute

   429

   430

# ~~~~~~ hotspot

   431

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

   432

   433

hotspot.attributes =

   434

   x.attribute

   435

 & y.attribute

   436

 & w.attribute

   437

 & h.attribute?

   438

 & hotspot.display.attribute?

   439

 & hotspot.type.attribute?

   440

 & xmlid.attribute?

   441

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

   442

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

   443

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

   444

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

   445

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

   446

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

   447

   448

hotspot.content =

   449

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

   450

 | (spot, scenario?)

   451

 | empty 

   452

   453

# ~~~~~~ spot

   454

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

   455

   456

spot.attributes =

   457

   dx.attribute?

   458

 & dy.attribute?

   459

 & dw.attribute?

   460

 & dh.attribute?

   461

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

   462

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

   463

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

   464

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

   465

   466

spot.content =

   467

   ((p+ | image), audio?)

   468

 | audio

   469

 | video

   470

   471

# ~~~~~~ media.caption

   472

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

   473

   474

caption.attributes =

   475

   x.attribute?

   476

 & y.attribute?

   477

   478

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

   479

   480

# ~~~~~~ scenario

   481

scenario = element scenario { scenario.content }

   482

   483

scenario.content =

   484

   init*,

   485

   onclick*

   486

   487

# ~~~~~~ init

   488

init = element init { init.attributes }

   489

   490

init.attributes =

   491

   init.action.attribute

   492

 & target.attribute?

   493

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

   494

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

   495

   496

# ~~~~~~ onclick

   497

onclick = element onclick { onclick.attributes }

   498

   499

onclick.attributes =

   500

   onclick.action.attribute

   501

 & target.attribute?

   502

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

   503

   504

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

   505

   506

# ~~~~~~ bibliography.entry

   507

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

   508

   509

bibliography.entry.content =

   510

   identifier.ean?

   511

 & title

   512

 & subtitle?

   513

 & copyright?

   514

 & collection?

   515

 & contributors?

   516

 & date?

   517

 & place?

   518

 & folio?

   519

 & pages?

   520

   521

# ~~~~~~ folio

   522

folio = element folio { folio.content }

   523

   524

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

   525

   526

# ~~~~~~ pages

   527

pages = element pages { pages.content }

   528

   529

pages.content = xsd:positiveInteger

   530

   531

   532

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

   533

#                                 HEAD LEVEL

   534

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

   535

   536

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

   537

   538

title = element title { title.content }

   539

shorttitle = element shorttitle { title.content }

   540

subtitle = element subtitle { title.content }

   541

   542

title.content = inlines

   543

   544

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

   545

   546

# ~~~~~~ identifier

   547

identifier = element identifier {

   548

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

   549

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

   550

}

   551

   552

# ~~~~~~ identifier.ean

   553

identifier.ean = element identifier {

   554

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

   555

}

   556

   557

# ~~~~~~ identifier.uri

   558

identifier.uri = element identifier {

   559

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

   560

}

   561

   562

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

   563

   564

copyright = element copyright { copyright.content }

   565

   566

copyright.content = inlines

   567

   568

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

   569

   570

collection = element collection { collection.content }

   571

   572

collection.content = inlines

   573

   574

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

   575

   576

# ~~~~~~ contributors

   577

contributors = element contributors { contributors.content }

   578

   579

contributors.content =

   580

   contributor+

   581

   582

# ~~~~~~ contributor

   583

contributor = element contributor { contributor.content }

   584

   585

contributor.content =

   586

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

   587

   address?,

   588

   link?,

   589

   role+

   590

   591

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

   592

firstname = element firstname { firstname.content }

   593

secondname = element secondname { secondname.content }

   594

lastname = element lastname { lastname.content }

   595

label = element label { label.content }

   596

   597

firstname.content = inlines

   598

secondname.content = inlines

   599

lastname.content = inlines

   600

label.content = inlines

   601

   602

# ~~~~~~ address

   603

address = element address { address.content }

   604

   605

address.content = inlines

   606

   607

# ~~~~~~ role

   608

role = element role { role.content }

   609

   610

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

   611

   612

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

   613

   614

place = element place { place.content }

   615

   616

place.content = inlines

   617

   618

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

   619

   620

source = element source {

   621

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

   622

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

   623

   source.content

   624

}

   625

   626

source.content.file =

   627

   identifier.uri

   628

source.content =

   629

   annotation*

   630

   631

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

   632

   633

# ~~~~~~ keywordset

   634

keywordset = element keywordset { keywordset.content }

   635

   636

keywordset.content = keyword+

   637

   638

# ~~~~~~ keyword

   639

keyword = element keyword { keyword.content }

   640

   641

keyword.content = mixed { sup*, sub* }

   642

   643

# ~~~~~~ subjectset

   644

subjectset = element subjectset { subjectset.content }

   645

   646

subjectset.content = subject+

   647

   648

# ~~~~~~ subject

   649

subject = element subject { subject.content }

   650

   651

subject.content = mixed { sup*, sub* }

   652

   653

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

   654

   655

abstract = element abstract { abstract.content }

   656

   657

abstract.content =

   658

   p+

   659

   660

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

   661

   662

cover = element cover { cover.content }

   663

   664

cover.content =

   665

   cover.image

   666

   667

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

   668

   669

cover.image.attributes =

   670

   cover.image.id.attribute

   671

cover.image.id.attribute = attribute id { xsd:NMTOKEN }

   672

   673

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

   674

   675

annotation = element annotation { annotation.content }

   676

   677

annotation.content = inlines

   678

   679

   680

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

   681

#                                 INLINE LEVEL

   682

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

   683

   684

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

   685

   686

inlines = mixed {

   687

   sup*

   688

 & sub*

   689

 & var*

   690

 & number*

   691

 & math*

   692

 & date*

   693

 & name*

   694

 & foreign*

   695

 & acronym*

   696

 & term*

   697

 & literal*

   698

 & stage*

   699

 & highlight*

   700

 & emphasis*

   701

 & mentioned*

   702

 & initial*

   703

 & note*

   704

 & quote*

   705

 & link*

   706

 & anchor*

   707

 & image*

   708

 & audio*

   709

 & smil*

   710

 & warning*

   711

}

   712

   713

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

   714

   715

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

   716

   717

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

   718

   719

var = element var { mixed { warning* } }

   720

   721

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

   722

   723

number = element number {

   724

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

   725

 | ( number.attributes, number.content)

   726

}

   727

   728

number.attributes =

   729

   number.value.attribute?

   730

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

   731

   732

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

   733

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

   734

   735

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

   736

   737

math = element math {

   738

   ( attribute notation {"tex"}, math.attributes, math.tex.content )

   739

 | ( math.attributes, math.content)

   740

}

   741

   742

math.attributes =

   743

   wide.attribute?

   744

wide.attribute = attribute wide { xsd:boolean }

   745

   746

math.content = mixed { sup* & sub* & var* & warning* }

   747

math.tex.content = text

   748

   749

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

   750

   751

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

   752

   753

date.attributes =

   754

   date.value.attribute

   755

 & date.of.attribute?

   756

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

   757

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

   758

   759

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

   760

   761

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

   762

   763

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

   764

   765

name.attributes =

   766

   name.of.attribute?

   767

name.of.attribute = attribute of {

   768

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

   769

 | "painting" }

   770

   771

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

   772

   773

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

   774

   775

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

   776

   777

foreign.attributes =

   778

   lang.attribute?

   779

   780

foreign.content = inlines

   781

   782

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

   783

   784

acronym = element acronym { acronym.content }

   785

   786

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

   787

   788

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

   789

   790

term = element term { term.content }

   791

   792

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

   793

   794

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

   795

   796

literal = element literal { literal.content }

   797

   798

literal.content = inlines

   799

   800

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

   801

   802

stage = element stage { stage.content }

   803

   804

stage.content = inlines

   805

   806

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

   807

   808

highlight = element highlight { highlight.content }

   809

   810

highlight.content = inlines

   811

   812

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

   813

   814

emphasis = element emphasis { emphasis.content }

   815

   816

emphasis.content = inlines

   817

   818

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

   819

   820

mentioned = element mentioned { mentioned.content }

   821

   822

mentioned.content = inlines

   823

   824

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

   825

   826

initial = element initial { initial.content }

   827

   828

initial.content =

   829

   c,

   830

   w?

   831

   832

c = element c { text }

   833

w = element w { inlines }

   834

   835

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

   836

   837

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

   838

   839

note.attributes =

   840

   note.label.attribute?

   841

note.label.attribute = attribute label { text }

   842

   843

note.content =

   844

   (w?, block+) | inlines

   845

   846

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

   847

   848

quote = element quote { quote.content }

   849

   850

quote.content =

   851

   (phrase, attribution) | inlines

   852

   853

phrase = element phrase { phrase.content }

   854

   855

phrase.content = inlines

   856

   857

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

   858

   859

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

   860

   861

link.attributes =

   862

   (uri.attribute | idref.attribute)

   863

uri.attribute = attribute uri { xsd:anyURI }

   864

idref.attribute = attribute idref { xsd:IDREF }

   865

   866

link.content = mixed {

   867

   sup* & sub* & var* & number* & math* & date* & name* & foreign* & acronym*

   868

 & term* & literal* & stage* & highlight* & emphasis* & mentioned* & warning* }

   869

   870

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

   871

   872

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

   873

   874

anchor.attributes =

   875

   anchor.id.attribute

   876

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

   877

   878

anchor.content = inlines

   879

   880

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

   881

   882

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

   883

   884

smil.attributes =

   885

   audio.attribute?

   886

 & begin.attribute?

   887

 & end.attribute?

   888

audio.attribute = attribute audio { xsd:anyURI }

   889

begin.attribute = attribute begin { xsd:decimal }

   890

end.attribute = attribute end { xsd:decimal }

   891

   892

smil.content = inlines

   893

   894

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

   895

   896

warning = element warning { warning.content }

   897

   898

warning.content = inlines