1

# $Id$

     2

     3

start = publidoc

     4

     5

     6

publidoc = element publidoc {

     7

   publidoc.attributes,

     8

   publidoc.content

     9

}

    10

    11

publidoc.attributes =

    12

   version.attribute

    13

version.attribute = attribute version { "1.0" }

    14

    15

publidoc.content =

    16

   document

    17

 | top.topic

    18

    19

    20

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

    21

#                                  TOP LEVEL

    22

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

    23

    24

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

    25

    26

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

    27

    28

top.head.content =

    29

   (title, shorttitle?, subtitle*)?

    30

 & identifier*

    31

 & copyright*

    32

 & collection?

    33

 & contributors?

    34

 & date?

    35

 & place?

    36

 & (source, source?)?

    37

 & keywordset?

    38

 & subjectset?

    39

 & abstract?

    40

 & head.index*

    41

 & cover?

    42

 & annotation*

    43

    44

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

    45

    46

# ~~~~~~ document

    47

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

    48

    49

document.attributes =

    50

   document.id.attribute

    51

 & document.type.attribute?

    52

 & lang.attribute?

    53

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

    54

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

    55

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

    56

    57

document.content =

    58

   top.head?,

    59

   (division | topic)+

    60

    61

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

    62

    63

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

    64

    65

top.topic.attributes =

    66

   topic.id.attribute

    67

 & topic.type.attribute?

    68

 & lang.attribute?

    69

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

    70

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

    71

    72

top.topic.content =

    73

   top.head?,

    74

   header?,

    75

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

    76

   footer?

    77

    78

    79

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

    80

#                                 DIVISION LEVEL

    81

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

    82

    83

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

    84

    85

# ~~~~~~ division

    86

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

    87

    88

division.attributes =

    89

   division.type.attribute?

    90

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

    91

    92

division.content =

    93

   division.head?,

    94

   front?,

    95

   (division | topic)+

    96

    97

# ~~~~~~ division.head

    98

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

    99

   100

division.head.content =

   101

   (title, shorttitle?, subtitle*)?

   102

 & abstract?

   103

 & annotation*

   104

   105

# ~~~~~~ front

   106

front = element front { front.content }

   107

   108

front.content =

   109

   section+

   110

   111

   112

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

   113

#                                COMPONENT LEVEL

   114

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

   115

   116

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

   117

   118

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

   119

   120

component.head.content =

   121

   (title, shorttitle?, subtitle*)?

   122

 & contributors?

   123

 & date?

   124

 & place?

   125

 & keywordset?

   126

 & subjectset?

   127

 & head.index*

   128

 & abstract?

   129

 & annotation*

   130

   131

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

   132

   133

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

   134

   135

topic.attributes =

   136

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

   137

 & topic.type.attribute?

   138

 & lang.attribute?

   139

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

   140

   141

topic.content =

   142

   component.head?,

   143

   header?,

   144

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

   145

   footer?

   146

   147

   148

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

   149

#                                 SECTION LEVEL

   150

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

   151

   152

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

   153

   154

header = element header { header.content }

   155

   156

header.content =

   157

   block+

   158

   159

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

   160

   161

# ~~~~~~ section

   162

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

   163

   164

section.attributes =

   165

   xmlid.attribute?

   166

 & section.type.attribute?

   167

 & lang.attribute?

   168

 & for.attribute?

   169

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

   170

for.attribute = attribute for { xsd:NCName }

   171

   172

section.content =

   173

   section.head?,

   174

   (section+ | block+)

   175

   176

# ~~~~~~ section.head

   177

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

   178

   179

section.head.content =

   180

   (title, shorttitle?, subtitle*)?

   181

 & keywordset?

   182

 & subjectset?

   183

 & head.index*

   184

 & abstract?

   185

 & audio*

   186

 & annotation*

   187

   188

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

   189

   190

# ~~~~~~ bibliography

   191

bibliography = element bibliography { bibliography.content }

   192

   193

bibliography.content =

   194

   bibliography.entry+

   195

   196

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

   197

   198

footer = element footer { footer.content }

   199

   200

footer.content =

   201

   block+

   202

   203

   204

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

   205

#                                 BLOCK LEVEL

   206

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

   207

   208

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

   209

   210

# ~~~~~~ block

   211

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

   212

   213

# ~~~~~~ block.head

   214

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

   215

   216

block.head.content =

   217

   (title, shorttitle?, subtitle*)?

   218

 & head.index*

   219

   220

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

   221

   222

p = element p { p.content }

   223

   224

p.content =

   225

   inlines

   226

   227

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

   228

   229

# ~~~~~~ speech

   230

speech = element speech { speech.content }

   231

   232

speech.content =

   233

   speaker?,

   234

   stage?,

   235

   (p | blockquote)+

   236

   237

# ~~~~~~ speaker

   238

speaker = element speaker { speaker.content }

   239

   240

speaker.content = inlines

   241

   242

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

   243

   244

# ~~~~~~ list

   245

\list = element list {

   246

   block.head?,

   247

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

   248

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

   249

}

   250

   251

# ~~~~~~ item

   252

item = element item { item.content }

   253

   254

item.content =

   255

   inlines

   256

 | block+

   257

   258

# ~~~~~~ glossary.item

   259

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

   260

   261

glossary.item.content =

   262

   label,

   263

   block+

   264

   265

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

   266

   267

# ~~~~~~ blockquote

   268

blockquote = element blockquote { blockquote.content }

   269

   270

blockquote.content =

   271

   block.head?,

   272

   (p | speech | \list)+,

   273

   attribution?

   274

   275

# ~~~~~~ attribution

   276

attribution = element attribution { attribution.content }

   277

   278

attribution.content = mixed {

   279

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

   280

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

   281

   282

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

   283

   284

# ~~~~~~ table

   285

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

   286

   287

table.attributes =

   288

   table.type.attribute?

   289

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

   290

   291

table.content =

   292

   block.head?,

   293

   thead?,

   294

   (tbody+ | tr+),

   295

   table.caption?

   296

   297

# ~~~~~~ thead, tbody

   298

thead = element thead { thead.content }

   299

tbody = element tbody { tbody.content }

   300

   301

thead.content =

   302

   tr+

   303

tbody.content =

   304

   tr+

   305

   306

# ~~~~~~ tr

   307

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

   308

   309

tr.attributes =

   310

   align.attribute?

   311

 & valign.attribute?

   312

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

   313

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

   314

   315

tr.content =

   316

   (td | th)+

   317

   318

# ~~~~~~ td, th

   319

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

   320

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

   321

   322

td.attributes =

   323

   align.attribute?

   324

 & valign.attribute?

   325

 & colspan.attribute?

   326

 & rowspan.attribute?

   327

colspan.attribute = attribute colspan { xsd:positiveInteger }

   328

rowspan.attribute = attribute rowspan { xsd:positiveInteger }

   329

   330

td.content =

   331

   inlines

   332

 | (p | media)+

   333

   334

# ~~~~~~ table.caption

   335

table.caption = element caption { caption.content }

   336

   337

caption.content =

   338

   inlines

   339

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

   340

   341

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

   342

   343

# ~~~~~~ table.cals

   344

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

   345

   346

table.cals.content =

   347

   block.head?,

   348

   tgroup+,

   349

   table.caption?

   350

   351

# ~~~~~~ tgroup

   352

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

   353

   354

tgroup.attributes =

   355

   cols.attribute

   356

cols.attribute = attribute cols { xsd:positiveInteger }

   357

   358

tgroup.content =

   359

   thead.cals?,

   360

   tbody.cals

   361

   362

# ~~~~~~ thead, tbody

   363

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

   364

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

   365

   366

thead.cals.content =

   367

   row+

   368

tbody.cals.content =

   369

   row+

   370

   371

# ~~~~~~ row

   372

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

   373

   374

row.attributes =

   375

   valign.attribute?

   376

   377

row.content =

   378

  table.cals.entry+

   379

   380

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

   381

table.cals.entry = element entry {

   382

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

   383

   384

table.cals.entry.attributes =

   385

   align.attribute?

   386

 & valign.attribute?

   387

   388

table.cals.entry.content =

   389

   inlines

   390

 | (p | media)+

   391

   392

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

   393

   394

# ~~~~~~ media

   395

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

   396

   397

media.attributes =

   398

   xmlid.attribute?

   399

 & media.type.attribute?

   400

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

   401

   402

media.content =

   403

   block.head?,

   404

   (media.image | audio | video)+,

   405

   media.caption?,

   406

   link?

   407

   408

# ~~~~~~ image

   409

image = element image { image.attributes }

   410

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

   411

   412

image.attributes =

   413

   media.id.attribute

   414

 & image.type?

   415

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

   416

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

   417

   418

media.image.content =

   419

   copyright?,

   420

   hotspot*

   421

   422

# ~~~~~~ audio

   423

audio = element audio { audio.attributes }

   424

   425

audio.attributes =

   426

   media.id.attribute

   427

 & audio.type?

   428

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

   429

   430

# ~~~~~~ video

   431

video = element video { video.attributes }

   432

   433

video.attributes =

   434

   media.id.attribute

   435

   436

# ~~~~~~ hotspot

   437

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

   438

   439

hotspot.attributes =

   440

   x.attribute

   441

 & y.attribute

   442

 & w.attribute

   443

 & h.attribute?

   444

 & hotspot.display.attribute?

   445

 & hotspot.type.attribute?

   446

 & xmlid.attribute?

   447

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

   448

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

   449

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

   450

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

   451

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

   452

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

   453

   454

hotspot.content =

   455

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

   456

 | (spot, scenario?)

   457

 | empty 

   458

   459

# ~~~~~~ spot

   460

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

   461

   462

spot.attributes =

   463

   dx.attribute?

   464

 & dy.attribute?

   465

 & dw.attribute?

   466

 & dh.attribute?

   467

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

   468

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

   469

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

   470

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

   471

   472

spot.content =

   473

   ((p+ | image), audio?)

   474

 | audio

   475

 | video

   476

   477

# ~~~~~~ media.caption

   478

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

   479

   480

caption.attributes =

   481

   x.attribute?

   482

 & y.attribute?

   483

   484

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

   485

   486

# ~~~~~~ scenario

   487

scenario = element scenario { scenario.content }

   488

   489

scenario.content =

   490

   init*,

   491

   onclick*

   492

   493

# ~~~~~~ init

   494

init = element init { init.attributes }

   495

   496

init.attributes =

   497

   init.action.attribute

   498

 & target.attribute?

   499

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

   500

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

   501

   502

# ~~~~~~ onclick

   503

onclick = element onclick { onclick.attributes }

   504

   505

onclick.attributes =

   506

   onclick.action.attribute

   507

 & target.attribute?

   508

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

   509

   510

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

   511

   512

# ~~~~~~ bibliography.entry

   513

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

   514

   515

bibliography.entry.content =

   516

   identifier.ean?

   517

 & title

   518

 & subtitle?

   519

 & copyright?

   520

 & collection?

   521

 & contributors?

   522

 & date?

   523

 & place?

   524

 & folio?

   525

 & pages?

   526

   527

# ~~~~~~ folio

   528

folio = element folio { folio.content }

   529

   530

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

   531

   532

# ~~~~~~ pages

   533

pages = element pages { pages.content }

   534

   535

pages.content = xsd:positiveInteger

   536

   537

   538

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

   539

#                                 HEAD LEVEL

   540

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

   541

   542

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

   543

   544

title = element title { title.content }

   545

shorttitle = element shorttitle { title.content }

   546

subtitle = element subtitle { title.content }

   547

   548

title.content = inlines

   549

   550

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

   551

   552

# ~~~~~~ identifier

   553

identifier = element identifier {

   554

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

   555

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

   556

}

   557

   558

# ~~~~~~ identifier.ean

   559

identifier.ean = element identifier {

   560

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

   561

}

   562

   563

# ~~~~~~ identifier.uri

   564

identifier.uri = element identifier {

   565

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

   566

}

   567

   568

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

   569

   570

copyright = element copyright { copyright.content }

   571

   572

copyright.content = simple.inlines

   573

   574

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

   575

   576

collection = element collection { collection.content }

   577

   578

collection.content = simple.inlines

   579

   580

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

   581

   582

# ~~~~~~ contributors

   583

contributors = element contributors { contributors.content }

   584

   585

contributors.content =

   586

   contributor+

   587

   588

# ~~~~~~ contributor

   589

contributor = element contributor { contributor.content }

   590

   591

contributor.content =

   592

   identifier.uri?,

   593

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

   594

   address?,

   595

   link?,

   596

   role+

   597

   598

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

   599

firstname = element firstname { firstname.content }

   600

secondname = element secondname { secondname.content }

   601

lastname = element lastname { lastname.content }

   602

label = element label { label.content }

   603

   604

firstname.content = simple.inlines

   605

secondname.content = simple.inlines

   606

lastname.content = simple.inlines

   607

label.content = simple.inlines

   608

   609

# ~~~~~~ address

   610

address = element address { address.content }

   611

   612

address.content = simple.inlines

   613

   614

# ~~~~~~ role

   615

role = element role { role.content }

   616

   617

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

   618

   619

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

   620

   621

place = element place { place.content }

   622

   623

place.content = simple.inlines

   624

   625

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

   626

   627

source = element source {

   628

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

   629

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

   630

   source.content

   631

}

   632

   633

source.content.file =

   634

   identifier.uri

   635

source.content =

   636

   annotation*

   637

   638

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

   639

   640

# ~~~~~~ keywordset

   641

keywordset = element keywordset { keywordset.content }

   642

   643

keywordset.content = keyword+

   644

   645

# ~~~~~~ keyword

   646

keyword = element keyword { keyword.content }

   647

   648

keyword.content = simple.inlines

   649

   650

# ~~~~~~ subjectset

   651

subjectset = element subjectset { subjectset.content }

   652

   653

subjectset.content = subject+

   654

   655

# ~~~~~~ subject

   656

subject = element subject { subject.content }

   657

   658

subject.content = simple.inlines

   659

   660

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

   661

   662

# ~~~~~~ index

   663

index = element index { index.content }

   664

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

   665

   666

index.content =

   667

   (index.w, index.entry?)

   668

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

   669

head.index.content =

   670

   index.entry, index.entry?

   671

   672

# ~~~~~~ index.w

   673

index.w = element w { simple.inlines }

   674

   675

# ~~~~~~ index.entry

   676

index.entry = element entry { simple.inlines }

   677

   678

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

   679

   680

abstract = element abstract { abstract.content }

   681

   682

abstract.content =

   683

   p+

   684

   685

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

   686

   687

cover = element cover { cover.content }

   688

   689

cover.content =

   690

   cover.image

   691

   692

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

   693

   694

cover.image.attributes =

   695

   media.id.attribute

   696

   697

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

   698

   699

annotation = element annotation { annotation.content }

   700

   701

annotation.content = inlines

   702

   703

   704

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

   705

#                                 INLINE LEVEL

   706

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

   707

   708

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

   709

   710

simple.inlines = mixed {

   711

   sup*

   712

 & sub*

   713

 & var*

   714

 & number*

   715

 & math*

   716

 & date*

   717

 & name*

   718

 & acronym*

   719

 & term*

   720

 & warning*

   721

}

   722

   723

inlines =

   724

   simple.inlines

   725

 & literal*

   726

 & foreign*

   727

 & highlight*

   728

 & emphasis*

   729

 & mentioned*

   730

 & stage*

   731

 & initial*

   732

 & quote*

   733

 & image*

   734

 & audio*

   735

 & smil*

   736

 & note*

   737

 & link*

   738

 & anchor*

   739

 & index*

   740

   741

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

   742

   743

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

   744

   745

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

   746

   747

var = element var { mixed { warning* } }

   748

   749

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

   750

   751

number = element number {

   752

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

   753

 | ( number.attributes, number.content)

   754

}

   755

   756

number.attributes =

   757

   number.value.attribute?

   758

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

   759

   760

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

   761

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

   762

   763

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

   764

   765

# ~~~~~~ math

   766

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

   767

   768

math.attributes =

   769

   xmlid.attribute?

   770

 & math.display.attribute?

   771

math.display.attribute = attribute display {

   772

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

   773

   774

math.content =

   775

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

   776

 | latex

   777

   778

# ~~~~~~ latex

   779

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

   780

   781

latex.attributes =

   782

   plain.attritute?

   783

plain.attritute = attribute plain { xsd:boolean }

   784

   785

latex.content = text

   786

   787

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

   788

   789

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

   790

   791

date.attributes =

   792

   date.value.attribute

   793

 & date.of.attribute?

   794

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

   795

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

   796

   797

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

   798

   799

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

   800

   801

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

   802

   803

name.attributes =

   804

   name.of.attribute?

   805

name.of.attribute = attribute of {

   806

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

   807

 | "painting" }

   808

   809

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

   810

   811

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

   812

   813

acronym = element acronym { acronym.content }

   814

   815

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

   816

   817

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

   818

   819

term = element term { term.content }

   820

   821

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

   822

   823

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

   824

   825

literal = element literal { literal.content }

   826

   827

literal.content = inlines

   828

   829

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

   830

   831

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

   832

   833

foreign.attributes =

   834

   lang.attribute?

   835

   836

foreign.content = inlines

   837

   838

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

   839

   840

highlight = element highlight { highlight.content }

   841

   842

highlight.content = inlines

   843

   844

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

   845

   846

emphasis = element emphasis { emphasis.content }

   847

   848

emphasis.content = inlines

   849

   850

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

   851

   852

mentioned = element mentioned { mentioned.content }

   853

   854

mentioned.content = inlines

   855

   856

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

   857

   858

stage = element stage { stage.content }

   859

   860

stage.content = inlines

   861

   862

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

   863

   864

initial = element initial { initial.content }

   865

   866

initial.content =

   867

   initial.c,

   868

   initial.w?

   869

   870

initial.c = element c { text }

   871

initial.w = element w { inlines }

   872

   873

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

   874

   875

quote = element quote { quote.content }

   876

   877

quote.content =

   878

   (phrase, attribution) | inlines

   879

   880

phrase = element phrase { phrase.content }

   881

   882

phrase.content = inlines

   883

   884

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

   885

   886

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

   887

   888

smil.attributes =

   889

   audio.attribute?

   890

 & begin.attribute?

   891

 & end.attribute?

   892

audio.attribute = attribute audio { xsd:anyURI }

   893

begin.attribute = attribute begin { xsd:decimal }

   894

end.attribute = attribute end { xsd:decimal }

   895

   896

smil.content = inlines

   897

   898

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

   899

   900

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

   901

   902

note.attributes =

   903

   note.label.attribute?

   904

note.label.attribute = attribute label { text }

   905

   906

note.content =

   907

   (note.w?, block+)

   908

 | inlines

   909

   910

note.w = element w { inlines }

   911

   912

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

   913

   914

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

   915

   916

link.attributes =

   917

   (uri.attribute | idref.attribute)

   918

uri.attribute = attribute uri { xsd:anyURI }

   919

idref.attribute = attribute idref { xsd:IDREF }

   920

   921

link.content = simple.inlines

   922

   923

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

   924

   925

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

   926

   927

anchor.attributes =

   928

   anchor.id.attribute

   929

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

   930

   931

anchor.content = simple.inlines

   932

   933

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

   934

   935

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

   936

   937

warning.attributes =

   938

   warning.type.attribute?

   939

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

   940

   941

warning.content = inlines