1

     2

     3

include "publidoc.rnc" {

     4

   start = publianim

     5

     6

   image.attributes =

     7

      media.id.attribute

     8

    & image.type.attribute?

     9

    & image.zoom.attribute?

    10

    & alt.attribute?

    11

    12

   image.zoom.attribute = attribute zoom {"true" | "false"}

    13

    14

   media.image.content =

    15

   copyright?,

    16

   hotspot*

    17

    18

   audio.attributes =

    19

      media.id.attribute

    20

    & audio.type?

    21

   audio.type = attribute type { "music" | "voice" | "fr" | "en"

    22

    | "background" | "smil" }

    23

    24

    25

   inlines = mixed {

    26

      sup*

    27

    & sub*

    28

    & var*

    29

    & number*

    30

    & acronym*

    31

    & warning*

    32

    33

    & highlight*

    34

    & emphasis*

    35

    & mentioned*

    36

    & literal*

    37

    & term*

    38

    & stage*

    39

    & name*

    40

    & foreign*

    41

    & date*

    42

    & math*

    43

    & quote*

    44

    & initial*

    45

    & note*

    46

    & link*

    47

    & anchor*

    48

    & index*

    49

    & image*

    50

    & audio*

    51

    & smil*

    52

   }

    53

    54

}

    55

    56

publianim = element publianim {

    57

   publianim.attributes,

    58

   publianim.content

    59

}

    60

    61

publianim.attributes =

    62

   version.attribute

    63

    64

publianim.content =

    65

   document

    66

 | topic

    67

    68

    69

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

    70

#                                 BLOCK LEVEL

    71

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

    72

    73

    74

# ~~~~~~ hotspot

    75

# hotspot = element hotspot { hotspot.attributes, hotspot.content }

    76

    77

# hotspot.attributes =

    78

#    x.attribute

    79

#  & y.attribute

    80

#  & w.attribute

    81

#  & h.attribute?

    82

#  & hotspot.display.attribute?

    83

#  & hotspot.type.attribute?

    84

#  & xmlid.attribute?

    85

# x.attribute = attribute x { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }

    86

# y.attribute = attribute y { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }

    87

# w.attribute = attribute w { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }

    88

# h.attribute = attribute h { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }

    89

# hotspot.display.attribute = attribute display { "normal" | "visible" | "pulse" }

    90

# hotspot.type.attribute = attribute type { xsd:NCName }

    91

    92

# hotspot.content =

    93

#    ((link | p+ | image | audio | video), (spot, scenario?)?)

    94

#  | (spot, scenario?)

    95

#  | empty

    96

    97

# ~~~~~~ spot

    98

# spot = element spot { spot.attributes, spot.content }

    99

   100

# spot.attributes =

   101

#    dx.attribute?

   102

#  & dy.attribute?

   103

#  & dw.attribute?

   104

#  & dh.attribute?

   105

# dx.attribute = attribute dx { xsd:token {pattern = "-?\d{1,2}(\.\d{1,2})?%"} }

   106

# dy.attribute = attribute dy { xsd:token {pattern = "-?\d{1,2}(\.\d{1,2})?%"} }

   107

# dw.attribute = attribute dw { xsd:token {pattern = "-?\d{1,2}(\.\d{1,2})?%"} }

   108

# dh.attribute = attribute dh { xsd:token {pattern = "-?\d{1,2}(\.\d{1,2})?%"} }

   109

   110

# spot.content =

   111

#    ((p+ | image), audio?)

   112

#  | audio

   113

#  | video

   114

   115

# ~~~~~~ media.caption

   116

# media.caption = element caption { caption.attributes, caption.content }

   117

   118

# caption.attributes =

   119

#    x.attribute?

   120

#  & y.attribute?

   121

   122

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ scenario ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   123

   124

# ~~~~~~ scenario

   125

# scenario = element scenario { scenario.content }

   126

   127

# scenario.content =

   128

#    init*,

   129

#    onclick*

   130

   131

# ~~~~~~ init

   132

# init = element init { init.attributes }

   133

   134

# init.attributes =

   135

#    init.action.attribute

   136

#  & target.attribute?

   137

# init.action.attribute = attribute action { "hide" }

   138

# target.attribute = attribute target { "hotspot" | "spot" }

   139

   140

# ~~~~~~ onclick

   141

# onclick = element onclick { onclick.attributes }

   142

   143

# onclick.attributes =

   144

#    onclick.action.attribute

   145

#  & target.attribute?

   146

# onclick.action.attribute = attribute action { "show" }

   147

   148

   149

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

   150

#                                 INLINE LEVEL

   151

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

   152

   153

# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ smil ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   154

   155

# smil = element smil { smil.attributes, smil.content }

   156

   157

# smil.attributes =

   158

#    audio.attribute?

   159

#  & begin.attribute?

   160

#  & end.attribute?

   161

# audio.attribute = attribute audio { xsd:anyURI }

   162

# begin.attribute = attribute begin { xsd:decimal }

   163

# end.attribute = attribute end { xsd:decimal }

   164

   165

# smil.content = inlines