version 1.76, 1999/03/23 15:41:19
|
version 1.77, 1999/04/15 08:13:13
|
Line 48 RULES
|
Line 48 RULES
|
END; |
END; |
|
|
HEAD: BEGIN |
HEAD: BEGIN |
Create '<head'; |
Create '<head' Before; |
Create Attributes; |
Create Attributes Before; |
Create '>\12'; |
Create '>\12' Before; |
#ifdef XML |
|
{ elements TITLE and BASE must be generated as the first chidren |
|
of the HEAD element } |
|
Get included TITLE; |
|
Get included BASE; |
|
#endif |
|
Create '</head>\12' After; |
Create '</head>\12' After; |
END; |
END; |
|
|
Line 73 RULES
|
Line 67 RULES
|
END; |
END; |
|
|
ISINDEX: BEGIN |
ISINDEX: BEGIN |
|
#ifdef XML |
|
{ elements TITLE and BASE must be generated as the first chidren |
|
of the HEAD element } |
|
Get TITLE Before; |
|
Get BASE Before; |
|
#endif |
Create '<isindex'; |
Create '<isindex'; |
IF Prompt |
IF Prompt |
BEGIN |
BEGIN |
Line 90 RULES
|
Line 90 RULES
|
END; |
END; |
|
|
BASE: BEGIN |
BASE: BEGIN |
|
#ifdef XML |
|
{ elements TITLE and BASE must be generated as the first chidren |
|
of the HEAD element } |
|
Get TITLE Before; |
|
#endif |
Create '<base '; |
Create '<base '; |
Create Attributes; |
Create Attributes; |
Remove; |
Remove; |
Line 101 RULES
|
Line 106 RULES
|
END; |
END; |
|
|
STYLE_: BEGIN |
STYLE_: BEGIN |
|
#ifdef XML |
|
{ elements TITLE and BASE must be generated as the first chidren |
|
of the HEAD element } |
|
Get TITLE Before; |
|
Get BASE Before; |
|
#endif |
Create '<style'; |
Create '<style'; |
IF Notation |
IF Notation |
BEGIN |
BEGIN |
Line 116 RULES
|
Line 127 RULES
|
END; |
END; |
|
|
SCRIPT: BEGIN |
SCRIPT: BEGIN |
|
#ifdef XML |
|
{ elements TITLE and BASE must be generated as the first chidren |
|
of the HEAD element } |
|
Get TITLE Before; |
|
Get BASE Before; |
|
#endif |
Create '<script'; |
Create '<script'; |
Create Attributes; |
Create Attributes; |
Create '>\12'; |
Create '>\12'; |
Line 125 RULES
|
Line 142 RULES
|
END; |
END; |
|
|
META: BEGIN |
META: BEGIN |
Create '<meta'; |
#ifdef XML |
|
{ elements TITLE and BASE must be generated as the first chidren |
|
of the HEAD element } |
|
Get TITLE Before; |
|
Get BASE Before; |
|
#endif |
|
Create '<meta' Before; |
|
Create Attributes Before; |
Remove; |
Remove; |
Create Attributes; |
|
#ifdef XML |
#ifdef XML |
Create ' />\12'; |
Create ' />\12' After; |
#else |
#else |
Create '>\12'; |
Create '>\12' After; |
#endif |
#endif |
END; |
END; |
|
|
LINK: BEGIN |
LINK: BEGIN |
|
#ifdef XML |
|
{ elements TITLE and BASE must be generated as the first chidren |
|
of the HEAD element } |
|
Get TITLE Before; |
|
Get BASE Before; |
|
#endif |
Create '<link'; |
Create '<link'; |
Remove; |
Remove; |
Create Attributes; |
Create Attributes; |
Line 896 RULES
|
Line 925 RULES
|
|
|
Invalid_element: |
Invalid_element: |
BEGIN |
BEGIN |
|
#ifdef XML |
|
Remove; |
|
#else |
if Error_type = BadPosition |
if Error_type = BadPosition |
Remove; |
Remove; |
if not Error_type = BadPosition |
if not Error_type = BadPosition |
Line 906 RULES
|
Line 938 RULES
|
Create Attributes; |
Create Attributes; |
Create '>'; |
Create '>'; |
END; |
END; |
|
#endif |
END; |
END; |
|
|
Comment\240: BEGIN |
Comment\240: BEGIN |
Line 1933 ATTRIBUTES
|
Line 1966 ATTRIBUTES
|
Create ' scrolling="auto"'; |
Create ' scrolling="auto"'; |
|
|
Invalid_attribute: |
Invalid_attribute: |
|
BEGIN |
|
#ifndef XML |
Create Invalid_attribute; |
Create Invalid_attribute; |
|
#endif |
|
END; |
|
|
#include "Text_SGML.inc" |
#include "Text_SGML.inc" |
|
|