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, subtitle?)?

    30

 & identifier*

    31

 & copyright?

    32

 & contributors?

    33

 & date?

    34

 & place?

    35

 & source*

    36

 & keywordset?

    37

 & subjectset?

    38

 & abstract?

    39

 & cover?

    40

 & annotation*

    41

    42

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

    43

    44

# ~~~~~~ document

    45

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

    46

    47

document.attributes =

    48

   document.id.attribute

    49

 & lang.attribute?

    50

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

    51

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

    52

    53

document.content =

    54

   top.head?,

    55

   (division | topic)+

    56

    57

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

    58

    59

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

    60

    61

top.topic.attributes =

    62

   topic.id.attribute

    63

 & topic.type.attribute?

    64

 & lang.attribute?

    65

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

    66

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

    67

    68

top.topic.content =

    69

   top.head?,

    70

   section+

    71

    72

    73

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

    74

#                                 DIVISION LEVEL

    75

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

    76

    77

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

    78

    79

# ~~~~~~ division

    80

division = element division { division.content }

    81

    82

division.content =

    83

   division.head?,

    84

   (division | topic)+

    85

    86

# ~~~~~~ division.head

    87

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

    88

    89

division.head.content =

    90

   (title, subtitle?)?

    91

 & abstract?

    92

 & annotation*

    93

    94

    95

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

    96

#                                COMPONENT LEVEL

    97

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

    98

    99

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

   100

   101

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

   102

   103

component.head.content =

   104

   (title, subtitle?)?

   105

 & contributors?

   106

 & abstract?

   107

 & annotation*

   108

   109

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

   110

   111

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

   112

   113

topic.attributes =

   114

   topic.id.attribute?

   115

 & topic.type.attribute?

   116

 & lang.attribute?

   117

   118

topic.content =

   119

   component.head?,

   120

   section+

   121

   122

   123

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

   124

#                                 SECTION LEVEL

   125

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

   126

   127

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

   128

   129

# ~~~~~~ section

   130

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

   131

   132

section.attributes =

   133

   section.type.attribute?

   134

 & lang.attribute?

   135

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

   136

   137

section.content =

   138

   section.head?,

   139

   (section+ | block+)

   140

   141

# ~~~~~~ section.head

   142

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

   143

   144

section.head.content =

   145

   (title, subtitle?)?

   146

 & abstract?

   147

 & audio*

   148

 & annotation*

   149

   150

   151

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

   152

#                                 BLOCK LEVEL

   153

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

   154

   155

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

   156

   157

# ~~~~~~ block

   158

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

   159

   160

# ~~~~~~ block.head

   161

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

   162

   163

block.head.content =

   164

   (title, subtitle?)?

   165

   166

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

   167

   168

p = element p { p.content }

   169

   170

p.content =

   171

   inlines

   172

   173

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

   174

   175

# ~~~~~~ speech

   176

speech = element speech { speech.content }

   177

   178

speech.content =

   179

   speaker?,

   180

   stage?,

   181

   p+

   182

   183

# ~~~~~~ speaker

   184

speaker = element speaker { speaker.content }

   185

   186

speaker.content = inlines

   187

   188

# ~~~~~~ stage

   189

stage = element stage { stage.content }

   190

   191

stage.content = inlines

   192

   193

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

   194

   195

# ~~~~~~ list

   196

\list = element list {

   197

   block.head?,

   198

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

   199

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

   200

}

   201

   202

# ~~~~~~ item

   203

item = element item { item.content }

   204

   205

item.content =

   206

   inlines

   207

 | block+

   208

   209

# ~~~~~~ glossary.item

   210

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

   211

   212

glossary.item.content =

   213

   label,

   214

   block+

   215

   216

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

   217

   218

# ~~~~~~ blockquote

   219

blockquote = element blockquote { blockquote.content }

   220

   221

blockquote.content =

   222

   block.head?,

   223

   (p | speech | \list)+,

   224

   attribution?

   225

   226

# ~~~~~~ attribution

   227

attribution = element attribution { attribution.content }

   228

   229

attribution.content =

   230

   inlines

   231

   232

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

   233

   234

# ~~~~~~ table

   235

table = element table { table.content }

   236

   237

table.content =

   238

   block.head?,

   239

   tgroup+,

   240

   table.caption?

   241

   242

# ~~~~~~ tgroup

   243

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

   244

   245

tgroup.content =

   246

   thead?,

   247

   tfoot?,

   248

   tbody

   249

   250

tgroup.attributes =

   251

   cols.attribute

   252

 & align.attribute?

   253

 & colsep.attribute?

   254

 & rowsep.attribute?

   255

cols.attribute = attribute cols { xsd:positiveInteger }

   256

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

   257

colsep.attribute = attribute colsep { "0" | "1" }

   258

rowsep.attribute = attribute rowsep { "0" | "1" }

   259

   260

# ~~~~~~ thead, tfoot, tbody

   261

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

   262

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

   263

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

   264

   265

thead.attributes =

   266

   valign.attribute?

   267

tfoot.attributes =

   268

   valign.attribute?

   269

tbody.attributes =

   270

   valign.attribute?

   271

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

   272

   273

thead.content =

   274

   row+

   275

tfoot.content =

   276

   row+

   277

tbody.content =

   278

   row+

   279

   280

# ~~~~~~ row

   281

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

   282

   283

row.attribute =

   284

   valign.attribute?

   285

   286

row.content =

   287

  entry+

   288

   289

# ~~~~~~ entry

   290

entry = element entry { entry.content }

   291

   292

entry.content =

   293

   inlines

   294

 | (p | media)+

   295

   296

# ~~~~~~ table.caption

   297

table.caption = element caption { caption.content }

   298

   299

caption.content =

   300

   inlines

   301

 | p+

   302

   303

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

   304

   305

# ~~~~~~ media

   306

media = element media { media.content }

   307

   308

media.content =

   309

   block.head?,

   310

   (image | audio | video)+,

   311

   media.caption?,

   312

   link?

   313

   314

# ~~~~~~ image

   315

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

   316

   317

image.attributes =

   318

   media.id.attribute

   319

 & image.type?

   320

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

   321

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

   322

   323

image.content =

   324

   copyright?,

   325

   tooltip*

   326

   327

# ~~~~~~ audio

   328

audio = element audio { audio.attributes }

   329

   330

audio.attributes =

   331

   media.id.attribute

   332

 & audio.type?

   333

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

   334

   335

# ~~~~~~ video

   336

video = element video { video.attributes }

   337

   338

video.attributes =

   339

   media.id.attribute

   340

   341

# ~~~~~~ tooltip

   342

   343

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

   344

   345

tooltip.attributes =

   346

   x.attribute

   347

 & y.attribute

   348

 & dx.attribute?

   349

 & dy.attribute?

   350

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

   351

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

   352

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

   353

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

   354

   355

tooltip.content =

   356

   (p | image)+

   357

   358

# ~~~~~~ media.caption

   359

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

   360

   361

caption.attributes =

   362

   x.attribute?

   363

 & y.attribute?

   364

   365

   366

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

   367

#                                 HEAD LEVEL

   368

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

   369

   370

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

   371

   372

title = element title { title.content }

   373

subtitle = element subtitle { title.content }

   374

   375

title.content = inlines

   376

   377

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

   378

   379

identifier.uri = element identifier {

   380

   attribute type { "uri" }, xsd:anyURI

   381

}

   382

   383

identifier.ean = element identifier {

   384

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

   385

}

   386

   387

identifier = identifier.uri | identifier.ean

   388

   389

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

   390

   391

copyright = element copyright { copyright.content }

   392

   393

copyright.content = inlines

   394

   395

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

   396

   397

# ~~~~~~ contributors

   398

contributors = element contributors { contributors.content }

   399

   400

contributors.content =

   401

   contributor+

   402

   403

# ~~~~~~ contributor

   404

contributor = element contributor { contributor.content }

   405

   406

contributor.content =

   407

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

   408

   address?,

   409

   link?,

   410

   role+

   411

   412

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

   413

firstname = element firstname { firstname.content }

   414

secondname = element secondname { secondname.content }

   415

lastname = element lastname { lastname.content }

   416

label = element label { label.content }

   417

   418

firstname.content = inlines

   419

secondname.content = inlines

   420

lastname.content = inlines

   421

label.content = inlines

   422

   423

# ~~~~~~ address

   424

address = element address { address.content }

   425

   426

address.content = inlines

   427

   428

# ~~~~~~ role

   429

role = element role { role.content }

   430

   431

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

   432

   433

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

   434

   435

place = element place { place.content }

   436

   437

place.content = inlines

   438

   439

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

   440

   441

# ~~~~~~ source

   442

source = element source {

   443

   (  (attribute type { "book" }, source.content.book)

   444

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

   445

   source.content

   446

}

   447

   448

source.content.book =

   449

   identifier.ean,

   450

   title?,

   451

   pagenumber*

   452

source.content.file =

   453

   identifier.uri

   454

source.content =

   455

   annotation*

   456

   457

# ~~~~~~ pagenumber

   458

pagenumber = element pagenumber { pagenumber.content }

   459

   460

pagenumber.content = xsd:positiveInteger

   461

   462

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

   463

   464

# ~~~~~~ keywordset

   465

keywordset = element keywordset { keywordset.content }

   466

   467

keywordset.content = keyword+

   468

   469

# ~~~~~~ keyword

   470

keyword = element keyword { keyword.content }

   471

   472

keyword.content = mixed { sup*, sub* }

   473

   474

# ~~~~~~ subjectset

   475

subjectset = element subjectset { subjectset.content }

   476

   477

subjectset.content = subject+

   478

   479

# ~~~~~~ subject

   480

subject = element subject { subject.attributes }

   481

   482

subject.attributes =

   483

   subject.id.attribute

   484

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

   485

   486

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

   487

   488

abstract = element abstract { abstract.content }

   489

   490

abstract.content =

   491

   p+

   492

   493

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

   494

   495

cover = element cover { cover.content }

   496

   497

cover.content =

   498

   cover.image

   499

   500

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

   501

   502

cover.image.attributes =

   503

   cover.image.id.attribute

   504

cover.image.id.attribute = attribute id { xsd:NMTOKEN }

   505

   506

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

   507

   508

annotation = element annotation { annotation.content }

   509

   510

annotation.content = inlines

   511

   512

   513

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

   514

#                                 INLINE LEVEL

   515

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

   516

   517

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

   518

   519

inlines = mixed {

   520

   sup*

   521

 & sub*

   522

 & var*

   523

 & number*

   524

 & math*

   525

 & date*

   526

 & name*

   527

 & note*

   528

 & foreign*

   529

 & highlight*

   530

 & mentioned*

   531

 & quote*

   532

 & acronym*

   533

 & term*

   534

 & link*

   535

 & anchor*

   536

 & initial*

   537

 & image*

   538

 & smil*

   539

}

   540

   541

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

   542

   543

sup = element sup { text }

   544

   545

sub = element sub { text }

   546

   547

var = element var { text }

   548

   549

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

   550

   551

number = element number {

   552

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

   553

 | ( number.attributes, number.content)

   554

}

   555

   556

number.attributes =

   557

   number.value.attribute?

   558

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

   559

   560

number.content = mixed { sup* }

   561

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

   562

   563

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

   564

   565

math = element math {

   566

   ( attribute notation {"tex"}, math.attributes, math.tex.content )

   567

 | ( math.attributes, math.content)

   568

}

   569

   570

math.attributes =

   571

   wide.attribute?

   572

wide.attribute = attribute wide { xsd:boolean }

   573

   574

math.content = mixed { sup* & sub* & var* }

   575

math.tex.content = text

   576

   577

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

   578

   579

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

   580

   581

date.attributes =

   582

   date.value.attribute

   583

 & date.of.attribute?

   584

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

   585

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

   586

   587

date.content = mixed { sup* }

   588

   589

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

   590

   591

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

   592

   593

name.attributes =

   594

   name.of.attribute?

   595

name.of.attribute = attribute of

   596

   { "person" | "company" | "book" | "newspaper" | "party" }

   597

   598

name.content = inlines

   599

   600

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

   601

   602

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

   603

   604

note.attributes =

   605

   note.label.attribute?

   606

note.label.attribute = attribute label { text }

   607

   608

note.content =

   609

   (w, p+) | inlines

   610

   611

w = element w { inlines }

   612

   613

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

   614

   615

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

   616

   617

foreign.attributes =

   618

   lang.attribute?

   619

   620

foreign.content = inlines

   621

   622

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

   623

   624

highlight = element highlight { highlight.content }

   625

   626

highlight.content = inlines

   627

   628

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

   629

   630

mentioned = element mentioned { mentioned.content }

   631

   632

mentioned.content = inlines

   633

   634

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

   635

   636

quote = element quote { quote.content }

   637

   638

quote.content = inlines

   639

   640

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

   641

   642

acronym = element acronym { acronym.content }

   643

   644

acronym.content = inlines

   645

   646

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

   647

   648

term = element term { term.content }

   649

   650

term.content = inlines

   651

   652

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

   653

   654

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

   655

   656

link.attributes =

   657

   (uri.attribute | idref.attribute)

   658

uri.attribute = attribute uri { xsd:anyURI }

   659

idref.attribute = attribute idref { xsd:IDREF }

   660

   661

link.content = inlines

   662

   663

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

   664

   665

anchor = element anchor { anchor.attributes }

   666

   667

anchor.attributes =

   668

   anchor.id.attribute

   669

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

   670

   671

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

   672

   673

initial = element initial { initial.content }

   674

   675

initial.content =

   676

   c,

   677

   w?

   678

   679

c = element c { text }

   680

   681

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

   682

   683

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

   684

   685

smil.attributes =

   686

   begin.attribute?

   687

 & end.attribute?

   688

begin.attribute = attribute begin { xsd:decimal }

   689

end.attribute = attribute end { xsd:decimal }

   690

   691

smil.content = inlines