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

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

Webmaster