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

#                                 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)+

   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

   249

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

   250

#                                 DIVISION LEVEL

   251

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

   252

   253

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

   254

   255

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

   256

   257

division.head.content =

   258

   (title & shorttitle? & subtitle*)?

   259

 & indexset?

   260

 & abstract?

   261

 & annotation?

   262

   263

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

   264

   265

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

   266

   267

division.attributes =

   268

   division.type.attribute?

   269

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

   270

   271

division.content =

   272

   division.head?,

   273

   front?,

   274

   (division | topic)+

   275

   276

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

   277

   278

front = element front { front.content }

   279

   280

front.content =

   281

   section+

   282

   283

   284

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

   285

#                                COMPONENT LEVEL

   286

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

   287

   288

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

   289

   290

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

   291

   292

component.head.content =

   293

   (title & shorttitle? & subtitle*)?

   294

 & contributors?

   295

 & date?

   296

 & place?

   297

 & keywordset?

   298

 & subjectset?

   299

 & indexset?

   300

 & abstract?

   301

 & annotation?

   302

   303

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

   304

   305

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

   306

   307

topic.attributes =

   308

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

   309

 & topic.type.attribute?

   310

 & lang.attribute?

   311

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

   312

   313

topic.content =

   314

   component.head?,

   315

   header?,

   316

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

   317

   footer?

   318

   319

   320

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

   321

#                                 SECTION LEVEL

   322

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

   323

   324

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

   325

   326

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

   327

   328

section.head.content =

   329

   (title & shorttitle? & subtitle*)?

   330

 & keywordset?

   331

 & subjectset?

   332

 & indexset?

   333

 & abstract?

   334

 & audio*

   335

 & annotation?

   336

   337

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

   338

   339

header = element header { header.content }

   340

   341

header.content =

   342

   block+

   343

   344

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

   345

   346

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

   347

   348

section.attributes =

   349

   xmlid.attribute?

   350

 & section.type.attribute?

   351

 & lang.attribute?

   352

 & for.attribute?

   353

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

   354

for.attribute = attribute for { xsd:NCName }

   355

   356

section.content =

   357

   section.head?,

   358

   (section+ | block+)

   359

   360

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

   361

   362

bibliography = element bibliography { bibliography.content }

   363

   364

bibliography.content =

   365

   bibliography.entry+

   366

   367

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

   368

   369

footer = element footer { footer.content }

   370

   371

footer.content =

   372

   block+

   373

   374

   375

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

   376

#                                 BLOCK LEVEL

   377

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

   378

   379

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

   380

   381

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

   382

   383

block.head.content =

   384

   (title & shorttitle? & subtitle*)?

   385

 & indexset?

   386

 & annotation?

   387

   388

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

   389

   390

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

   391

   392

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

   393

   394

p = element p { p.content }

   395

   396

p.content =

   397

   inlines

   398

   399

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

   400

   401

# ~~~~~~ list

   402

\list = element list {

   403

   block.head?,

   404

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

   405

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

   406

}

   407

   408

# ~~~~~~ item

   409

item = element item { item.content }

   410

   411

item.content =

   412

   inlines

   413

 | block+

   414

   415

# ~~~~~~ glossary.item

   416

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

   417

   418

glossary.item.content =

   419

   label,

   420

   block+

   421

   422

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

   423

   424

# ~~~~~~ blockquote

   425

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

   426

   427

blockquote.attributes =

   428

   blockquote.type.attribute?

   429

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

   430

   431

blockquote.content =

   432

   block.head?,

   433

   (p | speech | \list)+,

   434

   attribution?

   435

   436

# ~~~~~~ attribution

   437

attribution = element attribution { attribution.content }

   438

   439

attribution.content = mixed {

   440

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

   441

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

   442

   443

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

   444

   445

# ~~~~~~ speech

   446

speech = element speech { speech.content }

   447

   448

speech.content =

   449

   speaker?,

   450

   stage?,

   451

   (p | blockquote)+

   452

   453

# ~~~~~~ speaker

   454

speaker = element speaker { speaker.content }

   455

   456

speaker.content = inlines

   457

   458

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

   459

   460

# ~~~~~~ table

   461

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

   462

   463

table.attributes =

   464

   table.type.attribute?

   465

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

   466

   467

table.content =

   468

   block.head?,

   469

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

   470

   table.caption?

   471

   472

# ~~~~~~ thead, tbody

   473

thead = element thead { thead.content }

   474

tbody = element tbody { tbody.content }

   475

   476

thead.content =

   477

   tr+

   478

tbody.content =

   479

   tr+

   480

   481

# ~~~~~~ tr

   482

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

   483

   484

tr.attributes =

   485

   align.attribute?

   486

 & valign.attribute?

   487

 & cell.type.attribute?

   488

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

   489

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

   490

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

   491

   492

tr.content =

   493

   (td | th)+

   494

   495

# ~~~~~~ td, th

   496

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

   497

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

   498

   499

td.attributes =

   500

   align.attribute?

   501

 & valign.attribute?

   502

 & colspan.attribute?

   503

 & rowspan.attribute?

   504

 & cell.type.attribute?

   505

colspan.attribute = attribute colspan { xsd:positiveInteger }

   506

rowspan.attribute = attribute rowspan { xsd:positiveInteger }

   507

   508

td.content =

   509

   inlines

   510

 | (p | media)+

   511

   512

# ~~~~~~ table.caption

   513

table.caption = element caption { caption.content }

   514

   515

caption.content =

   516

   inlines

   517

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

   518

   519

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

   520

   521

# ~~~~~~ table.cals

   522

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

   523

   524

table.cals.content =

   525

   block.head?,

   526

   tgroup+,

   527

   table.caption?

   528

   529

# ~~~~~~ tgroup

   530

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

   531

   532

tgroup.attributes =

   533

   cols.attribute

   534

cols.attribute = attribute cols { xsd:positiveInteger }

   535

   536

tgroup.content =

   537

   thead.cals?,

   538

   tbody.cals

   539

   540

# ~~~~~~ thead, tbody

   541

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

   542

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

   543

   544

thead.cals.content =

   545

   row+

   546

tbody.cals.content =

   547

   row+

   548

   549

# ~~~~~~ row

   550

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

   551

   552

row.attributes =

   553

   valign.attribute?

   554

   555

row.content =

   556

  table.cals.entry+

   557

   558

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

   559

table.cals.entry = element entry {

   560

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

   561

   562

table.cals.entry.attributes =

   563

   align.attribute?

   564

 & valign.attribute?

   565

   566

table.cals.entry.content =

   567

   inlines

   568

 | (p | media)+

   569

   570

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

   571

   572

# ~~~~~~ media

   573

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

   574

   575

media.attributes =

   576

   xmlid.attribute?

   577

 & media.type.attribute?

   578

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

   579

   580

media.content =

   581

   block.head?,

   582

   (media.image | audio | video)+,

   583

   media.caption?,

   584

   link?

   585

   586

# ~~~~~~ image

   587

image = element image { image.attributes }

   588

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

   589

   590

image.attributes =

   591

   media.id.attribute

   592

 & image.type.attribute?

   593

 & image.zoom.attribute?

   594

 & alt.attribute?

   595

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

   596

image.type.attribute = attribute type {

   597

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

   598

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

   599

alt.attribute = attribute alt { text }

   600

   601

media.image.content =

   602

   copyright?,

   603

   hotspot*

   604

   605

# ~~~~~~ audio

   606

audio = element audio { audio.attributes }

   607

   608

audio.attributes =

   609

   media.id.attribute

   610

 & audio.type?

   611

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

   612

 | "smil" }

   613

   614

# ~~~~~~ video

   615

video = element video { video.attributes }

   616

   617

video.attributes =

   618

   media.id.attribute

   619

   620

# ~~~~~~ hotspot

   621

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

   622

   623

hotspot.attributes =

   624

   x.attribute

   625

 & y.attribute

   626

 & w.attribute

   627

 & h.attribute?

   628

 & hotspot.display.attribute?

   629

 & hotspot.type.attribute?

   630

 & xmlid.attribute?

   631

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

   632

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

   633

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

   634

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

   635

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

   636

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

   637

   638

hotspot.content =

   639

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

   640

 | (spot, scenario?)

   641

 | empty

   642

   643

# ~~~~~~ spot

   644

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

   645

   646

spot.attributes =

   647

   dx.attribute?

   648

 & dy.attribute?

   649

 & dw.attribute?

   650

 & dh.attribute?

   651

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

   652

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

   653

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

   654

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

   655

   656

spot.content =

   657

   ((p+ | image), audio?)

   658

 | audio

   659

 | video

   660

   661

# ~~~~~~ media.caption

   662

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

   663

   664

caption.attributes =

   665

   x.attribute?

   666

 & y.attribute?

   667

   668

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

   669

   670

# ~~~~~~ scenario

   671

scenario = element scenario { scenario.content }

   672

   673

scenario.content =

   674

   init*,

   675

   onclick*

   676

   677

# ~~~~~~ init

   678

init = element init { init.attributes }

   679

   680

init.attributes =

   681

   init.action.attribute

   682

 & target.attribute?

   683

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

   684

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

   685

   686

# ~~~~~~ onclick

   687

onclick = element onclick { onclick.attributes }

   688

   689

onclick.attributes =

   690

   onclick.action.attribute

   691

 & target.attribute?

   692

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

   693

   694

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

   695

   696

# ~~~~~~ bibliography.entry

   697

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

   698

   699

bibliography.entry.content =

   700

   identifier.ean?

   701

 & title

   702

 & subtitle?

   703

 & copyright?

   704

 & collection?

   705

 & contributors?

   706

 & date?

   707

 & place?

   708

 & folio?

   709

 & pages?

   710

   711

# ~~~~~~ folio

   712

folio = element folio { folio.content }

   713

   714

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

   715

   716

# ~~~~~~ pages

   717

pages = element pages { pages.content }

   718

   719

pages.content = xsd:positiveInteger

   720

   721

   722

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

   723

#                                 INLINE LEVEL

   724

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

   725

   726

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

   727

   728

simple.inlines = mixed {

   729

   sup*

   730

 & sub*

   731

 & var*

   732

 & number*

   733

 & acronym*

   734

 & warning*

   735

}

   736

   737

inlines = mixed {

   738

   sup*

   739

 & sub*

   740

 & var*

   741

 & number*

   742

 & acronym*

   743

 & warning*

   744

   745

 & highlight*

   746

 & emphasis*

   747

 & mentioned*

   748

 & literal*

   749

 & term*

   750

 & stage*

   751

 & name*

   752

 & foreign*

   753

 & date*

   754

 & math*

   755

 & quote*

   756

 & initial*

   757

 & note*

   758

 & link*

   759

 & anchor*

   760

 & index*

   761

 & image*

   762

 & audio*

   763

 & smil*

   764

}

   765

   766

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

   767

   768

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

   769

   770

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

   771

   772

var = element var { mixed { warning* } }

   773

   774

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

   775

   776

number = element number {

   777

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

   778

 | ( number.attributes, number.content)

   779

}

   780

   781

number.attributes =

   782

   number.value.attribute?

   783

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

   784

   785

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

   786

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

   787

   788

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

   789

   790

acronym = element acronym { acronym.content }

   791

   792

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

   793

   794

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

   795

   796

highlight = element highlight { highlight.content }

   797

   798

highlight.content = inlines

   799

   800

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

   801

   802

emphasis = element emphasis { emphasis.content }

   803

   804

emphasis.content = inlines

   805

   806

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

   807

   808

mentioned = element mentioned { mentioned.content }

   809

   810

mentioned.content = inlines

   811

   812

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

   813

   814

literal = element literal { literal.content }

   815

   816

literal.content = inlines

   817

   818

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

   819

   820

term = element term { term.content }

   821

   822

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

   823

   824

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

   825

   826

stage = element stage { stage.content }

   827

   828

stage.content = inlines

   829

   830

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

   831

   832

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

   833

   834

name.attributes =

   835

   name.of.attribute?

   836

name.of.attribute = attribute of {

   837

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

   838

 | "painting" }

   839

   840

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

   841

   842

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

   843

   844

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

   845

   846

foreign.attributes =

   847

   lang.attribute?

   848

   849

foreign.content = inlines

   850

   851

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

   852

   853

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

   854

   855

date.attributes =

   856

   date.value.attribute

   857

 & date.of.attribute?

   858

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

   859

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

   860

   861

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

   862

   863

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

   864

   865

# ~~~~~~ math

   866

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

   867

   868

math.attributes =

   869

   xmlid.attribute?

   870

 & math.display.attribute?

   871

math.display.attribute = attribute display {

   872

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

   873

   874

math.content =

   875

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

   876

 | latex

   877

   878

# ~~~~~~ latex

   879

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

   880

   881

latex.attributes =

   882

   plain.attritute?

   883

plain.attritute = attribute plain { xsd:boolean }

   884

   885

latex.content = text

   886

   887

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

   888

   889

quote = element quote { quote.content }

   890

   891

quote.content =

   892

   (phrase, attribution) | inlines

   893

   894

phrase = element phrase { phrase.content }

   895

   896

phrase.content = inlines

   897

   898

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

   899

   900

initial = element initial { initial.content }

   901

   902

initial.content =

   903

   initial.c,

   904

   initial.w?

   905

   906

initial.c = element c { text }

   907

initial.w = element w { inlines }

   908

   909

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

   910

   911

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

   912

   913

note.attributes =

   914

   note.label.attribute?

   915

note.label.attribute = attribute label { text }

   916

   917

note.content =

   918

   (note.w?, block+)

   919

 | inlines

   920

   921

note.w = element w { inlines }

   922

   923

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

   924

   925

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

   926

   927

link.attributes =

   928

   (uri.attribute | idref.attribute)

   929

uri.attribute = attribute uri { xsd:anyURI }

   930

idref.attribute = attribute idref { xsd:IDREF }

   931

   932

link.content = simple.inlines

   933

   934

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

   935

   936

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

   937

   938

anchor.attributes =

   939

   anchor.id.attribute

   940

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

   941

   942

anchor.content = simple.inlines

   943

   944

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

   945

   946

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

   947

   948

smil.attributes =

   949

   audio.attribute?

   950

 & begin.attribute?

   951

 & end.attribute?

   952

audio.attribute = attribute audio { xsd:anyURI }

   953

begin.attribute = attribute begin { xsd:decimal }

   954

end.attribute = attribute end { xsd:decimal }

   955

   956

smil.content = inlines

   957

   958

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

   959

   960

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

   961

   962

warning.attributes =

   963

   warning.type.attribute?

   964

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

   965

   966

warning.content = inlines