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 xml:id { xsd:ID }

    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 xml:id { xsd:ID }

    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

 & annotation*

   148

   149

   150

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

   151

#                                 BLOCK LEVEL

   152

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

   153

   154

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

   155

   156

# ~~~~~~ block

   157

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

   158

   159

# ~~~~~~ block.head

   160

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

   161

   162

block.head.content =

   163

   (title, subtitle?)?

   164

   165

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

   166

   167

p = element p { p.content }

   168

   169

p.content =

   170

   inlines

   171

   172

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

   173

   174

# ~~~~~~ speech

   175

speech = element speech { speech.content }

   176

   177

speech.content =

   178

   speaker?,

   179

   stage?,

   180

   p+

   181

   182

# ~~~~~~ speaker

   183

speaker = element speaker { speaker.content }

   184

   185

speaker.content = inlines

   186

   187

# ~~~~~~ stage

   188

stage = element stage { stage.content }

   189

   190

stage.content = inlines

   191

   192

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

   193

   194

# ~~~~~~ list

   195

\list = element list {

   196

   block.head?,

   197

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

   198

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

   199

}

   200

   201

# ~~~~~~ item

   202

item = element item { item.content }

   203

   204

item.content =

   205

   inlines

   206

 | block+

   207

   208

# ~~~~~~ glossary.item

   209

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

   210

   211

glossary.item.content =

   212

   label,

   213

   block+

   214

   215

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

   216

   217

# ~~~~~~ blockquote

   218

blockquote = element blockquote { blockquote.content }

   219

   220

blockquote.content =

   221

   block.head?,

   222

   (p | speech | \list)+,

   223

   attribution?

   224

   225

# ~~~~~~ attribution

   226

attribution = element attribution { attribution.content }

   227

   228

attribution.content =

   229

   inlines

   230

   231

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

   232

   233

# ~~~~~~ table

   234

table = element table { table.content }

   235

   236

table.content =

   237

   block.head?,

   238

   tgroup+,

   239

   caption?

   240

   241

# ~~~~~~ tgroup

   242

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

   243

   244

tgroup.content =

   245

   thead?,

   246

   tfoot?,

   247

   tbody

   248

   249

tgroup.attributes =

   250

   cols.attribute

   251

 & align.attribute?

   252

 & colsep.attribute?

   253

 & rowsep.attribute?

   254

cols.attribute = attribute cols { xsd:positiveInteger }

   255

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

   256

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

   257

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

   258

   259

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

   260

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

   261

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

   262

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

   263

   264

thead.attributes =

   265

   valign.attribute?

   266

tfoot.attributes =

   267

   valign.attribute?

   268

tbody.attributes =

   269

   valign.attribute?

   270

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

   271

   272

thead.content =

   273

   row+

   274

tfoot.content =

   275

   row+

   276

tbody.content =

   277

   row+

   278

   279

# ~~~~~~ row

   280

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

   281

   282

row.attribute =

   283

   valign.attribute?

   284

   285

row.content =

   286

  entry+

   287

   288

# ~~~~~~ entry

   289

entry = element entry { entry.content }

   290

   291

entry.content =

   292

   inlines

   293

 | (p | media)+

   294

   295

# ~~~~~~ caption

   296

caption = element caption { caption.content }

   297

   298

caption.content =

   299

   inlines

   300

 | p+

   301

   302

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

   303

   304

# ~~~~~~ media

   305

media = element media { media.content }

   306

   307

media.content =

   308

   block.head?,

   309

   (image | audio)+,

   310

   caption?,

   311

   link?

   312

   313

# ~~~~~~ image

   314

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

   315

   316

image.attributes =

   317

   media.id.attribute,

   318

   image.type?

   319

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

   320

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

   321

   322

image.content =

   323

   copyright?

   324

   325

# ~~~~~~ audio

   326

audio = element audio { audio.attributes }

   327

   328

audio.attributes =

   329

   media.id.attribute

   330

   331

   332

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

   333

#                                 HEAD LEVEL

   334

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

   335

   336

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

   337

   338

title = element title { title.content }

   339

subtitle = element subtitle { title.content }

   340

   341

title.content = inlines

   342

   343

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

   344

   345

identifier.uri = element identifier {

   346

   attribute type { "uri" }, xsd:anyURI

   347

}

   348

   349

identifier.ean = element identifier {

   350

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

   351

}

   352

   353

identifier = identifier.uri | identifier.ean

   354

   355

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

   356

   357

copyright = element copyright { copyright.content }

   358

   359

copyright.content = inlines

   360

   361

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

   362

   363

# ~~~~~~ contributors

   364

contributors = element contributors { contributors.content }

   365

   366

contributors.content =

   367

   contributor+

   368

   369

# ~~~~~~ contributor

   370

contributor = element contributor { contributor.content }

   371

   372

contributor.content =

   373

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

   374

   address?,

   375

   link?,

   376

   role*

   377

   378

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

   379

firstname = element firstname { firstname.content }

   380

secondname = element secondname { secondname.content }

   381

lastname = element lastname { lastname.content }

   382

label = element label { label.content }

   383

   384

firstname.content = inlines

   385

secondname.content = inlines

   386

lastname.content = inlines

   387

label.content = inlines

   388

   389

# ~~~~~~ address

   390

address = element address { address.content }

   391

   392

address.content = inlines

   393

   394

# ~~~~~~ role

   395

role = element role { role.content }

   396

   397

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

   398

   399

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

   400

   401

place = element place { place.content }

   402

   403

place.content = inlines

   404

   405

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

   406

   407

# ~~~~~~ source

   408

source = element source {

   409

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

   410

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

   411

   source.content

   412

}

   413

   414

source.content.book =

   415

   identifier.ean,

   416

   title?,

   417

   pagenumber*

   418

source.content.file =

   419

   identifier.uri

   420

source.content =

   421

   annotation*

   422

   423

# ~~~~~~ pagenumber

   424

pagenumber = element pagenumber { pagenumber.content }

   425

   426

pagenumber.content = xsd:positiveInteger

   427

   428

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

   429

   430

# ~~~~~~ keywordset

   431

keywordset = element keywordset { keywordset.content }

   432

   433

keywordset.content = keyword+

   434

   435

# ~~~~~~ keyword

   436

keyword = element keyword { keyword.content }

   437

   438

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

   439

   440

# ~~~~~~ subjectset

   441

subjectset = element subjectset { subjectset.content }

   442

   443

subjectset.content = subject+

   444

   445

# ~~~~~~ subject

   446

subject = element subject { subject.attributes }

   447

   448

subject.attributes =

   449

   subject.id.attribute

   450

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

   451

   452

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

   453

   454

abstract = element abstract { abstract.content }

   455

   456

abstract.content =

   457

   p+

   458

   459

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

   460

   461

cover = element cover { cover.content }

   462

   463

cover.content =

   464

   cover.image

   465

   466

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

   467

   468

cover.image.attributes =

   469

   cover.image.id.attribute

   470

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

   471

   472

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

   473

   474

annotation = element annotation { annotation.content }

   475

   476

annotation.content = inlines

   477

   478

   479

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

   480

#                                 INLINE LEVEL

   481

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

   482

   483

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

   484

   485

inlines = mixed {

   486

   sup*

   487

 & sub*

   488

 & var*

   489

 & number*

   490

 & math*

   491

 & date*

   492

 & name*

   493

 & note*

   494

 & foreign*

   495

 & highlight*

   496

 & mentioned*

   497

 & quote*

   498

 & acronym*

   499

 & term*

   500

 & link*

   501

 & anchor*

   502

}

   503

   504

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

   505

   506

sup = element sup { text }

   507

   508

sub = element sub { text }

   509

   510

var = element var { text }

   511

   512

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

   513

   514

number = element number {

   515

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

   516

 | ( number.attributes, number.content)

   517

}

   518

   519

number.attributes =

   520

   number.value.attribute?

   521

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

   522

   523

number.content = mixed { sup* }

   524

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

   525

   526

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

   527

   528

math = element math {

   529

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

   530

 | ( math.attributes, math.content)

   531

}

   532

   533

math.attributes =

   534

   wide.attribute?

   535

wide.attribute = attribute wide { xsd:boolean }

   536

   537

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

   538

math.tex.content = text

   539

   540

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

   541

   542

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

   543

   544

date.attributes =

   545

   date.value.attribute

   546

 & date.of.attribute?

   547

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

   548

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

   549

   550

date.content = mixed { sup* }

   551

   552

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

   553

   554

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

   555

   556

name.attributes =

   557

   name.of.attribute?

   558

name.of.attribute = attribute of

   559

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

   560

   561

name.content = inlines

   562

   563

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

   564

   565

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

   566

   567

note.attributes =

   568

   note.label.attribute?

   569

note.label.attribute = attribute label { text }

   570

   571

note.content =

   572

   inlines

   573

 | p+

   574

   575

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

   576

   577

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

   578

   579

foreign.attributes =

   580

   lang.attribute?

   581

   582

foreign.content = inlines

   583

   584

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

   585

   586

highlight = element highlight { highlight.content }

   587

   588

highlight.content = inlines

   589

   590

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

   591

   592

mentioned = element mentioned { mentioned.content }

   593

   594

mentioned.content = inlines

   595

   596

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

   597

   598

quote = element quote { quote.content }

   599

   600

quote.content = inlines

   601

   602

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

   603

   604

acronym = element acronym { acronym.content }

   605

   606

acronym.content = inlines

   607

   608

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

   609

   610

term = element term { term.content }

   611

   612

term.content = inlines

   613

   614

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

   615

   616

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

   617

   618

link.attributes =

   619

   (uri.attribute | idref.attribute)

   620

uri.attribute = attribute uri { xsd:anyURI }

   621

idref.attribute = attribute idref { xsd:IDREF }

   622

   623

link.content = inlines

   624

   625

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

   626

   627

anchor = element anchor { anchor.attributes }

   628

   629

anchor.attributes =

   630

   anchor.id.attribute

   631

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