version 1.71, 1998/09/02 09:00:06
|
version 1.72, 1998/09/07 12:37:52
|
Line 39 STRUCT
|
Line 39 STRUCT
|
|
|
HTML { HTML } |
HTML { HTML } |
(ATTR SectionNumbering = Yes_; ShowAreas = Yes_; |
(ATTR SectionNumbering = Yes_; ShowAreas = Yes_; |
|
HtmlDTD = Transitional, Frameset; |
Namespaces = Text) = |
Namespaces = Text) = |
BEGIN |
BEGIN |
HEAD; |
HEAD; |
BODY; |
? BODY; { only one of BODY, FRAMESET is allowed } |
|
? FRAMESET; |
END + (Invalid_element, Comment\240); |
END + (Invalid_element, Comment\240); |
|
|
#ifdef FRAMES |
|
FRAMESET { FRAMESET } |
|
(ATTR RowHeight = Text; ColWidth = Text) = |
|
{ rows cols } |
|
AGGREGATE |
|
Frames = LIST [1, *] OF (CASE OF FRAMESET; FRAME; END); |
|
? NOFRAMES = BODY; { NOFRAMES } |
|
END; |
|
|
|
FRAME { FRAME } |
|
(ATTR FrameName = Text; FrameSrc = Text) = |
|
{ name src } |
|
CONSTANT C_Empty; |
|
#endif |
|
|
|
BODY { BODY } |
BODY { BODY } |
(ATTR onload = Text; onunload = Text; |
(ATTR onload = Text; onunload = Text; |
{ onload onunload } |
{ onload onunload } |
Line 86 STRUCT
|
Line 73 STRUCT
|
? Scripts = LIST OF (SCRIPT); |
? Scripts = LIST OF (SCRIPT); |
? Metas = LIST OF (META); |
? Metas = LIST OF (META); |
? Links = LIST OF (LINK); |
? Links = LIST OF (LINK); |
END; |
END + (Object); |
|
|
STYLE_ { STYLE } |
STYLE_ { STYLE } |
(ATTR Notation = Text; media = Text) = |
(ATTR Notation = Text; media = Text) = |
Line 352 STRUCT
|
Line 339 STRUCT
|
IntWidthPxl ?= 400; |
IntWidthPxl ?= 400; |
|
|
INS { INS } |
INS { INS } |
(ATTR cite; datetime = Text) = |
(ATTR cite; datetime = Text; InternalLink; ExternalLink) = |
{ cite datetime } |
{ cite datetime } |
Basic_Set; |
Basic_Set; |
|
|
DEL { DEL } |
DEL { DEL } |
(ATTR cite; datetime) = |
(ATTR cite; datetime; InternalLink; ExternalLink) = |
{ cite datetime } |
{ cite datetime } |
Basic_Set; |
Basic_Set; |
|
|
Line 715 STRUCT
|
Line 702 STRUCT
|
GRAPHICS with x_coord ?= 0, y_coord ?= 0, |
GRAPHICS with x_coord ?= 0, y_coord ?= 0, |
IntWidthPxl ?= 25, height\240 ?= 10; |
IntWidthPxl ?= 25, height\240 ?= 10; |
|
|
FRAMESET = { FRAMESET } |
FRAMESET { FRAMESET } |
|
(ATTR RowHeight = Text; ColWidth = Text; |
|
{ rows cols } |
|
onload; onunload) = |
|
{ onload onunload } |
AGGREGATE |
AGGREGATE |
LIST OF (FrameElem); |
Frames = LIST [1 .. *] OF (FrameElem = CASE OF |
NOFRAMES = LIST OF (Element); { NOFRAMES } |
FRAME; |
|
FRAMESET; |
|
END - (NOFRAMES)); |
|
? NOFRAMES = BODY + (INS, DEL); { NOFRAMES } |
END; |
END; |
|
|
FRAME = { FRAME } |
FRAME { FRAME } |
|
(ATTR longdesc; FrameName = Text; FrameSrc = Text; |
|
{ longdesc name src } |
|
frameborder = Border1, Border0; |
|
{ frameborder 1 0 } |
|
marginwidth = Integer; marginheight = Integer; |
|
{ marginwidth marginheight } |
|
no_resize = Yes_; scrolling = Yes_, No_, auto) = |
|
{ noresize scrolling yes no auto } |
CONSTANT C_Empty; |
CONSTANT C_Empty; |
|
|
FrameElem = CASE OF |
|
FRAMESET; |
|
FRAME; |
|
END; |
|
|
|
IFRAME { IFRAME } |
IFRAME { IFRAME } |
(ATTR longdesc) = |
(ATTR longdesc; FrameName; FrameSrc; frameborder; |
{ longdesc } |
{ longdesc name src frameborder } |
|
marginwidth; marginheight; scrolling; |
|
{ marginwidth marginheight scrolling } |
|
Alignment; Width__; Height_) = |
|
{ align width height } |
LIST OF (Element); |
LIST OF (Element); |
|
|
|
{ AnyLink is an alias for all elements with an attribute |
|
of type URI. Only elements to be shown in the Links view |
|
are taken into account } |
|
AnyLink = CASE OF |
|
Anchor; { HREF_ } |
|
Block_Quote; { cite } |
|
Quotation; { cite } |
|
INS; { cite } |
|
DEL; { cite } |
|
END; |
|
|
EXCEPT |
EXCEPT |
HTML: NoMove, NoResize; |
HTML: NoMove, NoResize; |
BODY: NoCut; |
BODY: NoCut; |
Line 746 EXCEPT
|
Line 758 EXCEPT
|
Scripts: Hidden; |
Scripts: Hidden; |
Metas: Hidden; |
Metas: Hidden; |
Links: Hidden; |
Links: Hidden; |
|
Frames: Hidden; |
Frame: Hidden, NoCut; |
Frame: Hidden, NoCut; |
Inserted_Text: Hidden, NoCut; |
Inserted_Text: Hidden, NoCut; |
Basic_Set: Hidden; |
Basic_Set: Hidden; |
Line 800 EXCEPT
|
Line 813 EXCEPT
|
SectionNumbering:Invisible; |
SectionNumbering:Invisible; |
ShowAreas: Invisible; |
ShowAreas: Invisible; |
Namespaces: Invisible; |
Namespaces: Invisible; |
|
HtmlDTD: Invisible; |
shape: Invisible; |
shape: Invisible; |
Data_cell: IsCell, NoMove, NoResize; |
Data_cell: IsCell, NoMove, NoResize; |
Heading_cell: IsCell, NoMove, NoResize; |
Heading_cell: IsCell, NoMove, NoResize; |