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

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

Webmaster