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

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

Webmaster