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

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

Webmaster