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

 & language?

    78

 & author*

    79

 & publisher?

    80

 & source?

    81

division.head.content =

    82

   (title, subtitle?)?

    83

 & language?

    84

    85

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

    86

    87

title = element title { title.content }

    88

subtitle = element subtitle { title.content }

    89

    90

title.content = inlines

    91

    92

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

    93

    94

language = element language { language.attributes }

    95

    96

language.attributes = lang.attribute

    97

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

    98

    99

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

   100

   101

# ~~~~~~ author

   102

author = element author { author.content }

   103

   104

author.content =

   105

   firstname?,

   106

   lastname

   107

   108

# ~~~~~~ publisher

   109

publisher = element publisher { publisher.content }

   110

   111

publisher.content = inlines

   112

   113

# ~~~~~~ firstname

   114

firstname = element firstname { firstname.content }

   115

   116

firstname.content = inlines

   117

   118

# ~~~~~~ lastname

   119

lastname = element lastname { lastname.content }

   120

   121

lastname.content = inlines

   122

   123

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

   124

   125

# ~~~~~~ source

   126

source = element source {

   127

   source.attributes,

   128

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

   129

    | (attribute type { "file" }))

   130

}

   131

   132

source.attributes =

   133

   source.id.attribute?

   134

 & remap.attributes

   135

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

   136

   137

source.content.book =

   138

   title?,

   139

   pagenumber?

   140

   141

# ~~~~~~ pagenumber

   142

pagenumber = element pagenumber { pagenumber.attributes }

   143

   144

pagenumber.attributes =

   145

   pagenumber.value.attribute

   146

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

   147

pagenumber.value.enumeration = xsd:positiveInteger

   148

   149

   150

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

   151

#                                DIVISION LEVEL

   152

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

   153

   154

composition.division = element division {

   155

   composition.division.attributes,

   156

   composition.division.content

   157

}

   158

selection.division = element division {

   159

   selection.division.attributes,

   160

   selection.division.content

   161

}

   162

   163

composition.division.attributes =

   164

   path.attribute?

   165

 & xpath.attribute?

   166

 & xslt.attribute?

   167

 & remap.attributes

   168

selection.division.attributes =

   169

   path.attribute?

   170

   171

composition.division.content =

   172

   composition.head?,

   173

   (composition.division | composition.file)+

   174

selection.division.content =

   175

   selection.head?,

   176

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

   177

   178

   179

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

   180

#                                  FILE LEVEL

   181

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

   182

   183

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

   184

   185

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

   186

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

   187

   188

composition.file.attributes =

   189

   name.attribute

   190

 & xpath.attribute?

   191

 & xslt.attribute?

   192

 & remap.attributes

   193

selection.file.attributes =

   194

   name.attribute

   195

 & uri.attribute?

   196

name.attribute = attribute name { xsd:anyURI }

   197

uri.attribute = attribute uri { xsd:anyURI }

   198

   199

file.content = inlines

   200

   201

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

   202

   203

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

   204

   205

link.attributes =

   206

   uri.attribute

   207

   208

link.content = inlines

   209

   210

   211

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

   212

#                                 INLINE LEVEL

   213

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

   214

   215

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

   216

   217

inlines = mixed {

   218

   sup*

   219

 & sub*

   220

}

   221

   222

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

   223

   224

sup = element sup { inlines }

   225

   226

sub = element sub { inlines }

   227

   228

   229

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

   230

#                               REMAP ATTRIBUTES

   231

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

   232

   233

remap.attributes =

   234

   as.attribute?

   235

 & attributes.attribute?

   236

as.attribute = attribute as { xsd:QName }

   237

attributes.attribute =

   238

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