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?

    74

 & subtitle?

    75

 & author*

    76

 & publisher?

    77

 & language?

    78

 & source?

    79

    80

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

    81

    82

title = element title { title.content }

    83

    84

title.content = inlines

    85

    86

subtitle = element subtitle { title.content }

    87

    88

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

    89

    90

# ~~~~~~ author

    91

author = element author { author.content }

    92

    93

author.content =

    94

   firstname?,

    95

   lastname

    96

    97

# ~~~~~~ publisher

    98

publisher = element publisher { publisher.content }

    99

   100

publisher.content = inlines

   101

   102

# ~~~~~~ firstname

   103

firstname = element firstname { firstname.content }

   104

   105

firstname.content = inlines

   106

   107

# ~~~~~~ lastname

   108

lastname = element lastname { lastname.content }

   109

   110

lastname.content = inlines

   111

   112

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Language ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   113

   114

language = element language { language.attributes }

   115

   116

language.attributes = lang.attribute

   117

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

   118

   119

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

   120

   121

# ~~~~~~ source

   122

source = element source {

   123

   source.attributes,

   124

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

   125

    | (attribute type { "file" }))

   126

}

   127

   128

source.attributes =

   129

   source.id.attribute?

   130

 & remap.attributes

   131

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

   132

   133

source.content.book =

   134

   title?,

   135

   pagenumber?

   136

   137

# ~~~~~~ pagenumber

   138

pagenumber = element pagenumber { pagenumber.attributes }

   139

   140

pagenumber.attributes =

   141

   pagenumber.value.attribute

   142

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

   143

pagenumber.value.enumeration = xsd:positiveInteger

   144

   145

   146

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

   147

#                                Division level

   148

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

   149

   150

composition.division = element division {

   151

   composition.division.attributes,

   152

   composition.division.content

   153

}

   154

selection.division = element division {

   155

   selection.division.attributes,

   156

   selection.division.content

   157

}

   158

   159

composition.division.attributes =

   160

   base.attribute?

   161

 & remap.attributes

   162

selection.division.attributes =

   163

   base.attribute?

   164

   165

composition.division.content =

   166

   composition.metadata?,

   167

   (composition.file | composition.division)+

   168

selection.division.content =

   169

   selection.metadata?,

   170

   (selection.file | selection.division)+

   171

   172

   173

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

   174

#                                  File level

   175

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

   176

   177

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

   178

   179

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

   180

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

   181

   182

composition.file.attributes =

   183

   xpath.attribute?

   184

 & remap.attributes

   185

selection.file.attributes =

   186

   xpath.attribute?

   187

xpath.attribute = attribute xpath { text }

   188

   189

file.content = xsd:anyURI

   190

   191

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

   192

#                                 Inline level

   193

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

   194

   195

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

   196

   197

inlines = mixed {

   198

   sup*

   199

 & sub*

   200

}

   201

   202

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

   203

   204

sup = element sup { inlines }

   205

   206

sub = element sub { inlines }

   207

   208

   209

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

   210

#                               Remap attributes

   211

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

   212

   213

remap.attributes =

   214

   as.attribute?

   215

 & attributes.attribute?

   216

as.attribute = attribute as { xsd:QName }

   217

attributes.attribute =

   218

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