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

 & base.attribute?

    33

 & remap.attributes

    34

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

    35

base.attribute = attribute xml:base { xsd:anyURI }

    36

    37

composition.content =

    38

   composition.metadata?,

    39

   (composition.file | composition.division)+

    40

    41

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

    42

    43

selection = element selection {

    44

   selection.attributes,

    45

   selection.content

    46

}

    47

    48

selection.attributes =

    49

   base.attribute?

    50

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

    51

    52

selection.content =

    53

   selection.metadata?,

    54

   (selection.file | selection.division)+

    55

    56

    57

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

    58

#                                 Metadata level

    59

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

    60

    61

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ metadata ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    62

    63

composition.metadata = element metadata {

    64

   metadata.attributes,

    65

   metadata.content

    66

}

    67

selection.metadata = element metadata { metadata.content }

    68

    69

metadata.attributes =

    70

   remap.attributes

    71

    72

metadata.content =

    73

   (title, subtitle?)?

    74

 & language?

    75

 & author*

    76

 & publisher?

    77

 & source?

    78

    79

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

    80

    81

title = element title { title.content }

    82

subtitle = element subtitle { title.content }

    83

    84

title.content = inlines

    85

    86

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

    87

    88

language = element language { language.attributes }

    89

    90

language.attributes = lang.attribute

    91

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

    92

    93

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

    94

    95

# ~~~~~~ author

    96

author = element author { author.content }

    97

    98

author.content =

    99

   firstname?,

   100

   lastname

   101

   102

# ~~~~~~ publisher

   103

publisher = element publisher { publisher.content }

   104

   105

publisher.content = inlines

   106

   107

# ~~~~~~ firstname

   108

firstname = element firstname { firstname.content }

   109

   110

firstname.content = inlines

   111

   112

# ~~~~~~ lastname

   113

lastname = element lastname { lastname.content }

   114

   115

lastname.content = inlines

   116

   117

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

   118

   119

# ~~~~~~ source

   120

source = element source {

   121

   source.attributes,

   122

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

   123

    | (attribute type { "file" }))

   124

}

   125

   126

source.attributes =

   127

   source.id.attribute?

   128

 & remap.attributes

   129

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

   130

   131

source.content.book =

   132

   title?,

   133

   pagenumber?

   134

   135

# ~~~~~~ pagenumber

   136

pagenumber = element pagenumber { pagenumber.attributes }

   137

   138

pagenumber.attributes =

   139

   pagenumber.value.attribute

   140

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

   141

pagenumber.value.enumeration = xsd:positiveInteger

   142

   143

   144

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

   145

#                                Division level

   146

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

   147

   148

composition.division = element division {

   149

   composition.division.attributes,

   150

   composition.division.content

   151

}

   152

selection.division = element division {

   153

   selection.division.attributes,

   154

   selection.division.content

   155

}

   156

   157

composition.division.attributes =

   158

   base.attribute?

   159

 & remap.attributes

   160

selection.division.attributes =

   161

   base.attribute?

   162

   163

composition.division.content =

   164

   composition.metadata?,

   165

   (composition.file | composition.division)+

   166

selection.division.content =

   167

   selection.metadata?,

   168

   (selection.file | selection.division)+

   169

   170

   171

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

   172

#                                  File level

   173

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

   174

   175

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

   176

   177

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

   178

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

   179

   180

composition.file.attributes =

   181

   xpath.attribute?

   182

 & remap.attributes

   183

selection.file.attributes =

   184

   xpath.attribute?

   185

xpath.attribute = attribute xpath { text }

   186

   187

file.content = xsd:anyURI

   188

   189

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

   190

#                                 Inline level

   191

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

   192

   193

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

   194

   195

inlines = mixed {

   196

   sup*

   197

 & sub*

   198

}

   199

   200

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

   201

   202

sup = element sup { inlines }

   203

   204

sub = element sub { inlines }

   205

   206

   207

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

   208

#                               Remap attributes

   209

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

   210

   211

remap.attributes =

   212

   as.attribute?

   213

 & attributes.attribute?

   214

as.attribute = attribute as { xsd:QName }

   215

attributes.attribute =

   216

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