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.file | composition.division)+

    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

 & xpath.attribute?

    56

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

    57

    58

selection.content =

    59

   selection.head?,

    60

   (selection.file | selection.division)+

    61

    62

    63

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

    64

#                                  HEAD LEVEL

    65

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

    66

    67

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

    68

    69

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

    70

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

    71

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

    72

    73

head.attributes =

    74

   remap.attributes

    75

    76

top.head.content =

    77

   (title, subtitle?)?

    78

 & language?

    79

 & author*

    80

 & publisher?

    81

 & source?

    82

division.head.content =

    83

   (title, subtitle?)?

    84

 & language?

    85

    86

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

    87

    88

title = element title { title.content }

    89

subtitle = element subtitle { title.content }

    90

    91

title.content = inlines

    92

    93

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

    94

    95

language = element language { language.attributes }

    96

    97

language.attributes = lang.attribute

    98

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

    99

   100

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

   101

   102

# ~~~~~~ author

   103

author = element author { author.content }

   104

   105

author.content =

   106

   firstname?,

   107

   lastname

   108

   109

# ~~~~~~ publisher

   110

publisher = element publisher { publisher.content }

   111

   112

publisher.content = inlines

   113

   114

# ~~~~~~ firstname

   115

firstname = element firstname { firstname.content }

   116

   117

firstname.content = inlines

   118

   119

# ~~~~~~ lastname

   120

lastname = element lastname { lastname.content }

   121

   122

lastname.content = inlines

   123

   124

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

   125

   126

# ~~~~~~ source

   127

source = element source {

   128

   source.attributes,

   129

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

   130

    | (attribute type { "file" }))

   131

}

   132

   133

source.attributes =

   134

   source.id.attribute?

   135

 & remap.attributes

   136

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

   137

   138

source.content.book =

   139

   title?,

   140

   pagenumber?

   141

   142

# ~~~~~~ pagenumber

   143

pagenumber = element pagenumber { pagenumber.attributes }

   144

   145

pagenumber.attributes =

   146

   pagenumber.value.attribute

   147

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

   148

pagenumber.value.enumeration = xsd:positiveInteger

   149

   150

   151

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

   152

#                                DIVISION LEVEL

   153

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

   154

   155

composition.division = element division {

   156

   composition.division.attributes,

   157

   composition.division.content

   158

}

   159

selection.division = element division {

   160

   selection.division.attributes,

   161

   selection.division.content

   162

}

   163

   164

composition.division.attributes =

   165

   path.attribute?

   166

 & xpath.attribute?

   167

 & xslt.attribute?

   168

 & remap.attributes

   169

selection.division.attributes =

   170

   path.attribute?

   171

 & xpath.attribute?

   172

   173

composition.division.content =

   174

   composition.head?,

   175

   (composition.division | composition.file)+

   176

selection.division.content =

   177

   selection.head?,

   178

   (selection.division | selection.file)+

   179

   180

   181

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

   182

#                                  FILE LEVEL

   183

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

   184

   185

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

   186

   187

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

   188

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

   189

   190

composition.file.attributes =

   191

   xpath.attribute?

   192

 & xslt.attribute?

   193

 & remap.attributes

   194

selection.file.attributes =

   195

   xpath.attribute?

   196

   197

file.content = xsd:anyURI

   198

   199

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

   200

#                                 INLINE LEVEL

   201

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

   202

   203

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

   204

   205

inlines = mixed {

   206

   sup*

   207

 & sub*

   208

}

   209

   210

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

   211

   212

sup = element sup { inlines }

   213

   214

sub = element sub { inlines }

   215

   216

   217

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

   218

#                               REMAP ATTRIBUTES

   219

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

   220

   221

remap.attributes =

   222

   as.attribute?

   223

 & attributes.attribute?

   224

as.attribute = attribute as { xsd:QName }

   225

attributes.attribute =

   226

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