Annotation of Amaya/amaya/HTML.S, revision 1.89

1.1       cvs         1:                { I. Vatton      November 1994  }
1.68      cvs         2: 
1.1       cvs         3: STRUCTURE HTML;
                      4: 
                      5: DEFPRES HTMLP;
1.44      cvs         6: 
1.1       cvs         7: ATTR
1.59      cvs         8:                        { coreattrs }
1.63      cvs         9:    ID = Text;                  { id }
                     10:    Class = Text;               { class }
                     11:    PseudoClass = Text;
                     12:    Style\240 = Text;           { style }
                     13:    Title = Text;               { title }
1.59      cvs        14:                        { i18n }
                     15:    dir = ltr, rtl;             { dir }
                     16:                        { events }
1.63      cvs        17:    onclick = Text;             { onclick }
                     18:    ondblclick = Text;          { ondblclick }
                     19:    onmousedown = Text;         { onmousedown }
                     20:    onmouseup = Text;           { onmouseup }
                     21:    onmouseover = Text;         { onmouseover }
                     22:    onmousemove = Text;         { onmousemove }
                     23:    onmouseout = Text;          { onmouseout }
                     24:    onkeypress = Text;          { onkeypress }
                     25:    onkeydown = Text;           { onkeydown }
                     26:    onkeyup = Text;             { onkeyup }
1.59      cvs        27: 
1.63      cvs        28:    Invalid_attribute = Text;
                     29:    Ghost_restruct = Text;
1.1       cvs        30: 
                     31: CONST
1.59      cvs        32: 
1.1       cvs        33:    C_Empty = ' ';
                     34:    C_Foot = ' ';
                     35:    C_Head = ' ';
1.64      cvs        36:    C_BR   = '\12';
1.1       cvs        37: 
                     38: STRUCT
1.59      cvs        39: 
1.63      cvs        40:   HTML                                                         { HTML }
1.65      cvs        41:      (ATTR SectionNumbering = Yes_; ShowAreas = Yes_;
1.83      cvs        42:           PrintURL = Yes_; HtmlDTD = Transitional, Frameset;
1.65      cvs        43:           Namespaces = Text) =
1.17      cvs        44:        BEGIN
1.1       cvs        45:        HEAD;
1.72      cvs        46:       ? BODY;  { only one of BODY, FRAMESET is allowed }
                     47:       ? FRAMESET;
1.1       cvs        48:        END + (Invalid_element, Comment\240);
                     49: 
1.59      cvs        50:   BODY                                                         { BODY }
1.63      cvs        51:      (ATTR onload = Text; onunload = Text;
                     52:         { onload         onunload }
                     53:           background_ = Text; BackgroundColor = Text;
                     54:         { background          bgcolor }
                     55:           TextColor = Text; LinkColor = Text;
                     56:          { text              link }
                     57:           VisitedLinkColor = Text; ActiveLinkColor = Text) =
                     58:          { vlink                    alink }
                     59:        LIST OF (Element) + (INS, DEL);
1.1       cvs        60: 
1.11      cvs        61:   Invalid_element (ATTR Error_type = UnknownTag, BadPosition) = TEXT;
1.1       cvs        62:   Comment\240 = LIST OF (Comment_line = TEXT);
                     63: 
1.77      cvs        64:   Head_misc =
                     65:        CASE OF
                     66:        STYLE_;
                     67:        SCRIPT;
                     68:        META;
                     69:        LINK;
                     70:        END;
1.63      cvs        71:   HEAD                                                         { HEAD }
                     72:      (ATTR profile = Text) =
                     73:        AGGREGATE
1.77      cvs        74:        Document_URL = TEXT - (Head_misc);
1.81      cvs        75:        TITLE = TEXT - (Head_misc);                             { TITLE }
1.63      cvs        76:       ? ISINDEX (ATTR Prompt = Text) = CONSTANT C_Empty;       { ISINDEX }
                     77:                    { prompt }
                     78:       ? BASE;                                                  { BASE }
1.77      cvs        79:        END + (Object, Head_misc);
1.63      cvs        80: 
1.64      cvs        81:   STYLE_                                                       { STYLE }
                     82:      (ATTR Notation = Text; media = Text) =
                     83:         { type             media }
                     84:         TEXT;
                     85: 
1.63      cvs        86:   SCRIPT                                                       { SCRIPT }
                     87:      (ATTR charset = Text; !content_type = Text;
                     88:         { charset          type }
                     89:           script_language = Text; script_src = Text;
                     90:         { language                src }
                     91:           defer = Yes_; event = Text; for_ = Text) =
                     92:         { defer         event         for }
                     93:        TEXT;
1.59      cvs        94: 
                     95:   META                                                         { META }
1.63      cvs        96:      (ATTR http_equiv = Text;
                     97:         { http-equiv }
                     98:           !meta_name = Text; !meta_content = Text;
                     99:          {  name               content }
                    100:           scheme = Text) =
                    101:         { scheme }
                    102:        CONSTANT C_Empty;
1.1       cvs       103: 
1.63      cvs       104:   LINK                                                         { LINK }
                    105:      (ATTR charset; HREF_ = Text; hreflang = Text;
                    106:         { charset  href          hreflang }
                    107:           Link_type = Text; REL = Text; REV = Text;
                    108:         { type              rel         rev }
                    109:           media; target_ = Text) =
                    110:         { media  target }
                    111:        CONSTANT C_Empty;
                    112: 
                    113:   BASE                                                         { BASE }
                    114:      (ATTR !HREF_; target_) =
                    115:          { href   target }
                    116:        CONSTANT C_Empty;
1.1       cvs       117: 
1.59      cvs       118:   Element = CASE OF                                            { block }
                    119:        Paragraph;                                              { P }
1.20      cvs       120:        Pseudo_paragraph;
1.59      cvs       121:        Heading;                                                { heading }
                    122:        List_;                                                  { list + DL }
                    123:        Preformatted;                                           { PRE preformatted }
                    124:        Division;                                               { DIV }
                    125:        Center;                                                 { CENTER }
1.62      cvs       126:        NOSCRIPT = LIST OF (Element);                           { NOSCRIPT }
1.63      cvs       127:        Block_Quote;                                            { BLOCKQUOTE }
1.59      cvs       128:        Form;                                                   { FORM }
                    129:        ISINDEX;                                                { ISINDEX }
1.63      cvs       130:        Horizontal_Rule;                                        { HR }
1.59      cvs       131:        Table;                                                  { TABLE }
                    132:        Address = LIST OF (AddressContent);                     { ADDRESS }
                    133:        PICTURE                                                 { IMG }
1.63      cvs       134:            (ATTR SRC = Text; ALT = Text; longdesc = Text;
                    135:                { src         alt         longdesc }
                    136:                  Height_ = Integer; Width__ = Text;
1.59      cvs       137:                { height             width }
1.63      cvs       138:                  IntWidthPercent = Integer; IntWidthPxl = Integer;
                    139:                  USEMAP = Text; ISMAP = Yes_;
                    140:                { usemap         ismap }
                    141:                  Alignment = Top_, Middle_, Bottom_, Left_, Right_;
                    142:                { align       top   middle   bottom   left   right }
                    143:                  Img_border = Integer;
                    144:                { border }
                    145:                  hspace = Integer; vspace = Integer);
                    146:                { hspace            vspace }
1.59      cvs       147:        Object;                                                 { OBJECT }
1.60      cvs       148:        Applet;                                                 { APPLET }
1.65      cvs       149:        Math                                                    { MATH }
                    150:            (ATTR mode = display, inline_math) =
                    151:                MathML;
1.55      cvs       152:         XMLGraphics (ATTR Height_; Width__;
1.54      cvs       153:                        IntWidthPercent;
                    154:                        IntWidthPxl)
1.63      cvs       155:         = GraphML with Height_ ?= 200, Width__ ?= '100%',
                    156:                        IntWidthPercent ?= 100;
1.59      cvs       157:        MAP;                                                    { MAP }
1.1       cvs       158:        END;
                    159: 
1.52      cvs       160:        HTMLfragment = LIST OF (Element);
                    161: 
1.63      cvs       162:   Block_Quote                                                  { BLOCKQUOTE }
                    163:      (ATTR cite = Text;
                    164:         { cite }
                    165:           InternalLink = Reference(Any); ExternalLink = Yes_) =
                    166:        LIST OF (Element);
                    167: 
                    168:   Horizontal_Rule                                              { HR }
                    169:      (ATTR Align = left_, center_, right_;
                    170:         { align   left   center   right }
                    171:           NoShade = NoShade_; Size_ = Integer; Width__;
                    172:         { noshade             size             width }
                    173:           IntWidthPercent; IntWidthPxl) =
                    174:        CONSTANT C_Empty;
                    175: 
1.67      cvs       176:   Basic_Set = LIST OF (Basic_Elem);
                    177: 
1.1       cvs       178:   AddressContent = CASE OF
                    179:        Basic_Elem;
1.59      cvs       180:        Paragraph;              { P }
1.20      cvs       181:        Pseudo_paragraph;
1.1       cvs       182:        END;
                    183: 
1.59      cvs       184:   Paragraph                                                    { P }
1.63      cvs       185:      (ATTR TextAlign = left_, center_, right_, justify_) =
                    186:         { align       left   center   right   justify }
                    187:        Basic_Set;
                    188: 
1.59      cvs       189:   Pseudo_paragraph = Basic_Set;
                    190: 
                    191:   Heading = CASE OF                                            { heading }
                    192:        H1 (ATTR TextAlign) = Basic_Set;                        { H1 }
                    193:               { align }
                    194:        H2 (ATTR TextAlign) = Basic_Set;                        { H2 }
                    195:        H3 (ATTR TextAlign) = Basic_Set;                        { H3 }
                    196:        H4 (ATTR TextAlign) = Basic_Set;                        { H4 }
                    197:        H5 (ATTR TextAlign) = Basic_Set;                        { H5 }
                    198:        H6 (ATTR TextAlign) = Basic_Set;                        { H6 }
1.1       cvs       199:        END;
                    200: 
1.63      cvs       201:   Preformatted                                                 { PRE }
                    202:      (ATTR Width__; IntWidthPercent; IntWidthPxl) =
                    203:         { width }
                    204:        Basic_Set
1.59      cvs       205:             - (PICTURE, Object, Applet,
                    206:                Big_text, Small_text, Subscript, Superscript,
                    207:                Font_, BaseFont);
                    208: 
1.63      cvs       209:   Anchor                                                       { A }
                    210:      (ATTR charset; Link_type; NAME = Text;
                    211:         { charset  type       name }
                    212:           HREF_; hreflang; target_;
                    213:         { href   hreflang  target}
                    214:           REL; REV; accesskey = Text;
                    215:         { rel  rev  accesskey }
                    216:           shape = rectangle, circle, polygon, default_;
                    217:         { shape   rect       cirecle poly     default }
                    218:           coords = Text; tabindex = Integer;
                    219:         { coords         tabindex }
                    220:           onfocus = Text; onblur = Text;
1.76      cvs       221:         { onfocus         onblur }
1.89    ! cvs       222:           InternalLink; ExternalLink;
        !           223:           Annotation = Text;
        !           224:          { Annotation}) =
1.63      cvs       225:        Basic_Set;
1.1       cvs       226: 
1.63      cvs       227:   Basic_Elem = CASE OF                                         { special }
1.1       cvs       228:         TEXT;
1.63      cvs       229:        Font;                                                   { fontstyle }
                    230:        Phrase;                                                 { phrase }
1.61      cvs       231:        Anchor;                                                 { A }
                    232:        PICTURE;                                                { IMG }
                    233:        Applet;                                                 { APPLET }
                    234:        Font_;                                                  { FONT }
                    235:        BaseFont;                                               { BASEFONT }
1.63      cvs       236:        BR;                                                     { BR }
1.61      cvs       237:        SCRIPT;                                                 { SCRIPT }
                    238:        MAP;                                                    { MAP }
1.63      cvs       239:        Quotation;                                              { Q }
1.61      cvs       240:        Subscript = Basic_Set;                                  { SUB }
                    241:        Superscript = Basic_Set;                                { SUP }
                    242:        Span = Basic_Set;                                       { SPAN }
                    243:        BDO = Basic_Set;                                        { BDO }
1.77      cvs       244:        Object;                                                 { OBJECT }
1.61      cvs       245:        IFRAME;                                                 { IFRAME }
1.65      cvs       246:        Math;                                                   { MATH }
1.59      cvs       247:        END;
                    248: 
1.60      cvs       249:   BaseFont                                                     { BASEFONT }
1.63      cvs       250:      (ATTR BaseFontSize = Integer; BaseFontColor = Text;
                    251:         { size                    color }
                    252:           BaseFontFace = Text) =
                    253:          { face }
                    254:        CONSTANT C_Empty;
                    255: 
                    256:   BR                                                           { BR }
                    257:      (ATTR Clear = Left_, Right_, All_, None) =
                    258:         { clear   left   right   all   none }
                    259:        CONSTANT C_BR;
                    260: 
                    261:   Quotation                                                    { Q }
                    262:      (ATTR cite; InternalLink; ExternalLink) =
                    263:         { cite }
                    264:        Basic_Set;
1.59      cvs       265: 
1.60      cvs       266:   Font = CASE OF               { fontstyle }
                    267:        Teletype_text = Basic_Set;      { TT }
1.59      cvs       268:        Italic_text = Basic_Set;        { I }
                    269:        Bold_text = Basic_Set;          { B }
                    270:        Underlined_text = Basic_Set;    { U }
1.60      cvs       271:        Struck_text = Basic_Set;        { S or STRIKE }
1.59      cvs       272:        Big_text = Basic_Set;           { BIG }
                    273:        Small_text = Basic_Set;         { SMALL }
                    274:        END;
                    275: 
1.60      cvs       276:   Phrase = CASE OF             { phrase }
1.59      cvs       277:        Emphasis = Basic_Set;           { EM }
                    278:        Strong = Basic_Set;             { STRONG }
                    279:        Def = Basic_Set;                { DFN }
                    280:        Code = Basic_Set;               { CODE }
                    281:        Sample = Basic_Set;             { SAMP }
                    282:        Keyboard = Basic_Set;           { KBD }
                    283:        Variable = Basic_Set;           { VAR }
                    284:        Cite = Basic_Set;               { CITE }
1.60      cvs       285:        ABBR = Basic_Set;               { ABBR }
                    286:         ACRONYM = Basic_Set;           { ACRONYM }
1.59      cvs       287:        END;
                    288: 
1.63      cvs       289:   Font_                                                                { FONT }
                    290:      (ATTR Font_size = Text; color = Text; face = Text;
                    291:         { size              color            face }
                    292:           IntSizeIncr = Integer; IntSizeDecr = Integer;
                    293:           IntSizeRel = Integer) =
                    294:        Basic_Set;
                    295: 
                    296:   Applet                                                       { APPLET }
                    297:      (ATTR codebase = Text; archive = Text; code = Text;
                    298:         { codebase         archive         code }
                    299:           object = Text; alt = Text; applet_name = Text;
                    300:         { object         alt         name }
                    301:           Width__; Height_; IntWidthPercent; IntWidthPxl;
                    302:         { width    height }
                    303:           Alignment; hspace; vspace) =
                    304:         { align      hspace  vspace }
1.1       cvs       305:        LIST OF (Applet_Content = CASE OF
1.59      cvs       306:                                  Parameter;                    { PARAM }
1.1       cvs       307:                                  Basic_Set;
                    308:                                  END);
1.63      cvs       309:   Parameter                                                    { PARAM }
                    310:      (ATTR Param_name = Text; Param_value = Text;
                    311:         { name               value }
                    312:           valuetype = data_, ref, object_;
                    313:         { valuetype   data   ref  object }
                    314:           Param_type = Text) =
                    315:         { type }
1.59      cvs       316:        CONSTANT C_Empty;
                    317: 
                    318:   Object                                                       { OBJECT }
1.63      cvs       319:      (ATTR declare = Yes_; classid = Text; codebase;
                    320:         { declare         classid         codebase }
                    321:           data = Text; Object_type = Text;
                    322:         { data         type }
                    323:           codetype = Text; archive; standby = Text;
                    324:          { codetype         archive  standby }
                    325:           !Height_; !Width__; IntWidthPercent; IntWidthPxl; 
                    326:         {  height    width }
                    327:           USEMAP; NAME; tabindex; Alignment; Img_border;
                    328:         { usemap  name  tabindex  align      border }
                    329:           hspace; vspace) =
                    330:          { hspace  vspace }
1.10      cvs       331:        BEGIN
1.13      cvs       332:        PICTURE;
1.10      cvs       333:        Object_Content = LIST OF (CASE OF Element; Parameter; END);
1.59      cvs       334:                                                 { PARAM }
1.63      cvs       335:        END with Height_ ?= 400, Width__ ?= '400',
                    336:                 IntWidthPxl ?= 400;
1.61      cvs       337: 
1.63      cvs       338:   INS                                                          { INS }
1.72      cvs       339:      (ATTR cite; datetime = Text; InternalLink; ExternalLink) =
1.63      cvs       340:         { cite  datetime }
                    341:        Basic_Set;
                    342: 
                    343:   DEL                                                          { DEL }
1.72      cvs       344:      (ATTR cite; datetime; InternalLink; ExternalLink) =
1.63      cvs       345:         { cite  datetime }
                    346:        Basic_Set;
1.1       cvs       347: 
1.59      cvs       348:   Block = CASE OF                                              { block }
                    349:        Paragraph;                                              { P }
1.20      cvs       350:        Pseudo_paragraph;
1.59      cvs       351:        Heading;                                                { heading }
                    352:        List_;                                                  { list + DL }
                    353:        Block_Quote;                                            { BLOCKQUOTE }
                    354:        Preformatted;                                           { PRE }
                    355:        Division;                                               { DIV }
1.63      cvs       356:        Center;                                                 { CENTER }
1.1       cvs       357:        Form;
1.73      cvs       358:        Horizontal_Rule;                                        { HR }
                    359:        Table;                                                  { TABLE }
                    360:        Address;                                                { ADDRESS }
1.1       cvs       361:        END;
                    362: 
1.63      cvs       363:   Division                                                     { DIV }
                    364:      (ATTR TextAlign) =
                    365:         { align }
                    366:        LIST OF (Element);
                    367: 
                    368:   Center =                                                     { CENTER }
                    369:        LIST OF (Element);
1.1       cvs       370: 
1.59      cvs       371:   List_ = CASE OF                                              { list }
1.63      cvs       372:        Unnumbered_List;                                        { UL }
                    373:        Numbered_List;                                          { OL }
                    374:        Directory;                                              { DIR }
                    375:        Menu;                                                   { MENU }
                    376:        Definition_List;                                        { DL }
                    377:        END;
                    378: 
                    379:   Unnumbered_List                                              { UL }
                    380:      (ATTR BulletStyle = disc, circle, square;
                    381:         { type          disc  circle  square }
                    382:           COMPACT = Yes_) =
                    383:         { compact }
                    384:        LIST OF (List_Item);
                    385: 
                    386:   Numbered_List                                                        { OL }
                    387:      (ATTR NumberStyle = Arabic_, LowerAlpha, UpperAlpha,
                    388:         { type          1        a           A }
                    389:           LowerRoman, UpperRoman;
                    390:         { i           I }
                    391:           Start = Integer; COMPACT) =
                    392:         { start            compact }
                    393:        LIST OF (List_Item) with Start ?= 1;
                    394: 
                    395:   Directory                                                    { DIR }
                    396:      (ATTR COMPACT) =
                    397:         { compact }
                    398:        LIST OF (List_Item);
                    399: 
                    400:   Menu                                                         { MENU }
                    401:      (ATTR COMPACT) =
                    402:         { compact }
                    403:        LIST OF (List_Item);
                    404: 
                    405:   Definition_List                                              { DL }
                    406:      (ATTR COMPACT) =
                    407:         { compact }
                    408:        LIST OF (Definition_Item);
                    409: 
                    410:   List_Item                                                    { LI }
                    411:      (ATTR ItemStyle = disc, circle, square, Arabic_,
                    412:         { type        disc  circle  square  1 }
                    413:           LowerAlpha, UpperAlpha, LowerRoman, UpperRoman;
                    414:         { a           A           i           I }
                    415:           IntItemStyle = disc, circle, square, Arabic_,
                    416:           LowerAlpha, UpperAlpha, LowerRoman, UpperRoman;
                    417:           ItemValue = Integer) =
                    418:         { value }
1.1       cvs       419:        LIST OF (Block);
                    420: 
1.59      cvs       421:   Definition_Item = BEGIN
                    422:        Term_List = LIST OF (Term = Basic_Set);                 { DT }
1.63      cvs       423:       ? Definition = LIST OF (Block);                          { DD }
1.1       cvs       424:        END;
                    425: 
1.63      cvs       426:   Form                                                         { FORM }
                    427:      (ATTR !Script_URL = Text; METHOD = Get_, Post_;
                    428:         {  action             method }
                    429:           ENCTYPE = Text; onsubmit = Text; onreset = Text;
                    430:         { enctype         onsubmit         onreset }
                    431:           target_; accept_charset = Text) =
                    432:         { target   accept-charset }
1.1       cvs       433:        LIST OF (Form_Element) + (Input) with METHOD ?= Get_;
                    434: 
                    435:   Form_Element = CASE OF
1.59      cvs       436:        Paragraph;                                              { P }
1.20      cvs       437:        Pseudo_paragraph;
1.80      cvs       438:        FIELDSET;                                               { FIELDSET }
1.59      cvs       439:        Option_Menu;                                            { SELECT }
1.63      cvs       440:        Text_Area;                                              { TEXTAREA }
1.59      cvs       441:        Heading;                                                { heading }
                    442:        List_;                                                  { list + DL }
                    443:        Horizontal_Rule;                                        { HR }
                    444:        Block_Quote;                                            { BLOCKQUOTE }
                    445:        Preformatted;                                           { PRE }
                    446:        Division;                                               { DIV }
                    447:        Table;                                                  { TABLE }
                    448:        Center;                                                 { CENTER }
                    449:        ISINDEX;                                                { ISINDEX }
1.1       cvs       450:        END;
                    451: 
1.63      cvs       452:   Option_Menu                                                  { SELECT }
                    453:      (ATTR !NAME; MenuSize = Integer; Multiple = Yes_;
                    454:         {  name  size                multiple }
                    455:            disabled = Yes_; tabindex; onfocus; onblur;
                    456:          { disabled         tabindex  onfocus  onblur}
                    457:            onchange = Text) =
                    458:          { onchange }
1.76      cvs       459:        LIST OF (CASE OF Option; OptGroup; END) - (Input);
1.63      cvs       460: 
                    461:   Option                                                       { OPTION }
                    462:      (ATTR Selected = Yes_; DefaultSelected = Yes_;
                    463:         { selected }
                    464:           disabled; label = Text; !Value_ = Text) =
                    465:          { disabled  label          value }
1.1       cvs       466:        TEXT;
1.76      cvs       467: 
                    468:   OptGroup                                                     { OPTGROUP }
1.78      cvs       469:      (ATTR disabled; !label) =
                    470:         { disabled   label }
1.76      cvs       471:        LIST OF (Option);
1.1       cvs       472: 
1.63      cvs       473:   Text_Area                                                    { TEXTAREA }
                    474:      (ATTR !NAME; Rows = Integer; Columns = Integer;
                    475:         {  name  rows            cols }
                    476:           disabled; readonly = Yes_; tabindex; accesskey;
                    477:         { disabled  readonly         tabindex  accesskey  }
                    478:           onfocus; onblur; onselect = Text; onchange;
                    479:         { onfocus  onblur  onselect         onchange }
                    480:           Default_Value = Text) =
1.68      cvs       481:        Text_With_Frame - (Input) with Rows ?= 4, Columns ?= 20;
1.63      cvs       482: 
1.79      cvs       483:   FIELDSET =                                                   { FIELDSET }
                    484:        BEGIN
                    485:        LEGEND;
                    486:        Basic_Set;
                    487:        END;
                    488: 
                    489:   LEGEND                                                       { LEGEND }
                    490:      (ATTR accesskey; LAlign = Top_, Bottom_, Left_, Right_) =
                    491:         { accesskey  align    top   bottom   left   right }
                    492:        Basic_Set;
                    493: 
1.62      cvs       494:   Input = CASE OF                                      { formctrl }
1.63      cvs       495:        Text_Input                                      { INPUT / TEXT }
                    496:           (ATTR !NAME; Value_; disabled; readonly;
                    497:                { name  value   disabled  readonly }
                    498:                  Area_Size = Integer; MaxLength = Integer;
                    499:                { size                 maxlength }
                    500:                  tabindex; accesskey;
                    501:                { tabindex  accesskey }
1.66      cvs       502:                  onfocus; onblur; onselect; onchange;
1.63      cvs       503:                { onfocus  onblur  onselect  onchange }
1.66      cvs       504:                  Default_Value) =
1.68      cvs       505:                Text_With_Frame - (Input) with Area_Size ?= 20;
1.63      cvs       506:        Password_Input                                  { INPUT / PASSWORD }
1.66      cvs       507:           (ATTR !NAME; Value_; disabled; readonly;
                    508:                { name  value   disabled  readonly }
1.63      cvs       509:                  Area_Size; MaxLength;
                    510:                { size       maxlength }
1.66      cvs       511:                  tabindex; accesskey;
                    512:                { tabindex  accesskey }
                    513:                  onfocus; onblur; onselect; onchange;
                    514:                { onfocus  onblur  onselect  onchange }
                    515:                  Default_Value) =
1.68      cvs       516:                Text_With_Frame  - (Input) with Area_Size ?= 20;
                    517:        File_Input                                      { INPUT / FILE }
                    518:           (ATTR !NAME; Value_; disabled; readonly;
                    519:                { name  value   disabled  readonly }
                    520:                  Area_Size; MaxLength;
                    521:                { size       maxlength }
                    522:                  tabindex; accesskey;
                    523:                { tabindex  accesskey }
                    524:                  onfocus; onblur; accept = Text;
                    525:                { onfocus  onblur }
                    526:                  Default_Value) =
                    527:                Text_With_Frame - (Input) with Area_Size ?= 20;
1.59      cvs       528:        Checkbox_Input                                  { INPUT / CHECKBOX }
1.63      cvs       529:           (ATTR !NAME; Value_; Checked = Yes_, No_;
1.66      cvs       530:                { name  value   checked }
1.63      cvs       531:                  disabled; readonly;
                    532:                { disabled  readonly }
                    533:                  tabindex; accesskey; onfocus; onblur;
                    534:                { tabindex  accesskey  onfocus  onblur }
                    535:                  DefaultChecked = Yes_, No_) =
1.1       cvs       536:                CONSTANT C_Empty with Checked ?= No_;
1.59      cvs       537:        Radio_Input                                     { INPUT / RADIO }
1.63      cvs       538:           (ATTR !NAME; !Value_; Checked; disabled;
                    539:                { name  value    checked   disabled }
                    540:                  readonly; tabindex; accesskey;
                    541:                { readonly  tabindex  accesskey }
                    542:                  onfocus; onblur;
                    543:                { onfocus  onblur }
                    544:                  DefaultChecked) =
                    545:                CONSTANT C_Empty with Checked ?= No_,
                    546:                                      NAME ?= 'radio';
                    547:        Submit_Input                                    { INPUT / SUBMIT }
                    548:           (ATTR  NAME; Value_; disabled; readonly;
                    549:                { name  value   disabled; readonly }
                    550:                  tabindex; accesskey;
                    551:                { tabindex  accesskey }
                    552:                  onfocus; onblur) =
                    553:                { onfocus  onblur }
                    554:                BEGIN
1.56      cvs       555:                Frame;
1.63      cvs       556:                END with Value_ ?= 'Submit';
                    557:        Reset_Input                                     { INPUT / RESET }
                    558:           (ATTR  NAME; Value_; disabled; readonly;
                    559:                { name  value   disabled  readonly }
                    560:                  tabindex; accesskey;
                    561:                { tabindex  accesskey }
                    562:                  onfocus; onblur) =
                    563:                { onfocus  onblur }
                    564:                BEGIN
1.56      cvs       565:                Frame;
1.68      cvs       566:                END  - (Input) with NAME ?= 'Reset',
                    567:                                    Value_ ?= 'Reset';
                    568:         Button_Input                                   { INPUT / BUTTON }
1.66      cvs       569:           (ATTR !NAME; Value_; disabled; readonly;
                    570:                { name  value   disabled  readonly }
1.63      cvs       571:                  tabindex; accesskey;
                    572:                { tabindex  accesskey }
1.68      cvs       573:                  onfocus; onblur) =
1.63      cvs       574:                { onfocus  onblur }
1.68      cvs       575:                BEGIN
                    576:                Frame;
                    577:                END;
1.79      cvs       578: 
1.68      cvs       579:         BUTTON                                         { BUTTON }
                    580:           (ATTR !NAME; Value_;
                    581:                { name  value }
                    582:                  Button_type = button, submit, reset;
                    583:                { type          button  submit  reset }
                    584:                  disabled; tabindex; accesskey;
                    585:                { disabled  tabindex  accesskey }
                    586:                  onfocus; onblur) =
                    587:                { onfocus  onblur }
1.79      cvs       588:                Basic_Set - (Anchor, Input, Form, FIELDSET, IFRAME);
1.68      cvs       589:         LABEL                                          { LABEL }
                    590:           (ATTR  Associated_control = TEXT;
                    591:                { for }
                    592:                  accesskey; onfocus; onblur) =
                    593:                { accesskey  onfocus  onblur }
1.71      cvs       594:                Basic_Set;
1.63      cvs       595:        Hidden_Input                                    { INPUT / HIDDEN }
1.68      cvs       596:           (ATTR !NAME; Value_; disabled;
                    597:                { name  value   disabled }
1.63      cvs       598:                  tabindex; accesskey;
                    599:                { tabindex  accesskey }
                    600:                  onfocus; onblur) =
                    601:                { onfocus  onblur }
                    602:                CONSTANT C_Empty;
1.59      cvs       603:        Option_Menu;                                    { SELECT }
                    604:        Text_Area;                                      { TEXTAREA }
1.8       cvs       605:        END;
1.1       cvs       606: 
                    607:   Text_With_Frame = BEGIN
                    608:        Inserted_Text = TEXT;
                    609:        Frame = CONSTANT C_Empty;
                    610:        END;
                    611: 
1.63      cvs       612:   Table_row                                                    { TR }
                    613:      (ATTR Cell_align = Cell_left, Cell_center, Cell_right,
                    614:         { align        left       center       right }
                    615:                        Cell_justify, Cell_char;
                    616:         {              justify       char }
                    617:           char = Text; charoff = Text;
                    618:         { char         charoff }
                    619:           Row_valign = Row_top, Row_middle, Row_bottom, Row_baseline;
                    620:         { valign       top      middle      bottom      baseline }
1.71      cvs       621:           BackgroundColor; height\240 = Integer) =
                    622:         { bgcolor          Special attribute to control row span }
1.63      cvs       623:        LIST OF (Table_cell);
                    624: 
                    625:   Table                                                                { TABLE }
                    626:      (ATTR summary = Text; Width__; Border = Integer;
                    627:         { summary         width    border }
                    628:           frame = void, above, below, hsides, lhs, rhs,
                    629:         { frame   void  above  below  hsides  lhs  rhs  }
                    630:                   vsides, box, border;
                    631:         {         vsides  box  border }
                    632:           rules_ = none, groups, rows, cols, all;
                    633:         { rules    none  groups  rows  cols  all }
                    634:           cellspacing = Integer; cellpadding = Integer;
                    635:         { cellspacing            cellpadding }
                    636:           Align; BackgroundColor;
                    637:         { align  bgcolor }
                    638:           datapagesize = Text; IntWidthPxl; IntWidthPercent) =
                    639:         { datapagesize }
1.1       cvs       640:        BEGIN
1.84      cvs       641:        CAPTION;                                                { CAPTION }
1.85      cvs       642:        Cols = LIST OF (Col_elem = CASE OF
                    643:                                COL;                            { COL }
                    644:                                COLGROUP;                       { COLGROUP }
                    645:                                END);
1.1       cvs       646:        Table_head = LIST OF (Column_head);
1.63      cvs       647:       ? thead;                                                 { THEAD }
                    648:        Table_body = LIST OF (tbody);
                    649:       ? tfoot;                                                 { TFOOT }
1.1       cvs       650:        Table_foot = CONSTANT C_Foot;
1.49      cvs       651:        END;
1.63      cvs       652: 
                    653:   CAPTION                                                      { CAPTION }
                    654:      (ATTR Position = Position_top, Position_bottom,
                    655:         { align      top           bottom }
                    656:           Position_left, Position_right) =
                    657:         { left           right }
                    658:        Basic_Set;
                    659: 
1.44      cvs       660:   Column_head (ATTR IntWidthPercent; IntWidthPxl) =
                    661:        CONSTANT C_Head;
1.63      cvs       662: 
                    663:   thead                                                                { THEAD }
                    664:      (ATTR Cell_align; char; charoff; Row_valign) =
                    665:        LIST OF (Table_row);
                    666: 
                    667:   tbody                                                                 { TBODY }
                    668:      (ATTR Cell_align; char; charoff; Row_valign) =
                    669:        LIST OF (Table_row);
                    670: 
                    671:   tfoot                                                                { TFOOT }
                    672:      (ATTR Cell_align; char; charoff; Row_valign) =
                    673:        LIST OF (Table_row);
                    674: 
1.1       cvs       675:   Table_cell = CASE OF
1.63      cvs       676:        Data_cell;                                              { TD }
                    677:        Heading_cell;                                           { TH }
                    678:        END;
                    679: 
                    680:   Data_cell                                                    { TD }
                    681:      (ATTR Ref_column = REFERENCE(Column_head);
                    682:            ColExt = REFERENCE(Column_head);
                    683:            RowExt = REFERENCE(Table_row);
                    684:           abbr = Text; axis = Text; headers = Text; scope = Text;
                    685:         { abbr         axis         headers         scope }
                    686:            rowspan_ = INTEGER; colspan_ = INTEGER;
                    687:         { rowspan             colspan }
                    688:            Cell_align; char; charoff;
                    689:         { align       char  charoff }
                    690:            Cell_valign = Cell_top, Cell_middle, Cell_bottom, Cell_baseline;
                    691:         { valign        top       middle       bottom       baseline }
                    692:            No_wrap = no_wrap; BackgroundColor;
                    693:         { nowrap             bgcolor }
                    694:           Width__; Height_; IntWidthPxl; IntWidthPercent) =
                    695:         { width    height }
                    696:        LIST OF (Element);
                    697: 
                    698:   Heading_cell                                                 { TH }
                    699:      (ATTR Ref_column; ColExt; RowExt;
                    700:           abbr; axis; headers; scope;
                    701:         { abbr  axis  headers  scope }
                    702:           rowspan_; colspan_;
                    703:         { rowspan   colspan }
                    704:           Cell_align; char; charoff; Cell_valign;
                    705:         { align       char  charoff  valign }
                    706:           No_wrap; BackgroundColor;
                    707:         { nowrap   bgcolor }
                    708:           Width__; Height_; IntWidthPxl; IntWidthPercent) =
                    709:         { width    height }
                    710:        LIST OF (Element);
                    711: 
1.85      cvs       712:   COLGROUP                                                     { COLGROUP }
                    713:     (ATTR Cell_align; Cell_valign; Width__; span_ = Integer)
                    714:        { align       valign       width    span }
                    715:         = LIST OF (COL);
                    716: 
                    717:   COL                                                          { COL }
                    718:     (ATTR Cell_align; Cell_valign; Width__; span_)
                    719:        { align       valign       width    span }
                    720:         = CONSTANT C_Empty;
                    721: 
1.63      cvs       722:   MAP                                                          { MAP }
                    723:      (ATTR NAME; Ref_IMG = REFERENCE(Any)) =
                    724:         { name }
                    725:        LIST OF (AREA);
                    726: 
                    727:   AREA                                                         { AREA }
                    728:      (ATTR shape; coords; HREF_; target_; nohref = Yes_; ALT;
                    729:         { shape  coords  href   target   nohref         alt }
                    730:           tabindex; accesskey; onfocus; onblur;
                    731:         { tabindex  accesskey  onfocus  onblur }
                    732:           x_coord = Integer; y_coord = Integer; IntWidthPxl;
1.71      cvs       733:            height\240; AreaRef_IMG = REFERENCE(Any)) =
1.63      cvs       734:        GRAPHICS with x_coord ?= 0, y_coord ?= 0,
                    735:                      IntWidthPxl ?= 25, height\240 ?= 10;
1.1       cvs       736: 
1.72      cvs       737:   FRAMESET                                                     { FRAMESET }
                    738:      (ATTR RowHeight = Text; ColWidth = Text;
                    739:         { rows              cols }
                    740:           onload; onunload) =
                    741:         { onload  onunload }
1.59      cvs       742:        AGGREGATE
1.72      cvs       743:        Frames = LIST [1 .. *] OF (FrameElem = CASE OF
                    744:                                        FRAME;
                    745:                                        FRAMESET;
                    746:                                        END - (NOFRAMES));
                    747:       ? NOFRAMES = BODY + (INS, DEL);                          { NOFRAMES }
1.59      cvs       748:        END;
                    749: 
1.72      cvs       750:   FRAME                                                                { FRAME }
                    751:      (ATTR longdesc; FrameName = Text; FrameSrc = Text;
                    752:         { longdesc  name              src }
                    753:           frameborder = Border1, Border0;
                    754:         { frameborder   1        0 }
                    755:           marginwidth = Integer; marginheight = Integer;
                    756:         { marginwidth            marginheight }
                    757:           no_resize = Yes_; scrolling = Yes_, No_, auto) =
                    758:         { noresize          scrolling   yes   no   auto }
1.63      cvs       759:        CONSTANT C_Empty;
1.59      cvs       760: 
1.63      cvs       761:   IFRAME                                                       { IFRAME }
1.72      cvs       762:      (ATTR longdesc; FrameName; FrameSrc; frameborder;
                    763:         { longdesc  name       src       frameborder }
                    764:           marginwidth; marginheight; scrolling;
                    765:         { marginwidth  marginheight  scrolling }
                    766:           Alignment; Width__; Height_) =
                    767:         { align      width    height }
1.63      cvs       768:        LIST OF (Element);
1.59      cvs       769: 
1.72      cvs       770:   { AnyLink is an alias for all elements with an attribute
                    771:     of type URI.  Only elements to be shown in the Links view
                    772:     are taken into account }
                    773:   AnyLink = CASE OF
                    774:        Anchor;         { HREF_ }
                    775:        Block_Quote;    { cite }
                    776:        Quotation;      { cite }
                    777:        INS;            { cite }
                    778:        DEL;            { cite }
                    779:        END;
                    780: 
1.1       cvs       781: EXCEPT
1.25      cvs       782:        HTML:           NoMove, NoResize;
1.87      cvs       783:        BODY:           NoCut, CssBackground;
1.1       cvs       784:        HEAD:           NoCut;
                    785:        TITLE:          NoCut;
                    786:        Document_URL:   Hidden, NoSpellCheck;
1.68      cvs       787:        C_Empty:        Hidden;
1.9       cvs       788:        C_BR:           NoSelect;
1.77      cvs       789:        Head_misc:      Hidden;
1.72      cvs       790:        Frames:         Hidden;
1.68      cvs       791:        Frame:          Hidden, NoCut;
1.74      cvs       792:        FRAMESET:       NoCreate;       { prevent a Return at the end of the
                    793:                                          document from creating a FRAMESET }
1.68      cvs       794:        Inserted_Text:  Hidden, NoCut;
                    795:        Basic_Set:      Hidden;
                    796:        Term_List:      Hidden;
1.63      cvs       797:        Definition_Item:Hidden;
1.1       cvs       798:        Comment_line:   Hidden;
                    799:        GRAPHICS:       NoMove, NoResize;
1.41      cvs       800:        TEXT:           NoMove, NoResize;
1.26      cvs       801:        PICTURE:        MoveResize;
1.63      cvs       802:        Invalid_element:NoCreate;
                    803:        Pseudo_paragraph: ParagraphBreak, Hidden;
1.1       cvs       804:        Paragraph:      ParagraphBreak;
                    805:        H1:             ParagraphBreak;
                    806:        H2:             ParagraphBreak;
                    807:        H3:             ParagraphBreak;
                    808:        H4:             ParagraphBreak;
                    809:        H5:             ParagraphBreak;
                    810:        H6:             ParagraphBreak;
                    811:        Address:        ParagraphBreak;
                    812:        Term:           ParagraphBreak;
                    813:        MAP:            IsDraw;
                    814:        AREA:           MoveResize;
1.70      cvs       815:        Password_Input: Shadow;
1.19      cvs       816:        Preformatted:   ReturnCreateNL;
1.64      cvs       817:        STYLE_:         ReturnCreateNL;
                    818:        SCRIPT:         ReturnCreateNL;
1.68      cvs       819:        Text_Area:      ReturnCreateNL;
                    820:        HTMLfragment:   NoMove, NoResize, Hidden;
1.53      cvs       821:        XMLGraphics:    MoveResize, NoMove;
1.1       cvs       822: 
1.29      cvs       823:        ExternalLink:   Invisible;
1.15      cvs       824:        InternalLink:   Invisible;
1.89    ! cvs       825:        Annotation:     Invisible;
1.44      cvs       826:        IntWidthPercent:NewPercentWidth, Invisible;
                    827:        IntWidthPxl:    NewWidth, Invisible;
1.1       cvs       828:        IntItemStyle:   Invisible;
                    829:        IntSizeIncr:    Invisible;
                    830:        IntSizeDecr:    Invisible;
                    831:        IntSizeRel:     Invisible;
                    832:        x_coord:        Invisible, NewHPos;
                    833:        y_coord:        Invisible, NewVPos;
                    834:        height\240:     Invisible, NewHeight;
                    835:        Ref_IMG:        Invisible;
                    836:        AreaRef_IMG:    Invisible;
                    837:        Invalid_attribute: Invisible;
1.87      cvs       838:        PseudoClass:    Invisible, CssPseudoClass;
1.1       cvs       839:        Default_Value:  Invisible;
1.63      cvs       840:        DefaultSelected:Invisible;
1.1       cvs       841:        DefaultChecked: Invisible;
1.17      cvs       842:        SectionNumbering:Invisible;
1.22      cvs       843:        ShowAreas:      Invisible;
1.83      cvs       844:        PrintURL:       Invisible;
1.65      cvs       845:        Namespaces:     Invisible;
1.72      cvs       846:        HtmlDTD:        Invisible;
1.50      cvs       847:        shape:          Invisible;
1.44      cvs       848:        Data_cell:      IsCell, NoMove, NoResize;
                    849:        Heading_cell:   IsCell, NoMove, NoResize;
                    850:        Table:          IsTable, PageBreak;
1.68      cvs       851:        Column_head:    IsColHead, NoCut, Hidden;
1.75      cvs       852:        Table_head:     NoCut, Hidden, NoSelect;
                    853:        C_Head:         Hidden, NoSelect;
                    854:        Table_foot:     NoCut, Hidden, NoSelect, PageBreakRepBefore;
                    855:        C_Foot:         Hidden, NoSelect;
1.85      cvs       856:        Cols:           Hidden, NoSelect;
1.38      cvs       857:        Table_body:     PageBreakAllowed, Hidden;
1.44      cvs       858:        Table_row:      IsRow, PageBreakPlace;
1.1       cvs       859:        ColExt:         Invisible;
1.2       cvs       860:        RowExt:         Invisible;
1.44      cvs       861:        Ref_column:     ColRef, Invisible;
                    862:        colspan_:       ColSpan;
                    863:        rowspan_:       RowSpan;
1.68      cvs       864:        Object_Content: Hidden, NoCreate, NoCut;
1.1       cvs       865:        Ghost_restruct: Invisible;
1.82      cvs       866:        onclick:        EventAttr;
                    867:        ondblclick:     EventAttr;
                    868:        onmousedown:    EventAttr;
                    869:        onmouseup:      EventAttr;
                    870:        onmouseover:    EventAttr;
                    871:        onmousemove:    EventAttr;
                    872:        onmouseout:     EventAttr;
                    873:        onkeypress:     EventAttr;
                    874:        onkeydown:      EventAttr;
                    875:        onkeyup:        EventAttr;
1.87      cvs       876:        ID :            CssId;
                    877:        Class:          CssClass;
1.63      cvs       878: 
1.1       cvs       879: END

Webmaster