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

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

Webmaster