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

    99

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

   100

   101

place = element place { place.content }

   102

   103

place.content = simple.inlines

   104

   105

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

   106

   107

source = element source {

   108

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

   109

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

   110

   source.content

   111

}

   112

   113

source.content.file =

   114

   identifier.uri

   115

source.content =

   116

   annotation*

   117

   118

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

   119

   120

# ~~~~~~ keywordset

   121

keywordset = element keywordset { keywordset.content }

   122

   123

keywordset.content = keyword+

   124

   125

# ~~~~~~ keyword

   126

keyword = element keyword { keyword.content }

   127

   128

keyword.content = simple.inlines

   129

   130

# ~~~~~~ subjectset

   131

subjectset = element subjectset { subjectset.content }

   132

   133

subjectset.content = subject+

   134

   135

# ~~~~~~ subject

   136

subject = element subject { subject.content }

   137

   138

subject.content = simple.inlines

   139

   140

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

   141

   142

# ~~~~~~ indexset

   143

indexset = element indexset { indexset.content }

   144

   145

indexset.content = head.index+

   146

   147

# ~~~~~~ index

   148

index = element index { index.content }

   149

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

   150

   151

index.content =

   152

   (index.w, index.entry?)

   153

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

   154

head.index.content =

   155

   index.entry, index.entry?

   156

   157

# ~~~~~~ index.w

   158

index.w = element w { simple.inlines }

   159

   160

# ~~~~~~ index.entry

   161

index.entry = element entry { simple.inlines }

   162

   163

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

   164

   165

abstract = element abstract { abstract.content }

   166

   167

abstract.content =

   168

   p+

   169

   170

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

   171

   172

cover = element cover { cover.content }

   173

   174

cover.content =

   175

   cover.image

   176

   177

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

   178

   179

cover.image.attributes =

   180

   media.id.attribute

   181

   182

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

   183

   184

annotation = element annotation { annotation.content }

   185

   186

annotation.content = inlines

   187

   188

   189

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

   190

#                                  TOP LEVEL

   191

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

   192

   193

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

   194

   195

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

   196

   197

top.head.content =

   198

   (title, shorttitle?, subtitle*)?

   199

 & identifier*

   200

 & copyright*

   201

 & collection?

   202

 & contributors?

   203

 & date?

   204

 & place?

   205

 & (source, source?)?

   206

 & keywordset?

   207

 & subjectset?

   208

 & indexset?

   209

 & abstract?

   210

 & cover?

   211

 & annotation*

   212

   213

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

   214

   215

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

   216

   217

document.attributes =

   218

   document.id.attribute

   219

 & document.type.attribute?

   220

 & lang.attribute?

   221

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

   222

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

   223

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

   224

   225

document.content =

   226

   top.head?,

   227

   (division | topic)+

   228

   229

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

   230

   231

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

   232

   233

top.topic.attributes =

   234

   topic.id.attribute

   235

 & topic.type.attribute?

   236

 & lang.attribute?

   237

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

   238

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

   239

   240

top.topic.content =

   241

   top.head?,

   242

   header?,

   243

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

   244

   footer?

   245

   246

   247

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

   248

#                                 DIVISION LEVEL

   249

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

   250

   251

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

   252

   253

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

   254

   255

division.head.content =

   256

   (title, shorttitle?, subtitle*)?

   257

 & indexset?

   258

 & abstract?

   259

 & annotation*

   260

   261

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

   262

   263

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

   264

   265

division.attributes =

   266

   division.type.attribute?

   267

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

   268

   269

division.content =

   270

   division.head?,

   271

   front?,

   272

   (division | topic)+

   273

   274

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

   275

   276

front = element front { front.content }

   277

   278

front.content =

   279

   section+

   280

   281

   282

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

   283

#                                COMPONENT LEVEL

   284

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

   285

   286

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

   287

   288

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

   289

   290

component.head.content =

   291

   (title, shorttitle?, subtitle*)?

   292

 & contributors?

   293

 & date?

   294

 & place?

   295

 & keywordset?

   296

 & subjectset?

   297

 & indexset?

   298

 & abstract?

   299

 & annotation*

   300

   301

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

   302

   303

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

   304

   305

topic.attributes =

   306

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

   307

 & topic.type.attribute?

   308

 & lang.attribute?

   309

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

   310

   311

topic.content =

   312

   component.head?,

   313

   header?,

   314

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

   315

   footer?

   316

   317

   318

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

   319

#                                 SECTION LEVEL

   320

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

   321

   322

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

   323

   324

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

   325

   326

section.head.content =

   327

   (title, shorttitle?, subtitle*)?

   328

 & keywordset?

   329

 & subjectset?

   330

 & indexset?

   331

 & abstract?

   332

 & audio*

   333

 & annotation*

   334

   335

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

   336

   337

header = element header { header.content }

   338

   339

header.content =

   340

   block+

   341

   342

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

   343

   344

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

   345

   346

section.attributes =

   347

   xmlid.attribute?

   348

 & section.type.attribute?

   349

 & lang.attribute?

   350

 & for.attribute?

   351

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

   352

for.attribute = attribute for { xsd:NCName }

   353

   354

section.content =

   355

   section.head?,

   356

   (section+ | block+)

   357

   358

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

   359

   360

bibliography = element bibliography { bibliography.content }

   361

   362

bibliography.content =

   363

   bibliography.entry+

   364

   365

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

   366

   367

footer = element footer { footer.content }

   368

   369

footer.content =

   370

   block+

   371

   372

   373

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

   374

#                                 BLOCK LEVEL

   375

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

   376

   377

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

   378

   379

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

   380

   381

block.head.content =

   382

   (title, shorttitle?, subtitle*)?

   383

 & indexset?

   384

 & annotation*

   385

   386

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

   387

   388

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

   389

   390

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

   391

   392

p = element p { p.content }

   393

   394

p.content =

   395

   inlines

   396

   397

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

   398

   399

# ~~~~~~ list

   400

\list = element list {

   401

   block.head?,

   402

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

   403

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

   404

}

   405

   406

# ~~~~~~ item

   407

item = element item { item.content }

   408

   409

item.content =

   410

   inlines

   411

 | block+

   412

   413

# ~~~~~~ glossary.item

   414

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

   415

   416

glossary.item.content =

   417

   label,

   418

   block+

   419

   420

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

   421

   422

# ~~~~~~ blockquote

   423

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

   424

   425

blockquote.attributes =

   426

   blockquote.type.attribute?

   427

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

   428

   429

blockquote.content =

   430

   block.head?,

   431

   (p | speech | \list)+,

   432

   attribution?

   433

   434

# ~~~~~~ attribution

   435

attribution = element attribution { attribution.content }

   436

   437

attribution.content = mixed {

   438

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

   439

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

   440

   441

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

   442

   443

# ~~~~~~ speech

   444

speech = element speech { speech.content }

   445

   446

speech.content =

   447

   speaker?,

   448

   stage?,

   449

   (p | blockquote)+

   450

   451

# ~~~~~~ speaker

   452

speaker = element speaker { speaker.content }

   453

   454

speaker.content = inlines

   455

   456

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

   457

   458

# ~~~~~~ table

   459

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

   460

   461

table.attributes =

   462

   table.type.attribute?

   463

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

   464

   465

table.content =

   466

   block.head?,

   467

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

   468

   table.caption?

   469

   470

# ~~~~~~ thead, tbody

   471

thead = element thead { thead.content }

   472

tbody = element tbody { tbody.content }

   473

   474

thead.content =

   475

   tr+

   476

tbody.content =

   477

   tr+

   478

   479

# ~~~~~~ tr

   480

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

   481

   482

tr.attributes =

   483

   align.attribute?

   484

 & valign.attribute?

   485

 & cell.type.attribute?

   486

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

   487

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

   488

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

   489

   490

tr.content =

   491

   (td | th)+

   492

   493

# ~~~~~~ td, th

   494

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

   495

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

   496

   497

td.attributes =

   498

   align.attribute?

   499

 & valign.attribute?

   500

 & colspan.attribute?

   501

 & rowspan.attribute?

   502

 & cell.type.attribute?

   503

colspan.attribute = attribute colspan { xsd:positiveInteger }

   504

rowspan.attribute = attribute rowspan { xsd:positiveInteger }

   505

   506

td.content =

   507

   inlines

   508

 | (p | media)+

   509

   510

# ~~~~~~ table.caption

   511

table.caption = element caption { caption.content }

   512

   513

caption.content =

   514

   inlines

   515

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

   516

   517

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

   518

   519

# ~~~~~~ table.cals

   520

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

   521

   522

table.cals.content =

   523

   block.head?,

   524

   tgroup+,

   525

   table.caption?

   526

   527

# ~~~~~~ tgroup

   528

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

   529

   530

tgroup.attributes =

   531

   cols.attribute

   532

cols.attribute = attribute cols { xsd:positiveInteger }

   533

   534

tgroup.content =

   535

   thead.cals?,

   536

   tbody.cals

   537

   538

# ~~~~~~ thead, tbody

   539

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

   540

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

   541

   542

thead.cals.content =

   543

   row+

   544

tbody.cals.content =

   545

   row+

   546

   547

# ~~~~~~ row

   548

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

   549

   550

row.attributes =

   551

   valign.attribute?

   552

   553

row.content =

   554

  table.cals.entry+

   555

   556

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

   557

table.cals.entry = element entry {

   558

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

   559

   560

table.cals.entry.attributes =

   561

   align.attribute?

   562

 & valign.attribute?

   563

   564

table.cals.entry.content =

   565

   inlines

   566

 | (p | media)+

   567

   568

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

   569

   570

# ~~~~~~ media

   571

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

   572

   573

media.attributes =

   574

   xmlid.attribute?

   575

 & media.type.attribute?

   576

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

   577

   578

media.content =

   579

   block.head?,

   580

   (media.image | audio | video)+,

   581

   media.caption?,

   582

   link?

   583

   584

# ~~~~~~ image

   585

image = element image { image.attributes }

   586

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

   587

   588

image.attributes =

   589

   media.id.attribute

   590

 & image.type.attribute?

   591

 & alt.attribute?

   592

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

   593

image.type.attribute = attribute type {

   594

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

   595

alt.attribute = attribute alt { text }

   596

   597

media.image.content =

   598

   copyright?,

   599

   hotspot*

   600

   601

# ~~~~~~ audio

   602

audio = element audio { audio.attributes }

   603

   604

audio.attributes =

   605

   media.id.attribute

   606

 & audio.type?

   607

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

   608

   609

# ~~~~~~ video

   610

video = element video { video.attributes }

   611

   612

video.attributes =

   613

   media.id.attribute

   614

   615

# ~~~~~~ hotspot

   616

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

   617

   618

hotspot.attributes =

   619

   x.attribute

   620

 & y.attribute

   621

 & w.attribute

   622

 & h.attribute?

   623

 & hotspot.display.attribute?

   624

 & hotspot.type.attribute?

   625

 & xmlid.attribute?

   626

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

   627

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

   628

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

   629

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

   630

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

   631

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

   632

   633

hotspot.content =

   634

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

   635

 | (spot, scenario?)

   636

 | empty

   637

   638

# ~~~~~~ spot

   639

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

   640

   641

spot.attributes =

   642

   dx.attribute?

   643

 & dy.attribute?

   644

 & dw.attribute?

   645

 & dh.attribute?

   646

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

   647

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

   648

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

   649

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

   650

   651

spot.content =

   652

   ((p+ | image), audio?)

   653

 | audio

   654

 | video

   655

   656

# ~~~~~~ media.caption

   657

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

   658

   659

caption.attributes =

   660

   x.attribute?

   661

 & y.attribute?

   662

   663

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

   664

   665

# ~~~~~~ scenario

   666

scenario = element scenario { scenario.content }

   667

   668

scenario.content =

   669

   init*,

   670

   onclick*

   671

   672

# ~~~~~~ init

   673

init = element init { init.attributes }

   674

   675

init.attributes =

   676

   init.action.attribute

   677

 & target.attribute?

   678

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

   679

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

   680

   681

# ~~~~~~ onclick

   682

onclick = element onclick { onclick.attributes }

   683

   684

onclick.attributes =

   685

   onclick.action.attribute

   686

 & target.attribute?

   687

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

   688

   689

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

   690

   691

# ~~~~~~ bibliography.entry

   692

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

   693

   694

bibliography.entry.content =

   695

   identifier.ean?

   696

 & title

   697

 & subtitle?

   698

 & copyright?

   699

 & collection?

   700

 & contributors?

   701

 & date?

   702

 & place?

   703

 & folio?

   704

 & pages?

   705

   706

# ~~~~~~ folio

   707

folio = element folio { folio.content }

   708

   709

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

   710

   711

# ~~~~~~ pages

   712

pages = element pages { pages.content }

   713

   714

pages.content = xsd:positiveInteger

   715

   716

   717

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

   718

#                                 INLINE LEVEL

   719

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

   720

   721

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

   722

   723

simple.inlines = mixed {

   724

   sup*

   725

 & sub*

   726

 & var*

   727

 & number*

   728

 & acronym*

   729

 & warning*

   730

}

   731

   732

inlines = mixed {

   733

   sup*

   734

 & sub*

   735

 & var*

   736

 & number*

   737

 & acronym*

   738

 & warning*

   739

   740

 & highlight*

   741

 & emphasis*

   742

 & mentioned*

   743

 & literal*

   744

 & term*

   745

 & stage*

   746

 & name*

   747

 & foreign*

   748

 & date*

   749

 & math*

   750

 & quote*

   751

 & initial*

   752

 & note*

   753

 & link*

   754

 & anchor*

   755

 & index*

   756

 & image*

   757

 & audio*

   758

 & smil*

   759

}

   760

   761

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

   762

   763

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

   764

   765

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

   766

   767

var = element var { mixed { warning* } }

   768

   769

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

   770

   771

number = element number {

   772

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

   773

 | ( number.attributes, number.content)

   774

}

   775

   776

number.attributes =

   777

   number.value.attribute?

   778

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

   779

   780

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

   781

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

   782

   783

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

   784

   785

acronym = element acronym { acronym.content }

   786

   787

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

   788

   789

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

   790

   791

highlight = element highlight { highlight.content }

   792

   793

highlight.content = inlines

   794

   795

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

   796

   797

emphasis = element emphasis { emphasis.content }

   798

   799

emphasis.content = inlines

   800

   801

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

   802

   803

mentioned = element mentioned { mentioned.content }

   804

   805

mentioned.content = inlines

   806

   807

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

   808

   809

literal = element literal { literal.content }

   810

   811

literal.content = inlines

   812

   813

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

   814

   815

term = element term { term.content }

   816

   817

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

   818

   819

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

   820

   821

stage = element stage { stage.content }

   822

   823

stage.content = inlines

   824

   825

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

   826

   827

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

   828

   829

name.attributes =

   830

   name.of.attribute?

   831

name.of.attribute = attribute of {

   832

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

   833

 | "painting" }

   834

   835

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

   836

   837

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

   838

   839

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

   840

   841

foreign.attributes =

   842

   lang.attribute?

   843

   844

foreign.content = inlines

   845

   846

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

   847

   848

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

   849

   850

date.attributes =

   851

   date.value.attribute

   852

 & date.of.attribute?

   853

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

   854

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

   855

   856

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

   857

   858

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

   859

   860

# ~~~~~~ math

   861

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

   862

   863

math.attributes =

   864

   xmlid.attribute?

   865

 & math.display.attribute?

   866

math.display.attribute = attribute display {

   867

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

   868

   869

math.content =

   870

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

   871

 | latex

   872

   873

# ~~~~~~ latex

   874

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

   875

   876

latex.attributes =

   877

   plain.attritute?

   878

plain.attritute = attribute plain { xsd:boolean }

   879

   880

latex.content = text

   881

   882

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

   883

   884

quote = element quote { quote.content }

   885

   886

quote.content =

   887

   (phrase, attribution) | inlines

   888

   889

phrase = element phrase { phrase.content }

   890

   891

phrase.content = inlines

   892

   893

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

   894

   895

initial = element initial { initial.content }

   896

   897

initial.content =

   898

   initial.c,

   899

   initial.w?

   900

   901

initial.c = element c { text }

   902

initial.w = element w { inlines }

   903

   904

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

   905

   906

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

   907

   908

note.attributes =

   909

   note.label.attribute?

   910

note.label.attribute = attribute label { text }

   911

   912

note.content =

   913

   (note.w?, block+)

   914

 | inlines

   915

   916

note.w = element w { inlines }

   917

   918

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

   919

   920

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

   921

   922

link.attributes =

   923

   (uri.attribute | idref.attribute)

   924

uri.attribute = attribute uri { xsd:anyURI }

   925

idref.attribute = attribute idref { xsd:IDREF }

   926

   927

link.content = simple.inlines

   928

   929

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

   930

   931

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

   932

   933

anchor.attributes =

   934

   anchor.id.attribute

   935

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

   936

   937

anchor.content = simple.inlines

   938

   939

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

   940

   941

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

   942

   943

smil.attributes =

   944

   audio.attribute?

   945

 & begin.attribute?

   946

 & end.attribute?

   947

audio.attribute = attribute audio { xsd:anyURI }

   948

begin.attribute = attribute begin { xsd:decimal }

   949

end.attribute = attribute end { xsd:decimal }

   950

   951

smil.content = inlines

   952

   953

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

   954

   955

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

   956

   957

warning.attributes =

   958

   warning.type.attribute?

   959

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

   960

   961

warning.content = inlines