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

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.91      cvs       476: #ifdef XML
1.90      cvs       477:        Create '<m:math';
1.91      cvs       478: #else
                    479:        Create '<math';
                    480: #endif
1.29      cvs       481:        Create Attributes;
                    482:        Create '>\12';
1.90      cvs       483:        indent +2;
                    484:        indent -2 after;
1.91      cvs       485: #ifdef XML
1.90      cvs       486:        Create '</m:math>\12' After;
1.91      cvs       487: #else
                    488:        Create '</math>\12' After;
                    489: #endif
1.33      cvs       490:        END;
1.90      cvs       491: 
1.41      cvs       492:  XMLGraphics: BEGIN
1.91      cvs       493: #ifdef XML
1.90      cvs       494:        Create '<g:xmlgraphics';
1.91      cvs       495: #else
                    496:        Create '<xmlgraphics';
                    497: #endif
1.41      cvs       498:        Create Attributes;
                    499:        Create '>\12';
1.90      cvs       500:        indent +2;
                    501:        indent -2 after;
1.91      cvs       502: #ifdef XML
1.90      cvs       503:        Create '</g:xmlgraphics>\12' After;
1.91      cvs       504: #else
                    505:        Create '</xmlgraphics>\12' After;
                    506: #endif
1.41      cvs       507:        END;
1.29      cvs       508: 
1.1       cvs       509:  Paragraph: BEGIN
1.80      cvs       510:        if not within List_Item and not within Definition and not first
                    511:                Create '\12';
                    512:        Create '<p';
1.16      cvs       513:        Create Attributes;
1.72      cvs       514:        Create '>';
1.80      cvs       515:        Create '</p>\12' After;
1.16      cvs       516:        END;
                    517: 
                    518:  Pseudo_paragraph: BEGIN
1.80      cvs       519:        if not last Create '\12' After;
1.1       cvs       520:        END;
                    521: 
                    522:  TEXT_UNIT: BEGIN
                    523:        IF Within Text_Input
                    524:                Remove;
                    525:        END;
                    526: 
                    527:  Definition_List: BEGIN
1.15      cvs       528:        Create '<dl';
1.1       cvs       529:        Create Attributes;
                    530:        Create '>\12';
1.80      cvs       531:        Indent +2;
                    532:        Indent -2 After;
1.15      cvs       533:        Create '</dl>\12' After;
1.1       cvs       534:        END;
                    535: 
                    536:  Term: BEGIN
1.15      cvs       537:        Create '<dt';
1.1       cvs       538:        Create Attributes;
                    539:        Create '>';
1.15      cvs       540:        Create '</dt>\12' After;
1.1       cvs       541:        END;
                    542: 
                    543:  Definition: BEGIN
1.80      cvs       544:        Indent +2;
1.15      cvs       545:        Create '<dd';
1.1       cvs       546:        Create Attributes;
                    547:        Create '>';
1.80      cvs       548:        Indent +2;
                    549:        Indent -2 After;
1.15      cvs       550:        Create '</dd>\12' After;
1.80      cvs       551:        Indent -2 After;
1.1       cvs       552:        END;
                    553: 
                    554:  Unnumbered_List: BEGIN
1.15      cvs       555:        Create '<ul';
1.1       cvs       556:        Create Attributes;
                    557:        Create '>\12';
1.80      cvs       558:        Indent +2;
                    559:        Indent -2 After;
1.15      cvs       560:        Create '</ul>\12' After;
1.1       cvs       561:        END;
                    562: 
                    563:  Numbered_List:        BEGIN
1.15      cvs       564:        Create '<ol';
1.1       cvs       565:        Create Attributes;
                    566:        Create '>\12';
1.80      cvs       567:        Indent +2;
                    568:        Indent -2 After;
1.15      cvs       569:        Create '</ol>\12' After;
1.1       cvs       570:        END;
                    571: 
                    572:  Address: BEGIN
1.15      cvs       573:        Create '<address';
1.1       cvs       574:        Create Attributes;
                    575:        Create '>\12';
1.80      cvs       576:        Indent +2;
                    577:        Indent -2 After;
                    578:        Create '\12</address>\12' After;
1.1       cvs       579:        END;
                    580: 
                    581:  Menu: BEGIN
1.15      cvs       582:        Create '<menu';
1.1       cvs       583:        Create Attributes;
                    584:        Create '>\12';
1.80      cvs       585:        Indent +2;
                    586:        Indent -2 After;
1.15      cvs       587:        Create '</menu>\12' After;
1.1       cvs       588:        END;
                    589: 
                    590:  Directory: BEGIN
1.15      cvs       591:        Create '<dir';
1.1       cvs       592:        Create Attributes;
                    593:        Create '>\12';
1.80      cvs       594:        Indent +2;
                    595:        Indent -2 After;
1.15      cvs       596:        Create '</dir>\12' After;
1.1       cvs       597:        END;
                    598: 
                    599:  List_Item: BEGIN
1.15      cvs       600:        Create '<li';
1.1       cvs       601:        Create Attributes;
                    602:        Create '>';
1.80      cvs       603:        Indent +2;
                    604:        Indent -2 After;
1.53      cvs       605:        Create '</li>\12' After;
1.1       cvs       606:        END;
                    607: 
                    608:  Preformatted: BEGIN
                    609:        NoLineBreak;
1.15      cvs       610:        Create '<pre';
1.1       cvs       611:        Create Attributes;
                    612:        Create '>';
1.84      cvs       613:        Indent Suspend;
                    614:         Indent Resume After;
1.15      cvs       615:        Create '</pre>\12' After;
1.1       cvs       616:        END;
                    617: 
                    618:  Horizontal_Rule: BEGIN
1.15      cvs       619:        Create '<hr';
1.1       cvs       620:        Create Attributes;
                    621:        Remove;
1.53      cvs       622: #ifdef XML
                    623:        Create ' />\12';
                    624: #else
                    625:        Create '>\12';
                    626: #endif
1.17      cvs       627:        if not within Preformatted Create '\12';
1.1       cvs       628:        END;
                    629: 
                    630:  Form: BEGIN
1.80      cvs       631:        Create '\12<form';
1.1       cvs       632:        Create Attributes;
                    633:        Create '>\12';
1.80      cvs       634:        Indent +2;
                    635:        Indent -2 After;
1.15      cvs       636:        Create '</form>\12' After;
1.1       cvs       637:        END;
                    638: 
                    639:  Option_Menu: BEGIN
1.15      cvs       640:        Create '\12<select';
1.1       cvs       641:        Create Attributes;
1.5       cvs       642:        Create '>';
1.80      cvs       643:        Indent +2;
                    644:        Indent -2 After;
1.15      cvs       645:        Create '\12</select>\12' After;
1.1       cvs       646:        END;
                    647: 
                    648:  Option: BEGIN
1.15      cvs       649:        Create '\12<option';
1.5       cvs       650:        Create Attributes;
                    651:        Create '>';
1.53      cvs       652:        Create '</option>' After;
1.1       cvs       653:        END;
                    654: 
1.62      cvs       655:  OptGroup: BEGIN
                    656:        Create '\12<optgroup';
                    657:        Create Attributes;
                    658:        Create '>';
1.80      cvs       659:        Indent +2;
                    660:        Indent -2 After;
                    661:        Create '\12</optgroup>' After;
1.62      cvs       662:        END;
                    663: 
1.1       cvs       664:  Text_Area: BEGIN
1.15      cvs       665:        Create '<textarea';
1.1       cvs       666:        Create Attributes;
                    667:        Create '>';
1.57      cvs       668:        Create '</textarea>' After;
1.1       cvs       669:        END;
                    670: 
1.63      cvs       671:  FIELDSET: BEGIN
                    672:        Create '<fieldset';
                    673:        Create Attributes;
                    674:        Create '>\12';
                    675:         Indent +2;
                    676:         Indent -2 After;
                    677:        Create '</fieldset>\12' After;
                    678:        END;
                    679: 
                    680:  LEGEND: BEGIN
                    681:        Create '<legend';
                    682:        Create Attributes;
                    683:        Create '>';
                    684:        Create '</legend>' After;
                    685:        END;
                    686: 
1.56      cvs       687:  LABEL: BEGIN
                    688:        Create '<label';
                    689:        Create Attributes;
                    690:        Create '>';
1.57      cvs       691:        Create '</label>' After;
1.56      cvs       692:        END;
                    693: 
                    694:  BUTTON: BEGIN
                    695:        Create '<button';
                    696:        Create Attributes;
                    697:        Create '>';
1.57      cvs       698:        Create '</button>' After;
1.56      cvs       699:        END;
                    700: 
1.1       cvs       701:  Checkbox_Input: BEGIN
1.56      cvs       702:        Create '<input type="checkbox"';
1.1       cvs       703:        Create Attributes;
1.53      cvs       704: #ifdef XML
                    705:        Create ' />';
                    706: #else
1.1       cvs       707:        Create '>';
1.53      cvs       708: #endif
1.1       cvs       709:        Remove;
                    710:        END;
                    711: 
                    712:  Radio_Input: BEGIN
1.56      cvs       713:        Create '<input type="radio"';
1.1       cvs       714:        Create Attributes;
1.53      cvs       715: #ifdef XML
                    716:        Create ' />';
                    717: #else
1.1       cvs       718:        Create '>';
1.53      cvs       719: #endif
1.1       cvs       720:        Remove;
                    721:        END;
                    722: 
                    723:  Text_Input: BEGIN
1.56      cvs       724:        Create '<input type="text"';
1.1       cvs       725:        Create Attributes;
1.53      cvs       726: #ifdef XML
                    727:        Create ' />';
                    728: #else
1.1       cvs       729:        Create '>';
1.53      cvs       730: #endif
1.1       cvs       731:        Remove;
                    732:        END;
                    733: 
                    734:  Hidden_Input: BEGIN
1.56      cvs       735:        Create '<input type="hidden"';
1.1       cvs       736:        Create Attributes;
1.53      cvs       737: #ifdef XML
                    738:        Create ' />';
                    739: #else
1.1       cvs       740:        Create '>';
1.53      cvs       741: #endif
1.1       cvs       742:        Remove;
                    743:        END;
                    744: 
                    745:  Password_Input: BEGIN
1.56      cvs       746:        Create '<input type="password"';
1.1       cvs       747:        Create Attributes;
1.53      cvs       748: #ifdef XML
                    749:        Create ' />';
                    750: #else
1.1       cvs       751:        Create '>';
1.53      cvs       752: #endif
1.1       cvs       753:        Remove;
                    754:        END;
                    755: 
                    756:  File_Input: BEGIN
1.56      cvs       757:        Create '<input type="file"';
1.1       cvs       758:        Create Attributes;
1.53      cvs       759: #ifdef XML
                    760:        Create ' />';
                    761: #else
1.1       cvs       762:        Create '>';
1.53      cvs       763: #endif
1.1       cvs       764:        Remove;
                    765:        END;
                    766: 
                    767:  Reset_Input: BEGIN
1.56      cvs       768:        Create '\12<input type="reset"';
1.1       cvs       769:        Create Attributes;
1.53      cvs       770: #ifdef XML
                    771:        Create ' />';
                    772: #else
1.1       cvs       773:        Create '>';
1.53      cvs       774: #endif
1.1       cvs       775:        Remove;
                    776:        END;
                    777: 
                    778:  Submit_Input: BEGIN
1.56      cvs       779:        Create '\12<input type="submit"';
                    780:        Create Attributes;
                    781: #ifdef XML
                    782:        Create ' />';
                    783: #else
                    784:        Create '>';
                    785: #endif
                    786:        Remove;
                    787:        END;
                    788: 
                    789:  Button_Input: BEGIN
                    790:        Create '\12<input type="button"';
1.1       cvs       791:        Create Attributes;
1.53      cvs       792: #ifdef XML
                    793:        Create ' />';
                    794: #else
1.1       cvs       795:        Create '>';
1.53      cvs       796: #endif
1.1       cvs       797:        Remove;
                    798:        END;
                    799: 
                    800:  Block_Quote: BEGIN
1.80      cvs       801:        Create '\12<blockquote';
1.1       cvs       802:        Create Attributes;
                    803:        Create '>\12';
1.80      cvs       804:        Indent +2;
                    805:        Indent -2 After;
1.15      cvs       806:        Create '</blockquote>\12' After;
1.1       cvs       807:        END;
                    808: 
                    809:  PICTURE_UNIT: BEGIN
1.89      cvs       810:        if IsInput BEGIN
                    811:                Create '<input type=image';
                    812:                Create Attributes;
                    813: #ifdef XML
                    814:                Create ' />\12';
                    815: #else
                    816:                Create '>';
                    817: #endif
                    818:                END;
1.10      cvs       819:        if Immediately within Object
                    820:                Remove;
1.89      cvs       821:        if NOT Immediately within Object AND NOT IsInput BEGIN
1.15      cvs       822:                Create '<img';
1.10      cvs       823:                Create Attributes;
1.53      cvs       824: #ifdef XML
                    825:                Create ' />\12';
                    826: #else
                    827:                Create '>';
                    828: #endif
1.10      cvs       829:                END;
                    830:        if NOT within Paragraph AND NOT Immediately within Object
                    831:                Create '\12' After;
1.1       cvs       832:        END;
                    833: 
                    834:  Anchor: BEGIN
1.85      cvs       835:        if Annotation BEGIN
                    836:                Remove;
                    837:                END;
                    838:        if NOT Annotation BEGIN
                    839:                Create '<a';
                    840:                Create Attributes;
                    841:                Create '>';
                    842:                Create '</a>' After;
                    843:                END;
1.1       cvs       844:        END;
                    845: 
                    846:  MAP:
                    847:        BEGIN
1.15      cvs       848:        Create '<map';
1.1       cvs       849:        Create Attributes;
                    850:        Create '>\12';
1.80      cvs       851:        Indent +2;
                    852:        Indent -2 After;
                    853:        Create '</map>\12' After;
1.1       cvs       854:        END;
                    855: 
                    856:  AREA:
                    857:        BEGIN
1.15      cvs       858:        Create '<area';
1.53      cvs       859:        Remove;
1.1       cvs       860:        Create Attributes;
1.53      cvs       861: #ifdef XML
                    862:        Create ' />\12';
                    863: #else
1.1       cvs       864:        Create '>\12';
1.53      cvs       865: #endif
1.1       cvs       866:        END;
                    867: 
                    868: { ---- Tables ---- }
                    869: 
                    870:  Table:
                    871:        BEGIN
1.15      cvs       872:        Create '\12<table';
1.1       cvs       873:        Create Attributes;
                    874:        Create '>\12';
1.80      cvs       875:        Indent +2;
                    876:        Indent -2 after;
1.15      cvs       877:        Create '</table>\12' after;
1.1       cvs       878:        END;
                    879: 
                    880:  CAPTION:
                    881:        BEGIN
1.15      cvs       882:        Create '<caption';
1.1       cvs       883:        Create Attributes;
                    884:        Create '>';
1.15      cvs       885:        Create '</caption>\12' after;
1.1       cvs       886:        END;
                    887: 
1.69      cvs       888:  COLGROUP:
                    889:        BEGIN
                    890:        Create '<colgroup';
                    891:        Create Attributes;
                    892:        Create '>';
1.80      cvs       893:        Indent +2;
                    894:        Indent -2 after;
1.83      cvs       895:        Create '</colgroup>\12' after;
1.69      cvs       896:        END;
                    897: 
                    898:  COL:
                    899:        BEGIN
                    900:        Create '<col';
                    901:        Create Attributes;
                    902:        Create '>';
                    903:        END;
                    904: 
1.1       cvs       905:  Table_head:
                    906:        Remove;
                    907: 
                    908:  thead:
                    909:        BEGIN
1.15      cvs       910:        Create '<thead';
1.1       cvs       911:        Create Attributes;
                    912:        Create '>\12';
1.80      cvs       913:        Indent +2;
                    914:        Indent -2 after;
1.15      cvs       915:        Create '</thead>\12' after;
1.1       cvs       916:        END;
                    917: 
                    918:  tfoot:
                    919:        BEGIN
1.15      cvs       920:        Create '<tfoot';
1.1       cvs       921:        Create Attributes;
                    922:        Create '>\12';
1.80      cvs       923:        Indent +2;
                    924:        Indent -2 after;
1.15      cvs       925:        Create '</tfoot>\12' after;
1.1       cvs       926:        END;
1.80      cvs       927: 
1.1       cvs       928:  tbody:
                    929:        BEGIN
1.15      cvs       930:        Create '<tbody';
1.1       cvs       931:        Create Attributes;
                    932:        Create '>\12';
1.80      cvs       933:        Indent +2;
                    934:        Indent -2 after;
1.15      cvs       935:        Create '</tbody>\12' after;
1.1       cvs       936:        END;
                    937: 
                    938:  Table_body:
                    939:        Get tfoot;
                    940: 
                    941:  Table_row:
                    942:        BEGIN
1.15      cvs       943:        Create '<tr';
1.1       cvs       944:        Create Attributes;
                    945:        Create '>\12';
1.80      cvs       946:        Indent +2;
                    947:        Indent -2 after;
1.15      cvs       948:        Create '</tr>\12' after;
1.1       cvs       949:        END;
                    950: 
                    951:  Data_cell:
                    952:        BEGIN
1.15      cvs       953:        Create '<td';
1.1       cvs       954:        Create Attributes;
                    955:        Create '>';
1.80      cvs       956:        Indent +2;
                    957:        Indent -2 after;
1.25      cvs       958:        Create '</td>\12' after;
1.1       cvs       959:        END;
                    960: 
                    961:  Heading_cell:
                    962:        BEGIN
1.15      cvs       963:        Create '<th';
1.1       cvs       964:        Create Attributes;
                    965:        Create '>';
1.80      cvs       966:        Indent +2;
                    967:        Indent -2 after;
1.25      cvs       968:        Create '</th>\12' after;
1.1       cvs       969:        END;
                    970: 
                    971:  Table_foot:
                    972:        BEGIN
                    973:        Remove;
                    974:        END;
                    975: 
                    976:  Division: BEGIN
1.15      cvs       977:        Create '\12<div';
1.1       cvs       978:        Create Attributes;
                    979:        Create '>\12';
1.15      cvs       980:        Create '</div>\12' After;
1.1       cvs       981:        END;
                    982: 
                    983:  Center: BEGIN
1.15      cvs       984:        Create '\12<center';
1.1       cvs       985:        Create Attributes;
                    986:        Create '>\12';
1.15      cvs       987:        Create '</center>\12' After;
1.1       cvs       988:        END;
                    989: 
1.50      cvs       990:  NOSCRIPT: BEGIN
                    991:        Create '\12<noscript';
                    992:        Create Attributes;
                    993:        Create '>\12';
                    994:        Create '</noscript>\12' After;
                    995:        END;
                    996: 
1.8       cvs       997:  Invalid_element:
                    998:        BEGIN
1.77      cvs       999: #ifdef XML
                   1000:        Remove;
                   1001: #else
1.8       cvs      1002:        if Error_type = BadPosition
                   1003:           Remove;
                   1004:        if not Error_type = BadPosition
                   1005:            BEGIN
                   1006:           NoTranslation;
                   1007:           Create Content;
                   1008:           Remove;
                   1009:           Create Attributes;
                   1010:           Create '>';
                   1011:           END;
1.77      cvs      1012: #endif
1.1       cvs      1013:        END;
                   1014: 
                   1015:  Comment\240: BEGIN
                   1016:        NoLineBreak;
1.80      cvs      1017:        Create '<!--';
1.27      cvs      1018:        NoTranslation;
1.1       cvs      1019:        Create '-->\12' after;
                   1020:        END;
                   1021: 
                   1022:  Comment_line: BEGIN
                   1023:        if not last create '\12' after;
                   1024:        END;
                   1025: 
1.58      cvs      1026:  FRAMESET: BEGIN
                   1027:        Create '<frameset';
                   1028:        Create Attributes;
                   1029:        Create '>\12';
                   1030:         indent +2;
                   1031:         indent -2 after;
                   1032:        Create '</frameset>\12' After;
                   1033:        END;
                   1034: 
                   1035:  Frames: BEGIN
                   1036:        END;
                   1037: 
                   1038:  NOFRAMES: BEGIN
                   1039:        Create '<noframes';
                   1040:        Create Attributes;
                   1041:        Create '>\12';
                   1042:         indent +2;
                   1043:         indent -2 after;
                   1044:        Create '</noframes>\12' After;
                   1045:        END;
                   1046: 
                   1047:  FRAME: BEGIN
                   1048:        Create '<frame';
                   1049:        Remove;
                   1050:        Create Attributes;
                   1051: #ifdef XML
                   1052:        Create ' />\12';
                   1053: #else
                   1054:        Create '>\12';
                   1055: #endif
                   1056:        END;
                   1057: 
                   1058:  IFRAME: BEGIN
                   1059:        Create '<iframe';
                   1060:        Create Attributes;
                   1061:        Create '>\12';
1.80      cvs      1062:        Indent +2;
                   1063:        Indent -2;
1.58      cvs      1064:        Create '</iframe>\12' After;    
                   1065:        END;
                   1066: 
1.1       cvs      1067: ATTRIBUTES
1.18      cvs      1068: 
1.51      cvs      1069:  profile: BEGIN
                   1070:        Create ' profile="';
                   1071:        Create profile;
                   1072:        Create DoubleQuote;
                   1073:        END;
                   1074: 
1.19      cvs      1075:  Langue:
1.87      cvs      1076:        BEGIN
1.20      cvs      1077:        IF not HTML
                   1078:            BEGIN
                   1079:            Create ' lang="';
                   1080:            Create Langue;
                   1081:            Create DoubleQuote;
1.72      cvs      1082: #ifdef XML
                   1083:            Create ' xml:lang="';
                   1084:            Create Langue;
                   1085:            Create DoubleQuote;
                   1086: #endif
1.20      cvs      1087:            END;
1.87      cvs      1088:        IF HTML and RealLang
                   1089:            BEGIN
                   1090:            Create ' lang="';
                   1091:            Create Langue;
                   1092:            Create DoubleQuote;
                   1093: #ifdef XML
                   1094:            Create ' xml:lang="';
                   1095:            Create Langue;
                   1096:            Create DoubleQuote;
                   1097: #endif
                   1098:            END;
                   1099:        END;
1.1       cvs      1100: 
1.51      cvs      1101:  content_type: BEGIN
                   1102:        Create ' type="';
                   1103:        Create content_type;
                   1104:        Create DoubleQuote;
                   1105:        END;
                   1106: 
                   1107:  script_language: BEGIN
                   1108:        Create ' language="';
                   1109:        Create script_language;
                   1110:        Create DoubleQuote;
                   1111:        END;
                   1112: 
                   1113:  script_src: BEGIN
                   1114:        Create ' src="';
                   1115:        Create script_src;
                   1116:        Create DoubleQuote;
                   1117:        END;
                   1118: 
                   1119:  defer: BEGIN
1.65      cvs      1120:        Create ' defer="defer"';
1.51      cvs      1121:        END;
                   1122: 
                   1123:  event: BEGIN
                   1124:        Create ' event="';
                   1125:        Create event;
                   1126:        Create DoubleQuote;
                   1127:        END;
                   1128: 
                   1129:  for_: BEGIN
                   1130:        Create ' for="';
                   1131:        Create for_;
                   1132:        Create DoubleQuote;
                   1133:        END;
                   1134: 
1.1       cvs      1135:  http_equiv: BEGIN
                   1136:        Create ' http-equiv="';
                   1137:        Create http_equiv;
1.12      cvs      1138:        Create DoubleQuote;
1.1       cvs      1139:        END;
                   1140: 
                   1141:  meta_name: BEGIN
                   1142:        Create ' name="';
                   1143:        Create meta_name;
1.12      cvs      1144:        Create DoubleQuote;
1.1       cvs      1145:        END;
                   1146: 
                   1147:  meta_content: BEGIN
1.68      cvs      1148:        { quotes are generated by Amaya when saving the document }
1.67      cvs      1149:        Create ' content=';
1.65      cvs      1150:        Create Translated meta_content;
1.1       cvs      1151:        END;
                   1152: 
1.51      cvs      1153:  scheme: BEGIN
                   1154:        Create ' scheme="';
                   1155:        Create scheme;
                   1156:        Create DoubleQuote;
                   1157:        END;
                   1158: 
                   1159:  charset: BEGIN
                   1160:        Create ' charset="';
                   1161:        Create charset;
                   1162:        Create DoubleQuote;
                   1163:        END;
                   1164: 
1.1       cvs      1165:  REL:  BEGIN
                   1166:        Create ' rel="';
                   1167:        Create REL;
1.12      cvs      1168:        Create DoubleQuote;
1.1       cvs      1169:        END;
                   1170: 
                   1171:  REV:  BEGIN
                   1172:        Create ' rev="';
                   1173:        Create REV;
1.12      cvs      1174:        Create DoubleQuote;
1.1       cvs      1175:        END;
                   1176: 
                   1177:  HREF_ :
                   1178:        BEGIN
1.85      cvs      1179:        If Annotation BEGIN
                   1180:                Remove;
                   1181:                END;
                   1182:        If NOT Annotation BEGIN
                   1183:                Create ' href="';
1.86      cvs      1184:                Create Translated HREF_;
1.85      cvs      1185:                Create DoubleQuote;
                   1186:                END;
1.49      cvs      1187:        END;
                   1188: 
1.51      cvs      1189:  hreflang :
                   1190:        BEGIN
                   1191:        Create ' hreflang="';
                   1192:        Create hreflang;
                   1193:        Create DoubleQuote;
                   1194:        END;
                   1195: 
                   1196:  media :
                   1197:        BEGIN
                   1198:        Create ' media="';
                   1199:        Create media;
                   1200:        Create DoubleQuote;
                   1201:        END;
                   1202: 
                   1203:  target_ :
                   1204:        BEGIN
                   1205:        Create ' target="';
                   1206:        Create target_;
                   1207:        Create DoubleQuote;
                   1208:        END;
                   1209: 
1.49      cvs      1210:  cite:
                   1211:        BEGIN
                   1212:        Create ' cite="';
                   1213:        Create cite;
                   1214:        Create DoubleQuote;
                   1215:        END;
                   1216: 
                   1217:  datetime:
                   1218:        BEGIN
                   1219:        Create ' datetime="';
                   1220:        Create datetime;
1.12      cvs      1221:        Create DoubleQuote;
1.1       cvs      1222:        END;
                   1223: 
                   1224:  background_ :
                   1225:        BEGIN
                   1226:        Create ' background="';
                   1227:        Create background_;
1.12      cvs      1228:        Create DoubleQuote;
1.1       cvs      1229:        END;
                   1230: 
                   1231:  BackgroundColor :
                   1232:        BEGIN
                   1233:        Create ' bgcolor="';
                   1234:        Create BackgroundColor;
1.12      cvs      1235:        Create DoubleQuote;
1.1       cvs      1236:        END;
                   1237: 
                   1238:  TextColor :
                   1239:        BEGIN
                   1240:        Create ' text="';
                   1241:        Create TextColor;
1.12      cvs      1242:        Create DoubleQuote;
1.1       cvs      1243:        END;
                   1244: 
                   1245:  LinkColor :
                   1246:        BEGIN
                   1247:        Create ' link="';
                   1248:        Create LinkColor;
1.12      cvs      1249:        Create DoubleQuote;
1.1       cvs      1250:        END;
                   1251: 
                   1252:  VisitedLinkColor :
                   1253:        BEGIN
                   1254:        Create ' vlink="';
                   1255:        Create VisitedLinkColor;
1.12      cvs      1256:        Create DoubleQuote;
1.1       cvs      1257:        END;
                   1258: 
                   1259:  ActiveLinkColor :
                   1260:        BEGIN
                   1261:        Create ' alink="';
                   1262:        Create ActiveLinkColor;
1.12      cvs      1263:        Create DoubleQuote;
1.1       cvs      1264:        END;
                   1265: 
                   1266:  BaseFontSize:
                   1267:        BEGIN
1.12      cvs      1268:        Create ' size="';
1.1       cvs      1269:        Create BaseFontSize;
1.12      cvs      1270:        Create DoubleQuote;
1.1       cvs      1271:        END;
                   1272: 
1.48      cvs      1273:  BaseFontColor:
                   1274:        BEGIN
                   1275:        Create ' color="';
                   1276:        Create BaseFontColor;
                   1277:        Create DoubleQuote;
                   1278:        END;
                   1279: 
                   1280:  BaseFontFace:
                   1281:        BEGIN
1.70      cvs      1282:        Create ' face="';
1.48      cvs      1283:        Create BaseFontFace;
                   1284:        Create DoubleQuote;
                   1285:        END;
                   1286: 
1.1       cvs      1287:  Font_size :
                   1288:        BEGIN
                   1289:        Create ' size="';
                   1290:        Create Font_size;
1.12      cvs      1291:        Create DoubleQuote;
1.1       cvs      1292:        END;
                   1293: 
                   1294:  color :
                   1295:        BEGIN
                   1296:        Create ' color="';
                   1297:        Create color;
1.48      cvs      1298:        Create DoubleQuote;
                   1299:        END;
                   1300: 
                   1301:  face :
                   1302:        BEGIN
                   1303:        Create ' face="';
                   1304:        Create face;
1.12      cvs      1305:        Create DoubleQuote;
1.1       cvs      1306:        END;
1.6       cvs      1307: 
                   1308:  Clear = Left_:
1.46      cvs      1309:        Create ' clear="left"';
1.6       cvs      1310:  Clear = Right_:
1.46      cvs      1311:        Create ' clear="right"';
1.9       cvs      1312:  Clear = All_:
1.46      cvs      1313:        Create ' clear="all"';
1.9       cvs      1314:  Clear = None:
1.46      cvs      1315:        Create ' clear="none"';
1.1       cvs      1316: 
                   1317:  Align = left_:
1.46      cvs      1318:        Create ' align="left"';
1.1       cvs      1319:  Align = center_:
1.46      cvs      1320:        Create ' align="center"';
1.1       cvs      1321:  Align = right_:
1.46      cvs      1322:        Create ' align="right"';
                   1323: 
                   1324:  TextAlign = left_:
                   1325:        Create ' align="left"';
                   1326:  TextAlign = center_:
                   1327:        Create ' align="center"';
                   1328:  TextAlign = right_:
                   1329:        Create ' align="right"';
                   1330:  TextAlign = justify_:
                   1331:        Create ' align="justify"';
1.1       cvs      1332: 
                   1333:  NoShade:
1.65      cvs      1334:        Create ' noshade="noshade"';
1.1       cvs      1335: 
                   1336:  Size_: BEGIN
                   1337:        Create ' size="';
                   1338:        Create Size_;
1.12      cvs      1339:        Create DoubleQuote;
1.1       cvs      1340:        END;
                   1341: 
                   1342:  Width__: BEGIN
                   1343:        Create ' width="';
                   1344:        Create Width__;
1.12      cvs      1345:        Create DoubleQuote;
1.1       cvs      1346:        END;
                   1347: 
1.51      cvs      1348:  declare:
1.65      cvs      1349:        Create ' declare="declare"';
1.51      cvs      1350: 
1.1       cvs      1351:  codebase: BEGIN
                   1352:        Create ' codebase="';
                   1353:        Create codebase;
1.12      cvs      1354:        Create DoubleQuote;
1.1       cvs      1355:        END;
                   1356: 
                   1357:  code: BEGIN
                   1358:        Create ' code="';
                   1359:        Create code;
1.12      cvs      1360:        Create DoubleQuote;
1.1       cvs      1361:        END;
                   1362: 
1.51      cvs      1363:  object: BEGIN
                   1364:        Create ' object="';
                   1365:        Create object;
                   1366:        Create DoubleQuote;
                   1367:        END;
                   1368: 
1.1       cvs      1369:  applet_name: BEGIN
                   1370:        Create ' name="';
                   1371:        Create applet_name;
1.12      cvs      1372:        Create DoubleQuote;
1.1       cvs      1373:        END;
                   1374: 
                   1375:  Param_name: BEGIN
                   1376:        Create ' name="';
                   1377:        Create Param_name;
1.12      cvs      1378:        Create DoubleQuote;
1.1       cvs      1379:        END;
                   1380: 
                   1381:  Param_value: BEGIN
                   1382:        Create ' value="';
                   1383:        Create Param_value;
1.12      cvs      1384:        Create DoubleQuote;
1.1       cvs      1385:        END;
1.46      cvs      1386: 
1.51      cvs      1387:  valuetype = data_:
                   1388:        Create ' valuetype="data"';
                   1389:  valuetype = ref:
                   1390:        Create ' valuetype="ref"';
                   1391:  valuetype = object_:
                   1392:        Create ' valuetype="object"';
                   1393: 
                   1394:  Param_type: BEGIN
                   1395:        Create ' type="';
                   1396:        Create Param_type;
                   1397:        Create DoubleQuote;
                   1398:        END;
                   1399: 
1.1       cvs      1400:  classid: BEGIN
                   1401:        Create ' classid="';
                   1402:        Create classid;
1.12      cvs      1403:        Create DoubleQuote;
1.1       cvs      1404:        END;
                   1405: 
                   1406:  data: BEGIN
                   1407:        Create ' data="';
                   1408:        Create data;
1.12      cvs      1409:        Create DoubleQuote;
1.1       cvs      1410:        END;
                   1411: 
                   1412:  Object_type: BEGIN
                   1413:        Create ' type="';
                   1414:        Create Object_type;
1.12      cvs      1415:        Create DoubleQuote;
1.1       cvs      1416:        END;
                   1417: 
1.38      cvs      1418:  Link_type: BEGIN
                   1419:        Create ' type="';
                   1420:        Create Link_type;
                   1421:        Create DoubleQuote;
                   1422:        END;
                   1423: 
1.1       cvs      1424:  codetype: BEGIN
                   1425:        Create ' codetype="';
                   1426:        Create codetype;
1.12      cvs      1427:        Create DoubleQuote;
1.1       cvs      1428:        END;
1.46      cvs      1429: 
1.51      cvs      1430:  archive: BEGIN
                   1431:        Create ' archive="';
                   1432:        Create archive;
                   1433:        Create DoubleQuote;
                   1434:        END;
                   1435: 
                   1436:  standby: BEGIN
                   1437:        Create ' standby="';
                   1438:        Create standby;
                   1439:        Create DoubleQuote;
                   1440:        END;
                   1441: 
1.1       cvs      1442:  Title : BEGIN
                   1443:        Create ' title="';
1.65      cvs      1444:        Create Translated Title;
1.12      cvs      1445:        Create DoubleQuote;
1.1       cvs      1446:        END;
                   1447: 
1.51      cvs      1448:  accesskey: BEGIN
                   1449:        Create ' accesskey="';
                   1450:        Create accesskey;
                   1451:        Create DoubleQuote;
                   1452:        END;
                   1453: 
                   1454:  tabindex: BEGIN
                   1455:        Create ' tabindex="';
                   1456:        Create tabindex;
                   1457:        Create DoubleQuote;
                   1458:        END;
1.56      cvs      1459: 
                   1460:  Associated_control: BEGIN
                   1461:        Create ' for="';
                   1462:        Create Associated_control;
                   1463:        Create DoubleQuote;
                   1464:        END;
                   1465: 
                   1466:  Button_type = button:
                   1467:        Create ' type="button"';
                   1468:  Button_type = submit:
                   1469:        Create ' type="submit"';
                   1470:  Button_type = reset:
                   1471:        Create ' type="reset"';
1.51      cvs      1472: 
1.1       cvs      1473:  Class: BEGIN
1.22      cvs      1474:        Create ' class="';
                   1475:        Create Class;
                   1476:        Create DoubleQuote;
1.1       cvs      1477:        END;
                   1478: 
1.46      cvs      1479:  Style\240: BEGIN
1.22      cvs      1480:        IF not Within HEAD
1.1       cvs      1481:            BEGIN
1.68      cvs      1482:            { quotes are generated by Amaya when saving the document }
1.64      cvs      1483:            Create ' style=';
1.1       cvs      1484:            Create Style\240;
                   1485:            END;
                   1486:        END;
1.20      cvs      1487: 
                   1488:  ID:   BEGIN
                   1489:        Create ' id="';
                   1490:        Create ID;
                   1491:        Create DoubleQuote;
                   1492:        END;
1.46      cvs      1493: 
                   1494:  dir = ltr :
                   1495:        Create ' dir="ltr"';
                   1496:  dir = rtl :
                   1497:        Create ' dir="rtl"';
                   1498: 
                   1499:  onclick: BEGIN
                   1500:        Create ' onclick="';
                   1501:        Create onclick;
                   1502:        Create DoubleQuote;
                   1503:        END;
                   1504: 
                   1505:  ondblclick: BEGIN
                   1506:        Create ' ondblclick="';
                   1507:        Create ondblclick;
                   1508:        Create DoubleQuote;
                   1509:        END;
                   1510: 
                   1511:  onmousedown: BEGIN
                   1512:        Create ' onmousedown="';
                   1513:        Create onmousedown;
                   1514:        Create DoubleQuote;
                   1515:        END;
                   1516: 
                   1517:  onmouseup: BEGIN
                   1518:        Create ' onmouseup="';
                   1519:        Create onmouseup;
                   1520:        Create DoubleQuote;
                   1521:        END;
                   1522: 
                   1523:  onmouseover: BEGIN
                   1524:        Create ' onmouseover="';
                   1525:        Create onmouseover;
                   1526:        Create DoubleQuote;
                   1527:        END;
                   1528: 
                   1529:  onmousemove: BEGIN
                   1530:        Create ' onmousemove="';
                   1531:        Create onmousemove;
                   1532:        Create DoubleQuote;
                   1533:        END;
                   1534: 
                   1535:  onmouseout: BEGIN
                   1536:        Create ' onmouseout="';
                   1537:        Create onmouseout;
                   1538:        Create DoubleQuote;
                   1539:        END;
                   1540: 
                   1541:  onkeypress: BEGIN
                   1542:        Create ' onkeypress="';
                   1543:        Create onkeypress;
                   1544:        Create DoubleQuote;
                   1545:        END;
                   1546: 
                   1547:  onkeydown: BEGIN
                   1548:        Create ' onkeydown="';
                   1549:        Create onkeydown;
                   1550:        Create DoubleQuote;
                   1551:        END;
                   1552: 
                   1553:  onkeyup: BEGIN
                   1554:        Create ' onkeyup="';
                   1555:        Create onkeyup;
                   1556:        Create DoubleQuote;
                   1557:        END;
1.1       cvs      1558: 
1.51      cvs      1559:  onload: BEGIN
                   1560:        Create ' onload="';
                   1561:        Create onload;
                   1562:        Create DoubleQuote;
                   1563:        END;
                   1564: 
                   1565:  onunload: BEGIN
                   1566:        Create ' onunload="';
                   1567:        Create onunload;
                   1568:        Create DoubleQuote;
                   1569:        END;
                   1570: 
                   1571:  onfocus: BEGIN
                   1572:        Create ' onfocus="';
                   1573:        Create onfocus;
                   1574:        Create DoubleQuote;
                   1575:        END;
                   1576: 
                   1577:  onblur: BEGIN
                   1578:        Create ' onblur="';
                   1579:        Create onblur;
                   1580:        Create DoubleQuote;
                   1581:        END;
                   1582: 
                   1583:  onsubmit: BEGIN
                   1584:        Create ' onsubmit="';
                   1585:        Create onsubmit;
                   1586:        Create DoubleQuote;
                   1587:        END;
                   1588: 
                   1589:  onreset: BEGIN
                   1590:        Create ' onreset="';
                   1591:        Create onreset;
                   1592:        Create DoubleQuote;
                   1593:        END;
                   1594: 
                   1595:  onselect: BEGIN
                   1596:        Create ' onselect="';
                   1597:        Create onselect;
                   1598:        Create DoubleQuote;
                   1599:        END;
                   1600: 
                   1601:  onchange: BEGIN
                   1602:        Create ' onchange="';
                   1603:        Create onchange;
                   1604:        Create DoubleQuote;
                   1605:        END;
                   1606: 
1.1       cvs      1607:  BulletStyle = disc :
1.46      cvs      1608:        Create ' type="disc"';
1.1       cvs      1609:  BulletStyle = square :
1.46      cvs      1610:        Create ' type="square"';
1.1       cvs      1611:  BulletStyle = circle :
1.46      cvs      1612:        Create ' type="circle"';
1.1       cvs      1613: 
                   1614:  COMPACT:
1.65      cvs      1615:        Create ' compact="compact"';
1.1       cvs      1616: 
                   1617:  NumberStyle = Arabic_ :
1.46      cvs      1618:        Create ' type="1"';
1.1       cvs      1619:  NumberStyle = LowerAlpha :
1.46      cvs      1620:        Create ' type="a"';
1.1       cvs      1621:  NumberStyle = UpperAlpha :
1.46      cvs      1622:        Create ' type="A"';
1.1       cvs      1623:  NumberStyle = LowerRoman :
1.46      cvs      1624:        Create ' type="i"';
1.1       cvs      1625:  NumberStyle = UpperRoman :
1.46      cvs      1626:        Create ' type="I"';
1.1       cvs      1627: 
                   1628:  Start > 1: BEGIN
                   1629:        Create ' start="';
                   1630:        Create Start;
1.12      cvs      1631:        Create DoubleQuote;
1.1       cvs      1632:        END;
                   1633: 
                   1634:  ItemStyle = disc :
1.46      cvs      1635:        Create ' type="disc"';
1.1       cvs      1636:  ItemStyle = square :
1.46      cvs      1637:        Create ' type="square"';
1.1       cvs      1638:  ItemStyle = circle :
1.46      cvs      1639:        Create ' type="circle"';
1.1       cvs      1640:  ItemStyle = Arabic_ :
1.46      cvs      1641:        Create ' type="1"';
1.1       cvs      1642:  ItemStyle = LowerAlpha :
1.46      cvs      1643:        Create ' type="a"';
1.1       cvs      1644:  ItemStyle = UpperAlpha :
1.46      cvs      1645:        Create ' type="A"';
1.1       cvs      1646:  ItemStyle = LowerRoman :
1.46      cvs      1647:        Create ' type="i"';
1.1       cvs      1648:  ItemStyle = UpperRoman :
1.46      cvs      1649:        Create ' type="I"';
1.1       cvs      1650: 
                   1651:  ItemValue: BEGIN
                   1652:        Create ' value="';
                   1653:        Create ItemValue;
1.12      cvs      1654:        Create DoubleQuote;
1.1       cvs      1655:        END;
                   1656: 
                   1657:  Script_URL: BEGIN
                   1658:        Create ' action="';
                   1659:        Create Script_URL;
1.12      cvs      1660:        Create DoubleQuote;
1.1       cvs      1661:        END;
                   1662: 
                   1663:  METHOD=Post_:
1.15      cvs      1664:        Create ' method="post"';
1.1       cvs      1665: 
                   1666:  METHOD=Get_:
1.15      cvs      1667:        Create ' method="get"';
1.1       cvs      1668: 
                   1669:  ENCTYPE: BEGIN
                   1670:        Create ' enctype="';
                   1671:        Create ENCTYPE;
1.12      cvs      1672:        Create DoubleQuote;
1.1       cvs      1673:        END;
                   1674: 
1.51      cvs      1675:  accept_charset: BEGIN
                   1676:        Create ' accept-charset="';
                   1677:        Create accept_charset;
                   1678:        Create DoubleQuote;
                   1679:        END;
                   1680: 
1.1       cvs      1681:  NAME: BEGIN
1.85      cvs      1682:        if Anchor and Annotation BEGIN
                   1683:                Remove;
                   1684:                END;
                   1685:        if NOT Annotation BEGIN
                   1686:                Create ' name="';
                   1687:                Create NAME;
                   1688:                Create DoubleQuote;
                   1689:                 END;
1.72      cvs      1690: #ifdef XML
1.85      cvs      1691:        if Anchor and not ID and NOT Annotation BEGIN
                   1692:                        Create ' id="';
                   1693:                Create NAME;
                   1694:                        Create DoubleQuote;
                   1695:                END;
1.72      cvs      1696: #endif
1.1       cvs      1697:        END;
                   1698: 
                   1699:  Multiple:
1.65      cvs      1700:        Create ' multiple="multiple"';
1.1       cvs      1701: 
1.4       cvs      1702:  MenuSize: BEGIN
1.12      cvs      1703:        Create ' size="';
1.4       cvs      1704:        Create MenuSize;
1.12      cvs      1705:        Create DoubleQuote;
1.4       cvs      1706:        END;
1.5       cvs      1707: 
                   1708:  Selected:
1.65      cvs      1709:        Create ' selected="selected"';
1.4       cvs      1710: 
1.9       cvs      1711:  Value_: BEGIN
1.1       cvs      1712:        Create ' value="';
1.13      cvs      1713:        Create Value_;
1.12      cvs      1714:        Create DoubleQuote;
1.1       cvs      1715:        END;
                   1716: 
                   1717:  Rows: BEGIN
1.12      cvs      1718:        Create ' rows="';
1.1       cvs      1719:        Create Rows;
1.12      cvs      1720:        Create DoubleQuote;
1.1       cvs      1721:        END;
                   1722: 
                   1723:  Columns: BEGIN
1.12      cvs      1724:        Create ' cols="';
1.1       cvs      1725:        Create Columns;
1.12      cvs      1726:        Create DoubleQuote;
1.1       cvs      1727:        END;
                   1728: 
                   1729:  Checked = Yes_:
1.65      cvs      1730:        Create ' checked="checked"';
1.1       cvs      1731: 
1.51      cvs      1732:  disabled:
1.65      cvs      1733:        Create ' disabled="disabled"';
1.51      cvs      1734: 
                   1735:  readonly:
1.65      cvs      1736:        Create ' readonly="readonly"';
1.51      cvs      1737: 
                   1738:  label: BEGIN
                   1739:        Create ' label="';
                   1740:        Create label;
                   1741:        Create DoubleQuote;
                   1742:        END;
                   1743: 
                   1744:  accept: BEGIN
                   1745:        Create ' accept="';
                   1746:        Create accept;
                   1747:        Create DoubleQuote;
                   1748:        END;
1.63      cvs      1749: 
                   1750:  LAlign = Top_:
                   1751:        Create ' align="top"';
                   1752:  LAlign = Bottom_:
                   1753:        Create ' align="bottom"';
                   1754:  LAlign = Left_:
                   1755:        Create ' align="left"';
                   1756:  LAlign = Right_:
                   1757:        Create ' align="right"';
1.51      cvs      1758: 
1.1       cvs      1759:  Area_Size: BEGIN
1.12      cvs      1760:        Create ' size="';
1.1       cvs      1761:        Create Area_Size;
1.12      cvs      1762:        Create DoubleQuote;
1.1       cvs      1763:        END;
                   1764: 
                   1765:  MaxLength: BEGIN
1.12      cvs      1766:        Create ' maxlength="';
1.1       cvs      1767:        Create MaxLength;
1.12      cvs      1768:        Create DoubleQuote;
1.1       cvs      1769:        END;
                   1770: 
                   1771:  SRC:  BEGIN
1.78      cvs      1772:        if not Immediately within Object
                   1773:           BEGIN
                   1774:           Create ' src="';
                   1775:           Create SRC;
                   1776:           Create DoubleQuote;
                   1777:           END;
1.1       cvs      1778:        END;
                   1779: 
                   1780:  ALT:  BEGIN
1.78      cvs      1781:        if not Immediately within Object
                   1782:           BEGIN
                   1783:           Create ' alt="';
                   1784:           Create Translated ALT;
                   1785:           Create DoubleQuote;
                   1786:           END;
1.1       cvs      1787:        END;
                   1788: 
1.51      cvs      1789:  longdesc: BEGIN
                   1790:        Create ' longdesc="';
                   1791:        Create longdesc;
                   1792:        Create DoubleQuote;
                   1793:        END;
                   1794: 
1.1       cvs      1795:  Alignment = Top_:
1.46      cvs      1796:        Create ' align="top"';
1.1       cvs      1797:  Alignment = Middle_:
1.46      cvs      1798:        Create ' align="middle"';
1.1       cvs      1799:  Alignment = Bottom_:
1.46      cvs      1800:        Create ' align="bottom"';
1.1       cvs      1801:  Alignment = Left_:
1.46      cvs      1802:        Create ' align="left"';
1.1       cvs      1803:  Alignment = Right_:
1.46      cvs      1804:        Create ' align="right"';
1.1       cvs      1805: 
                   1806:  Height_: BEGIN
                   1807:        Create ' height="';
                   1808:        Create Height_;
1.12      cvs      1809:        Create DoubleQuote;
1.1       cvs      1810:        END;
                   1811: 
                   1812:  Img_border: BEGIN
                   1813:        Create ' border="';
                   1814:        Create Img_border;
1.12      cvs      1815:        Create DoubleQuote;
1.1       cvs      1816:        END;
                   1817: 
                   1818:  hspace: BEGIN
                   1819:        Create ' hspace="';
                   1820:        Create hspace;
1.12      cvs      1821:        Create DoubleQuote;
1.1       cvs      1822:        END;
                   1823: 
                   1824:  vspace: BEGIN
                   1825:        Create ' vspace="';
                   1826:        Create vspace;
1.12      cvs      1827:        Create DoubleQuote;
1.1       cvs      1828:        END;
                   1829: 
                   1830:  ISMAP:
1.65      cvs      1831:        Create ' ismap="ismap"';
1.1       cvs      1832: 
                   1833:  USEMAP: BEGIN
                   1834:        Create ' usemap="';
                   1835:        Create USEMAP;
1.12      cvs      1836:        Create DoubleQuote;
1.1       cvs      1837:        END;
                   1838: 
                   1839:  nohref:
1.65      cvs      1840:        Create ' nohref="nohref"';
1.1       cvs      1841: 
                   1842:  shape = rectangle:
1.46      cvs      1843:        Create ' shape="rect"';
1.1       cvs      1844:  shape = circle:
1.46      cvs      1845:        Create ' shape="circle"';
1.1       cvs      1846:  shape = polygon:
1.46      cvs      1847:        Create ' shape="poly"';
1.1       cvs      1848: 
                   1849:  coords: BEGIN
                   1850:        Create ' coords="';
                   1851:        Create coords;
1.12      cvs      1852:        Create DoubleQuote;
1.1       cvs      1853:        END;
1.40      cvs      1854: 
                   1855:  mode = inline_math:
1.46      cvs      1856:        Create ' mode="inline"';
1.40      cvs      1857:  mode = display:
1.46      cvs      1858:        Create ' mode="display"';
1.1       cvs      1859: 
1.51      cvs      1860:  summary: BEGIN
                   1861:        Create ' summary="';
1.65      cvs      1862:        Create Translated summary;
1.51      cvs      1863:        Create DoubleQuote;
                   1864:        END;
                   1865: 
                   1866:  frame = void:
                   1867:        Create ' frame="void"';
                   1868:  frame = above:
                   1869:        Create ' frame="above"';
                   1870:  frame = below:
                   1871:        Create ' frame="below"';
                   1872:  frame = hsides:
                   1873:        Create ' frame="hsides"';
                   1874:  frame = lhs:
                   1875:        Create ' frame="lhs"';
                   1876:  frame = rhs:
                   1877:        Create ' frame="rhs"';
                   1878:  frame = vsides:
                   1879:        Create ' frame="vsides"';
                   1880:  frame = box:
                   1881:        Create ' frame="box"';
                   1882:  frame = border:
                   1883:        Create ' frame="border"';
                   1884:  
                   1885:  rules_ = none:
                   1886:        Create ' rules="none"';
                   1887:  rules_ = groups:
                   1888:        Create ' rules="groups"';
                   1889:  rules_ = rows:
                   1890:        Create ' rules="rows"';
                   1891:  rules_ = cols:
                   1892:        Create ' rules="cols"';
                   1893:  rules_ = all:
                   1894:        Create ' rules="all"';
                   1895: 
1.1       cvs      1896:  Border: BEGIN
1.12      cvs      1897:        Create ' border="';
1.1       cvs      1898:        Create Border;
1.12      cvs      1899:        Create DoubleQuote;
1.1       cvs      1900:        END;
                   1901: 
                   1902:  cellspacing: BEGIN
                   1903:        Create ' cellspacing="';
                   1904:        Create cellspacing;
1.12      cvs      1905:        Create DoubleQuote;
1.1       cvs      1906:        END;
                   1907: 
                   1908:  cellpadding: BEGIN
                   1909:        Create ' cellpadding="';
                   1910:        Create cellpadding;
1.12      cvs      1911:        Create DoubleQuote;
1.1       cvs      1912:        END;
                   1913: 
1.51      cvs      1914:  datapagesize: BEGIN
                   1915:        Create ' datapagesize="';
                   1916:        Create datapagesize;
                   1917:        Create DoubleQuote;
                   1918:        END;
                   1919: 
1.1       cvs      1920:  Position = Position_top:
1.46      cvs      1921:         Create ' align="top"';
1.1       cvs      1922:  Position = Position_bottom:
1.46      cvs      1923:         Create ' align="bottom"';
1.51      cvs      1924:  Position = Position_left:
1.46      cvs      1925:         Create ' align="left"';
1.51      cvs      1926:  Position = Position_right:
1.46      cvs      1927:         Create ' align="right"';
1.51      cvs      1928: 
1.1       cvs      1929:  Row_valign = Row_top:
1.46      cvs      1930:         Create ' valign="top"';
1.1       cvs      1931:  Row_valign = Row_middle:
1.46      cvs      1932:         Create ' valign="middle"';
1.1       cvs      1933:  Row_valign = Row_bottom:
1.46      cvs      1934:         Create ' valign="bottom"';
1.51      cvs      1935:  Row_valign = Row_baseline:
                   1936:         Create ' valign="baseline"';
1.1       cvs      1937: 
1.51      cvs      1938:  abbr: BEGIN
1.88      cvs      1939:        Create ' abbr="';
1.65      cvs      1940:        Create Translated abbr;
1.51      cvs      1941:        Create DoubleQuote;
                   1942:        END;
                   1943: 
                   1944:  axis: BEGIN
1.88      cvs      1945:        Create ' axis="';
1.51      cvs      1946:        Create axis;
                   1947:        Create DoubleQuote;
                   1948:        END;
                   1949: 
                   1950:  headers: BEGIN
1.88      cvs      1951:        Create ' headers="';
1.51      cvs      1952:        Create headers;
                   1953:        Create DoubleQuote;
                   1954:        END;
                   1955: 
                   1956:  scope: BEGIN
1.88      cvs      1957:        Create ' scope="';
1.51      cvs      1958:        Create scope;
1.69      cvs      1959:        Create DoubleQuote;
                   1960:        END;
                   1961: 
                   1962:  span_: BEGIN
                   1963:        Create ' span="';
                   1964:        Create span_;
1.12      cvs      1965:        Create DoubleQuote;
1.1       cvs      1966:        END;
                   1967: 
1.39      cvs      1968:  rowspan_: BEGIN
1.12      cvs      1969:        Create ' rowspan="';
1.39      cvs      1970:        Create rowspan_;
1.12      cvs      1971:        Create DoubleQuote;
1.1       cvs      1972:        END;
                   1973: 
1.51      cvs      1974:  colspan_: BEGIN
                   1975:        Create ' colspan="';
                   1976:        Create colspan_;
                   1977:        Create DoubleQuote;
                   1978:        END;
                   1979: 
1.1       cvs      1980:  Cell_align = Cell_left:
1.46      cvs      1981:        Create ' align="left"';
1.1       cvs      1982:  Cell_align = Cell_center:
1.46      cvs      1983:        Create ' align="center"';
1.1       cvs      1984:  Cell_align = Cell_right:
1.46      cvs      1985:        Create ' align="right"';
1.51      cvs      1986:  Cell_align = Cell_justify:
                   1987:        Create ' align="justify"';
                   1988:  Cell_align = Cell_char:
                   1989:        Create ' align="char"';
                   1990: 
                   1991:  char: BEGIN
                   1992:        Create ' char="';
                   1993:        Create char;
                   1994:        Create DoubleQuote;
                   1995:        END;
1.1       cvs      1996: 
1.51      cvs      1997:  charoff: BEGIN
                   1998:        Create ' charoff="';
                   1999:        Create charoff;
                   2000:        Create DoubleQuote;
                   2001:        END;
                   2002:  
1.1       cvs      2003:  Cell_valign = Cell_top:
1.46      cvs      2004:        Create ' valign="top"';
1.1       cvs      2005:  Cell_valign = Cell_middle:
1.46      cvs      2006:        Create ' valign="middle"';
1.1       cvs      2007:  Cell_valign = Cell_bottom:
1.46      cvs      2008:        Create ' valign="bottom"';
1.51      cvs      2009:  Cell_valign = Cell_baseline:
                   2010:        Create ' valign="baseline"';
1.1       cvs      2011: 
1.24      cvs      2012:  No_wrap = no_wrap:
1.65      cvs      2013:        Create ' nowrap="nowrap"';
1.58      cvs      2014: 
                   2015:  RowHeight: BEGIN
                   2016:        Create ' rows="';
                   2017:        Create RowHeight;
                   2018:        Create DoubleQuote;
                   2019:        END;
                   2020: 
                   2021:  ColWidth: BEGIN
                   2022:        Create ' cols="';
                   2023:        Create ColWidth;
                   2024:        Create DoubleQuote;
                   2025:        END;
                   2026: 
                   2027:  FrameName: BEGIN
                   2028:        Create ' name="';
                   2029:        Create FrameName;
                   2030:        Create DoubleQuote;
                   2031:        END;
                   2032: 
                   2033:  FrameSrc: BEGIN
                   2034:        Create ' src="';
                   2035:        Create FrameSrc;
                   2036:        Create DoubleQuote;
                   2037:        END;
                   2038: 
                   2039:  frameborder = Border1:
                   2040:        Create ' frameborder="1"';
                   2041:  frameborder = Border0:
                   2042:        Create ' frameborder="0"';
                   2043: 
                   2044:  marginwidth: BEGIN
                   2045:        Create ' marginwidth="';
                   2046:        Create marginwidth;
                   2047:        Create DoubleQuote;
                   2048:        END;
                   2049: 
                   2050:  marginheight: BEGIN
                   2051:        Create ' marginheight="';
                   2052:        Create marginheight;
                   2053:        Create DoubleQuote;
                   2054:        END;
                   2055: 
                   2056:  no_resize: BEGIN
                   2057:        Create ' noresize="noresize"';
                   2058:        END;
                   2059: 
                   2060:  scrolling = Yes_:
                   2061:        Create ' scrolling="yes"';
                   2062:  scrolling = No_:
                   2063:        Create ' scrolling="no"';
                   2064:  scrolling = auto:
                   2065:        Create ' scrolling="auto"';
1.1       cvs      2066: 
                   2067:  Invalid_attribute:
1.77      cvs      2068:        BEGIN
                   2069: #ifndef XML
1.1       cvs      2070:        Create Invalid_attribute;
1.77      cvs      2071: #endif
                   2072:        END;
1.1       cvs      2073: 
1.92    ! cvs      2074:  IntEntity:
        !          2075:        BEGIN
        !          2076:        NoTranslation;  { do not translate & into &amp; }
        !          2077:        END;
        !          2078: 
1.1       cvs      2079: #include "Text_SGML.inc"
                   2080: 
1.35      cvs      2081: #include "greek.sgml"
                   2082: 
1.1       cvs      2083: GraphTRANSLATE
                   2084:        BEGIN
                   2085:        'c' -> 'circle';
                   2086:        'Q' -> 'circle';
                   2087:        'R' -> 'rect';
                   2088:        'C' -> 'rect';
                   2089:        ' ' -> 'rect';
                   2090:        'P' -> 'rect';
                   2091:        'p' -> 'polygon';
                   2092:        'B' -> 'polygon';
                   2093:        END;
                   2094: 
                   2095: END

Webmaster