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

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

Webmaster