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

 & remap.attributes

    33

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

    34

    35

composition.content =

    36

   composition.head?,

    37

   (composition.file | composition.division)+

    38

    39

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

    40

    41

selection = element selection {

    42

   selection.attributes,

    43

   selection.content

    44

}

    45

    46

selection.attributes =

    47

   base.attribute?

    48

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

    49

    50

selection.content =

    51

   selection.head?,

    52

   (selection.file | selection.division)+

    53

    54

    55

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

    56

#                                  HEAD LEVEL

    57

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

    58

    59

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

    60

    61

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

    62

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

    63

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

    64

    65

head.attributes =

    66

   remap.attributes

    67

    68

top.head.content =

    69

   (title, subtitle?)?

    70

 & language?

    71

 & author*

    72

 & publisher?

    73

 & source?

    74

division.head.content =

    75

   (title, subtitle?)?

    76

 & language?

    77

    78

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

    79

    80

title = element title { title.content }

    81

subtitle = element subtitle { title.content }

    82

    83

title.content = inlines

    84

    85

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

    86

    87

language = element language { language.attributes }

    88

    89

language.attributes = lang.attribute

    90

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

    91

    92

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

    93

    94

# ~~~~~~ author

    95

author = element author { author.content }

    96

    97

author.content =

    98

   firstname?,

    99

   lastname

   100

   101

# ~~~~~~ publisher

   102

publisher = element publisher { publisher.content }

   103

   104

publisher.content = inlines

   105

   106

# ~~~~~~ firstname

   107

firstname = element firstname { firstname.content }

   108

   109

firstname.content = inlines

   110

   111

# ~~~~~~ lastname

   112

lastname = element lastname { lastname.content }

   113

   114

lastname.content = inlines

   115

   116

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

   117

   118

# ~~~~~~ source

   119

source = element source {

   120

   source.attributes,

   121

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

   122

    | (attribute type { "file" }))

   123

}

   124

   125

source.attributes =

   126

   source.id.attribute?

   127

 & remap.attributes

   128

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

   129

   130

source.content.book =

   131

   title?,

   132

   pagenumber?

   133

   134

# ~~~~~~ pagenumber

   135

pagenumber = element pagenumber { pagenumber.attributes }

   136

   137

pagenumber.attributes =

   138

   pagenumber.value.attribute

   139

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

   140

pagenumber.value.enumeration = xsd:positiveInteger

   141

   142

   143

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

   144

#                                DIVISION LEVEL

   145

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

   146

   147

composition.division = element division {

   148

   composition.division.attributes,

   149

   composition.division.content

   150

}

   151

selection.division = element division {

   152

   selection.division.attributes,

   153

   selection.division.content

   154

}

   155

   156

composition.division.attributes =

   157

   base.attribute?

   158

 & xslt.attribute?

   159

 & xpath.attribute?

   160

 & remap.attributes

   161

selection.division.attributes =

   162

   base.attribute?

   163

base.attribute = attribute base { xsd:anyURI }

   164

xslt.attribute = attribute xslt { xsd:anyURI }

   165

xpath.attribute = attribute xpath { text }

   166

   167

composition.division.content =

   168

   composition.head?,

   169

   (composition.division | composition.file)+

   170

selection.division.content =

   171

   selection.head?,

   172

   (selection.division | selection.file)+

   173

   174

   175

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

   176

#                                  FILE LEVEL

   177

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

   178

   179

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

   180

   181

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

   182

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

   183

   184

composition.file.attributes =

   185

   xslt.attribute?

   186

 & xpath.attribute?

   187

 & remap.attributes

   188

selection.file.attributes =

   189

   xpath.attribute?

   190

 & xslt.attribute?

   191

   192

file.content = xsd:anyURI

   193

   194

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

   195

#                                 INLINE LEVEL

   196

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

   197

   198

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

   199

   200

inlines = mixed {

   201

   sup*

   202

 & sub*

   203

}

   204

   205

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

   206

   207

sup = element sup { inlines }

   208

   209

sub = element sub { inlines }

   210

   211

   212

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

   213

#                               REMAP ATTRIBUTES

   214

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

   215

   216

remap.attributes =

   217

   as.attribute?

   218

 & attributes.attribute?

   219

as.attribute = attribute as { xsd:QName }

   220

attributes.attribute =

   221

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