86361
|
1 # Client-side Image Map Module
|
|
2
|
|
3 area = element area { area.attlist }
|
|
4 area.attlist =
|
|
5 Common.attrib,
|
|
6 attribute href { URI.datatype }?,
|
|
7 shape.attrib,
|
|
8 coords.attrib,
|
|
9 attribute nohref { "nohref" }?,
|
|
10 attribute alt { Text.datatype },
|
|
11 attribute tabindex { Number.datatype }?,
|
|
12 attribute accesskey { Character.datatype }?
|
|
13 map =
|
|
14 element map {
|
|
15 map.attlist,
|
|
16 (# This does not use Block.mix
|
|
17 # because loose.dtd doesn't use %Flow;
|
|
18 Block.class
|
|
19 | area)+
|
|
20 }
|
|
21 map.attlist = CommonIdRequired.attrib
|
|
22 a.attlist &= shape.attrib, coords.attrib
|
|
23 img.attlist &= usemap.attlist
|
|
24 object.attlist &= usemap.attlist
|
|
25 usemap.attlist = attribute usemap { IDREF.datatype }?
|
|
26 shape.attrib =
|
|
27 attribute shape { "rect" | "circle" | "poly" | "default" }?
|
|
28 coords.attrib = attribute coords { text }?
|
|
29 Inline.class |= map
|