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

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

Webmaster