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

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

Webmaster