version 1.144, 2002/02/22 14:11:01
|
version 1.145, 2002/03/04 13:57:29
|
Line 186 STRUCT
|
Line 186 STRUCT
|
hspace; vspace) = |
hspace; vspace) = |
{ hspace vspace } |
{ hspace vspace } |
SVG_ImageContent; |
SVG_ImageContent; |
SVG_ImageContent = SVG; |
|
Embed_ { EMBED } |
Embed_ { EMBED } |
(ATTR SRC; |
(ATTR SRC; |
Alignment; |
Alignment; |
Line 199 STRUCT
|
Line 198 STRUCT
|
{ name } |
{ name } |
hspace; vspace) = |
hspace; vspace) = |
{ hspace vspace } |
{ hspace vspace } |
EmbedContent; |
BEGIN |
Embed_Content = MathML; |
Embed_Content; |
|
END; |
END; |
END; |
|
|
HTMLfragment = LIST OF (Element); |
HTMLfragment = LIST OF (Element); |
|
SVG_ImageContent = SVG; |
|
Embed_Content = NATURE; |
|
|
Block_Quote { BLOCKQUOTE } |
Block_Quote { BLOCKQUOTE } |
(ATTR cite = Text; |
(ATTR cite = Text; |
Line 365 STRUCT
|
Line 367 STRUCT
|
CONSTANT C_Empty; |
CONSTANT C_Empty; |
|
|
Object { OBJECT } |
Object { OBJECT } |
(ATTR declare = Yes_; classid = Text; codebase; |
(ATTR declare = declare_; classid = Text; codebase; |
{ declare classid codebase } |
{ declare classid codebase } |
data = Text; Object_type = Text; |
data = Text; Object_type = Text; |
{ data type } |
{ data type } |
codetype = Text; archive; standby = Text; |
codetype = Text; archive; standby = Text; |
Line 381 STRUCT
|
Line 383 STRUCT
|
{ hspace vspace } |
{ hspace vspace } |
BEGIN |
BEGIN |
PICTURE; |
PICTURE; |
Object_Content = LIST OF (CASE OF Element; Parameter; END); |
Object_Content = LIST OF (ElemOrParam = CASE OF |
{ PARAM } |
Element; Parameter; END); { PARAM } |
END with Height_ ?= '400', Width__ ?= '400', |
END with Height_ ?= '400', Width__ ?= '400', |
IntWidthPxl ?= 400, IntHeightPxl ?= 400; |
IntWidthPxl ?= 400, IntHeightPxl ?= 400; |
|
|
Line 775 STRUCT
|
Line 777 STRUCT
|
MAP { MAP } |
MAP { MAP } |
(ATTR NAME; Ref_IMG = REFERENCE(Any)) = |
(ATTR NAME; Ref_IMG = REFERENCE(Any)) = |
{ name linked to an image} |
{ name linked to an image} |
LIST OF (CASE OF Element; AREA; END); |
LIST OF (ElemOrArea = CASE OF Element; AREA; END); |
|
|
map { MAP } |
map { MAP } |
(ATTR NAME) = |
(ATTR NAME) = |
{ name } |
{ name } |
LIST OF (CASE OF Element; AREA; END); |
LIST OF (ElemOrArea); |
|
|
AREA { AREA } |
AREA { AREA } |
(ATTR shape; coords; HREF_; target_; nohref = Yes_; ALT; |
(ATTR shape; coords; HREF_; target_; nohref = Yes_; ALT; |
Line 834 STRUCT
|
Line 836 STRUCT
|
simple_ruby = { ruby } |
simple_ruby = { ruby } |
BEGIN |
BEGIN |
rb = Basic_Set - (simple_ruby, complex_ruby); |
rb = Basic_Set - (simple_ruby, complex_ruby); |
CASE OF |
RtOrRtWithPar = CASE OF |
rt (ATTR rbspan = Integer) = |
rt (ATTR rbspan = Integer) = |
Basic_Set - (simple_ruby, complex_ruby); |
Basic_Set - (simple_ruby, complex_ruby); |
BEGIN |
RtWithPar = BEGIN |
rp = TEXT; |
rp = TEXT; |
rt; |
rt; |
rp; |
rp; |
Line 982 EXCEPT
|
Line 984 EXCEPT
|
ID : CssId; |
ID : CssId; |
Class: CssClass; |
Class: CssClass; |
SVG_ImageContent: Hidden; |
SVG_ImageContent: Hidden; |
Embed_Content: Hidden; |
Embed_Content: Hidden, NoSelect; |
|
|
END |
END |