1

# $Id$

     2

     3

start = publiset

     4

     5

     6

publiset = element publiset {

     7

   publiset.attributes,

     8

   publiset.content

     9

}

    10

    11

publiset.attributes =

    12

   version.attribute

    13

version.attribute = attribute version { "1.0" }

    14

    15

publiset.content =

    16

   (composition | selection)+

    17

    18

    19

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

    20

#                                  TOP LEVEL

    21

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

    22

    23

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ composition ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    24

    25

composition = element composition {

    26

   composition.attributes,

    27

   composition.content

    28

}

    29

    30

composition.attributes =

    31

   composition.id.attribute

    32

 & path.attribute?

    33

 & xpath.attribute?

    34

 & xslt.attribute?

    35

 & remap.attributes

    36

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

    37

path.attribute = attribute path { xsd:anyURI }

    38

xslt.attribute = attribute xslt { xsd:anyURI }

    39

xpath.attribute = attribute xpath { text }

    40

    41

composition.content =

    42

   composition.head?,

    43

   (composition.division | composition.file)+

    44

    45

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ selection ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    46

    47

selection = element selection {

    48

   selection.attributes,

    49

   selection.content

    50

}

    51

    52

selection.attributes =

    53

   selection.id.attribute

    54

 & path.attribute?

    55

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

    56

    57

selection.content =

    58

   selection.head?,

    59

   (selection.division | selection.file | link)+

    60

    61

    62

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

    63

#                                  HEAD LEVEL

    64

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

    65

    66

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    67

    68

composition.head = element head { head.attributes, top.head.content }

    69

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

    70

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

    71

    72

head.attributes =

    73

   remap.attributes

    74

    75

top.head.content =

    76

   (title, subtitle?)?

    77

 & identifier*

    78

 & language?

    79

 & author*

    80

 & publisher?

    81

 & source?

    82

 & cover?

    83

division.head.content =

    84

   (title, subtitle?)?

    85

 & language?

    86

    87

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

    88

    89

title = element title { title.content }

    90

subtitle = element subtitle { title.content }

    91

    92

title.content = inlines

    93

    94

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

    95

    96

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

    97

    98

identifier.attributes =

    99

   class.attribute

   100

class.attribute = attribute class { "uri" | "ean" }

   101

   102

identifier.content =  xsd:anyURI | xsd:NMTOKEN

   103

   104

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ language ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   105

   106

language = element language { language.attributes }

   107

   108

language.attributes = lang.attribute

   109

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

   110

   111

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ author, publisher ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   112

   113

# ~~~~~~ author

   114

author = element author { author.content }

   115

   116

author.attributes =

   117

   role.attribute?

   118

role.attribute = attribute role { "author" | "illustrator" }

   119

   120

author.content =

   121

   firstname?,

   122

   lastname,

   123

   role*

   124

   125

# ~~~~~~ publisher

   126

publisher = element publisher { publisher.content }

   127

   128

publisher.content =

   129

   label,

   130

   url?

   131

   132

# ~~~~~~ firstname

   133

firstname = element firstname { firstname.content }

   134

   135

firstname.content = inlines

   136

   137

# ~~~~~~ lastname

   138

lastname = element lastname { lastname.content }

   139

   140

lastname.content = inlines

   141

   142

# ~~~~~~ label

   143

label = element label { label.content }

   144

   145

label.content = inlines

   146

   147

# ~~~~~~ role

   148

role = element role { role.attributes }

   149

   150

role.attributes =

   151

   role.of.attribute

   152

role.of.attribute = attribute of { "author" | "illustrator" }

   153

   154

# ~~~~~~ url

   155

url = element url { url.content }

   156

   157

url.content = xsd:anyURI

   158

   159

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

   160

   161

# ~~~~~~ source

   162

source = element source {

   163

   source.attributes,

   164

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

   165

    | (attribute type { "file" }))

   166

}

   167

   168

source.attributes =

   169

   source.id.attribute?

   170

 & remap.attributes

   171

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

   172

   173

source.content.book =

   174

   title?,

   175

   pagenumber?

   176

   177

# ~~~~~~ pagenumber

   178

pagenumber = element pagenumber { pagenumber.attributes }

   179

   180

pagenumber.attributes =

   181

   pagenumber.value.attribute

   182

pagenumber.value.attribute = attribute value { pagenumber.value.enumeration }

   183

pagenumber.value.enumeration = xsd:positiveInteger

   184

   185

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

   186

   187

cover = element cover { cover.content }

   188

   189

cover.content =

   190

   cover.image

   191

   192

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

   193

   194

cover.image.attributes =

   195

   cover.image.id.attribute

   196

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

   197

   198

   199

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

   200

#                                DIVISION LEVEL

   201

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

   202

   203

composition.division = element division {

   204

   composition.division.attributes,

   205

   composition.division.content

   206

}

   207

selection.division = element division {

   208

   selection.division.attributes,

   209

   selection.division.content

   210

}

   211

   212

composition.division.attributes =

   213

   path.attribute?

   214

 & xpath.attribute?

   215

 & xslt.attribute?

   216

 & remap.attributes

   217

selection.division.attributes =

   218

   path.attribute?

   219

   220

composition.division.content =

   221

   composition.head?,

   222

   (composition.division | composition.file)+

   223

selection.division.content =

   224

   selection.head?,

   225

   (selection.division | selection.file | link)+

   226

   227

   228

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

   229

#                                  FILE LEVEL

   230

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

   231

   232

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ file ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   233

   234

composition.file = element file { composition.file.attributes }

   235

selection.file = element file { selection.file.attributes, file.content }

   236

   237

composition.file.attributes =

   238

   name.attribute

   239

 & xpath.attribute?

   240

 & xslt.attribute?

   241

 & remap.attributes

   242

selection.file.attributes =

   243

   name.attribute

   244

 & uri.attribute?

   245

name.attribute = attribute name { xsd:anyURI }

   246

uri.attribute = attribute uri { xsd:anyURI }

   247

   248

file.content = inlines

   249

   250

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

   251

   252

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

   253

   254

link.attributes =

   255

   uri.attribute

   256

   257

link.content = inlines

   258

   259

   260

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

   261

#                                 INLINE LEVEL

   262

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

   263

   264

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

   265

   266

inlines = mixed {

   267

   sup*

   268

 & sub*

   269

}

   270

   271

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

   272

   273

sup = element sup { inlines }

   274

   275

sub = element sub { inlines }

   276

   277

   278

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

   279

#                               REMAP ATTRIBUTES

   280

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

   281

   282

remap.attributes =

   283

   as.attribute?

   284

 & attributes.attribute?

   285

as.attribute = attribute as { xsd:QName }

   286

attributes.attribute =

   287

   attribute attributes {list { (xsd:token {pattern = "\c+=\S+"})+ }}