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

1.3       cvs         1:                { Author: I. Vatton      1994-1995-1996  }
1.1       cvs         2: 
                      3: TRANSLATION HTML;
                      4: 
1.3       cvs         5: LINELENGTH 78;
1.1       cvs         6: 
                      7: CONST
1.12      cvs         8:    DoubleQuote  = '"';
1.1       cvs         9: 
                     10: RULES
                     11: 
                     12:  HTML : BEGIN
1.26      cvs        13:        Create '<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">\12';
1.18      cvs        14:        Create '<html';
                     15:        Create Attributes;
                     16:        Create '>\12';
1.15      cvs        17:        Create '</html>\12' After;
1.1       cvs        18:        END;
                     19: 
                     20:  HEAD: BEGIN
1.18      cvs        21:        Create '<head';
                     22:        Create Attributes;
                     23:        Create '>\12';
1.15      cvs        24:        Create '</head>\12' After;
1.1       cvs        25:        END;
                     26: 
                     27:  Document_URL:
                     28:        BEGIN
                     29:        Remove;
                     30:        END;
                     31: 
                     32:  TITLE:        BEGIN
1.18      cvs        33:        Create '<title';
                     34:        Create Attributes;
                     35:        Create '>\12';
1.15      cvs        36:        Create '</title>\12' After;
1.1       cvs        37:        END;
                     38: 
                     39:  ISINDEX: BEGIN
1.15      cvs        40:        Create '<isindex';
1.1       cvs        41:        IF Prompt
                     42:           BEGIN
                     43:           Create ' prompt="';
                     44:           Create Prompt;
1.12      cvs        45:           Create DoubleQuote;
1.1       cvs        46:           END;
                     47:        Create Attributes;
                     48:        Remove;
                     49:        Create '>\12';
                     50:        END;
                     51: 
                     52:  BASE: BEGIN
1.15      cvs        53:        Create '<base ';
1.1       cvs        54:        Create Attributes;
                     55:        Remove;
                     56:        Create '>\12';
                     57:        END;
                     58: 
                     59:  Styles:BEGIN
1.15      cvs        60:        Create '<style';
1.1       cvs        61:        IF Notation
                     62:           BEGIN
                     63:           Create ' type=';
                     64:           Create Notation;
                     65:           END;
                     66:        Create Attributes;
                     67:        Create '>\12';
1.15      cvs        68:        Create '</style>\12' After;
1.1       cvs        69:        END;
                     70: 
                     71:  StyleRule:
                     72:        BEGIN
                     73:        IF Selector
                     74:           BEGIN
                     75:           Create Selector;
                     76:           Create ' { ';
                     77:           Create ' }\12' After;
                     78:           END;
                     79:        END;
                     80: 
                     81:  SCRIPT: BEGIN
1.15      cvs        82:        Create '<script';
1.1       cvs        83:        Create Attributes;
                     84:        Create '>\12' After;
                     85:        END;
                     86: 
                     87:  META: BEGIN
1.15      cvs        88:        Create '<meta';
1.1       cvs        89:        Remove;
                     90:        Create Attributes;
                     91:        Create '>\12' After;
                     92:        END;
                     93: 
                     94:  LINK: BEGIN
1.15      cvs        95:        Create '<link';
1.1       cvs        96:        Remove;
                     97:        Create Attributes;
                     98:        Create '>\12' After;
                     99:        END;
                    100: 
                    101:  BODY: BEGIN
1.15      cvs       102:        Create '<body';
1.1       cvs       103:        Create Attributes;
                    104:        Create '>\12';
1.15      cvs       105:        Create '</body>\12' After;
1.1       cvs       106:        END;
                    107: 
                    108:  H1:   BEGIN
1.28      cvs       109:        if not within Preformatted Create '\12';
1.15      cvs       110:        Create '<h1';
1.1       cvs       111:        Create Attributes;
                    112:        Create '>';
1.15      cvs       113:        Create '</h1>' After;
1.28      cvs       114:        if not within Preformatted Create '\12' After;
1.1       cvs       115:        END;
                    116: 
                    117:  H2:   BEGIN
1.28      cvs       118:        if not within Preformatted Create '\12';
1.15      cvs       119:        Create '<h2';
1.1       cvs       120:        Create Attributes;
                    121:        Create '>';
1.15      cvs       122:        Create '</h2>' After;
1.28      cvs       123:        if not within Preformatted Create '\12' After;
1.1       cvs       124:        END;
                    125: 
                    126:  H3:   BEGIN
1.28      cvs       127:        if not within Preformatted Create '\12';
1.15      cvs       128:        Create '<h3';
1.1       cvs       129:        Create Attributes;
                    130:        Create '>';
1.15      cvs       131:        Create '</h3>' After;
1.28      cvs       132:        if not within Preformatted Create '\12' After;
1.1       cvs       133:        END;
                    134: 
                    135:  H4:   BEGIN
1.28      cvs       136:        if not within Preformatted Create '\12';
1.15      cvs       137:        Create '<h4';
1.1       cvs       138:        Create Attributes;
                    139:        Create '>';
1.15      cvs       140:        Create '</h4>' After;
1.28      cvs       141:        if not within Preformatted Create '\12' After;
1.1       cvs       142:        END;
                    143: 
                    144:  H5:   BEGIN
1.28      cvs       145:        if not within Preformatted Create '\12';
1.15      cvs       146:        Create '<h5';
1.1       cvs       147:        Create Attributes;
                    148:        Create '>';
1.15      cvs       149:        Create '</h5>' After;
                    150:        if not within Preformatted Create '\12' After;
1.1       cvs       151:        END;
                    152: 
                    153:  H6:   BEGIN
1.28      cvs       154:        if not within Preformatted Create '\12';
1.15      cvs       155:        Create '<h6';
1.1       cvs       156:        Create Attributes;
                    157:        Create '>';
1.15      cvs       158:        Create '</h6>' After;
                    159:        if not within Preformatted Create '\12' After;
1.1       cvs       160:        END;
                    161: 
                    162:  BaseFont:
                    163:        BEGIN
1.15      cvs       164:        Create '<basefont';
1.1       cvs       165:        Remove;
                    166:        Create Attributes;
                    167:        Create '>\12';
                    168:        END;
                    169: 
1.6       cvs       170:  BR:   BEGIN
1.15      cvs       171:        Create '<br';
1.6       cvs       172:        Create Attributes;
1.13      cvs       173:        Create '>\12';
1.6       cvs       174:        Remove;
                    175:        END;
1.1       cvs       176:  Italic_text:
                    177:        BEGIN
1.15      cvs       178:        Create '<i';
1.1       cvs       179:        Create Attributes;
                    180:        Create '>';
1.15      cvs       181:        Create '</i>' After;
1.1       cvs       182:        END;
                    183:  Bold_text:
                    184:        BEGIN
1.15      cvs       185:        Create '<b';
1.1       cvs       186:        Create Attributes;
                    187:        Create '>';
1.15      cvs       188:        Create '</b>' After;
1.1       cvs       189:        END;
                    190:  Teletype_text:
                    191:        BEGIN
1.15      cvs       192:        Create '<tt';
1.1       cvs       193:        Create Attributes;
                    194:        Create '>';
1.15      cvs       195:        Create '</tt>' After;
1.1       cvs       196:        END;
1.8       cvs       197:  Underlined_text:
                    198:        BEGIN
1.15      cvs       199:        Create '<u';
1.8       cvs       200:        Create Attributes;
                    201:        Create '>';
1.15      cvs       202:        Create '</u>' After;
1.8       cvs       203:        END;
1.1       cvs       204:  Struck_text:
                    205:        BEGIN
1.15      cvs       206:        Create '<strike';
1.1       cvs       207:        Create Attributes;
                    208:        Create '>';
1.15      cvs       209:        Create '</strike>' After;
1.1       cvs       210:        END;
                    211:  Big_text:
                    212:        BEGIN
1.15      cvs       213:        Create '<big';
1.1       cvs       214:        Create Attributes;
                    215:        Create '>';
1.15      cvs       216:        Create '</big>' After;
1.1       cvs       217:        END;
                    218:  Small_text:
                    219:        BEGIN
1.15      cvs       220:        Create '<small';
1.1       cvs       221:        Create Attributes;
                    222:        Create '>';
1.15      cvs       223:        Create '</small>' After;
1.1       cvs       224:        END;
                    225:  Subscript:
                    226:        BEGIN
1.15      cvs       227:        Create '<sub';
1.1       cvs       228:        Create Attributes;
                    229:        Create '>';
1.15      cvs       230:        Create '</sub>' After;
1.1       cvs       231:        END;
                    232:  Superscript:
                    233:        BEGIN
1.15      cvs       234:        Create '<sup';
1.1       cvs       235:        Create Attributes;
                    236:        Create '>';
1.15      cvs       237:        Create '</sup>' After;
1.1       cvs       238:        END;
                    239: 
                    240:  Emphasis:
                    241:        BEGIN
1.15      cvs       242:        Create '<em';
1.1       cvs       243:        Create Attributes;
                    244:        Create '>';
1.15      cvs       245:        Create '</em>' After;
1.1       cvs       246:        END;
                    247:  Strong:
                    248:        BEGIN
1.15      cvs       249:        Create '<strong';
1.1       cvs       250:        Create Attributes;
                    251:        Create '>';
1.15      cvs       252:        Create '</strong>' After;
1.1       cvs       253:        END;
                    254:  Def:
                    255:        BEGIN
1.15      cvs       256:        Create '<dfn';
1.1       cvs       257:        Create Attributes;
                    258:        Create '>';
1.15      cvs       259:        Create '</dfn>' After;
1.1       cvs       260:        END;
                    261:  Code:
                    262:        BEGIN
1.15      cvs       263:        Create '<code';
1.1       cvs       264:        Create Attributes;
                    265:        Create '>';
1.15      cvs       266:        Create '</code>' After;
1.1       cvs       267:        END;
                    268:  Sample:
                    269:        BEGIN
1.15      cvs       270:        Create '<samp';
1.1       cvs       271:        Create Attributes;
                    272:        Create '>';
1.15      cvs       273:        Create '</samp>' After;
1.1       cvs       274:        END;
                    275:  Keyboard:
                    276:        BEGIN
1.15      cvs       277:        Create '<kbd';
1.1       cvs       278:        Create Attributes;
                    279:        Create '>';
1.15      cvs       280:        Create '</kbd>' After;
1.1       cvs       281:        END;
                    282:  Variable:
                    283:        BEGIN
1.15      cvs       284:        Create '<var';
1.1       cvs       285:        Create Attributes;
                    286:        Create '>';
1.15      cvs       287:        Create '</var>' After;
1.1       cvs       288:        END;
                    289:  Cite:
                    290:        BEGIN
1.15      cvs       291:        Create '<cite';
1.1       cvs       292:        Create Attributes;
                    293:        Create '>';
1.15      cvs       294:        Create '</cite>' After;
1.1       cvs       295:        END;
                    296: 
                    297:  Font_: BEGIN
1.15      cvs       298:        Create '<font';
1.1       cvs       299:        Create Attributes;
                    300:        Create '>';
1.15      cvs       301:        Create '</font>' After;
1.1       cvs       302:        END;
                    303: 
                    304:  Applet: BEGIN
1.15      cvs       305:        Create '<applet';
1.1       cvs       306:        Create Attributes;
                    307:        Create '>\12';
1.15      cvs       308:        Create '</applet>\12' After;    
1.1       cvs       309:        END;
                    310: 
                    311:  Parameter: BEGIN
1.15      cvs       312:        Create '<param';
1.1       cvs       313:        Create Attributes;
                    314:        Remove;
                    315:        Create '>\12';
                    316:        END;
                    317: 
                    318: #ifdef COUGAR
                    319:  Object: BEGIN
1.15      cvs       320:        Create '<object';
1.1       cvs       321:        Create Attributes;
                    322:        Create '>\12';
1.15      cvs       323:        Create '</object>\12' After;    
1.1       cvs       324:        END;
1.20      cvs       325: 
                    326:  Span: BEGIN
                    327:        Create '<span';
                    328:        Create Attributes;
                    329:        Create '>';
                    330:        Create '</span>' After;
                    331:        END;
1.1       cvs       332: #endif
1.29      cvs       333: 
                    334: #ifdef MATHML
1.33    ! cvs       335:  Math: BEGIN
        !           336:        Create '<math';
1.29      cvs       337:        Create Attributes;
                    338:        Create '>\12';
1.31      cvs       339:         indent +2;
                    340:         indent -2 after;
1.33    ! cvs       341:        Create '</math>\12' After;      
        !           342:        END;
        !           343:  MathDisp: BEGIN
        !           344:        Create '<mathdisp';
        !           345:        Create Attributes;
        !           346:        Create '>\12';
        !           347:         indent +2;
        !           348:         indent -2 after;
        !           349:        Create '</mathdisp>\12' After;  
1.29      cvs       350:        END;
1.30      cvs       351:  MathML:
1.31      cvs       352:         begin
1.30      cvs       353:        Use MathMLT;    
1.31      cvs       354:         end;
1.29      cvs       355: #endif
                    356: 
1.1       cvs       357:  Paragraph: BEGIN
1.16      cvs       358:        Create '<p';
                    359:        Create Attributes;
                    360:        Create '>\12';
                    361:        Create '</p>' After;
                    362:        Create '\12' After;
                    363:        END;
                    364: 
                    365:  Pseudo_paragraph: BEGIN
                    366:        Create '\12';
1.1       cvs       367:        Create '\12' After;
                    368:        END;
                    369: 
                    370:  TEXT_UNIT: BEGIN
                    371:        IF Within Text_Area
                    372:                Remove;
                    373:        IF Within Text_Input
                    374:                Remove;
                    375:        END;
                    376: 
                    377:  Definition_List: BEGIN
1.15      cvs       378:        Create '<dl';
1.1       cvs       379:        Create Attributes;
                    380:        Create '>\12';
1.15      cvs       381:        Create '</dl>\12' After;
1.1       cvs       382:        END;
                    383: 
                    384:  Term: BEGIN
1.15      cvs       385:        Create '<dt';
1.1       cvs       386:        Create Attributes;
                    387:        Create '>';
1.15      cvs       388:        Create '</dt>\12' After;
1.1       cvs       389:        END;
                    390: 
                    391:  Definition: BEGIN
1.15      cvs       392:        Create '<dd';
1.1       cvs       393:        Create Attributes;
                    394:        Create '>';
1.15      cvs       395:        Create '</dd>\12' After;
1.1       cvs       396:        END;
                    397: 
                    398:  Unnumbered_List: BEGIN
1.15      cvs       399:        Create '<ul';
1.1       cvs       400:        Create Attributes;
                    401:        Create '>\12';
1.15      cvs       402:        Create '</ul>\12' After;
1.1       cvs       403:        END;
                    404: 
                    405:  Numbered_List:        BEGIN
1.15      cvs       406:        Create '<ol';
1.1       cvs       407:        Create Attributes;
                    408:        Create '>\12';
1.15      cvs       409:        Create '</ol>\12' After;
1.1       cvs       410:        END;
                    411: 
                    412:  Address: BEGIN
1.15      cvs       413:        Create '<address';
1.1       cvs       414:        Create Attributes;
                    415:        Create '>\12';
1.15      cvs       416:        Create '</address>\12' After;
1.1       cvs       417:        END;
                    418: 
                    419:  Menu: BEGIN
1.15      cvs       420:        Create '<menu';
1.1       cvs       421:        Create Attributes;
                    422:        Create '>\12';
1.15      cvs       423:        Create '</menu>\12' After;
1.1       cvs       424:        END;
                    425: 
                    426:  Directory: BEGIN
1.15      cvs       427:        Create '<dir';
1.1       cvs       428:        Create Attributes;
                    429:        Create '>\12';
1.15      cvs       430:        Create '</dir>\12' After;
1.1       cvs       431:        END;
                    432: 
                    433:  List_Item: BEGIN
1.15      cvs       434:        Create '<li';
1.1       cvs       435:        Create Attributes;
                    436:        Create '>';
                    437:        END;
                    438: 
                    439:  Preformatted: BEGIN
                    440:        NoLineBreak;
1.15      cvs       441:        Create '<pre';
1.1       cvs       442:        Create Attributes;
                    443:        Create '>';
1.15      cvs       444:        Create '</pre>\12' After;
1.1       cvs       445:        END;
                    446: 
                    447:  Horizontal_Rule: BEGIN
1.15      cvs       448:        Create '<hr';
1.1       cvs       449:        Create Attributes;
                    450:        Remove;
1.15      cvs       451:        Create '>';
1.17      cvs       452:        if not within Preformatted Create '\12';
1.1       cvs       453:        END;
                    454: 
                    455:  Form: BEGIN
1.15      cvs       456:        Create '<form';
1.1       cvs       457:        Create Attributes;
                    458:        Create '>\12';
1.15      cvs       459:        Create '</form>\12' After;
1.1       cvs       460:        END;
                    461: 
                    462:  Option_Menu: BEGIN
1.15      cvs       463:        Create '\12<select';
1.1       cvs       464:        Create Attributes;
1.5       cvs       465:        Create '>';
1.15      cvs       466:        Create '\12</select>\12' After;
1.1       cvs       467:        END;
                    468: 
                    469:  Option: BEGIN
1.15      cvs       470:        Create '\12<option';
1.5       cvs       471:        Create Attributes;
                    472:        Create '>';
1.1       cvs       473:        END;
                    474: 
                    475:  Toggle_Menu: BEGIN
1.15      cvs       476:        Create '<!--toggle_menu-->\12<pre>\12';
                    477:        Create '</pre>\12' After;
1.1       cvs       478:        END;
                    479: 
                    480:  Toggle_Item: BEGIN
                    481:        Create '\12' After;
                    482:        END;
                    483: 
                    484:  Radio_Menu: BEGIN
1.15      cvs       485:        Create '<!--radio_menu-->\12<pre>\12';
                    486:        Create '</pre>\12' After;
1.1       cvs       487:        END;
                    488: 
                    489:  Radio_Item: BEGIN
                    490:        Create '\12' After;
                    491:        END;
                    492: 
                    493:  Text_Input_Line: BEGIN
1.15      cvs       494:        Create '<!--text_input_line-->\12<p>\12';
                    495:        Create '</p>\12' After;
1.1       cvs       496:        END;
                    497: 
                    498:  Command_Line: BEGIN
1.15      cvs       499:        Create '<!--command_line-->\12<p>\12';
                    500:        Create '</p>\12' After;
1.1       cvs       501:        END;
                    502: 
                    503:  Text_Area: BEGIN
1.15      cvs       504:        Create '<textarea';
1.1       cvs       505:        Create Attributes;
                    506:        Create '>';
1.15      cvs       507:        Create '</textarea>';
1.1       cvs       508:        END;
                    509: 
                    510:  Checkbox_Input: BEGIN
1.15      cvs       511:        Create '<input type=checkbox';
1.1       cvs       512:        Create Attributes;
                    513:        Create '>';
                    514:        Remove;
                    515:        END;
                    516: 
                    517:  Radio_Input: BEGIN
1.15      cvs       518:        Create '<input type=radio';
1.1       cvs       519:        Create Attributes;
                    520:        Create '>';
                    521:        Remove;
                    522:        END;
                    523: 
                    524:  Text_Input: BEGIN
1.15      cvs       525:        Create '<input type=text';
1.1       cvs       526:        Create Attributes;
                    527:        Create '>';
                    528:        Remove;
                    529:        END;
                    530: 
                    531:  Hidden_Input: BEGIN
1.15      cvs       532:        Create '<input type=hidden';
1.1       cvs       533:        Create Attributes;
                    534:        Create '>';
                    535:        Remove;
                    536:        END;
                    537: 
                    538:  Password_Input: BEGIN
1.15      cvs       539:        Create '<input type=password';
1.1       cvs       540:        Create Attributes;
                    541:        Create '>';
                    542:        Remove;
                    543:        END;
                    544: 
                    545:  File_Input: BEGIN
1.15      cvs       546:        Create '<input type=file';
1.1       cvs       547:        Create Attributes;
                    548:        Create '>';
                    549:        Remove;
                    550:        END;
                    551: 
                    552:  Reset_Input: BEGIN
1.15      cvs       553:        Create '\12<input type=reset';
1.1       cvs       554:        Create Attributes;
                    555:        Create '>';
                    556:        Remove;
                    557:        END;
                    558: 
                    559:  Submit_Input: BEGIN
1.15      cvs       560:        Create '\12<input type=submit';
1.1       cvs       561:        Create Attributes;
                    562:        Create '>';
                    563:        Remove;
                    564:        END;
                    565: 
                    566:  Block_Quote: BEGIN
1.15      cvs       567:        Create '<blockquote';
1.1       cvs       568:        Create Attributes;
                    569:        Create '>\12';
1.15      cvs       570:        Create '</blockquote>\12' After;
1.1       cvs       571:        END;
                    572: 
                    573:  PICTURE_UNIT: BEGIN
1.10      cvs       574: #ifdef COUGAR
                    575:        if Immediately within Object
                    576:                Remove;
                    577:        if NOT Immediately within Object BEGIN
1.15      cvs       578:                Create '<img';
1.10      cvs       579:                Create Attributes;
                    580:                Create '>' After;
                    581:                END;
                    582:        if NOT within Paragraph AND NOT Immediately within Object
                    583:                Create '\12' After;
                    584: #else
1.15      cvs       585:        Create '<img';
1.1       cvs       586:        Create Attributes;
                    587:        Create '>' After;
                    588:        if NOT within Paragraph
                    589:                Create '\12' After;
1.10      cvs       590: #endif
1.1       cvs       591:        END;
                    592: 
                    593:  Anchor: BEGIN
1.15      cvs       594:        Create '<a';
1.1       cvs       595:        Create Attributes;
                    596:        Create '>';
1.15      cvs       597:        Create '</a>' After;
1.1       cvs       598:        END;
                    599: 
                    600:  MAP:
                    601:        BEGIN
1.15      cvs       602:        Create '<map';
1.1       cvs       603:        Create Attributes;
                    604:        Create '>\12';
1.15      cvs       605:        Create '</map>\12' after;
1.1       cvs       606:        END;
                    607: 
                    608:  AREA:
                    609:        BEGIN
1.15      cvs       610:        Create '<area';
1.1       cvs       611:        Create Attributes;
                    612:        Remove;
                    613:        Create '>\12';
                    614:        END;
                    615: 
                    616: { ---- Tables ---- }
                    617: 
                    618:  Table:
                    619:        BEGIN
1.15      cvs       620:        Create '\12<table';
1.1       cvs       621:        Create Attributes;
                    622:        Create '>\12';
1.15      cvs       623:        Create '</table>\12' after;
1.1       cvs       624:        END;
                    625: 
                    626:  CAPTION:
                    627:        BEGIN
1.15      cvs       628:        Create '<caption';
1.1       cvs       629:        Create Attributes;
                    630:        Create '>';
1.15      cvs       631:        Create '</caption>\12' after;
1.1       cvs       632:        END;
                    633: 
                    634:  Table_head:
                    635:        Remove;
                    636: 
1.11      cvs       637: #ifdef COUGAR
1.1       cvs       638:  thead:
                    639:        BEGIN
1.15      cvs       640:        Create '<thead';
1.1       cvs       641:        Create Attributes;
                    642:        Create '>\12';
1.15      cvs       643:        Create '</thead>\12' after;
1.1       cvs       644:        END;
                    645: 
                    646:  tfoot:
                    647:        BEGIN
1.15      cvs       648:        Create '<tfoot';
1.1       cvs       649:        Create Attributes;
                    650:        Create '>\12';
1.15      cvs       651:        Create '</tfoot>\12' after;
1.1       cvs       652:        END;
                    653:  tbody:
                    654:        BEGIN
1.15      cvs       655:        Create '<tbody';
1.1       cvs       656:        Create Attributes;
                    657:        Create '>\12';
1.15      cvs       658:        Create '</tbody>\12' after;
1.1       cvs       659:        END;
1.11      cvs       660: #endif
1.1       cvs       661: 
                    662:  Table_body:
                    663:        Get tfoot;
                    664: 
                    665:  Table_row:
                    666:        BEGIN
1.15      cvs       667:        Create '<tr';
1.1       cvs       668:        Create Attributes;
                    669:        Create '>\12';
1.15      cvs       670:        Create '</tr>\12' after;
1.1       cvs       671:        END;
                    672: 
                    673:  Data_cell:
                    674:        BEGIN
1.15      cvs       675:        Create '<td';
1.1       cvs       676:        Create Attributes;
                    677:        Create '>';
1.25      cvs       678:        Create '</td>\12' after;
1.1       cvs       679:        END;
                    680: 
                    681:  Heading_cell:
                    682:        BEGIN
1.15      cvs       683:        Create '<th';
1.1       cvs       684:        Create Attributes;
                    685:        Create '>';
1.25      cvs       686:        Create '</th>\12' after;
1.1       cvs       687:        END;
                    688: 
                    689:  Table_foot:
                    690:        BEGIN
                    691:        Remove;
                    692:        END;
                    693: 
                    694:  Division: BEGIN
1.15      cvs       695:        Create '\12<div';
1.1       cvs       696:        Create Attributes;
                    697:        Create '>\12';
1.15      cvs       698:        Create '</div>\12' After;
1.1       cvs       699:        END;
                    700: 
                    701:  Center: BEGIN
1.15      cvs       702:        Create '\12<center';
1.1       cvs       703:        Create Attributes;
                    704:        Create '>\12';
1.15      cvs       705:        Create '</center>\12' After;
1.1       cvs       706:        END;
                    707: 
1.8       cvs       708:  Invalid_element:
                    709:        BEGIN
                    710:        if Error_type = BadPosition
                    711:           Remove;
                    712:        if not Error_type = BadPosition
                    713:            BEGIN
                    714:           NoTranslation;
                    715:           Create Content;
                    716:           Remove;
                    717:           Create Attributes;
                    718:           Create '>';
                    719:           END;
1.1       cvs       720:        END;
                    721: 
                    722:  Comment\240: BEGIN
                    723:        NoLineBreak;
                    724:        Create '<!--';
1.27      cvs       725:        NoTranslation;
1.1       cvs       726:        Create '-->\12' after;
                    727:        END;
                    728: 
                    729:  Comment_line: BEGIN
                    730:        if not last create '\12' after;
                    731:        END;
                    732: 
                    733: ATTRIBUTES
1.18      cvs       734: 
                    735: #ifdef COUGAR
1.19      cvs       736:  Langue:
1.20      cvs       737:        IF not HTML
                    738:            BEGIN
                    739:            Create ' lang="';
                    740:            Create Langue;
                    741:            Create DoubleQuote;
                    742:            END;
1.18      cvs       743: #endif
1.1       cvs       744: 
                    745:  http_equiv: BEGIN
                    746:        Create ' http-equiv="';
                    747:        Create http_equiv;
1.12      cvs       748:        Create DoubleQuote;
1.1       cvs       749:        END;
                    750: 
                    751:  meta_name: BEGIN
                    752:        Create ' name="';
                    753:        Create meta_name;
1.12      cvs       754:        Create DoubleQuote;
1.1       cvs       755:        END;
                    756: 
                    757:  meta_content: BEGIN
                    758:        Create ' content="';
                    759:        Create meta_content;
1.12      cvs       760:        Create DoubleQuote;
1.1       cvs       761:        END;
                    762: 
                    763:  REL:  BEGIN
                    764:        Create ' rel="';
                    765:        Create REL;
1.12      cvs       766:        Create DoubleQuote;
1.1       cvs       767:        END;
                    768: 
                    769:  REV:  BEGIN
                    770:        Create ' rev="';
                    771:        Create REV;
1.12      cvs       772:        Create DoubleQuote;
1.1       cvs       773:        END;
                    774: 
                    775:  HREF_ :
                    776:        BEGIN
                    777:        NoTranslation;
                    778:        Create ' href="';
                    779:        Create HREF_;
1.12      cvs       780:        Create DoubleQuote;
1.1       cvs       781:        END;
                    782: 
                    783:  background_ :
                    784:        BEGIN
                    785:        Create ' background="';
                    786:        Create background_;
1.12      cvs       787:        Create DoubleQuote;
1.1       cvs       788:        END;
                    789: 
                    790:  BackgroundColor :
                    791:        BEGIN
                    792:        Create ' bgcolor="';
                    793:        Create BackgroundColor;
1.12      cvs       794:        Create DoubleQuote;
1.1       cvs       795:        END;
                    796: 
                    797:  TextColor :
                    798:        BEGIN
                    799:        Create ' text="';
                    800:        Create TextColor;
1.12      cvs       801:        Create DoubleQuote;
1.1       cvs       802:        END;
                    803: 
                    804:  LinkColor :
                    805:        BEGIN
                    806:        Create ' link="';
                    807:        Create LinkColor;
1.12      cvs       808:        Create DoubleQuote;
1.1       cvs       809:        END;
                    810: 
                    811:  VisitedLinkColor :
                    812:        BEGIN
                    813:        Create ' vlink="';
                    814:        Create VisitedLinkColor;
1.12      cvs       815:        Create DoubleQuote;
1.1       cvs       816:        END;
                    817: 
                    818:  ActiveLinkColor :
                    819:        BEGIN
                    820:        Create ' alink="';
                    821:        Create ActiveLinkColor;
1.12      cvs       822:        Create DoubleQuote;
1.1       cvs       823:        END;
                    824: 
                    825:  BaseFontSize:
                    826:        BEGIN
1.12      cvs       827:        Create ' size="';
1.1       cvs       828:        Create BaseFontSize;
1.12      cvs       829:        Create DoubleQuote;
1.1       cvs       830:        END;
                    831: 
                    832:  Font_size :
                    833:        BEGIN
                    834:        Create ' size="';
                    835:        Create Font_size;
1.12      cvs       836:        Create DoubleQuote;
1.1       cvs       837:        END;
                    838: 
                    839:  color :
                    840:        BEGIN
                    841:        Create ' color="';
                    842:        Create color;
1.12      cvs       843:        Create DoubleQuote;
1.1       cvs       844:        END;
1.6       cvs       845: 
                    846:  Clear = Left_:
                    847:        Create ' clear=left';
                    848:  Clear = Right_:
                    849:        Create ' clear=right';
1.9       cvs       850:  Clear = All_:
                    851:        Create ' clear=all';
                    852:  Clear = None:
                    853:        Create ' clear=none';
1.1       cvs       854: 
                    855:  Align = left_:
                    856:        Create ' align=left';
                    857:  Align = center_:
                    858:        Create ' align=center';
                    859:  Align = right_:
                    860:        Create ' align=right';
                    861: 
                    862:  NoShade:
                    863:        Create ' noshade';
                    864: 
                    865:  Size_: BEGIN
                    866:        Create ' size="';
                    867:        Create Size_;
1.12      cvs       868:        Create DoubleQuote;
1.1       cvs       869:        END;
                    870: 
                    871:  Width__: BEGIN
                    872:        Create ' width="';
                    873:        Create Width__;
1.12      cvs       874:        Create DoubleQuote;
1.1       cvs       875:        END;
                    876: 
                    877:  codebase: BEGIN
                    878:        NoTranslation;
                    879:        Create ' codebase="';
                    880:        Create codebase;
1.12      cvs       881:        Create DoubleQuote;
1.1       cvs       882:        END;
                    883: 
                    884:  code: BEGIN
                    885:        Create ' code="';
                    886:        Create code;
1.12      cvs       887:        Create DoubleQuote;
1.1       cvs       888:        END;
                    889: 
                    890:  applet_name: BEGIN
                    891:        Create ' name="';
                    892:        Create applet_name;
1.12      cvs       893:        Create DoubleQuote;
1.1       cvs       894:        END;
                    895: 
                    896:  Param_name: BEGIN
                    897:        Create ' name="';
                    898:        Create Param_name;
1.12      cvs       899:        Create DoubleQuote;
1.1       cvs       900:        END;
                    901: 
                    902:  Param_value: BEGIN
                    903:        Create ' value="';
                    904:        Create Param_value;
1.12      cvs       905:        Create DoubleQuote;
1.1       cvs       906:        END;
                    907: #ifdef COUGAR
                    908:  classid: BEGIN
                    909:        Create ' classid="';
                    910:        Create classid;
1.12      cvs       911:        Create DoubleQuote;
1.1       cvs       912:        END;
                    913: 
                    914:  data: BEGIN
                    915:        Create ' data="';
                    916:        Create data;
1.12      cvs       917:        Create DoubleQuote;
1.1       cvs       918:        END;
                    919: 
                    920:  Object_type: BEGIN
                    921:        Create ' type="';
                    922:        Create Object_type;
1.12      cvs       923:        Create DoubleQuote;
1.1       cvs       924:        END;
                    925: 
                    926:  codetype: BEGIN
                    927:        Create ' codetype="';
                    928:        Create codetype;
1.12      cvs       929:        Create DoubleQuote;
1.1       cvs       930:        END;
                    931: #endif
                    932:  Title : BEGIN
                    933:        NoTranslation;
                    934:        Create ' title="';
                    935:        Create Title;
1.12      cvs       936:        Create DoubleQuote;
1.1       cvs       937:        END;
                    938: 
                    939:  Class: BEGIN
1.22      cvs       940:        Create ' class="';
                    941:        Create Class;
                    942:        Create DoubleQuote;
1.1       cvs       943:        END;
                    944: 
                    945:  Style\240:
                    946:        BEGIN
1.22      cvs       947:        IF not Within HEAD
1.1       cvs       948:            BEGIN
1.21      cvs       949:            Create ' style="';
1.1       cvs       950:            Create Style\240;
1.12      cvs       951:            Create DoubleQuote;
1.1       cvs       952:            END;
                    953:        END;
1.20      cvs       954: 
                    955: #ifdef COUGAR
                    956:  ID:   BEGIN
                    957:        Create ' id="';
                    958:        Create ID;
                    959:        Create DoubleQuote;
                    960:        END;
                    961: #endif
1.1       cvs       962: 
                    963:  BulletStyle = disc :
                    964:        Create ' type=disc';
                    965:  BulletStyle = square :
                    966:        Create ' type=square';
                    967:  BulletStyle = circle :
                    968:        Create ' type=circle';
                    969: 
                    970:  COMPACT:
                    971:        Create ' compact';
                    972: 
                    973:  NumberStyle = Arabic_ :
                    974:        Create ' type=1';
                    975:  NumberStyle = LowerAlpha :
                    976:        Create ' type=a';
                    977:  NumberStyle = UpperAlpha :
                    978:        Create ' type=A';
                    979:  NumberStyle = LowerRoman :
                    980:        Create ' type=i';
                    981:  NumberStyle = UpperRoman :
                    982:        Create ' type=I';
                    983: 
                    984:  Start > 1: BEGIN
                    985:        Create ' start="';
                    986:        Create Start;
1.12      cvs       987:        Create DoubleQuote;
1.1       cvs       988:        END;
                    989: 
                    990:  ItemStyle = disc :
                    991:        Create ' type=disc';
                    992:  ItemStyle = square :
                    993:        Create ' type=square';
                    994:  ItemStyle = circle :
                    995:        Create ' type=circle';
                    996:  ItemStyle = Arabic_ :
                    997:        Create ' type=1';
                    998:  ItemStyle = LowerAlpha :
                    999:        Create ' type=a';
                   1000:  ItemStyle = UpperAlpha :
                   1001:        Create ' type=A';
                   1002:  ItemStyle = LowerRoman :
                   1003:        Create ' type=i';
                   1004:  ItemStyle = UpperRoman :
                   1005:        Create ' type=I';
                   1006: 
                   1007:  ItemValue: BEGIN
                   1008:        Create ' value="';
                   1009:        Create ItemValue;
1.12      cvs      1010:        Create DoubleQuote;
1.1       cvs      1011:        END;
                   1012: 
                   1013:  WidthElement: BEGIN
                   1014:        Create ' width="';
                   1015:        Create WidthElement;
1.12      cvs      1016:        Create DoubleQuote;
1.1       cvs      1017:        END;
                   1018: 
                   1019:  Script_URL: BEGIN
                   1020:        Create ' action="';
                   1021:        Create Script_URL;
1.12      cvs      1022:        Create DoubleQuote;
1.1       cvs      1023:        END;
                   1024: 
                   1025:  METHOD=Post_:
1.15      cvs      1026:        Create ' method="post"';
1.1       cvs      1027: 
                   1028:  METHOD=Get_:
1.15      cvs      1029:        Create ' method="get"';
1.1       cvs      1030: 
                   1031:  ENCTYPE: BEGIN
                   1032:        Create ' enctype="';
                   1033:        Create ENCTYPE;
1.12      cvs      1034:        Create DoubleQuote;
1.1       cvs      1035:        END;
                   1036: 
                   1037:  NAME: BEGIN
                   1038:        NoTranslation;
                   1039:        Create ' name="';
                   1040:        Create NAME;
1.12      cvs      1041:        Create DoubleQuote;
1.1       cvs      1042:        END;
                   1043: 
                   1044:  Multiple:
                   1045:        Create ' multiple';
                   1046: 
1.4       cvs      1047:  MenuSize: BEGIN
1.12      cvs      1048:        Create ' size="';
1.4       cvs      1049:        Create MenuSize;
1.12      cvs      1050:        Create DoubleQuote;
1.4       cvs      1051:        END;
1.5       cvs      1052: 
                   1053:  Selected:
                   1054:        Create ' selected';
1.4       cvs      1055: 
1.9       cvs      1056:  Value_: BEGIN
1.1       cvs      1057:        Create ' value="';
1.13      cvs      1058:        Create Value_;
1.12      cvs      1059:        Create DoubleQuote;
1.1       cvs      1060:        END;
                   1061: 
                   1062:  Rows: BEGIN
1.12      cvs      1063:        Create ' rows="';
1.1       cvs      1064:        Create Rows;
1.12      cvs      1065:        Create DoubleQuote;
1.1       cvs      1066:        END;
                   1067: 
                   1068:  Columns: BEGIN
1.12      cvs      1069:        Create ' cols="';
1.1       cvs      1070:        Create Columns;
1.12      cvs      1071:        Create DoubleQuote;
1.1       cvs      1072:        END;
                   1073: 
                   1074:  Checked = Yes_:
                   1075:        Create ' checked';
                   1076: 
                   1077:  Area_Size: BEGIN
1.12      cvs      1078:        Create ' size="';
1.1       cvs      1079:        Create Area_Size;
1.12      cvs      1080:        Create DoubleQuote;
1.1       cvs      1081:        END;
                   1082: 
                   1083:  MaxLength: BEGIN
1.12      cvs      1084:        Create ' maxlength="';
1.1       cvs      1085:        Create MaxLength;
1.12      cvs      1086:        Create DoubleQuote;
1.1       cvs      1087:        END;
                   1088: 
                   1089:  SRC:  BEGIN
                   1090:        Create ' src="';
                   1091:        Create SRC;
1.12      cvs      1092:        Create DoubleQuote;
1.1       cvs      1093:        END;
                   1094: 
                   1095:  ALT:  BEGIN
                   1096:        Create ' alt="';
                   1097:        Create ALT;
1.12      cvs      1098:        Create DoubleQuote;
1.1       cvs      1099:        END;
                   1100: 
                   1101:  Alignment = Top_:
                   1102:        Create ' align=top';
                   1103:  Alignment = Middle_:
                   1104:        Create ' align=middle';
                   1105:  Alignment = Bottom_:
                   1106:        Create ' align=bottom';
                   1107:  Alignment = Left_:
                   1108:        Create ' align=left';
                   1109:  Alignment = Right_:
                   1110:        Create ' align=right';
                   1111: 
                   1112:  Height_: BEGIN
                   1113:        Create ' height="';
                   1114:        Create Height_;
1.12      cvs      1115:        Create DoubleQuote;
1.1       cvs      1116:        END;
                   1117: 
                   1118:  Width_: BEGIN
                   1119:        Create ' width="';
                   1120:        Create Width_;
1.12      cvs      1121:        Create DoubleQuote;
1.1       cvs      1122:        END;
                   1123: 
                   1124:  Img_border: BEGIN
                   1125:        Create ' border="';
                   1126:        Create Img_border;
1.12      cvs      1127:        Create DoubleQuote;
1.1       cvs      1128:        END;
                   1129: 
                   1130:  hspace: BEGIN
                   1131:        Create ' hspace="';
                   1132:        Create hspace;
1.12      cvs      1133:        Create DoubleQuote;
1.1       cvs      1134:        END;
                   1135: 
                   1136:  vspace: BEGIN
                   1137:        Create ' vspace="';
                   1138:        Create vspace;
1.12      cvs      1139:        Create DoubleQuote;
1.1       cvs      1140:        END;
                   1141: 
                   1142:  ISMAP:
                   1143:        Create ' ismap';
                   1144: 
                   1145:  USEMAP: BEGIN
                   1146:        NoTranslation;
                   1147:        Create ' usemap="';
                   1148:        Create USEMAP;
1.12      cvs      1149:        Create DoubleQuote;
1.1       cvs      1150:        END;
                   1151: 
                   1152:  nohref:
                   1153:        Create ' nohref';
                   1154: 
                   1155:  shape = rectangle:
                   1156:        Create ' shape=rect';
                   1157:  shape = circle:
                   1158:        Create ' shape=circle';
                   1159:  shape = polygon:
                   1160:        Create ' shape=poly';
                   1161: 
                   1162:  coords: BEGIN
                   1163:        Create ' coords="';
                   1164:        Create coords;
1.12      cvs      1165:        Create DoubleQuote;
1.1       cvs      1166:        END;
                   1167: 
                   1168:  Border: BEGIN
1.12      cvs      1169:        Create ' border="';
1.1       cvs      1170:        Create Border;
1.12      cvs      1171:        Create DoubleQuote;
1.1       cvs      1172:        END;
                   1173: 
                   1174:  Table_align = Align_left:
                   1175:        Create ' align=left';
                   1176:  Table_align = Center_:
                   1177:        Create ' align=center';
                   1178:  Table_align = Align_right:
                   1179:        Create ' align=right';
                   1180: 
                   1181:  cellspacing: BEGIN
                   1182:        Create ' cellspacing="';
                   1183:        Create cellspacing;
1.12      cvs      1184:        Create DoubleQuote;
1.1       cvs      1185:        END;
                   1186: 
                   1187:  cellpadding: BEGIN
                   1188:        Create ' cellpadding="';
                   1189:        Create cellpadding;
1.12      cvs      1190:        Create DoubleQuote;
1.1       cvs      1191:        END;
                   1192: 
                   1193:  Position = Position_top:
                   1194:         Create ' align=top';
                   1195:  Position = Position_bottom:
                   1196:         Create ' align=bottom';
                   1197: 
                   1198:  Row_align = Row_left:
                   1199:         Create ' align=left';
                   1200:  Row_align = Row_center:
                   1201:         Create ' align=center';
                   1202:  Row_align = Row_right:
                   1203:         Create ' align=right';
                   1204:  Row_valign = Row_top:
                   1205:         Create ' valign=top';
                   1206:  Row_valign = Row_middle:
                   1207:         Create ' valign=middle';
                   1208:  Row_valign = Row_bottom:
                   1209:         Create ' valign=bottom';
                   1210: 
                   1211:  colspan: BEGIN
1.12      cvs      1212:        Create ' colspan="';
1.1       cvs      1213:        Create colspan;
1.12      cvs      1214:        Create DoubleQuote;
1.1       cvs      1215:        END;
                   1216: 
                   1217:  rowspan: BEGIN
1.12      cvs      1218:        Create ' rowspan="';
1.1       cvs      1219:        Create rowspan;
1.12      cvs      1220:        Create DoubleQuote;
1.1       cvs      1221:        END;
                   1222: 
                   1223:  Cell_align = Cell_left:
                   1224:        Create ' align=left';
                   1225:  Cell_align = Cell_center:
                   1226:        Create ' align=center';
                   1227:  Cell_align = Cell_right:
                   1228:        Create ' align=right';
                   1229: 
                   1230:  Cell_valign = Cell_top:
                   1231:        Create ' valign=top';
                   1232:  Cell_valign = Cell_middle:
                   1233:        Create ' valign=middle';
                   1234:  Cell_valign = Cell_bottom:
                   1235:        Create ' valign=bottom';
                   1236: 
                   1237:  Cell_width: BEGIN
1.12      cvs      1238:        Create ' width="';
1.1       cvs      1239:        Create Cell_width;
1.12      cvs      1240:        Create DoubleQuote;
1.1       cvs      1241:        END;
                   1242: 
                   1243:  Cell_height: BEGIN
1.12      cvs      1244:        Create ' height="';
1.1       cvs      1245:        Create Cell_height;
1.12      cvs      1246:        Create DoubleQuote;
1.1       cvs      1247:        END;
                   1248: 
1.24      cvs      1249:  No_wrap = no_wrap:
1.1       cvs      1250:        Create ' nowrap';
                   1251: 
                   1252:  Invalid_attribute:
                   1253:        Create Invalid_attribute;
                   1254: 
                   1255: #include "Text_SGML.inc"
                   1256: 
                   1257: GraphTRANSLATE
                   1258:        BEGIN
                   1259:        'c' -> 'circle';
                   1260:        'Q' -> 'circle';
                   1261:        'R' -> 'rect';
                   1262:        'C' -> 'rect';
                   1263:        ' ' -> 'rect';
                   1264:        'P' -> 'rect';
                   1265:        'p' -> 'polygon';
                   1266:        'B' -> 'polygon';
                   1267:        END;
                   1268: 
                   1269: END

Webmaster