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 =

   187

   inlines | p+

   188

   189

   190

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

   191

#                                  TOP LEVEL

   192

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

   193

   194

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

   195

   196

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

   197

   198

top.head.content =

   199

   (title & shorttitle? & subtitle*)?

   200

 & identifier*

   201

 & copyright*

   202

 & collection?

   203

 & contributors?

   204

 & date?

   205

 & place?

   206

 & (source, source?)?

   207

 & keywordset?

   208

 & subjectset?

   209

 & indexset?

   210

 & abstract?

   211

 & cover?

   212

 & annotation?

   213

   214

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

   215

   216

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

   217

   218

document.attributes =

   219

   document.id.attribute?

   220

 & document.type.attribute?

   221

 & lang.attribute?

   222

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

   223

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

   224

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

   225

   226

document.content =

   227

   top.head?,

   228

   (division | topic)+

   229

   230

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

   231

   232

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

   233

   234

top.topic.attributes =

   235

   topic.id.attribute?

   236

 & topic.type.attribute?

   237

 & lang.attribute?

   238

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

   239

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

   240

   241

top.topic.content =

   242

   top.head?,

   243

   header?,

   244

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

   245

   footer?

   246

   247

   248

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

   249

#                                 DIVISION LEVEL

   250

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

   251

   252

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

   253

   254

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

   255

   256

division.head.content =

   257

   (title & shorttitle? & subtitle*)?

   258

 & indexset?

   259

 & abstract?

   260

 & annotation?

   261

   262

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

   263

   264

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

   265

   266

division.attributes =

   267

   division.type.attribute?

   268

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

   269

   270

division.content =

   271

   division.head?,

   272

   front?,

   273

   (division | topic)+

   274

   275

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

   276

   277

front = element front { front.content }

   278

   279

front.content =

   280

   section+

   281

   282

   283

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

   284

#                                COMPONENT LEVEL

   285

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

   286

   287

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

   288

   289

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

   290

   291

component.head.content =

   292

   (title & shorttitle? & subtitle*)?

   293

 & contributors?

   294

 & date?

   295

 & place?

   296

 & keywordset?

   297

 & subjectset?

   298

 & indexset?

   299

 & abstract?

   300

 & annotation?

   301

   302

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

   303

   304

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

   305

   306

topic.attributes =

   307

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

   308

 & topic.type.attribute?

   309

 & lang.attribute?

   310

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

   311

   312

topic.content =

   313

   component.head?,

   314

   header?,

   315

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

   316

   footer?

   317

   318

   319

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

   320

#                                 SECTION LEVEL

   321

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

   322

   323

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

   324

   325

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

   326

   327

section.head.content =

   328

   (title & shorttitle? & subtitle*)?

   329

 & keywordset?

   330

 & subjectset?

   331

 & indexset?

   332

 & abstract?

   333

 & audio*

   334

 & annotation?

   335

   336

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

   337

   338

header = element header { header.content }

   339

   340

header.content =

   341

   block+

   342

   343

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

   344

   345

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

   346

   347

section.attributes =

   348

   xmlid.attribute?

   349

 & section.type.attribute?

   350

 & lang.attribute?

   351

 & for.attribute?

   352

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

   353

for.attribute = attribute for { xsd:NCName }

   354

   355

section.content =

   356

   section.head?,

   357

   (section+ | block+)

   358

   359

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

   360

   361

bibliography = element bibliography { bibliography.content }

   362

   363

bibliography.content =

   364

   bibliography.entry+

   365

   366

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

   367

   368

footer = element footer { footer.content }

   369

   370

footer.content =

   371

   block+

   372

   373

   374

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

   375

#                                 BLOCK LEVEL

   376

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

   377

   378

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

   379

   380

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

   381

   382

block.head.content =

   383

   (title & shorttitle? & subtitle*)?

   384

 & indexset?

   385

 & annotation?

   386

   387

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

   388

   389

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

   390

   391

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

   392

   393

p = element p { p.content }

   394

   395

p.content =

   396

   inlines

   397

   398

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

   399

   400

# ~~~~~~ list

   401

\list = element list {

   402

   block.head?,

   403

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

   404

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

   405

}

   406

   407

# ~~~~~~ item

   408

item = element item { item.content }

   409

   410

item.content =

   411

   inlines

   412

 | block+

   413

   414

# ~~~~~~ glossary.item

   415

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

   416

   417

glossary.item.content =

   418

   label,

   419

   block+

   420

   421

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

   422

   423

# ~~~~~~ blockquote

   424

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

   425

   426

blockquote.attributes =

   427

   blockquote.type.attribute?

   428

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

   429

   430

blockquote.content =

   431

   block.head?,

   432

   (p | speech | \list)+,

   433

   attribution?

   434

   435

# ~~~~~~ attribution

   436

attribution = element attribution { attribution.content }

   437

   438

attribution.content = mixed {

   439

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

   440

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

   441

   442

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

   443

   444

# ~~~~~~ speech

   445

speech = element speech { speech.content }

   446

   447

speech.content =

   448

   speaker?,

   449

   stage?,

   450

   (p | blockquote)+

   451

   452

# ~~~~~~ speaker

   453

speaker = element speaker { speaker.content }

   454

   455

speaker.content = inlines

   456

   457

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

   458

   459

# ~~~~~~ table

   460

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

   461

   462

table.attributes =

   463

   table.type.attribute?

   464

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

   465

   466

table.content =

   467

   block.head?,

   468

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

   469

   table.caption?

   470

   471

# ~~~~~~ thead, tbody

   472

thead = element thead { thead.content }

   473

tbody = element tbody { tbody.content }

   474

   475

thead.content =

   476

   tr+

   477

tbody.content =

   478

   tr+

   479

   480

# ~~~~~~ tr

   481

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

   482

   483

tr.attributes =

   484

   align.attribute?

   485

 & valign.attribute?

   486

 & cell.type.attribute?

   487

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

   488

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

   489

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

   490

   491

tr.content =

   492

   (td | th)+

   493

   494

# ~~~~~~ td, th

   495

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

   496

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

   497

   498

td.attributes =

   499

   align.attribute?

   500

 & valign.attribute?

   501

 & colspan.attribute?

   502

 & rowspan.attribute?

   503

 & cell.type.attribute?

   504

colspan.attribute = attribute colspan { xsd:positiveInteger }

   505

rowspan.attribute = attribute rowspan { xsd:positiveInteger }

   506

   507

td.content =

   508

   inlines

   509

 | (p | media)+

   510

   511

# ~~~~~~ table.caption

   512

table.caption = element caption { caption.content }

   513

   514

caption.content =

   515

   inlines

   516

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

   517

   518

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

   519

   520

# ~~~~~~ table.cals

   521

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

   522

   523

table.cals.content =

   524

   block.head?,

   525

   tgroup+,

   526

   table.caption?

   527

   528

# ~~~~~~ tgroup

   529

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

   530

   531

tgroup.attributes =

   532

   cols.attribute

   533

cols.attribute = attribute cols { xsd:positiveInteger }

   534

   535

tgroup.content =

   536

   thead.cals?,

   537

   tbody.cals

   538

   539

# ~~~~~~ thead, tbody

   540

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

   541

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

   542

   543

thead.cals.content =

   544

   row+

   545

tbody.cals.content =

   546

   row+

   547

   548

# ~~~~~~ row

   549

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

   550

   551

row.attributes =

   552

   valign.attribute?

   553

   554

row.content =

   555

  table.cals.entry+

   556

   557

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

   558

table.cals.entry = element entry {

   559

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

   560

   561

table.cals.entry.attributes =

   562

   align.attribute?

   563

 & valign.attribute?

   564

   565

table.cals.entry.content =

   566

   inlines

   567

 | (p | media)+

   568

   569

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

   570

   571

# ~~~~~~ media

   572

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

   573

   574

media.attributes =

   575

   xmlid.attribute?

   576

 & media.type.attribute?

   577

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

   578

   579

media.content =

   580

   block.head?,

   581

   (media.image | audio | video)+,

   582

   media.caption?,

   583

   link?

   584

   585

# ~~~~~~ image

   586

image = element image { image.attributes }

   587

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

   588

   589

image.attributes =

   590

   media.id.attribute

   591

 & image.type.attribute?

   592

 & alt.attribute?

   593

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

   594

image.type.attribute = attribute type {

   595

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

   596

alt.attribute = attribute alt { text }

   597

   598

media.image.content =

   599

   copyright?,

   600

   hotspot*

   601

   602

# ~~~~~~ audio

   603

audio = element audio { audio.attributes }

   604

   605

audio.attributes =

   606

   media.id.attribute

   607

 & audio.type?

   608

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

   609

   610

# ~~~~~~ video

   611

video = element video { video.attributes }

   612

   613

video.attributes =

   614

   media.id.attribute

   615

   616

# ~~~~~~ hotspot

   617

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

   618

   619

hotspot.attributes =

   620

   x.attribute

   621

 & y.attribute

   622

 & w.attribute

   623

 & h.attribute?

   624

 & hotspot.display.attribute?

   625

 & hotspot.type.attribute?

   626

 & xmlid.attribute?

   627

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

   628

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

   629

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

   630

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

   631

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

   632

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

   633

   634

hotspot.content =

   635

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

   636

 | (spot, scenario?)

   637

 | empty

   638

   639

# ~~~~~~ spot

   640

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

   641

   642

spot.attributes =

   643

   dx.attribute?

   644

 & dy.attribute?

   645

 & dw.attribute?

   646

 & dh.attribute?

   647

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

   648

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

   649

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

   650

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

   651

   652

spot.content =

   653

   ((p+ | image), audio?)

   654

 | audio

   655

 | video

   656

   657

# ~~~~~~ media.caption

   658

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

   659

   660

caption.attributes =

   661

   x.attribute?

   662

 & y.attribute?

   663

   664

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

   665

   666

# ~~~~~~ scenario

   667

scenario = element scenario { scenario.content }

   668

   669

scenario.content =

   670

   init*,

   671

   onclick*

   672

   673

# ~~~~~~ init

   674

init = element init { init.attributes }

   675

   676

init.attributes =

   677

   init.action.attribute

   678

 & target.attribute?

   679

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

   680

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

   681

   682

# ~~~~~~ onclick

   683

onclick = element onclick { onclick.attributes }

   684

   685

onclick.attributes =

   686

   onclick.action.attribute

   687

 & target.attribute?

   688

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

   689

   690

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

   691

   692

# ~~~~~~ bibliography.entry

   693

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

   694

   695

bibliography.entry.content =

   696

   identifier.ean?

   697

 & title

   698

 & subtitle?

   699

 & copyright?

   700

 & collection?

   701

 & contributors?

   702

 & date?

   703

 & place?

   704

 & folio?

   705

 & pages?

   706

   707

# ~~~~~~ folio

   708

folio = element folio { folio.content }

   709

   710

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

   711

   712

# ~~~~~~ pages

   713

pages = element pages { pages.content }

   714

   715

pages.content = xsd:positiveInteger

   716

   717

   718

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

   719

#                                 INLINE LEVEL

   720

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

   721

   722

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

   723

   724

simple.inlines = mixed {

   725

   sup*

   726

 & sub*

   727

 & var*

   728

 & number*

   729

 & acronym*

   730

 & warning*

   731

}

   732

   733

inlines = mixed {

   734

   sup*

   735

 & sub*

   736

 & var*

   737

 & number*

   738

 & acronym*

   739

 & warning*

   740

   741

 & highlight*

   742

 & emphasis*

   743

 & mentioned*

   744

 & literal*

   745

 & term*

   746

 & stage*

   747

 & name*

   748

 & foreign*

   749

 & date*

   750

 & math*

   751

 & quote*

   752

 & initial*

   753

 & note*

   754

 & link*

   755

 & anchor*

   756

 & index*

   757

 & image*

   758

 & audio*

   759

 & smil*

   760

}

   761

   762

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

   763

   764

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

   765

   766

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

   767

   768

var = element var { mixed { warning* } }

   769

   770

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

   771

   772

number = element number {

   773

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

   774

 | ( number.attributes, number.content)

   775

}

   776

   777

number.attributes =

   778

   number.value.attribute?

   779

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

   780

   781

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

   782

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

   783

   784

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

   785

   786

acronym = element acronym { acronym.content }

   787

   788

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

   789

   790

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

   791

   792

highlight = element highlight { highlight.content }

   793

   794

highlight.content = inlines

   795

   796

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

   797

   798

emphasis = element emphasis { emphasis.content }

   799

   800

emphasis.content = inlines

   801

   802

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

   803

   804

mentioned = element mentioned { mentioned.content }

   805

   806

mentioned.content = inlines

   807

   808

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

   809

   810

literal = element literal { literal.content }

   811

   812

literal.content = inlines

   813

   814

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

   815

   816

term = element term { term.content }

   817

   818

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

   819

   820

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

   821

   822

stage = element stage { stage.content }

   823

   824

stage.content = inlines

   825

   826

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

   827

   828

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

   829

   830

name.attributes =

   831

   name.of.attribute?

   832

name.of.attribute = attribute of {

   833

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

   834

 | "painting" }

   835

   836

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

   837

   838

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

   839

   840

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

   841

   842

foreign.attributes =

   843

   lang.attribute?

   844

   845

foreign.content = inlines

   846

   847

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

   848

   849

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

   850

   851

date.attributes =

   852

   date.value.attribute

   853

 & date.of.attribute?

   854

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

   855

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

   856

   857

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

   858

   859

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

   860

   861

# ~~~~~~ math

   862

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

   863

   864

math.attributes =

   865

   xmlid.attribute?

   866

 & math.display.attribute?

   867

math.display.attribute = attribute display {

   868

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

   869

   870

math.content =

   871

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

   872

 | latex

   873

   874

# ~~~~~~ latex

   875

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

   876

   877

latex.attributes =

   878

   plain.attritute?

   879

plain.attritute = attribute plain { xsd:boolean }

   880

   881

latex.content = text

   882

   883

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

   884

   885

quote = element quote { quote.content }

   886

   887

quote.content =

   888

   (phrase, attribution) | inlines

   889

   890

phrase = element phrase { phrase.content }

   891

   892

phrase.content = inlines

   893

   894

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

   895

   896

initial = element initial { initial.content }

   897

   898

initial.content =

   899

   initial.c,

   900

   initial.w?

   901

   902

initial.c = element c { text }

   903

initial.w = element w { inlines }

   904

   905

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

   906

   907

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

   908

   909

note.attributes =

   910

   note.label.attribute?

   911

note.label.attribute = attribute label { text }

   912

   913

note.content =

   914

   (note.w?, block+)

   915

 | inlines

   916

   917

note.w = element w { inlines }

   918

   919

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

   920

   921

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

   922

   923

link.attributes =

   924

   (uri.attribute | idref.attribute)

   925

uri.attribute = attribute uri { xsd:anyURI }

   926

idref.attribute = attribute idref { xsd:IDREF }

   927

   928

link.content = simple.inlines

   929

   930

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

   931

   932

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

   933

   934

anchor.attributes =

   935

   anchor.id.attribute

   936

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

   937

   938

anchor.content = simple.inlines

   939

   940

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

   941

   942

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

   943

   944

smil.attributes =

   945

   audio.attribute?

   946

 & begin.attribute?

   947

 & end.attribute?

   948

audio.attribute = attribute audio { xsd:anyURI }

   949

begin.attribute = attribute begin { xsd:decimal }

   950

end.attribute = attribute end { xsd:decimal }

   951

   952

smil.content = inlines

   953

   954

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

   955

   956

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

   957

   958

warning.attributes =

   959

   warning.type.attribute?

   960

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

   961

   962

warning.content = inlines