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

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

Webmaster