Annotation of Amaya/amaya/HTMLT.T, revision 1.141

1.138     quint       1:                { Author: I. Vatton      1994-2002  }
1.1       cvs         2: 
1.72      cvs         3: { If variable XML is set, the document is saved in the XHTML syntax.
1.66      cvs         4:   Otherwise, it is saved in plain HTML }
1.53      cvs         5: 
1.1       cvs         6: TRANSLATION HTML;
                      7: 
1.3       cvs         8: LINELENGTH 78;
1.1       cvs         9: 
                     10: CONST
1.12      cvs        11:    DoubleQuote  = '"';
1.1       cvs        12: 
                     13: RULES
                     14: 
1.104     cvs        15: #ifdef XML
1.120     cvs        16:  Document: BEGIN
1.101     cvs        17:        Create '<?xml version="1.0"';
                     18:        if Charset
                     19:           BEGIN
                     20:           Create ' encoding="';
                     21:           Create Charset;
                     22:           Create '"';
                     23:           END;
                     24:        Create '?>\12';
1.120     cvs        25:        END;
                     26: #endif
                     27: 
                     28:  HTML : BEGIN
                     29:        Use MathMLT for MathML;
1.126     vatton     30:        Use SVGT for SVG;
1.120     cvs        31:        Use XLinkT for XLink;
1.130     cvs        32: { LC 05/12/01
                     33:   DOCTYPE declaration is no longer generated
1.111     cvs        34:        Create HtmlDTD;
1.130     cvs        35: }
1.137     cvs        36:        Create PI;
1.120     cvs        37: #ifdef XML
1.93      cvs        38:        Create '<html xmlns="http://www.w3.org/1999/xhtml"';
                     39:        {*** Create Namespaces; ***}
1.55      cvs        40: #else
1.18      cvs        41:        Create '<html';
1.55      cvs        42: #endif
1.18      cvs        43:        Create Attributes;
                     44:        Create '>\12';
1.15      cvs        45:        Create '</html>\12' After;
1.1       cvs        46:        END;
                     47: 
                     48:  HEAD: BEGIN
1.77      cvs        49:        Create '<head' Before;
                     50:        Create Attributes Before;
                     51:        Create '>\12' Before;
1.80      cvs        52:        Indent +2 Before;
                     53:        Indent -2 After;
                     54:        Create '</head>\12\12' After;
1.1       cvs        55:        END;
                     56: 
                     57:  Document_URL:
                     58:        BEGIN
                     59:        Remove;
                     60:        END;
                     61: 
                     62:  TITLE:        BEGIN
1.18      cvs        63:        Create '<title';
                     64:        Create Attributes;
1.59      cvs        65:        Create '>';
1.15      cvs        66:        Create '</title>\12' After;
1.1       cvs        67:        END;
                     68: 
                     69:  ISINDEX: BEGIN
1.77      cvs        70: #ifdef XML
                     71:        { elements TITLE and BASE must be generated as the first chidren
                     72:          of the HEAD element }
                     73:        Get TITLE Before;
                     74: #endif
1.15      cvs        75:        Create '<isindex';
1.1       cvs        76:        IF Prompt
                     77:           BEGIN
                     78:           Create ' prompt="';
                     79:           Create Prompt;
1.12      cvs        80:           Create DoubleQuote;
1.1       cvs        81:           END;
                     82:        Create Attributes;
                     83:        Remove;
1.53      cvs        84: #ifdef XML
                     85:        Create ' />\12';
                     86: #else
1.1       cvs        87:        Create '>\12';
1.53      cvs        88: #endif
1.1       cvs        89:        END;
                     90: 
                     91:  BASE: BEGIN
1.77      cvs        92: #ifdef XML
                     93:        { elements TITLE and BASE must be generated as the first chidren
                     94:          of the HEAD element }
                     95:        Get TITLE Before;
                     96: #endif
1.15      cvs        97:        Create '<base ';
1.1       cvs        98:        Create Attributes;
                     99:        Remove;
1.53      cvs       100: #ifdef XML
                    101:        Create ' />\12';
                    102: #else
1.1       cvs       103:        Create '>\12';
1.53      cvs       104: #endif
1.1       cvs       105:        END;
                    106: 
1.52      cvs       107:  STYLE_: BEGIN
1.77      cvs       108: #ifdef XML
                    109:        { elements TITLE and BASE must be generated as the first chidren
                    110:          of the HEAD element }
                    111:        Get TITLE Before;
                    112: #endif
1.15      cvs       113:        Create '<style';
1.1       cvs       114:        IF Notation
                    115:           BEGIN
1.55      cvs       116:           Create ' type="';
1.1       cvs       117:           Create Notation;
1.55      cvs       118:           Create DoubleQuote;
1.1       cvs       119:           END;
                    120:        Create Attributes;
1.106     cvs       121:        Create '>\12';
1.61      cvs       122:        NoLineBreak;
1.45      cvs       123:        NoTranslation;
1.84      cvs       124:        Indent Suspend;
                    125:        Indent Resume After;
1.80      cvs       126:        Create '</style>\12' After;
1.1       cvs       127:        END;
                    128: 
1.133     vatton    129:  SCRIPT_: BEGIN
1.77      cvs       130: #ifdef XML
                    131:        { elements TITLE and BASE must be generated as the first chidren
                    132:          of the HEAD element }
                    133:        Get TITLE Before;
                    134: #endif
1.15      cvs       135:        Create '<script';
1.1       cvs       136:        Create Attributes;
1.52      cvs       137:        Create '>\12';
1.61      cvs       138:        NoLineBreak;
1.52      cvs       139:        NoTranslation;
1.84      cvs       140:        Indent Suspend;
                    141:        Indent Resume After;
1.80      cvs       142:        Create '</script>\12' After;
1.1       cvs       143:        END;
                    144: 
                    145:  META: BEGIN
1.77      cvs       146:        Create '<meta' Before;
                    147:        Create Attributes Before;
1.1       cvs       148:        Remove;
1.53      cvs       149: #ifdef XML
1.77      cvs       150:        Create ' />\12' After;
1.53      cvs       151: #else
1.77      cvs       152:        Create '>\12' After;
1.53      cvs       153: #endif
1.1       cvs       154:        END;
                    155: 
                    156:  LINK: BEGIN
1.77      cvs       157: #ifdef XML
1.140     vatton    158:        { elements TITLE and BASE must be generated before }
1.77      cvs       159:        Get TITLE Before;
                    160: #endif
1.15      cvs       161:        Create '<link';
1.1       cvs       162:        Remove;
                    163:        Create Attributes;
1.53      cvs       164: #ifdef XML
                    165:        Create ' />\12';
                    166: #else
                    167:        Create '>\12';
                    168: #endif
1.1       cvs       169:        END;
                    170: 
                    171:  BODY: BEGIN
1.15      cvs       172:        Create '<body';
1.1       cvs       173:        Create Attributes;
                    174:        Create '>\12';
1.15      cvs       175:        Create '</body>\12' After;
1.1       cvs       176:        END;
                    177: 
                    178:  H1:   BEGIN
1.80      cvs       179:        if not within Preformatted and not first Create '\12';
1.15      cvs       180:        Create '<h1';
1.1       cvs       181:        Create Attributes;
                    182:        Create '>';
1.15      cvs       183:        Create '</h1>' After;
1.28      cvs       184:        if not within Preformatted Create '\12' After;
1.1       cvs       185:        END;
                    186: 
                    187:  H2:   BEGIN
1.80      cvs       188:        if not within Preformatted and not first Create '\12';
1.15      cvs       189:        Create '<h2';
1.1       cvs       190:        Create Attributes;
                    191:        Create '>';
1.15      cvs       192:        Create '</h2>' After;
1.28      cvs       193:        if not within Preformatted Create '\12' After;
1.1       cvs       194:        END;
                    195: 
                    196:  H3:   BEGIN
1.80      cvs       197:        if not within Preformatted and not first Create '\12';
1.15      cvs       198:        Create '<h3';
1.1       cvs       199:        Create Attributes;
                    200:        Create '>';
1.15      cvs       201:        Create '</h3>' After;
1.28      cvs       202:        if not within Preformatted Create '\12' After;
1.1       cvs       203:        END;
                    204: 
                    205:  H4:   BEGIN
1.80      cvs       206:        if not within Preformatted and not first Create '\12';
1.15      cvs       207:        Create '<h4';
1.1       cvs       208:        Create Attributes;
                    209:        Create '>';
1.15      cvs       210:        Create '</h4>' After;
1.28      cvs       211:        if not within Preformatted Create '\12' After;
1.1       cvs       212:        END;
                    213: 
                    214:  H5:   BEGIN
1.80      cvs       215:        if not within Preformatted and not first Create '\12';
1.15      cvs       216:        Create '<h5';
1.1       cvs       217:        Create Attributes;
                    218:        Create '>';
1.15      cvs       219:        Create '</h5>' After;
                    220:        if not within Preformatted Create '\12' After;
1.1       cvs       221:        END;
                    222: 
                    223:  H6:   BEGIN
1.80      cvs       224:        if not within Preformatted and not first Create '\12';
1.15      cvs       225:        Create '<h6';
1.1       cvs       226:        Create Attributes;
                    227:        Create '>';
1.15      cvs       228:        Create '</h6>' After;
                    229:        if not within Preformatted Create '\12' After;
1.1       cvs       230:        END;
                    231: 
                    232:  BaseFont:
                    233:        BEGIN
1.15      cvs       234:        Create '<basefont';
1.1       cvs       235:        Remove;
                    236:        Create Attributes;
1.53      cvs       237: #ifdef XML
                    238:        Create ' />\12';
                    239: #else
1.1       cvs       240:        Create '>\12';
1.53      cvs       241: #endif
1.1       cvs       242:        END;
                    243: 
1.6       cvs       244:  BR:   BEGIN
1.15      cvs       245:        Create '<br';
1.53      cvs       246:        Remove;
1.6       cvs       247:        Create Attributes;
1.53      cvs       248: #ifdef XML
                    249:        Create ' />\12';
                    250: #else
1.13      cvs       251:        Create '>\12';
1.53      cvs       252: #endif
1.6       cvs       253:        END;
1.53      cvs       254: 
1.1       cvs       255:  Italic_text:
                    256:        BEGIN
1.15      cvs       257:        Create '<i';
1.1       cvs       258:        Create Attributes;
                    259:        Create '>';
1.15      cvs       260:        Create '</i>' After;
1.1       cvs       261:        END;
1.53      cvs       262: 
1.1       cvs       263:  Bold_text:
                    264:        BEGIN
1.15      cvs       265:        Create '<b';
1.1       cvs       266:        Create Attributes;
                    267:        Create '>';
1.15      cvs       268:        Create '</b>' After;
1.1       cvs       269:        END;
                    270:  Teletype_text:
                    271:        BEGIN
1.15      cvs       272:        Create '<tt';
1.1       cvs       273:        Create Attributes;
                    274:        Create '>';
1.15      cvs       275:        Create '</tt>' After;
1.1       cvs       276:        END;
1.8       cvs       277:  Underlined_text:
                    278:        BEGIN
1.15      cvs       279:        Create '<u';
1.8       cvs       280:        Create Attributes;
                    281:        Create '>';
1.15      cvs       282:        Create '</u>' After;
1.8       cvs       283:        END;
1.1       cvs       284:  Struck_text:
                    285:        BEGIN
1.15      cvs       286:        Create '<strike';
1.1       cvs       287:        Create Attributes;
                    288:        Create '>';
1.15      cvs       289:        Create '</strike>' After;
1.1       cvs       290:        END;
                    291:  Big_text:
                    292:        BEGIN
1.15      cvs       293:        Create '<big';
1.1       cvs       294:        Create Attributes;
                    295:        Create '>';
1.15      cvs       296:        Create '</big>' After;
1.1       cvs       297:        END;
                    298:  Small_text:
                    299:        BEGIN
1.15      cvs       300:        Create '<small';
1.1       cvs       301:        Create Attributes;
                    302:        Create '>';
1.15      cvs       303:        Create '</small>' After;
1.1       cvs       304:        END;
                    305:  Subscript:
                    306:        BEGIN
1.15      cvs       307:        Create '<sub';
1.1       cvs       308:        Create Attributes;
                    309:        Create '>';
1.15      cvs       310:        Create '</sub>' After;
1.1       cvs       311:        END;
                    312:  Superscript:
                    313:        BEGIN
1.15      cvs       314:        Create '<sup';
1.1       cvs       315:        Create Attributes;
                    316:        Create '>';
1.15      cvs       317:        Create '</sup>' After;
1.1       cvs       318:        END;
                    319: 
                    320:  Emphasis:
                    321:        BEGIN
1.15      cvs       322:        Create '<em';
1.1       cvs       323:        Create Attributes;
                    324:        Create '>';
1.15      cvs       325:        Create '</em>' After;
1.1       cvs       326:        END;
                    327:  Strong:
                    328:        BEGIN
1.15      cvs       329:        Create '<strong';
1.1       cvs       330:        Create Attributes;
                    331:        Create '>';
1.15      cvs       332:        Create '</strong>' After;
1.1       cvs       333:        END;
                    334:  Def:
                    335:        BEGIN
1.15      cvs       336:        Create '<dfn';
1.1       cvs       337:        Create Attributes;
                    338:        Create '>';
1.15      cvs       339:        Create '</dfn>' After;
1.1       cvs       340:        END;
                    341:  Code:
                    342:        BEGIN
1.15      cvs       343:        Create '<code';
1.1       cvs       344:        Create Attributes;
                    345:        Create '>';
1.15      cvs       346:        Create '</code>' After;
1.1       cvs       347:        END;
                    348:  Sample:
                    349:        BEGIN
1.15      cvs       350:        Create '<samp';
1.1       cvs       351:        Create Attributes;
                    352:        Create '>';
1.15      cvs       353:        Create '</samp>' After;
1.1       cvs       354:        END;
                    355:  Keyboard:
                    356:        BEGIN
1.15      cvs       357:        Create '<kbd';
1.1       cvs       358:        Create Attributes;
                    359:        Create '>';
1.15      cvs       360:        Create '</kbd>' After;
1.1       cvs       361:        END;
                    362:  Variable:
                    363:        BEGIN
1.15      cvs       364:        Create '<var';
1.1       cvs       365:        Create Attributes;
                    366:        Create '>';
1.15      cvs       367:        Create '</var>' After;
1.1       cvs       368:        END;
                    369:  Cite:
                    370:        BEGIN
1.15      cvs       371:        Create '<cite';
1.1       cvs       372:        Create Attributes;
                    373:        Create '>';
1.15      cvs       374:        Create '</cite>' After;
1.1       cvs       375:        END;
1.48      cvs       376:  ABBR:
                    377:        BEGIN
                    378:        Create '<abbr';
                    379:        Create Attributes;
                    380:        Create '>';
                    381:        Create '</abbr>' After;
                    382:        END;
                    383:  ACRONYM:
                    384:        BEGIN
                    385:        Create '<acronym';
                    386:        Create Attributes;
                    387:        Create '>';
                    388:        Create '</acronym>' After;
                    389:        END;
1.1       cvs       390: 
                    391:  Font_: BEGIN
1.15      cvs       392:        Create '<font';
1.1       cvs       393:        Create Attributes;
                    394:        Create '>';
1.15      cvs       395:        Create '</font>' After;
1.1       cvs       396:        END;
                    397: 
                    398:  Applet: BEGIN
1.15      cvs       399:        Create '<applet';
1.1       cvs       400:        Create Attributes;
                    401:        Create '>\12';
1.15      cvs       402:        Create '</applet>\12' After;    
1.1       cvs       403:        END;
                    404: 
                    405:  Parameter: BEGIN
1.15      cvs       406:        Create '<param';
1.1       cvs       407:        Create Attributes;
                    408:        Remove;
1.53      cvs       409: #ifdef XML
                    410:        Create ' />\12';
                    411: #else
1.1       cvs       412:        Create '>\12';
1.53      cvs       413: #endif
1.1       cvs       414:        END;
                    415: 
                    416:  Object: BEGIN
1.15      cvs       417:        Create '<object';
1.1       cvs       418:        Create Attributes;
                    419:        Create '>\12';
1.138     quint     420:        Indent +2;
                    421:        Indent -2 After;
1.15      cvs       422:        Create '</object>\12' After;    
1.1       cvs       423:        END;
1.20      cvs       424: 
1.49      cvs       425:  INS:  BEGIN
                    426:        Create '<ins';
                    427:        Create Attributes;
                    428:        Create '>';
1.53      cvs       429:        Create '</ins>' After;
1.49      cvs       430:        END;
                    431: 
                    432:  DEL:  BEGIN
                    433:        Create '<del';
                    434:        Create Attributes;
                    435:        Create '>';
1.53      cvs       436:        Create '</del>' After;
1.49      cvs       437:        END;
                    438: 
1.20      cvs       439:  Span: BEGIN
                    440:        Create '<span';
                    441:        Create Attributes;
                    442:        Create '>';
                    443:        Create '</span>' After;
                    444:        END;
1.29      cvs       445: 
1.48      cvs       446:  Quotation: BEGIN
                    447:        Create '<q';
                    448:        Create Attributes;
                    449:        Create '>';
                    450:        Create '</q>' After;
                    451:        END;
                    452: 
                    453:  BDO: BEGIN
                    454:        Create '<bdo';
                    455:        Create Attributes;
                    456:        Create '>';
                    457:        Create '</bdo>' After;
                    458:        END;
                    459: 
1.1       cvs       460:  Paragraph: BEGIN
1.80      cvs       461:        if not within List_Item and not within Definition and not first
                    462:                Create '\12';
                    463:        Create '<p';
1.16      cvs       464:        Create Attributes;
1.72      cvs       465:        Create '>';
1.80      cvs       466:        Create '</p>\12' After;
1.16      cvs       467:        END;
                    468: 
                    469:  Pseudo_paragraph: BEGIN
1.80      cvs       470:        if not last Create '\12' After;
1.1       cvs       471:        END;
                    472: 
                    473:  TEXT_UNIT: BEGIN
                    474:        IF Within Text_Input
                    475:                Remove;
                    476:        END;
                    477: 
                    478:  Definition_List: BEGIN
1.15      cvs       479:        Create '<dl';
1.1       cvs       480:        Create Attributes;
                    481:        Create '>\12';
1.80      cvs       482:        Indent +2;
                    483:        Indent -2 After;
1.15      cvs       484:        Create '</dl>\12' After;
1.1       cvs       485:        END;
                    486: 
                    487:  Term: BEGIN
1.15      cvs       488:        Create '<dt';
1.1       cvs       489:        Create Attributes;
                    490:        Create '>';
1.15      cvs       491:        Create '</dt>\12' After;
1.1       cvs       492:        END;
                    493: 
                    494:  Definition: BEGIN
1.80      cvs       495:        Indent +2;
1.15      cvs       496:        Create '<dd';
1.1       cvs       497:        Create Attributes;
                    498:        Create '>';
1.80      cvs       499:        Indent +2;
                    500:        Indent -2 After;
1.15      cvs       501:        Create '</dd>\12' After;
1.80      cvs       502:        Indent -2 After;
1.1       cvs       503:        END;
                    504: 
                    505:  Unnumbered_List: BEGIN
1.15      cvs       506:        Create '<ul';
1.1       cvs       507:        Create Attributes;
                    508:        Create '>\12';
1.80      cvs       509:        Indent +2;
                    510:        Indent -2 After;
1.15      cvs       511:        Create '</ul>\12' After;
1.1       cvs       512:        END;
                    513: 
                    514:  Numbered_List:        BEGIN
1.15      cvs       515:        Create '<ol';
1.1       cvs       516:        Create Attributes;
                    517:        Create '>\12';
1.80      cvs       518:        Indent +2;
                    519:        Indent -2 After;
1.15      cvs       520:        Create '</ol>\12' After;
1.1       cvs       521:        END;
                    522: 
                    523:  Address: BEGIN
1.15      cvs       524:        Create '<address';
1.1       cvs       525:        Create Attributes;
                    526:        Create '>\12';
1.80      cvs       527:        Indent +2;
                    528:        Indent -2 After;
                    529:        Create '\12</address>\12' After;
1.1       cvs       530:        END;
                    531: 
                    532:  Menu: BEGIN
1.15      cvs       533:        Create '<menu';
1.1       cvs       534:        Create Attributes;
                    535:        Create '>\12';
1.80      cvs       536:        Indent +2;
                    537:        Indent -2 After;
1.15      cvs       538:        Create '</menu>\12' After;
1.1       cvs       539:        END;
                    540: 
                    541:  Directory: BEGIN
1.15      cvs       542:        Create '<dir';
1.1       cvs       543:        Create Attributes;
                    544:        Create '>\12';
1.80      cvs       545:        Indent +2;
                    546:        Indent -2 After;
1.15      cvs       547:        Create '</dir>\12' After;
1.1       cvs       548:        END;
                    549: 
                    550:  List_Item: BEGIN
1.15      cvs       551:        Create '<li';
1.1       cvs       552:        Create Attributes;
                    553:        Create '>';
1.80      cvs       554:        Indent +2;
                    555:        Indent -2 After;
1.53      cvs       556:        Create '</li>\12' After;
1.1       cvs       557:        END;
                    558: 
                    559:  Preformatted: BEGIN
                    560:        NoLineBreak;
1.15      cvs       561:        Create '<pre';
1.1       cvs       562:        Create Attributes;
                    563:        Create '>';
1.84      cvs       564:        Indent Suspend;
                    565:         Indent Resume After;
1.15      cvs       566:        Create '</pre>\12' After;
1.1       cvs       567:        END;
                    568: 
                    569:  Horizontal_Rule: BEGIN
1.15      cvs       570:        Create '<hr';
1.1       cvs       571:        Create Attributes;
                    572:        Remove;
1.53      cvs       573: #ifdef XML
                    574:        Create ' />\12';
                    575: #else
                    576:        Create '>\12';
                    577: #endif
1.1       cvs       578:        END;
                    579: 
                    580:  Form: BEGIN
1.80      cvs       581:        Create '\12<form';
1.1       cvs       582:        Create Attributes;
                    583:        Create '>\12';
1.80      cvs       584:        Indent +2;
                    585:        Indent -2 After;
1.15      cvs       586:        Create '</form>\12' After;
1.1       cvs       587:        END;
                    588: 
                    589:  Option_Menu: BEGIN
1.15      cvs       590:        Create '\12<select';
1.1       cvs       591:        Create Attributes;
1.5       cvs       592:        Create '>';
1.80      cvs       593:        Indent +2;
                    594:        Indent -2 After;
1.15      cvs       595:        Create '\12</select>\12' After;
1.1       cvs       596:        END;
                    597: 
                    598:  Option: BEGIN
1.15      cvs       599:        Create '\12<option';
1.5       cvs       600:        Create Attributes;
                    601:        Create '>';
1.53      cvs       602:        Create '</option>' After;
1.1       cvs       603:        END;
                    604: 
1.62      cvs       605:  OptGroup: BEGIN
                    606:        Create '\12<optgroup';
                    607:        Create Attributes;
                    608:        Create '>';
1.80      cvs       609:        Indent +2;
                    610:        Indent -2 After;
                    611:        Create '\12</optgroup>' After;
1.62      cvs       612:        END;
                    613: 
1.1       cvs       614:  Text_Area: BEGIN
1.15      cvs       615:        Create '<textarea';
1.1       cvs       616:        Create Attributes;
                    617:        Create '>';
1.57      cvs       618:        Create '</textarea>' After;
1.1       cvs       619:        END;
                    620: 
1.63      cvs       621:  FIELDSET: BEGIN
                    622:        Create '<fieldset';
                    623:        Create Attributes;
                    624:        Create '>\12';
                    625:         Indent +2;
                    626:         Indent -2 After;
                    627:        Create '</fieldset>\12' After;
                    628:        END;
                    629: 
                    630:  LEGEND: BEGIN
                    631:        Create '<legend';
                    632:        Create Attributes;
                    633:        Create '>';
                    634:        Create '</legend>' After;
                    635:        END;
                    636: 
1.56      cvs       637:  LABEL: BEGIN
                    638:        Create '<label';
                    639:        Create Attributes;
                    640:        Create '>';
1.57      cvs       641:        Create '</label>' After;
1.56      cvs       642:        END;
                    643: 
1.119     cvs       644:  BUTTON_: BEGIN
1.56      cvs       645:        Create '<button';
                    646:        Create Attributes;
                    647:        Create '>';
1.57      cvs       648:        Create '</button>' After;
1.56      cvs       649:        END;
                    650: 
1.1       cvs       651:  Checkbox_Input: BEGIN
1.56      cvs       652:        Create '<input type="checkbox"';
1.1       cvs       653:        Create Attributes;
1.116     cvs       654:        Remove;
1.53      cvs       655: #ifdef XML
                    656:        Create ' />';
                    657: #else
1.1       cvs       658:        Create '>';
1.53      cvs       659: #endif
1.1       cvs       660:        END;
                    661: 
                    662:  Radio_Input: BEGIN
1.56      cvs       663:        Create '<input type="radio"';
1.1       cvs       664:        Create Attributes;
1.116     cvs       665:        Remove;
1.53      cvs       666: #ifdef XML
                    667:        Create ' />';
                    668: #else
1.1       cvs       669:        Create '>';
1.53      cvs       670: #endif
1.1       cvs       671:        END;
                    672: 
                    673:  Text_Input: BEGIN
1.56      cvs       674:        Create '<input type="text"';
1.1       cvs       675:        Create Attributes;
1.116     cvs       676:        Remove;
1.53      cvs       677: #ifdef XML
                    678:        Create ' />';
                    679: #else
1.1       cvs       680:        Create '>';
1.53      cvs       681: #endif
1.1       cvs       682:        END;
                    683: 
                    684:  Hidden_Input: BEGIN
1.56      cvs       685:        Create '<input type="hidden"';
1.1       cvs       686:        Create Attributes;
1.116     cvs       687:        Remove;
1.53      cvs       688: #ifdef XML
                    689:        Create ' />';
                    690: #else
1.1       cvs       691:        Create '>';
1.53      cvs       692: #endif
1.1       cvs       693:        END;
                    694: 
                    695:  Password_Input: BEGIN
1.56      cvs       696:        Create '<input type="password"';
1.1       cvs       697:        Create Attributes;
1.116     cvs       698:        Remove;
1.53      cvs       699: #ifdef XML
                    700:        Create ' />';
                    701: #else
1.1       cvs       702:        Create '>';
1.53      cvs       703: #endif
1.1       cvs       704:        END;
                    705: 
                    706:  File_Input: BEGIN
1.56      cvs       707:        Create '<input type="file"';
1.1       cvs       708:        Create Attributes;
1.116     cvs       709:        Remove;
1.53      cvs       710: #ifdef XML
                    711:        Create ' />';
                    712: #else
1.1       cvs       713:        Create '>';
1.53      cvs       714: #endif
1.1       cvs       715:        END;
                    716: 
                    717:  Reset_Input: BEGIN
1.56      cvs       718:        Create '\12<input type="reset"';
1.1       cvs       719:        Create Attributes;
1.116     cvs       720:        Remove;
1.53      cvs       721: #ifdef XML
                    722:        Create ' />';
                    723: #else
1.1       cvs       724:        Create '>';
1.53      cvs       725: #endif
1.1       cvs       726:        END;
                    727: 
                    728:  Submit_Input: BEGIN
1.56      cvs       729:        Create '\12<input type="submit"';
                    730:        Create Attributes;
1.116     cvs       731:        Remove;
1.56      cvs       732: #ifdef XML
                    733:        Create ' />';
                    734: #else
                    735:        Create '>';
                    736: #endif
                    737:        END;
                    738: 
                    739:  Button_Input: BEGIN
                    740:        Create '\12<input type="button"';
1.1       cvs       741:        Create Attributes;
1.116     cvs       742:        Remove;
1.53      cvs       743: #ifdef XML
                    744:        Create ' />';
                    745: #else
1.1       cvs       746:        Create '>';
1.53      cvs       747: #endif
1.1       cvs       748:        END;
                    749: 
                    750:  Block_Quote: BEGIN
1.80      cvs       751:        Create '\12<blockquote';
1.1       cvs       752:        Create Attributes;
                    753:        Create '>\12';
1.80      cvs       754:        Indent +2;
                    755:        Indent -2 After;
1.15      cvs       756:        Create '</blockquote>\12' After;
1.1       cvs       757:        END;
                    758: 
                    759:  PICTURE_UNIT: BEGIN
1.89      cvs       760:        if IsInput BEGIN
1.117     cvs       761:                Create '<input type="image"';
1.89      cvs       762:                Create Attributes;
                    763: #ifdef XML
1.99      cvs       764:                Create ' />';
1.89      cvs       765: #else
                    766:                Create '>';
                    767: #endif
                    768:                END;
1.10      cvs       769:        if Immediately within Object
                    770:                Remove;
1.89      cvs       771:        if NOT Immediately within Object AND NOT IsInput BEGIN
1.15      cvs       772:                Create '<img';
1.10      cvs       773:                Create Attributes;
1.53      cvs       774: #ifdef XML
1.99      cvs       775:                Create ' />';
1.53      cvs       776: #else
                    777:                Create '>';
                    778: #endif
1.10      cvs       779:                END;
                    780:        if NOT within Paragraph AND NOT Immediately within Object
1.99      cvs       781:            AND NOT within Pseudo_paragraph
1.10      cvs       782:                Create '\12' After;
1.1       cvs       783:        END;
                    784: 
1.122     cvs       785:  SVG_Image: BEGIN
                    786:        if IsInput BEGIN
                    787:                Create '<input type="image"';
                    788:                Create Attributes;
                    789: #ifdef XML
                    790:                Create ' />';
                    791: #else
                    792:                Create '>';
                    793: #endif
                    794:                END;
                    795:        if Immediately within Object
                    796:                Remove;
                    797:        if NOT Immediately within Object AND NOT IsInput BEGIN
                    798:                Create '<img';
                    799:                Create Attributes;
                    800: #ifdef XML
                    801:                Create ' />';
                    802: #else
                    803:                Create '>';
                    804: #endif
                    805:                END;
                    806:        if NOT within Paragraph AND NOT Immediately within Object
                    807:            AND NOT within Pseudo_paragraph
                    808:                Create '\12' After;
                    809:        END;
                    810: 
                    811:  SVG_ImageContent: BEGIN
                    812:        Remove;
                    813:        END;
                    814: 
1.136     quint     815:  Embed_: BEGIN
1.129     cvs       816:        if NOT Immediately within Object AND NOT IsInput BEGIN
                    817:                Create '<embed';
                    818:                Create Attributes;
                    819:                Create ' />';
                    820:                END;
                    821:        if NOT within Paragraph AND NOT Immediately within Object
                    822:            AND NOT within Pseudo_paragraph
                    823:                Create '\12' After;
                    824:        END;
                    825: 
                    826:  Embed_Content: BEGIN
                    827:        Remove;
                    828:        END;
                    829: 
1.1       cvs       830:  Anchor: BEGIN
1.114     kahan     831:         Create '<a';
                    832:         Create Attributes;
                    833:         Create '>';
                    834:         Create '</a>' After;
                    835:         END;
1.1       cvs       836: 
                    837:  MAP:
                    838:        BEGIN
1.15      cvs       839:        Create '<map';
1.1       cvs       840:        Create Attributes;
                    841:        Create '>\12';
1.80      cvs       842:        Indent +2;
                    843:        Indent -2 After;
                    844:        Create '</map>\12' After;
1.1       cvs       845:        END;
                    846: 
1.123     vatton    847:  map:
                    848:        BEGIN
                    849:        Create '<map';
                    850:        Create Attributes;
                    851:        Create '>\12';
                    852:        Indent +2;
                    853:        Indent -2 After;
                    854:        Create '</map>\12' After;
                    855:        END;
                    856: 
1.1       cvs       857:  AREA:
                    858:        BEGIN
1.15      cvs       859:        Create '<area';
1.116     cvs       860:        Create Attributes;
1.53      cvs       861:        Remove;
                    862: #ifdef XML
                    863:        Create ' />\12';
                    864: #else
1.1       cvs       865:        Create '>\12';
1.53      cvs       866: #endif
1.1       cvs       867:        END;
                    868: 
                    869: { ---- Tables ---- }
                    870: 
                    871:  Table:
                    872:        BEGIN
1.15      cvs       873:        Create '\12<table';
1.1       cvs       874:        Create Attributes;
                    875:        Create '>\12';
1.80      cvs       876:        Indent +2;
                    877:        Indent -2 after;
1.15      cvs       878:        Create '</table>\12' after;
1.1       cvs       879:        END;
                    880: 
                    881:  CAPTION:
                    882:        BEGIN
1.15      cvs       883:        Create '<caption';
1.1       cvs       884:        Create Attributes;
                    885:        Create '>';
1.15      cvs       886:        Create '</caption>\12' after;
1.1       cvs       887:        END;
                    888: 
1.69      cvs       889:  COLGROUP:
                    890:        BEGIN
                    891:        Create '<colgroup';
                    892:        Create Attributes;
                    893:        Create '>';
1.80      cvs       894:        Indent +2;
                    895:        Indent -2 after;
1.83      cvs       896:        Create '</colgroup>\12' after;
1.69      cvs       897:        END;
                    898: 
                    899:  COL:
                    900:        BEGIN
                    901:        Create '<col';
                    902:        Create Attributes;
1.116     cvs       903:        Remove;
                    904: #ifdef XML
                    905:        Create ' />';
                    906: #else
1.69      cvs       907:        Create '>';
1.116     cvs       908: #endif
1.69      cvs       909:        END;
                    910: 
1.1       cvs       911:  Table_head:
                    912:        Remove;
                    913: 
                    914:  thead:
                    915:        BEGIN
1.15      cvs       916:        Create '<thead';
1.1       cvs       917:        Create Attributes;
                    918:        Create '>\12';
1.80      cvs       919:        Indent +2;
                    920:        Indent -2 after;
1.15      cvs       921:        Create '</thead>\12' after;
1.1       cvs       922:        END;
                    923: 
                    924:  tfoot:
                    925:        BEGIN
1.15      cvs       926:        Create '<tfoot';
1.1       cvs       927:        Create Attributes;
                    928:        Create '>\12';
1.80      cvs       929:        Indent +2;
                    930:        Indent -2 after;
1.15      cvs       931:        Create '</tfoot>\12' after;
1.1       cvs       932:        END;
1.80      cvs       933: 
1.1       cvs       934:  tbody:
                    935:        BEGIN
1.15      cvs       936:        Create '<tbody';
1.1       cvs       937:        Create Attributes;
                    938:        Create '>\12';
1.80      cvs       939:        Indent +2;
                    940:        Indent -2 after;
1.15      cvs       941:        Create '</tbody>\12' after;
1.1       cvs       942:        END;
                    943: 
                    944:  Table_body:
                    945:        Get tfoot;
                    946: 
                    947:  Table_row:
                    948:        BEGIN
1.15      cvs       949:        Create '<tr';
1.1       cvs       950:        Create Attributes;
                    951:        Create '>\12';
1.80      cvs       952:        Indent +2;
                    953:        Indent -2 after;
1.15      cvs       954:        Create '</tr>\12' after;
1.1       cvs       955:        END;
                    956: 
                    957:  Data_cell:
                    958:        BEGIN
1.15      cvs       959:        Create '<td';
1.1       cvs       960:        Create Attributes;
                    961:        Create '>';
1.80      cvs       962:        Indent +2;
                    963:        Indent -2 after;
1.25      cvs       964:        Create '</td>\12' after;
1.1       cvs       965:        END;
                    966: 
                    967:  Heading_cell:
                    968:        BEGIN
1.15      cvs       969:        Create '<th';
1.1       cvs       970:        Create Attributes;
                    971:        Create '>';
1.80      cvs       972:        Indent +2;
                    973:        Indent -2 after;
1.25      cvs       974:        Create '</th>\12' after;
1.1       cvs       975:        END;
                    976: 
                    977:  Table_foot:
                    978:        BEGIN
                    979:        Remove;
                    980:        END;
                    981: 
                    982:  Division: BEGIN
1.15      cvs       983:        Create '\12<div';
1.1       cvs       984:        Create Attributes;
                    985:        Create '>\12';
1.15      cvs       986:        Create '</div>\12' After;
1.1       cvs       987:        END;
                    988: 
                    989:  Center: BEGIN
1.15      cvs       990:        Create '\12<center';
1.1       cvs       991:        Create Attributes;
                    992:        Create '>\12';
1.15      cvs       993:        Create '</center>\12' After;
1.1       cvs       994:        END;
                    995: 
1.50      cvs       996:  NOSCRIPT: BEGIN
                    997:        Create '\12<noscript';
                    998:        Create Attributes;
                    999:        Create '>\12';
                   1000:        Create '</noscript>\12' After;
                   1001:        END;
                   1002: 
1.8       cvs      1003:  Invalid_element:
                   1004:        BEGIN
1.77      cvs      1005: #ifdef XML
                   1006:        Remove;
                   1007: #else
1.8       cvs      1008:        if Error_type = BadPosition
                   1009:           Remove;
                   1010:        if not Error_type = BadPosition
                   1011:            BEGIN
                   1012:           NoTranslation;
                   1013:           Create Content;
                   1014:           Remove;
                   1015:           Create Attributes;
                   1016:           Create '>';
                   1017:           END;
1.77      cvs      1018: #endif
1.1       cvs      1019:        END;
                   1020: 
1.127     cvs      1021:  Unknown_namespace:
                   1022:        BEGIN
                   1023:           NoTranslation;
                   1024:           Create '\12';
                   1025:           Create Content;
                   1026:           Remove;
                   1027:           Create Attributes;
                   1028:           Create '>';
                   1029:        END;
                   1030: 
1.1       cvs      1031:  Comment\240: BEGIN
                   1032:        NoLineBreak;
1.80      cvs      1033:        Create '<!--';
1.27      cvs      1034:        NoTranslation;
1.1       cvs      1035:        Create '-->\12' after;
                   1036:        END;
                   1037: 
                   1038:  Comment_line: BEGIN
                   1039:        if not last create '\12' after;
                   1040:        END;
                   1041: 
1.115     cvs      1042:  XMLPI: BEGIN
                   1043:        NoLineBreak;
                   1044:        Create '<?';
                   1045:        NoTranslation;
                   1046:        Create '?>\12' after;
                   1047:        END;
                   1048: 
                   1049:  PI_line: BEGIN
                   1050:        if not last create '\12' after;
1.130     cvs      1051:        END;
                   1052: 
                   1053:  DOCTYPE: BEGIN
1.131     cvs      1054:        NoLineBreak;
1.130     cvs      1055:        Create '<!DOCTYPE ';
1.131     cvs      1056:        NoTranslation;
1.130     cvs      1057:        Create '>\12' After;
1.115     cvs      1058:        END;
1.131     cvs      1059: 
                   1060:  DOCTYPE_line:
                   1061:        if not last create '\12' after;
1.115     cvs      1062: 
1.135     cvs      1063:  CDATA: BEGIN
                   1064:        NoLineBreak;
                   1065:        Create '<![CDATA[';
                   1066:        NoTranslation;
                   1067:        Create ']]>\12' After;
                   1068:        END;
                   1069: 
                   1070:  CDATA_line:
                   1071:        if not last create '\12' after;
                   1072: 
1.58      cvs      1073:  FRAMESET: BEGIN
                   1074:        Create '<frameset';
                   1075:        Create Attributes;
                   1076:        Create '>\12';
                   1077:         indent +2;
                   1078:         indent -2 after;
                   1079:        Create '</frameset>\12' After;
                   1080:        END;
                   1081: 
                   1082:  Frames: BEGIN
                   1083:        END;
                   1084: 
                   1085:  NOFRAMES: BEGIN
                   1086:        Create '<noframes';
                   1087:        Create Attributes;
                   1088:        Create '>\12';
                   1089:         indent +2;
                   1090:         indent -2 after;
                   1091:        Create '</noframes>\12' After;
                   1092:        END;
                   1093: 
                   1094:  FRAME: BEGIN
                   1095:        Create '<frame';
1.116     cvs      1096:        Create Attributes;
1.58      cvs      1097:        Remove;
                   1098: #ifdef XML
                   1099:        Create ' />\12';
                   1100: #else
                   1101:        Create '>\12';
                   1102: #endif
                   1103:        END;
                   1104: 
                   1105:  IFRAME: BEGIN
                   1106:        Create '<iframe';
                   1107:        Create Attributes;
                   1108:        Create '>\12';
1.80      cvs      1109:        Indent +2;
                   1110:        Indent -2;
1.58      cvs      1111:        Create '</iframe>\12' After;    
                   1112:        END;
                   1113: 
1.121     cvs      1114:  ruby: BEGIN
                   1115:        Create '<ruby';
                   1116:        Create Attributes;
                   1117:        Create '>';
                   1118:        Create '</ruby>' After; 
                   1119:        END;
                   1120:  simple_ruby: BEGIN
                   1121:        Create '<ruby';
                   1122:        Create Attributes;
                   1123:        Create '>';
                   1124:        Create '</ruby>' After; 
                   1125:        END;
                   1126:  complex_ruby: BEGIN
                   1127:        Create '<ruby';
                   1128:        Create Attributes;
                   1129:        Create '>';
                   1130:        Create '</ruby>' After; 
                   1131:        END;
                   1132: 
                   1133:  rb:    BEGIN
                   1134:        Create '<rb';
                   1135:        Create Attributes;
                   1136:        Create '>';
                   1137:        Create '</rb>' After;   
                   1138:        END;
                   1139: 
                   1140:  rt:   BEGIN
                   1141:        Create '<rt';
                   1142:        Create Attributes;
                   1143:        Create '>';
                   1144:        Create '</rt>' After;   
                   1145:        END;
                   1146: 
                   1147:  rp:   BEGIN
                   1148:        Create '<rp';
                   1149:        Create Attributes;
                   1150:        Create '>';
                   1151:        Create '</rp>' After;   
                   1152:        END;
                   1153: 
                   1154:  rbc:  BEGIN
                   1155:        Create '<rbc';
                   1156:        Create Attributes;
                   1157:        Create '>';
                   1158:        Create '</rbc>' After;  
                   1159:        END;
                   1160: 
                   1161:  rtc1: BEGIN
                   1162:        Create '<rtc';
                   1163:        Create Attributes;
                   1164:        Create '>';
                   1165:        Create '</rtc>' After;  
                   1166:        END;
                   1167: 
                   1168:  rtc2: BEGIN
                   1169:        Create '<rtc';
                   1170:        Create Attributes;
                   1171:        Create '>';
                   1172:        Create '</rtc>' After;  
                   1173:        END;
                   1174: 
1.1       cvs      1175: ATTRIBUTES
1.18      cvs      1176: 
1.51      cvs      1177:  profile: BEGIN
                   1178:        Create ' profile="';
                   1179:        Create profile;
                   1180:        Create DoubleQuote;
                   1181:        END;
                   1182: 
1.128     cvs      1183:  Language:
1.87      cvs      1184:        BEGIN
1.20      cvs      1185:        IF not HTML
                   1186:            BEGIN
1.72      cvs      1187: #ifdef XML
                   1188:            Create ' xml:lang="';
1.128     cvs      1189:            Create Language;
1.72      cvs      1190:            Create DoubleQuote;
                   1191: #endif
1.124     cvs      1192: #ifndef XHTML11
1.95      cvs      1193:            Create ' lang="';
1.128     cvs      1194:            Create Language;
1.95      cvs      1195:            Create DoubleQuote;
1.124     cvs      1196: #endif
1.20      cvs      1197:            END;
1.87      cvs      1198:        IF HTML and RealLang
                   1199:            BEGIN
                   1200: #ifdef XML
                   1201:            Create ' xml:lang="';
1.128     cvs      1202:            Create Language;
1.87      cvs      1203:            Create DoubleQuote;
                   1204: #endif
1.124     cvs      1205: #ifndef XHTML11
1.95      cvs      1206:            Create ' lang="';
1.128     cvs      1207:            Create Language;
1.95      cvs      1208:            Create DoubleQuote;
1.124     cvs      1209: #endif
1.87      cvs      1210:            END;
                   1211:        END;
1.1       cvs      1212: 
1.51      cvs      1213:  content_type: BEGIN
                   1214:        Create ' type="';
                   1215:        Create content_type;
                   1216:        Create DoubleQuote;
                   1217:        END;
                   1218: 
                   1219:  script_language: BEGIN
                   1220:        Create ' language="';
                   1221:        Create script_language;
                   1222:        Create DoubleQuote;
                   1223:        END;
                   1224: 
                   1225:  script_src: BEGIN
                   1226:        Create ' src="';
                   1227:        Create script_src;
                   1228:        Create DoubleQuote;
                   1229:        END;
                   1230: 
                   1231:  defer: BEGIN
1.65      cvs      1232:        Create ' defer="defer"';
1.51      cvs      1233:        END;
                   1234: 
                   1235:  event: BEGIN
                   1236:        Create ' event="';
                   1237:        Create event;
                   1238:        Create DoubleQuote;
                   1239:        END;
                   1240: 
                   1241:  for_: BEGIN
                   1242:        Create ' for="';
                   1243:        Create for_;
                   1244:        Create DoubleQuote;
                   1245:        END;
                   1246: 
1.1       cvs      1247:  http_equiv: BEGIN
                   1248:        Create ' http-equiv="';
                   1249:        Create http_equiv;
1.12      cvs      1250:        Create DoubleQuote;
1.1       cvs      1251:        END;
                   1252: 
                   1253:  meta_name: BEGIN
                   1254:        Create ' name="';
                   1255:        Create meta_name;
1.12      cvs      1256:        Create DoubleQuote;
1.1       cvs      1257:        END;
                   1258: 
                   1259:  meta_content: BEGIN
1.140     vatton   1260:        Create ' content="';
1.65      cvs      1261:        Create Translated meta_content;
1.140     vatton   1262:        Create DoubleQuote;
1.1       cvs      1263:        END;
                   1264: 
1.51      cvs      1265:  scheme: BEGIN
                   1266:        Create ' scheme="';
                   1267:        Create scheme;
                   1268:        Create DoubleQuote;
                   1269:        END;
                   1270: 
                   1271:  charset: BEGIN
                   1272:        Create ' charset="';
                   1273:        Create charset;
                   1274:        Create DoubleQuote;
                   1275:        END;
                   1276: 
1.1       cvs      1277:  REL:  BEGIN
                   1278:        Create ' rel="';
                   1279:        Create REL;
1.12      cvs      1280:        Create DoubleQuote;
1.1       cvs      1281:        END;
                   1282: 
                   1283:  REV:  BEGIN
                   1284:        Create ' rev="';
                   1285:        Create REV;
1.12      cvs      1286:        Create DoubleQuote;
1.1       cvs      1287:        END;
                   1288: 
                   1289:  HREF_ :
                   1290:        BEGIN
1.114     kahan    1291:        Create ' href="';
                   1292:        Create Translated HREF_;
                   1293:        Create DoubleQuote;
1.49      cvs      1294:        END;
                   1295: 
1.51      cvs      1296:  hreflang :
                   1297:        BEGIN
                   1298:        Create ' hreflang="';
                   1299:        Create hreflang;
                   1300:        Create DoubleQuote;
                   1301:        END;
                   1302: 
                   1303:  media :
                   1304:        BEGIN
                   1305:        Create ' media="';
                   1306:        Create media;
                   1307:        Create DoubleQuote;
                   1308:        END;
                   1309: 
                   1310:  target_ :
                   1311:        BEGIN
                   1312:        Create ' target="';
1.102     cvs      1313:        Create Translated target_;
1.51      cvs      1314:        Create DoubleQuote;
                   1315:        END;
                   1316: 
1.49      cvs      1317:  cite:
                   1318:        BEGIN
                   1319:        Create ' cite="';
1.102     cvs      1320:        Create Translated cite;
1.49      cvs      1321:        Create DoubleQuote;
                   1322:        END;
                   1323: 
                   1324:  datetime:
                   1325:        BEGIN
                   1326:        Create ' datetime="';
                   1327:        Create datetime;
1.12      cvs      1328:        Create DoubleQuote;
1.1       cvs      1329:        END;
                   1330: 
                   1331:  background_ :
                   1332:        BEGIN
                   1333:        Create ' background="';
1.102     cvs      1334:        Create Translated background_;
1.12      cvs      1335:        Create DoubleQuote;
1.1       cvs      1336:        END;
                   1337: 
                   1338:  BackgroundColor :
                   1339:        BEGIN
                   1340:        Create ' bgcolor="';
                   1341:        Create BackgroundColor;
1.12      cvs      1342:        Create DoubleQuote;
1.1       cvs      1343:        END;
                   1344: 
                   1345:  TextColor :
                   1346:        BEGIN
                   1347:        Create ' text="';
                   1348:        Create TextColor;
1.12      cvs      1349:        Create DoubleQuote;
1.1       cvs      1350:        END;
                   1351: 
                   1352:  LinkColor :
                   1353:        BEGIN
                   1354:        Create ' link="';
                   1355:        Create LinkColor;
1.12      cvs      1356:        Create DoubleQuote;
1.1       cvs      1357:        END;
                   1358: 
                   1359:  VisitedLinkColor :
                   1360:        BEGIN
                   1361:        Create ' vlink="';
                   1362:        Create VisitedLinkColor;
1.12      cvs      1363:        Create DoubleQuote;
1.1       cvs      1364:        END;
                   1365: 
                   1366:  ActiveLinkColor :
                   1367:        BEGIN
                   1368:        Create ' alink="';
                   1369:        Create ActiveLinkColor;
1.12      cvs      1370:        Create DoubleQuote;
1.1       cvs      1371:        END;
                   1372: 
                   1373:  BaseFontSize:
                   1374:        BEGIN
1.12      cvs      1375:        Create ' size="';
1.1       cvs      1376:        Create BaseFontSize;
1.12      cvs      1377:        Create DoubleQuote;
1.1       cvs      1378:        END;
                   1379: 
1.48      cvs      1380:  BaseFontColor:
                   1381:        BEGIN
                   1382:        Create ' color="';
                   1383:        Create BaseFontColor;
                   1384:        Create DoubleQuote;
                   1385:        END;
                   1386: 
                   1387:  BaseFontFace:
                   1388:        BEGIN
1.70      cvs      1389:        Create ' face="';
1.48      cvs      1390:        Create BaseFontFace;
                   1391:        Create DoubleQuote;
                   1392:        END;
                   1393: 
1.1       cvs      1394:  Font_size :
                   1395:        BEGIN
                   1396:        Create ' size="';
                   1397:        Create Font_size;
1.12      cvs      1398:        Create DoubleQuote;
1.1       cvs      1399:        END;
                   1400: 
                   1401:  color :
                   1402:        BEGIN
                   1403:        Create ' color="';
                   1404:        Create color;
1.48      cvs      1405:        Create DoubleQuote;
                   1406:        END;
                   1407: 
                   1408:  face :
                   1409:        BEGIN
                   1410:        Create ' face="';
                   1411:        Create face;
1.12      cvs      1412:        Create DoubleQuote;
1.1       cvs      1413:        END;
1.6       cvs      1414: 
                   1415:  Clear = Left_:
1.46      cvs      1416:        Create ' clear="left"';
1.6       cvs      1417:  Clear = Right_:
1.46      cvs      1418:        Create ' clear="right"';
1.9       cvs      1419:  Clear = All_:
1.46      cvs      1420:        Create ' clear="all"';
1.96      cvs      1421:  Clear = None_:
1.46      cvs      1422:        Create ' clear="none"';
1.1       cvs      1423: 
                   1424:  Align = left_:
1.46      cvs      1425:        Create ' align="left"';
1.1       cvs      1426:  Align = center_:
1.46      cvs      1427:        Create ' align="center"';
1.1       cvs      1428:  Align = right_:
1.46      cvs      1429:        Create ' align="right"';
                   1430: 
                   1431:  TextAlign = left_:
                   1432:        Create ' align="left"';
                   1433:  TextAlign = center_:
                   1434:        Create ' align="center"';
                   1435:  TextAlign = right_:
                   1436:        Create ' align="right"';
                   1437:  TextAlign = justify_:
                   1438:        Create ' align="justify"';
1.1       cvs      1439: 
                   1440:  NoShade:
1.65      cvs      1441:        Create ' noshade="noshade"';
1.1       cvs      1442: 
                   1443:  Size_: BEGIN
                   1444:        Create ' size="';
                   1445:        Create Size_;
1.12      cvs      1446:        Create DoubleQuote;
1.1       cvs      1447:        END;
                   1448: 
                   1449:  Width__: BEGIN
                   1450:        Create ' width="';
                   1451:        Create Width__;
1.12      cvs      1452:        Create DoubleQuote;
1.1       cvs      1453:        END;
                   1454: 
1.51      cvs      1455:  declare:
1.65      cvs      1456:        Create ' declare="declare"';
1.51      cvs      1457: 
1.1       cvs      1458:  codebase: BEGIN
                   1459:        Create ' codebase="';
                   1460:        Create codebase;
1.12      cvs      1461:        Create DoubleQuote;
1.1       cvs      1462:        END;
                   1463: 
                   1464:  code: BEGIN
                   1465:        Create ' code="';
                   1466:        Create code;
1.12      cvs      1467:        Create DoubleQuote;
1.1       cvs      1468:        END;
                   1469: 
1.51      cvs      1470:  object: BEGIN
                   1471:        Create ' object="';
                   1472:        Create object;
                   1473:        Create DoubleQuote;
                   1474:        END;
                   1475: 
1.1       cvs      1476:  applet_name: BEGIN
                   1477:        Create ' name="';
                   1478:        Create applet_name;
1.12      cvs      1479:        Create DoubleQuote;
1.1       cvs      1480:        END;
                   1481: 
                   1482:  Param_name: BEGIN
                   1483:        Create ' name="';
                   1484:        Create Param_name;
1.12      cvs      1485:        Create DoubleQuote;
1.1       cvs      1486:        END;
                   1487: 
                   1488:  Param_value: BEGIN
                   1489:        Create ' value="';
                   1490:        Create Param_value;
1.12      cvs      1491:        Create DoubleQuote;
1.1       cvs      1492:        END;
1.46      cvs      1493: 
1.51      cvs      1494:  valuetype = data_:
                   1495:        Create ' valuetype="data"';
                   1496:  valuetype = ref:
                   1497:        Create ' valuetype="ref"';
                   1498:  valuetype = object_:
                   1499:        Create ' valuetype="object"';
                   1500: 
                   1501:  Param_type: BEGIN
                   1502:        Create ' type="';
                   1503:        Create Param_type;
                   1504:        Create DoubleQuote;
                   1505:        END;
                   1506: 
1.1       cvs      1507:  classid: BEGIN
                   1508:        Create ' classid="';
                   1509:        Create classid;
1.12      cvs      1510:        Create DoubleQuote;
1.1       cvs      1511:        END;
                   1512: 
                   1513:  data: BEGIN
                   1514:        Create ' data="';
                   1515:        Create data;
1.12      cvs      1516:        Create DoubleQuote;
1.1       cvs      1517:        END;
                   1518: 
                   1519:  Object_type: BEGIN
                   1520:        Create ' type="';
                   1521:        Create Object_type;
1.12      cvs      1522:        Create DoubleQuote;
1.1       cvs      1523:        END;
                   1524: 
1.38      cvs      1525:  Link_type: BEGIN
                   1526:        Create ' type="';
                   1527:        Create Link_type;
                   1528:        Create DoubleQuote;
                   1529:        END;
                   1530: 
1.1       cvs      1531:  codetype: BEGIN
                   1532:        Create ' codetype="';
                   1533:        Create codetype;
1.12      cvs      1534:        Create DoubleQuote;
1.1       cvs      1535:        END;
1.46      cvs      1536: 
1.51      cvs      1537:  archive: BEGIN
                   1538:        Create ' archive="';
                   1539:        Create archive;
                   1540:        Create DoubleQuote;
                   1541:        END;
                   1542: 
                   1543:  standby: BEGIN
                   1544:        Create ' standby="';
                   1545:        Create standby;
                   1546:        Create DoubleQuote;
                   1547:        END;
                   1548: 
1.1       cvs      1549:  Title : BEGIN
                   1550:        Create ' title="';
1.65      cvs      1551:        Create Translated Title;
1.12      cvs      1552:        Create DoubleQuote;
1.1       cvs      1553:        END;
                   1554: 
1.51      cvs      1555:  accesskey: BEGIN
                   1556:        Create ' accesskey="';
                   1557:        Create accesskey;
                   1558:        Create DoubleQuote;
                   1559:        END;
                   1560: 
                   1561:  tabindex: BEGIN
                   1562:        Create ' tabindex="';
                   1563:        Create tabindex;
                   1564:        Create DoubleQuote;
                   1565:        END;
1.56      cvs      1566: 
                   1567:  Associated_control: BEGIN
                   1568:        Create ' for="';
                   1569:        Create Associated_control;
                   1570:        Create DoubleQuote;
                   1571:        END;
                   1572: 
                   1573:  Button_type = button:
                   1574:        Create ' type="button"';
                   1575:  Button_type = submit:
                   1576:        Create ' type="submit"';
                   1577:  Button_type = reset:
                   1578:        Create ' type="reset"';
1.51      cvs      1579: 
1.1       cvs      1580:  Class: BEGIN
1.22      cvs      1581:        Create ' class="';
                   1582:        Create Class;
                   1583:        Create DoubleQuote;
1.1       cvs      1584:        END;
                   1585: 
1.46      cvs      1586:  Style\240: BEGIN
1.22      cvs      1587:        IF not Within HEAD
1.1       cvs      1588:            BEGIN
1.140     vatton   1589:            Create ' style="';
1.1       cvs      1590:            Create Style\240;
1.140     vatton   1591:            Create DoubleQuote;
1.1       cvs      1592:            END;
                   1593:        END;
1.20      cvs      1594: 
                   1595:  ID:   BEGIN
1.114     kahan    1596:        Create ' id="';
                   1597:        Create ID;
                   1598:        Create DoubleQuote;
1.20      cvs      1599:        END;
1.46      cvs      1600: 
1.132     quint    1601:  dir = ltr_ :
1.134     quint    1602:        if not Document
                   1603:            Create ' dir="ltr"';
1.132     quint    1604:  dir = rtl_ :
1.134     quint    1605:        if not Document
                   1606:            Create ' dir="rtl"';
1.46      cvs      1607: 
                   1608:  onclick: BEGIN
                   1609:        Create ' onclick="';
                   1610:        Create onclick;
                   1611:        Create DoubleQuote;
                   1612:        END;
                   1613: 
                   1614:  ondblclick: BEGIN
                   1615:        Create ' ondblclick="';
                   1616:        Create ondblclick;
                   1617:        Create DoubleQuote;
                   1618:        END;
                   1619: 
                   1620:  onmousedown: BEGIN
                   1621:        Create ' onmousedown="';
                   1622:        Create onmousedown;
                   1623:        Create DoubleQuote;
                   1624:        END;
                   1625: 
                   1626:  onmouseup: BEGIN
                   1627:        Create ' onmouseup="';
                   1628:        Create onmouseup;
                   1629:        Create DoubleQuote;
                   1630:        END;
                   1631: 
                   1632:  onmouseover: BEGIN
                   1633:        Create ' onmouseover="';
                   1634:        Create onmouseover;
                   1635:        Create DoubleQuote;
                   1636:        END;
                   1637: 
                   1638:  onmousemove: BEGIN
                   1639:        Create ' onmousemove="';
                   1640:        Create onmousemove;
                   1641:        Create DoubleQuote;
                   1642:        END;
                   1643: 
                   1644:  onmouseout: BEGIN
                   1645:        Create ' onmouseout="';
                   1646:        Create onmouseout;
                   1647:        Create DoubleQuote;
                   1648:        END;
                   1649: 
                   1650:  onkeypress: BEGIN
                   1651:        Create ' onkeypress="';
                   1652:        Create onkeypress;
                   1653:        Create DoubleQuote;
                   1654:        END;
                   1655: 
                   1656:  onkeydown: BEGIN
                   1657:        Create ' onkeydown="';
                   1658:        Create onkeydown;
                   1659:        Create DoubleQuote;
                   1660:        END;
                   1661: 
                   1662:  onkeyup: BEGIN
                   1663:        Create ' onkeyup="';
                   1664:        Create onkeyup;
                   1665:        Create DoubleQuote;
                   1666:        END;
1.1       cvs      1667: 
1.51      cvs      1668:  onload: BEGIN
                   1669:        Create ' onload="';
                   1670:        Create onload;
                   1671:        Create DoubleQuote;
                   1672:        END;
                   1673: 
                   1674:  onunload: BEGIN
                   1675:        Create ' onunload="';
                   1676:        Create onunload;
                   1677:        Create DoubleQuote;
                   1678:        END;
                   1679: 
                   1680:  onfocus: BEGIN
                   1681:        Create ' onfocus="';
                   1682:        Create onfocus;
                   1683:        Create DoubleQuote;
                   1684:        END;
                   1685: 
                   1686:  onblur: BEGIN
                   1687:        Create ' onblur="';
                   1688:        Create onblur;
                   1689:        Create DoubleQuote;
                   1690:        END;
                   1691: 
                   1692:  onsubmit: BEGIN
                   1693:        Create ' onsubmit="';
                   1694:        Create onsubmit;
                   1695:        Create DoubleQuote;
                   1696:        END;
                   1697: 
                   1698:  onreset: BEGIN
                   1699:        Create ' onreset="';
                   1700:        Create onreset;
                   1701:        Create DoubleQuote;
                   1702:        END;
                   1703: 
                   1704:  onselect: BEGIN
                   1705:        Create ' onselect="';
                   1706:        Create onselect;
                   1707:        Create DoubleQuote;
                   1708:        END;
                   1709: 
                   1710:  onchange: BEGIN
                   1711:        Create ' onchange="';
                   1712:        Create onchange;
                   1713:        Create DoubleQuote;
                   1714:        END;
                   1715: 
1.1       cvs      1716:  BulletStyle = disc :
1.46      cvs      1717:        Create ' type="disc"';
1.1       cvs      1718:  BulletStyle = square :
1.46      cvs      1719:        Create ' type="square"';
1.1       cvs      1720:  BulletStyle = circle :
1.46      cvs      1721:        Create ' type="circle"';
1.1       cvs      1722: 
                   1723:  COMPACT:
1.65      cvs      1724:        Create ' compact="compact"';
1.1       cvs      1725: 
                   1726:  NumberStyle = Arabic_ :
1.46      cvs      1727:        Create ' type="1"';
1.1       cvs      1728:  NumberStyle = LowerAlpha :
1.46      cvs      1729:        Create ' type="a"';
1.1       cvs      1730:  NumberStyle = UpperAlpha :
1.46      cvs      1731:        Create ' type="A"';
1.1       cvs      1732:  NumberStyle = LowerRoman :
1.46      cvs      1733:        Create ' type="i"';
1.1       cvs      1734:  NumberStyle = UpperRoman :
1.46      cvs      1735:        Create ' type="I"';
1.1       cvs      1736: 
                   1737:  Start > 1: BEGIN
                   1738:        Create ' start="';
                   1739:        Create Start;
1.12      cvs      1740:        Create DoubleQuote;
1.1       cvs      1741:        END;
                   1742: 
                   1743:  ItemStyle = disc :
1.46      cvs      1744:        Create ' type="disc"';
1.1       cvs      1745:  ItemStyle = square :
1.46      cvs      1746:        Create ' type="square"';
1.1       cvs      1747:  ItemStyle = circle :
1.46      cvs      1748:        Create ' type="circle"';
1.1       cvs      1749:  ItemStyle = Arabic_ :
1.46      cvs      1750:        Create ' type="1"';
1.1       cvs      1751:  ItemStyle = LowerAlpha :
1.46      cvs      1752:        Create ' type="a"';
1.1       cvs      1753:  ItemStyle = UpperAlpha :
1.46      cvs      1754:        Create ' type="A"';
1.1       cvs      1755:  ItemStyle = LowerRoman :
1.46      cvs      1756:        Create ' type="i"';
1.1       cvs      1757:  ItemStyle = UpperRoman :
1.46      cvs      1758:        Create ' type="I"';
1.1       cvs      1759: 
                   1760:  ItemValue: BEGIN
                   1761:        Create ' value="';
                   1762:        Create ItemValue;
1.12      cvs      1763:        Create DoubleQuote;
1.1       cvs      1764:        END;
                   1765: 
                   1766:  Script_URL: BEGIN
                   1767:        Create ' action="';
                   1768:        Create Script_URL;
1.12      cvs      1769:        Create DoubleQuote;
1.1       cvs      1770:        END;
                   1771: 
                   1772:  METHOD=Post_:
1.15      cvs      1773:        Create ' method="post"';
1.1       cvs      1774: 
                   1775:  METHOD=Get_:
1.15      cvs      1776:        Create ' method="get"';
1.1       cvs      1777: 
                   1778:  ENCTYPE: BEGIN
                   1779:        Create ' enctype="';
                   1780:        Create ENCTYPE;
1.12      cvs      1781:        Create DoubleQuote;
1.1       cvs      1782:        END;
                   1783: 
1.51      cvs      1784:  accept_charset: BEGIN
                   1785:        Create ' accept-charset="';
                   1786:        Create accept_charset;
                   1787:        Create DoubleQuote;
                   1788:        END;
                   1789: 
1.1       cvs      1790:  NAME: BEGIN
1.125     cvs      1791: #ifndef XHTML11
1.114     kahan    1792:        Create ' name="';
1.125     cvs      1793:         Create NAME;
                   1794:         Create DoubleQuote;
                   1795: #endif
1.72      cvs      1796: #ifdef XML
1.114     kahan    1797:        if Anchor and not ID BEGIN
1.85      cvs      1798:                        Create ' id="';
1.125     cvs      1799:                Create NAME;
                   1800:                        Create DoubleQuote;
                   1801:                END;
                   1802: #endif
                   1803: #ifdef XHTML11
                   1804:        if map and not ID BEGIN
                   1805:                        Create ' id="';
                   1806:                Create NAME;
                   1807:                        Create DoubleQuote;
                   1808:                END;
                   1809:        if MAP and not ID BEGIN
                   1810:                        Create ' id="';
                   1811:                Create NAME;
                   1812:                        Create DoubleQuote;
                   1813:                END;
                   1814:        if not map and not MAP and not Anchor BEGIN
                   1815:                        Create ' name="';
1.85      cvs      1816:                Create NAME;
                   1817:                        Create DoubleQuote;
                   1818:                END;
1.72      cvs      1819: #endif
1.1       cvs      1820:        END;
                   1821: 
                   1822:  Multiple:
1.65      cvs      1823:        Create ' multiple="multiple"';
1.1       cvs      1824: 
1.4       cvs      1825:  MenuSize: BEGIN
1.12      cvs      1826:        Create ' size="';
1.4       cvs      1827:        Create MenuSize;
1.12      cvs      1828:        Create DoubleQuote;
1.4       cvs      1829:        END;
1.5       cvs      1830: 
                   1831:  Selected:
1.65      cvs      1832:        Create ' selected="selected"';
1.4       cvs      1833: 
1.9       cvs      1834:  Value_: BEGIN
1.1       cvs      1835:        Create ' value="';
1.13      cvs      1836:        Create Value_;
1.12      cvs      1837:        Create DoubleQuote;
1.1       cvs      1838:        END;
                   1839: 
                   1840:  Rows: BEGIN
1.12      cvs      1841:        Create ' rows="';
1.1       cvs      1842:        Create Rows;
1.12      cvs      1843:        Create DoubleQuote;
1.1       cvs      1844:        END;
                   1845: 
                   1846:  Columns: BEGIN
1.12      cvs      1847:        Create ' cols="';
1.1       cvs      1848:        Create Columns;
1.12      cvs      1849:        Create DoubleQuote;
1.1       cvs      1850:        END;
                   1851: 
                   1852:  Checked = Yes_:
1.65      cvs      1853:        Create ' checked="checked"';
1.1       cvs      1854: 
1.51      cvs      1855:  disabled:
1.65      cvs      1856:        Create ' disabled="disabled"';
1.51      cvs      1857: 
                   1858:  readonly:
1.65      cvs      1859:        Create ' readonly="readonly"';
1.51      cvs      1860: 
                   1861:  label: BEGIN
                   1862:        Create ' label="';
                   1863:        Create label;
                   1864:        Create DoubleQuote;
                   1865:        END;
                   1866: 
                   1867:  accept: BEGIN
                   1868:        Create ' accept="';
                   1869:        Create accept;
                   1870:        Create DoubleQuote;
                   1871:        END;
1.63      cvs      1872: 
                   1873:  LAlign = Top_:
                   1874:        Create ' align="top"';
                   1875:  LAlign = Bottom_:
                   1876:        Create ' align="bottom"';
                   1877:  LAlign = Left_:
                   1878:        Create ' align="left"';
                   1879:  LAlign = Right_:
                   1880:        Create ' align="right"';
1.51      cvs      1881: 
1.1       cvs      1882:  Area_Size: BEGIN
1.12      cvs      1883:        Create ' size="';
1.1       cvs      1884:        Create Area_Size;
1.12      cvs      1885:        Create DoubleQuote;
1.1       cvs      1886:        END;
                   1887: 
                   1888:  MaxLength: BEGIN
1.12      cvs      1889:        Create ' maxlength="';
1.1       cvs      1890:        Create MaxLength;
1.12      cvs      1891:        Create DoubleQuote;
1.1       cvs      1892:        END;
                   1893: 
                   1894:  SRC:  BEGIN
1.78      cvs      1895:        if not Immediately within Object
                   1896:           BEGIN
                   1897:           Create ' src="';
1.102     cvs      1898:           Create Translated SRC;
1.78      cvs      1899:           Create DoubleQuote;
                   1900:           END;
1.1       cvs      1901:        END;
                   1902: 
                   1903:  ALT:  BEGIN
1.78      cvs      1904:        if not Immediately within Object
                   1905:           BEGIN
                   1906:           Create ' alt="';
                   1907:           Create Translated ALT;
                   1908:           Create DoubleQuote;
                   1909:           END;
1.1       cvs      1910:        END;
                   1911: 
1.51      cvs      1912:  longdesc: BEGIN
                   1913:        Create ' longdesc="';
                   1914:        Create longdesc;
                   1915:        Create DoubleQuote;
                   1916:        END;
                   1917: 
1.1       cvs      1918:  Alignment = Top_:
1.46      cvs      1919:        Create ' align="top"';
1.1       cvs      1920:  Alignment = Middle_:
1.46      cvs      1921:        Create ' align="middle"';
1.1       cvs      1922:  Alignment = Bottom_:
1.46      cvs      1923:        Create ' align="bottom"';
1.1       cvs      1924:  Alignment = Left_:
1.46      cvs      1925:        Create ' align="left"';
1.1       cvs      1926:  Alignment = Right_:
1.46      cvs      1927:        Create ' align="right"';
1.1       cvs      1928: 
                   1929:  Height_: BEGIN
                   1930:        Create ' height="';
                   1931:        Create Height_;
1.12      cvs      1932:        Create DoubleQuote;
1.1       cvs      1933:        END;
                   1934: 
                   1935:  Img_border: BEGIN
                   1936:        Create ' border="';
                   1937:        Create Img_border;
1.12      cvs      1938:        Create DoubleQuote;
1.1       cvs      1939:        END;
                   1940: 
                   1941:  hspace: BEGIN
                   1942:        Create ' hspace="';
                   1943:        Create hspace;
1.12      cvs      1944:        Create DoubleQuote;
1.1       cvs      1945:        END;
                   1946: 
                   1947:  vspace: BEGIN
                   1948:        Create ' vspace="';
                   1949:        Create vspace;
1.12      cvs      1950:        Create DoubleQuote;
1.1       cvs      1951:        END;
                   1952: 
                   1953:  ISMAP:
1.65      cvs      1954:        Create ' ismap="ismap"';
1.1       cvs      1955: 
                   1956:  USEMAP: BEGIN
                   1957:        Create ' usemap="';
                   1958:        Create USEMAP;
1.12      cvs      1959:        Create DoubleQuote;
1.1       cvs      1960:        END;
                   1961: 
                   1962:  nohref:
1.65      cvs      1963:        Create ' nohref="nohref"';
1.1       cvs      1964: 
                   1965:  shape = rectangle:
1.46      cvs      1966:        Create ' shape="rect"';
1.1       cvs      1967:  shape = circle:
1.46      cvs      1968:        Create ' shape="circle"';
1.1       cvs      1969:  shape = polygon:
1.46      cvs      1970:        Create ' shape="poly"';
1.1       cvs      1971: 
                   1972:  coords: BEGIN
                   1973:        Create ' coords="';
                   1974:        Create coords;
1.108     cvs      1975:        Create DoubleQuote;
                   1976:        END;
1.1       cvs      1977: 
1.51      cvs      1978:  summary: BEGIN
                   1979:        Create ' summary="';
1.65      cvs      1980:        Create Translated summary;
1.51      cvs      1981:        Create DoubleQuote;
                   1982:        END;
                   1983: 
                   1984:  frame = void:
                   1985:        Create ' frame="void"';
                   1986:  frame = above:
                   1987:        Create ' frame="above"';
                   1988:  frame = below:
                   1989:        Create ' frame="below"';
                   1990:  frame = hsides:
                   1991:        Create ' frame="hsides"';
                   1992:  frame = lhs:
                   1993:        Create ' frame="lhs"';
                   1994:  frame = rhs:
                   1995:        Create ' frame="rhs"';
                   1996:  frame = vsides:
                   1997:        Create ' frame="vsides"';
                   1998:  frame = box:
                   1999:        Create ' frame="box"';
                   2000:  frame = border:
                   2001:        Create ' frame="border"';
                   2002:  
1.96      cvs      2003:  rules_ = none_:
1.51      cvs      2004:        Create ' rules="none"';
                   2005:  rules_ = groups:
                   2006:        Create ' rules="groups"';
                   2007:  rules_ = rows:
                   2008:        Create ' rules="rows"';
                   2009:  rules_ = cols:
                   2010:        Create ' rules="cols"';
                   2011:  rules_ = all:
                   2012:        Create ' rules="all"';
                   2013: 
1.1       cvs      2014:  Border: BEGIN
1.12      cvs      2015:        Create ' border="';
1.1       cvs      2016:        Create Border;
1.12      cvs      2017:        Create DoubleQuote;
1.1       cvs      2018:        END;
                   2019: 
                   2020:  cellspacing: BEGIN
                   2021:        Create ' cellspacing="';
                   2022:        Create cellspacing;
1.12      cvs      2023:        Create DoubleQuote;
1.1       cvs      2024:        END;
                   2025: 
                   2026:  cellpadding: BEGIN
                   2027:        Create ' cellpadding="';
                   2028:        Create cellpadding;
1.12      cvs      2029:        Create DoubleQuote;
1.1       cvs      2030:        END;
                   2031: 
1.51      cvs      2032:  datapagesize: BEGIN
                   2033:        Create ' datapagesize="';
                   2034:        Create datapagesize;
                   2035:        Create DoubleQuote;
                   2036:        END;
                   2037: 
1.1       cvs      2038:  Position = Position_top:
1.46      cvs      2039:         Create ' align="top"';
1.1       cvs      2040:  Position = Position_bottom:
1.46      cvs      2041:         Create ' align="bottom"';
1.51      cvs      2042:  Position = Position_left:
1.46      cvs      2043:         Create ' align="left"';
1.51      cvs      2044:  Position = Position_right:
1.46      cvs      2045:         Create ' align="right"';
1.51      cvs      2046: 
1.1       cvs      2047:  Row_valign = Row_top:
1.46      cvs      2048:         Create ' valign="top"';
1.1       cvs      2049:  Row_valign = Row_middle:
1.46      cvs      2050:         Create ' valign="middle"';
1.1       cvs      2051:  Row_valign = Row_bottom:
1.46      cvs      2052:         Create ' valign="bottom"';
1.51      cvs      2053:  Row_valign = Row_baseline:
                   2054:         Create ' valign="baseline"';
1.1       cvs      2055: 
1.51      cvs      2056:  abbr: BEGIN
1.88      cvs      2057:        Create ' abbr="';
1.65      cvs      2058:        Create Translated abbr;
1.51      cvs      2059:        Create DoubleQuote;
                   2060:        END;
                   2061: 
                   2062:  axis: BEGIN
1.88      cvs      2063:        Create ' axis="';
1.51      cvs      2064:        Create axis;
                   2065:        Create DoubleQuote;
                   2066:        END;
                   2067: 
                   2068:  headers: BEGIN
1.88      cvs      2069:        Create ' headers="';
1.51      cvs      2070:        Create headers;
                   2071:        Create DoubleQuote;
                   2072:        END;
                   2073: 
                   2074:  scope: BEGIN
1.88      cvs      2075:        Create ' scope="';
1.51      cvs      2076:        Create scope;
1.69      cvs      2077:        Create DoubleQuote;
                   2078:        END;
                   2079: 
                   2080:  span_: BEGIN
                   2081:        Create ' span="';
                   2082:        Create span_;
1.12      cvs      2083:        Create DoubleQuote;
1.1       cvs      2084:        END;
                   2085: 
1.39      cvs      2086:  rowspan_: BEGIN
1.12      cvs      2087:        Create ' rowspan="';
1.39      cvs      2088:        Create rowspan_;
1.12      cvs      2089:        Create DoubleQuote;
1.1       cvs      2090:        END;
                   2091: 
1.51      cvs      2092:  colspan_: BEGIN
                   2093:        Create ' colspan="';
                   2094:        Create colspan_;
                   2095:        Create DoubleQuote;
                   2096:        END;
                   2097: 
1.1       cvs      2098:  Cell_align = Cell_left:
1.46      cvs      2099:        Create ' align="left"';
1.1       cvs      2100:  Cell_align = Cell_center:
1.46      cvs      2101:        Create ' align="center"';
1.1       cvs      2102:  Cell_align = Cell_right:
1.46      cvs      2103:        Create ' align="right"';
1.51      cvs      2104:  Cell_align = Cell_justify:
                   2105:        Create ' align="justify"';
                   2106:  Cell_align = Cell_char:
                   2107:        Create ' align="char"';
                   2108: 
                   2109:  char: BEGIN
                   2110:        Create ' char="';
                   2111:        Create char;
                   2112:        Create DoubleQuote;
                   2113:        END;
1.1       cvs      2114: 
1.51      cvs      2115:  charoff: BEGIN
                   2116:        Create ' charoff="';
                   2117:        Create charoff;
                   2118:        Create DoubleQuote;
                   2119:        END;
                   2120:  
1.1       cvs      2121:  Cell_valign = Cell_top:
1.46      cvs      2122:        Create ' valign="top"';
1.1       cvs      2123:  Cell_valign = Cell_middle:
1.46      cvs      2124:        Create ' valign="middle"';
1.1       cvs      2125:  Cell_valign = Cell_bottom:
1.46      cvs      2126:        Create ' valign="bottom"';
1.51      cvs      2127:  Cell_valign = Cell_baseline:
                   2128:        Create ' valign="baseline"';
1.1       cvs      2129: 
1.24      cvs      2130:  No_wrap = no_wrap:
1.65      cvs      2131:        Create ' nowrap="nowrap"';
1.58      cvs      2132: 
                   2133:  RowHeight: BEGIN
                   2134:        Create ' rows="';
                   2135:        Create RowHeight;
                   2136:        Create DoubleQuote;
                   2137:        END;
                   2138: 
                   2139:  ColWidth: BEGIN
                   2140:        Create ' cols="';
                   2141:        Create ColWidth;
                   2142:        Create DoubleQuote;
                   2143:        END;
                   2144: 
                   2145:  FrameName: BEGIN
                   2146:        Create ' name="';
                   2147:        Create FrameName;
                   2148:        Create DoubleQuote;
                   2149:        END;
                   2150: 
                   2151:  FrameSrc: BEGIN
                   2152:        Create ' src="';
                   2153:        Create FrameSrc;
                   2154:        Create DoubleQuote;
                   2155:        END;
                   2156: 
                   2157:  frameborder = Border1:
                   2158:        Create ' frameborder="1"';
                   2159:  frameborder = Border0:
                   2160:        Create ' frameborder="0"';
                   2161: 
                   2162:  marginwidth: BEGIN
                   2163:        Create ' marginwidth="';
                   2164:        Create marginwidth;
                   2165:        Create DoubleQuote;
                   2166:        END;
                   2167: 
                   2168:  marginheight: BEGIN
                   2169:        Create ' marginheight="';
                   2170:        Create marginheight;
                   2171:        Create DoubleQuote;
                   2172:        END;
                   2173: 
                   2174:  no_resize: BEGIN
                   2175:        Create ' noresize="noresize"';
                   2176:        END;
                   2177: 
                   2178:  scrolling = Yes_:
                   2179:        Create ' scrolling="yes"';
                   2180:  scrolling = No_:
                   2181:        Create ' scrolling="no"';
1.97      cvs      2182:  scrolling = auto_:
1.58      cvs      2183:        Create ' scrolling="auto"';
1.121     cvs      2184: 
                   2185:  rbspan: BEGIN
                   2186:        Create ' rbspan="';
                   2187:        Create rbspan;
1.129     cvs      2188:        Create DoubleQuote;
                   2189:        END;
                   2190: 
                   2191:  EmbedHidden: BEGIN
                   2192:        Create ' hidden="';
                   2193:        Create EmbedHidden;
                   2194:        Create DoubleQuote;
                   2195:        END;
                   2196: 
                   2197:  EmbedName: BEGIN
                   2198:        Create ' name="';
                   2199:        Create EmbedName;
1.121     cvs      2200:        Create DoubleQuote;
                   2201:        END;
1.1       cvs      2202: 
                   2203:  Invalid_attribute:
1.77      cvs      2204:        BEGIN
                   2205: #ifndef XML
1.1       cvs      2206:        Create Invalid_attribute;
1.77      cvs      2207: #endif
1.127     cvs      2208:        END;
                   2209: 
                   2210:  Unknown_attribute:
                   2211:        BEGIN
                   2212:        Create Unknown_attribute;
1.77      cvs      2213:        END;
1.1       cvs      2214: 
1.92      cvs      2215:  IntEntity:
                   2216:        BEGIN
                   2217:        NoTranslation;  { do not translate & into &amp; }
                   2218:        END;
                   2219: 
1.100     cvs      2220:  EntityName:
                   2221:        BEGIN
                   2222:        Create EntityName;
                   2223:        Remove; { do no output the element content }
                   2224:        END;
                   2225: 
1.112     cvs      2226:  xml_space = xml_space_default:
                   2227:         Create ' xml:space="default"';
                   2228:  xml_space = xml_space_preserve:
                   2229:         Create ' xml:space="preserve"';
                   2230: 
1.94      cvs      2231: TextTRANSLATE
                   2232:        BEGIN
                   2233:        '\46' -> '&amp;';       { ampersand, U+0026 ISOnum }
                   2234:        '\74' -> '&lt;';        { less-than sign, U+003C ISOnum }
1.105     cvs      2235:        '\76' -> '&gt;';        { greater-than sign, U+003E ISOnum }
1.139     vatton   2236:        '\240' -> '&nbsp;';     { no-break space = non-breaking space, U+00A0 ISOnum }
1.94      cvs      2237:        END;
1.1       cvs      2238: 
1.35      cvs      2239: #include "greek.sgml"
                   2240: 
1.1       cvs      2241: GraphTRANSLATE
                   2242:        BEGIN
                   2243:        'c' -> 'circle';
                   2244:        'Q' -> 'circle';
                   2245:        'R' -> 'rect';
                   2246:        'C' -> 'rect';
                   2247:        ' ' -> 'rect';
                   2248:        'P' -> 'rect';
                   2249:        'p' -> 'polygon';
                   2250:        'B' -> 'polygon';
                   2251:        END;
                   2252: 
                   2253: END

Webmaster