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

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

Webmaster