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, secondname?)?, lastname) | label),

    76

   address?,

    77

   link?,

    78

   role+

    79

    80

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

    81

firstname = element firstname { firstname.content }

    82

secondname = element secondname { secondname.content }

    83

lastname = element lastname { lastname.content }

    84

label = element label { label.content }

    85

    86

firstname.content = simple.inlines

    87

secondname.content = simple.inlines

    88

lastname.content = simple.inlines

    89

label.content = simple.inlines

    90

    91

# ~~~~~~ address

    92

address = element address { address.content }

    93

    94

address.content = simple.inlines

    95

    96

# ~~~~~~ role

    97

role = element role { role.content }

    98

    99

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

   100

   101

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

   102

   103

place = element place { place.content }

   104

   105

place.content = simple.inlines

   106

   107

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

   108

   109

source = element source {

   110

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

   111

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

   112

   source.content

   113

}

   114

   115

source.content.file =

   116

   identifier.uri

   117

source.content =

   118

   annotation*

   119

   120

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

   121

   122

# ~~~~~~ keywordset

   123

keywordset = element keywordset { keywordset.content }

   124

   125

keywordset.content = keyword+

   126

   127

# ~~~~~~ keyword

   128

keyword = element keyword { keyword.content }

   129

   130

keyword.content = simple.inlines

   131

   132

# ~~~~~~ subjectset

   133

subjectset = element subjectset { subjectset.content }

   134

   135

subjectset.content = subject+

   136

   137

# ~~~~~~ subject

   138

subject = element subject { subject.content }

   139

   140

subject.content = simple.inlines

   141

   142

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

   143

   144

# ~~~~~~ index

   145

index = element index { index.content }

   146

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

   147

   148

index.content =

   149

   (index.w, index.entry?)

   150

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

   151

head.index.content =

   152

   index.entry, index.entry?

   153

   154

# ~~~~~~ index.w

   155

index.w = element w { simple.inlines }

   156

   157

# ~~~~~~ index.entry

   158

index.entry = element entry { simple.inlines }

   159

   160

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

   161

   162

abstract = element abstract { abstract.content }

   163

   164

abstract.content =

   165

   p+

   166

   167

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

   168

   169

cover = element cover { cover.content }

   170

   171

cover.content =

   172

   cover.image

   173

   174

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

   175

   176

cover.image.attributes =

   177

   media.id.attribute

   178

   179

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

   180

   181

annotation = element annotation { annotation.content }

   182

   183

annotation.content = inlines

   184

   185

   186

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

   187

#                                  TOP LEVEL

   188

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

   189

   190

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

   191

   192

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

   193

   194

top.head.content =

   195

   (title, shorttitle?, subtitle*)?

   196

 & identifier*

   197

 & copyright*

   198

 & collection?

   199

 & contributors?

   200

 & date?

   201

 & place?

   202

 & (source, source?)?

   203

 & keywordset?

   204

 & subjectset?

   205

 & abstract?

   206

 & head.index*

   207

 & cover?

   208

 & annotation*

   209

   210

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

   211

   212

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

   213

   214

document.attributes =

   215

   document.id.attribute

   216

 & document.type.attribute?

   217

 & lang.attribute?

   218

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

   219

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

   220

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

   221

   222

document.content =

   223

   top.head?,

   224

   (division | topic)+

   225

   226

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

   227

   228

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

   229

   230

top.topic.attributes =

   231

   topic.id.attribute

   232

 & topic.type.attribute?

   233

 & lang.attribute?

   234

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

   235

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

   236

   237

top.topic.content =

   238

   top.head?,

   239

   header?,

   240

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

   241

   footer?

   242

   243

   244

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

   245

#                                 DIVISION LEVEL

   246

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

   247

   248

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

   249

   250

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

   251

   252

division.head.content =

   253

   (title, shorttitle?, subtitle*)?

   254

 & head.index*

   255

 & abstract?

   256

 & annotation*

   257

   258

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

   259

   260

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

   261

   262

division.attributes =

   263

   division.type.attribute?

   264

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

   265

   266

division.content =

   267

   division.head?,

   268

   front?,

   269

   (division | topic)+

   270

   271

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

   272

   273

front = element front { front.content }

   274

   275

front.content =

   276

   section+

   277

   278

   279

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

   280

#                                COMPONENT LEVEL

   281

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

   282

   283

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

   284

   285

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

   286

   287

component.head.content =

   288

   (title, shorttitle?, subtitle*)?

   289

 & contributors?

   290

 & date?

   291

 & place?

   292

 & keywordset?

   293

 & subjectset?

   294

 & head.index*

   295

 & abstract?

   296

 & annotation*

   297

   298

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

   299

   300

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

   301

   302

topic.attributes =

   303

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

   304

 & topic.type.attribute?

   305

 & lang.attribute?

   306

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

   307

   308

topic.content =

   309

   component.head?,

   310

   header?,

   311

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

   312

   footer?

   313

   314

   315

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

   316

#                                 SECTION LEVEL

   317

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

   318

   319

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

   320

   321

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

   322

   323

section.head.content =

   324

   (title, shorttitle?, subtitle*)?

   325

 & keywordset?

   326

 & subjectset?

   327

 & head.index*

   328

 & abstract?

   329

 & audio*

   330

 & annotation*

   331

   332

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

   333

   334

header = element header { header.content }

   335

   336

header.content =

   337

   block+

   338

   339

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

   340

   341

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

   342

   343

section.attributes =

   344

   xmlid.attribute?

   345

 & section.type.attribute?

   346

 & lang.attribute?

   347

 & for.attribute?

   348

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

   349

for.attribute = attribute for { xsd:NCName }

   350

   351

section.content =

   352

   section.head?,

   353

   (section+ | block+)

   354

   355

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

   356

   357

bibliography = element bibliography { bibliography.content }

   358

   359

bibliography.content =

   360

   bibliography.entry+

   361

   362

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

   363

   364

footer = element footer { footer.content }

   365

   366

footer.content =

   367

   block+

   368

   369

   370

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

   371

#                                 BLOCK LEVEL

   372

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

   373

   374

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

   375

   376

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

   377

   378

block.head.content =

   379

   (title, shorttitle?, subtitle*)?

   380

 & head.index*

   381

   382

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

   383

   384

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

   385

   386

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

   387

   388

p = element p { p.content }

   389

   390

p.content =

   391

   inlines

   392

   393

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

   394

   395

# ~~~~~~ list

   396

\list = element list {

   397

   block.head?,

   398

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

   399

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

   400

}

   401

   402

# ~~~~~~ item

   403

item = element item { item.content }

   404

   405

item.content =

   406

   inlines

   407

 | block+

   408

   409

# ~~~~~~ glossary.item

   410

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

   411

   412

glossary.item.content =

   413

   label,

   414

   block+

   415

   416

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

   417

   418

# ~~~~~~ blockquote

   419

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

   420

   421

blockquote.attributes =

   422

   blockquote.type.attribute?

   423

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

   424

   425

blockquote.content =

   426

   block.head?,

   427

   (p | speech | \list)+,

   428

   attribution?

   429

   430

# ~~~~~~ attribution

   431

attribution = element attribution { attribution.content }

   432

   433

attribution.content = mixed {

   434

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

   435

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

   436

   437

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

   438

   439

# ~~~~~~ speech

   440

speech = element speech { speech.content }

   441

   442

speech.content =

   443

   speaker?,

   444

   stage?,

   445

   (p | blockquote)+

   446

   447

# ~~~~~~ speaker

   448

speaker = element speaker { speaker.content }

   449

   450

speaker.content = inlines

   451

   452

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

   453

   454

# ~~~~~~ table

   455

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

   456

   457

table.attributes =

   458

   table.type.attribute?

   459

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

   460

   461

table.content =

   462

   block.head?,

   463

   thead?,

   464

   (tbody+ | tr+),

   465

   table.caption?

   466

   467

# ~~~~~~ thead, tbody

   468

thead = element thead { thead.content }

   469

tbody = element tbody { tbody.content }

   470

   471

thead.content =

   472

   tr+

   473

tbody.content =

   474

   tr+

   475

   476

# ~~~~~~ tr

   477

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

   478

   479

tr.attributes =

   480

   align.attribute?

   481

 & valign.attribute?

   482

 & cell.type.attribute?

   483

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

   484

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

   485

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

   486

   487

tr.content =

   488

   (td | th)+

   489

   490

# ~~~~~~ td, th

   491

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

   492

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

   493

   494

td.attributes =

   495

   align.attribute?

   496

 & valign.attribute?

   497

 & colspan.attribute?

   498

 & rowspan.attribute?

   499

 & cell.type.attribute?

   500

colspan.attribute = attribute colspan { xsd:positiveInteger }

   501

rowspan.attribute = attribute rowspan { xsd:positiveInteger }

   502

   503

td.content =

   504

   inlines

   505

 | (p | media)+

   506

   507

# ~~~~~~ table.caption

   508

table.caption = element caption { caption.content }

   509

   510

caption.content =

   511

   inlines

   512

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

   513

   514

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

   515

   516

# ~~~~~~ table.cals

   517

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

   518

   519

table.cals.content =

   520

   block.head?,

   521

   tgroup+,

   522

   table.caption?

   523

   524

# ~~~~~~ tgroup

   525

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

   526

   527

tgroup.attributes =

   528

   cols.attribute

   529

cols.attribute = attribute cols { xsd:positiveInteger }

   530

   531

tgroup.content =

   532

   thead.cals?,

   533

   tbody.cals

   534

   535

# ~~~~~~ thead, tbody

   536

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

   537

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

   538

   539

thead.cals.content =

   540

   row+

   541

tbody.cals.content =

   542

   row+

   543

   544

# ~~~~~~ row

   545

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

   546

   547

row.attributes =

   548

   valign.attribute?

   549

   550

row.content =

   551

  table.cals.entry+

   552

   553

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

   554

table.cals.entry = element entry {

   555

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

   556

   557

table.cals.entry.attributes =

   558

   align.attribute?

   559

 & valign.attribute?

   560

   561

table.cals.entry.content =

   562

   inlines

   563

 | (p | media)+

   564

   565

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

   566

   567

# ~~~~~~ media

   568

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

   569

   570

media.attributes =

   571

   xmlid.attribute?

   572

 & media.type.attribute?

   573

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

   574

   575

media.content =

   576

   block.head?,

   577

   (media.image | audio | video)+,

   578

   media.caption?,

   579

   link?

   580

   581

# ~~~~~~ image

   582

image = element image { image.attributes }

   583

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

   584

   585

image.attributes =

   586

   media.id.attribute

   587

 & image.type.attribute?

   588

 & alt.attribute?

   589

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

   590

image.type.attribute = attribute type {

   591

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

   592

alt.attribute = attribute alt { text }

   593

   594

media.image.content =

   595

   copyright?,

   596

   hotspot*

   597

   598

# ~~~~~~ audio

   599

audio = element audio { audio.attributes }

   600

   601

audio.attributes =

   602

   media.id.attribute

   603

 & audio.type?

   604

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

   605

   606

# ~~~~~~ video

   607

video = element video { video.attributes }

   608

   609

video.attributes =

   610

   media.id.attribute

   611

   612

# ~~~~~~ hotspot

   613

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

   614

   615

hotspot.attributes =

   616

   x.attribute

   617

 & y.attribute

   618

 & w.attribute

   619

 & h.attribute?

   620

 & hotspot.display.attribute?

   621

 & hotspot.type.attribute?

   622

 & xmlid.attribute?

   623

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

   624

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

   625

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

   626

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

   627

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

   628

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

   629

   630

hotspot.content =

   631

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

   632

 | (spot, scenario?)

   633

 | empty

   634

   635

# ~~~~~~ spot

   636

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

   637

   638

spot.attributes =

   639

   dx.attribute?

   640

 & dy.attribute?

   641

 & dw.attribute?

   642

 & dh.attribute?

   643

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

   644

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

   645

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

   646

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

   647

   648

spot.content =

   649

   ((p+ | image), audio?)

   650

 | audio

   651

 | video

   652

   653

# ~~~~~~ media.caption

   654

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

   655

   656

caption.attributes =

   657

   x.attribute?

   658

 & y.attribute?

   659

   660

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

   661

   662

# ~~~~~~ scenario

   663

scenario = element scenario { scenario.content }

   664

   665

scenario.content =

   666

   init*,

   667

   onclick*

   668

   669

# ~~~~~~ init

   670

init = element init { init.attributes }

   671

   672

init.attributes =

   673

   init.action.attribute

   674

 & target.attribute?

   675

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

   676

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

   677

   678

# ~~~~~~ onclick

   679

onclick = element onclick { onclick.attributes }

   680

   681

onclick.attributes =

   682

   onclick.action.attribute

   683

 & target.attribute?

   684

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

   685

   686

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

   687

   688

# ~~~~~~ bibliography.entry

   689

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

   690

   691

bibliography.entry.content =

   692

   identifier.ean?

   693

 & title

   694

 & subtitle?

   695

 & copyright?

   696

 & collection?

   697

 & contributors?

   698

 & date?

   699

 & place?

   700

 & folio?

   701

 & pages?

   702

   703

# ~~~~~~ folio

   704

folio = element folio { folio.content }

   705

   706

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

   707

   708

# ~~~~~~ pages

   709

pages = element pages { pages.content }

   710

   711

pages.content = xsd:positiveInteger

   712

   713

   714

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

   715

#                                 INLINE LEVEL

   716

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

   717

   718

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

   719

   720

simple.inlines = mixed {

   721

   sup*

   722

 & sub*

   723

 & var*

   724

 & number*

   725

 & math*

   726

 & date*

   727

 & name*

   728

 & acronym*

   729

 & term*

   730

 & warning*

   731

}

   732

   733

inlines = mixed {

   734

   sup*

   735

 & sub*

   736

 & var*

   737

 & number*

   738

 & math*

   739

 & date*

   740

 & name*

   741

 & acronym*

   742

 & term*

   743

 & warning*

   744

   745

 & literal*

   746

 & foreign*

   747

 & highlight*

   748

 & emphasis*

   749

 & mentioned*

   750

 & stage*

   751

 & initial*

   752

 & quote*

   753

 & image*

   754

 & audio*

   755

 & smil*

   756

 & note*

   757

 & link*

   758

 & anchor*

   759

 & index*

   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

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

   785

   786

# ~~~~~~ math

   787

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

   788

   789

math.attributes =

   790

   xmlid.attribute?

   791

 & math.display.attribute?

   792

math.display.attribute = attribute display {

   793

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

   794

   795

math.content =

   796

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

   797

 | latex

   798

   799

# ~~~~~~ latex

   800

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

   801

   802

latex.attributes =

   803

   plain.attritute?

   804

plain.attritute = attribute plain { xsd:boolean }

   805

   806

latex.content = text

   807

   808

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

   809

   810

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

   811

   812

date.attributes =

   813

   date.value.attribute

   814

 & date.of.attribute?

   815

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

   816

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

   817

   818

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

   819

   820

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

   821

   822

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

   823

   824

name.attributes =

   825

   name.of.attribute?

   826

name.of.attribute = attribute of {

   827

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

   828

 | "painting" }

   829

   830

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

   831

   832

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

   833

   834

acronym = element acronym { acronym.content }

   835

   836

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

   837

   838

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

   839

   840

term = element term { term.content }

   841

   842

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

   843

   844

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

   845

   846

literal = element literal { literal.content }

   847

   848

literal.content = inlines

   849

   850

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

   851

   852

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

   853

   854

foreign.attributes =

   855

   lang.attribute?

   856

   857

foreign.content = inlines

   858

   859

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

   860

   861

highlight = element highlight { highlight.content }

   862

   863

highlight.content = inlines

   864

   865

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

   866

   867

emphasis = element emphasis { emphasis.content }

   868

   869

emphasis.content = inlines

   870

   871

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

   872

   873

mentioned = element mentioned { mentioned.content }

   874

   875

mentioned.content = inlines

   876

   877

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

   878

   879

stage = element stage { stage.content }

   880

   881

stage.content = inlines

   882

   883

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

   884

   885

initial = element initial { initial.content }

   886

   887

initial.content =

   888

   initial.c,

   889

   initial.w?

   890

   891

initial.c = element c { text }

   892

initial.w = element w { inlines }

   893

   894

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

   895

   896

quote = element quote { quote.content }

   897

   898

quote.content =

   899

   (phrase, attribution) | inlines

   900

   901

phrase = element phrase { phrase.content }

   902

   903

phrase.content = inlines

   904

   905

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

   906

   907

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

   908

   909

smil.attributes =

   910

   audio.attribute?

   911

 & begin.attribute?

   912

 & end.attribute?

   913

audio.attribute = attribute audio { xsd:anyURI }

   914

begin.attribute = attribute begin { xsd:decimal }

   915

end.attribute = attribute end { xsd:decimal }

   916

   917

smil.content = inlines

   918

   919

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

   920

   921

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

   922

   923

note.attributes =

   924

   note.label.attribute?

   925

note.label.attribute = attribute label { text }

   926

   927

note.content =

   928

   (note.w?, block+)

   929

 | inlines

   930

   931

note.w = element w { inlines }

   932

   933

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

   934

   935

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

   936

   937

link.attributes =

   938

   (uri.attribute | idref.attribute)

   939

uri.attribute = attribute uri { xsd:anyURI }

   940

idref.attribute = attribute idref { xsd:IDREF }

   941

   942

link.content = simple.inlines

   943

   944

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

   945

   946

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

   947

   948

anchor.attributes =

   949

   anchor.id.attribute

   950

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

   951

   952

anchor.content = simple.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