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

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
                    335:  XML: BEGIN
                    336:        Create '<xml';
                    337:        Create Attributes;
                    338:        Create '>\12';
1.31    ! cvs       339:         indent +2;
        !           340:         indent -2 after;
1.29      cvs       341:        Create '</xml>\12' After;       
                    342:        END;
1.30      cvs       343:  MathML:
1.31    ! cvs       344:         begin
1.30      cvs       345:        Use MathMLT;    
1.31    ! cvs       346:         create '<mrow>\12';
        !           347:         indent +2;
        !           348:         indent -2 after;
        !           349:         create '</mrow>\12' after;
        !           350:         end;
1.29      cvs       351: #endif
                    352: 
1.1       cvs       353:  Paragraph: BEGIN
1.16      cvs       354:        Create '<p';
                    355:        Create Attributes;
                    356:        Create '>\12';
                    357:        Create '</p>' After;
                    358:        Create '\12' After;
                    359:        END;
                    360: 
                    361:  Pseudo_paragraph: BEGIN
                    362:        Create '\12';
1.1       cvs       363:        Create '\12' After;
                    364:        END;
                    365: 
                    366:  TEXT_UNIT: BEGIN
                    367:        IF Within Text_Area
                    368:                Remove;
                    369:        IF Within Text_Input
                    370:                Remove;
                    371:        END;
                    372: 
                    373:  Definition_List: BEGIN
1.15      cvs       374:        Create '<dl';
1.1       cvs       375:        Create Attributes;
                    376:        Create '>\12';
1.15      cvs       377:        Create '</dl>\12' After;
1.1       cvs       378:        END;
                    379: 
                    380:  Term: BEGIN
1.15      cvs       381:        Create '<dt';
1.1       cvs       382:        Create Attributes;
                    383:        Create '>';
1.15      cvs       384:        Create '</dt>\12' After;
1.1       cvs       385:        END;
                    386: 
                    387:  Definition: BEGIN
1.15      cvs       388:        Create '<dd';
1.1       cvs       389:        Create Attributes;
                    390:        Create '>';
1.15      cvs       391:        Create '</dd>\12' After;
1.1       cvs       392:        END;
                    393: 
                    394:  Unnumbered_List: BEGIN
1.15      cvs       395:        Create '<ul';
1.1       cvs       396:        Create Attributes;
                    397:        Create '>\12';
1.15      cvs       398:        Create '</ul>\12' After;
1.1       cvs       399:        END;
                    400: 
                    401:  Numbered_List:        BEGIN
1.15      cvs       402:        Create '<ol';
1.1       cvs       403:        Create Attributes;
                    404:        Create '>\12';
1.15      cvs       405:        Create '</ol>\12' After;
1.1       cvs       406:        END;
                    407: 
                    408:  Address: BEGIN
1.15      cvs       409:        Create '<address';
1.1       cvs       410:        Create Attributes;
                    411:        Create '>\12';
1.15      cvs       412:        Create '</address>\12' After;
1.1       cvs       413:        END;
                    414: 
                    415:  Menu: BEGIN
1.15      cvs       416:        Create '<menu';
1.1       cvs       417:        Create Attributes;
                    418:        Create '>\12';
1.15      cvs       419:        Create '</menu>\12' After;
1.1       cvs       420:        END;
                    421: 
                    422:  Directory: BEGIN
1.15      cvs       423:        Create '<dir';
1.1       cvs       424:        Create Attributes;
                    425:        Create '>\12';
1.15      cvs       426:        Create '</dir>\12' After;
1.1       cvs       427:        END;
                    428: 
                    429:  List_Item: BEGIN
1.15      cvs       430:        Create '<li';
1.1       cvs       431:        Create Attributes;
                    432:        Create '>';
                    433:        END;
                    434: 
                    435:  Preformatted: BEGIN
                    436:        NoLineBreak;
1.15      cvs       437:        Create '<pre';
1.1       cvs       438:        Create Attributes;
                    439:        Create '>';
1.15      cvs       440:        Create '</pre>\12' After;
1.1       cvs       441:        END;
                    442: 
                    443:  Horizontal_Rule: BEGIN
1.15      cvs       444:        Create '<hr';
1.1       cvs       445:        Create Attributes;
                    446:        Remove;
1.15      cvs       447:        Create '>';
1.17      cvs       448:        if not within Preformatted Create '\12';
1.1       cvs       449:        END;
                    450: 
                    451:  Form: BEGIN
1.15      cvs       452:        Create '<form';
1.1       cvs       453:        Create Attributes;
                    454:        Create '>\12';
1.15      cvs       455:        Create '</form>\12' After;
1.1       cvs       456:        END;
                    457: 
                    458:  Option_Menu: BEGIN
1.15      cvs       459:        Create '\12<select';
1.1       cvs       460:        Create Attributes;
1.5       cvs       461:        Create '>';
1.15      cvs       462:        Create '\12</select>\12' After;
1.1       cvs       463:        END;
                    464: 
                    465:  Option: BEGIN
1.15      cvs       466:        Create '\12<option';
1.5       cvs       467:        Create Attributes;
                    468:        Create '>';
1.1       cvs       469:        END;
                    470: 
                    471:  Toggle_Menu: BEGIN
1.15      cvs       472:        Create '<!--toggle_menu-->\12<pre>\12';
                    473:        Create '</pre>\12' After;
1.1       cvs       474:        END;
                    475: 
                    476:  Toggle_Item: BEGIN
                    477:        Create '\12' After;
                    478:        END;
                    479: 
                    480:  Radio_Menu: BEGIN
1.15      cvs       481:        Create '<!--radio_menu-->\12<pre>\12';
                    482:        Create '</pre>\12' After;
1.1       cvs       483:        END;
                    484: 
                    485:  Radio_Item: BEGIN
                    486:        Create '\12' After;
                    487:        END;
                    488: 
                    489:  Text_Input_Line: BEGIN
1.15      cvs       490:        Create '<!--text_input_line-->\12<p>\12';
                    491:        Create '</p>\12' After;
1.1       cvs       492:        END;
                    493: 
                    494:  Command_Line: BEGIN
1.15      cvs       495:        Create '<!--command_line-->\12<p>\12';
                    496:        Create '</p>\12' After;
1.1       cvs       497:        END;
                    498: 
                    499:  Text_Area: BEGIN
1.15      cvs       500:        Create '<textarea';
1.1       cvs       501:        Create Attributes;
                    502:        Create '>';
1.15      cvs       503:        Create '</textarea>';
1.1       cvs       504:        END;
                    505: 
                    506:  Checkbox_Input: BEGIN
1.15      cvs       507:        Create '<input type=checkbox';
1.1       cvs       508:        Create Attributes;
                    509:        Create '>';
                    510:        Remove;
                    511:        END;
                    512: 
                    513:  Radio_Input: BEGIN
1.15      cvs       514:        Create '<input type=radio';
1.1       cvs       515:        Create Attributes;
                    516:        Create '>';
                    517:        Remove;
                    518:        END;
                    519: 
                    520:  Text_Input: BEGIN
1.15      cvs       521:        Create '<input type=text';
1.1       cvs       522:        Create Attributes;
                    523:        Create '>';
                    524:        Remove;
                    525:        END;
                    526: 
                    527:  Hidden_Input: BEGIN
1.15      cvs       528:        Create '<input type=hidden';
1.1       cvs       529:        Create Attributes;
                    530:        Create '>';
                    531:        Remove;
                    532:        END;
                    533: 
                    534:  Password_Input: BEGIN
1.15      cvs       535:        Create '<input type=password';
1.1       cvs       536:        Create Attributes;
                    537:        Create '>';
                    538:        Remove;
                    539:        END;
                    540: 
                    541:  File_Input: BEGIN
1.15      cvs       542:        Create '<input type=file';
1.1       cvs       543:        Create Attributes;
                    544:        Create '>';
                    545:        Remove;
                    546:        END;
                    547: 
                    548:  Reset_Input: BEGIN
1.15      cvs       549:        Create '\12<input type=reset';
1.1       cvs       550:        Create Attributes;
                    551:        Create '>';
                    552:        Remove;
                    553:        END;
                    554: 
                    555:  Submit_Input: BEGIN
1.15      cvs       556:        Create '\12<input type=submit';
1.1       cvs       557:        Create Attributes;
                    558:        Create '>';
                    559:        Remove;
                    560:        END;
                    561: 
                    562:  Block_Quote: BEGIN
1.15      cvs       563:        Create '<blockquote';
1.1       cvs       564:        Create Attributes;
                    565:        Create '>\12';
1.15      cvs       566:        Create '</blockquote>\12' After;
1.1       cvs       567:        END;
                    568: 
                    569:  PICTURE_UNIT: BEGIN
1.10      cvs       570: #ifdef COUGAR
                    571:        if Immediately within Object
                    572:                Remove;
                    573:        if NOT Immediately within Object BEGIN
1.15      cvs       574:                Create '<img';
1.10      cvs       575:                Create Attributes;
                    576:                Create '>' After;
                    577:                END;
                    578:        if NOT within Paragraph AND NOT Immediately within Object
                    579:                Create '\12' After;
                    580: #else
1.15      cvs       581:        Create '<img';
1.1       cvs       582:        Create Attributes;
                    583:        Create '>' After;
                    584:        if NOT within Paragraph
                    585:                Create '\12' After;
1.10      cvs       586: #endif
1.1       cvs       587:        END;
                    588: 
                    589:  Anchor: BEGIN
1.15      cvs       590:        Create '<a';
1.1       cvs       591:        Create Attributes;
                    592:        Create '>';
1.15      cvs       593:        Create '</a>' After;
1.1       cvs       594:        END;
                    595: 
                    596:  MAP:
                    597:        BEGIN
1.15      cvs       598:        Create '<map';
1.1       cvs       599:        Create Attributes;
                    600:        Create '>\12';
1.15      cvs       601:        Create '</map>\12' after;
1.1       cvs       602:        END;
                    603: 
                    604:  AREA:
                    605:        BEGIN
1.15      cvs       606:        Create '<area';
1.1       cvs       607:        Create Attributes;
                    608:        Remove;
                    609:        Create '>\12';
                    610:        END;
                    611: 
                    612: { ---- Tables ---- }
                    613: 
                    614:  Table:
                    615:        BEGIN
1.15      cvs       616:        Create '\12<table';
1.1       cvs       617:        Create Attributes;
                    618:        Create '>\12';
1.15      cvs       619:        Create '</table>\12' after;
1.1       cvs       620:        END;
                    621: 
                    622:  CAPTION:
                    623:        BEGIN
1.15      cvs       624:        Create '<caption';
1.1       cvs       625:        Create Attributes;
                    626:        Create '>';
1.15      cvs       627:        Create '</caption>\12' after;
1.1       cvs       628:        END;
                    629: 
                    630:  Table_head:
                    631:        Remove;
                    632: 
1.11      cvs       633: #ifdef COUGAR
1.1       cvs       634:  thead:
                    635:        BEGIN
1.15      cvs       636:        Create '<thead';
1.1       cvs       637:        Create Attributes;
                    638:        Create '>\12';
1.15      cvs       639:        Create '</thead>\12' after;
1.1       cvs       640:        END;
                    641: 
                    642:  tfoot:
                    643:        BEGIN
1.15      cvs       644:        Create '<tfoot';
1.1       cvs       645:        Create Attributes;
                    646:        Create '>\12';
1.15      cvs       647:        Create '</tfoot>\12' after;
1.1       cvs       648:        END;
                    649:  tbody:
                    650:        BEGIN
1.15      cvs       651:        Create '<tbody';
1.1       cvs       652:        Create Attributes;
                    653:        Create '>\12';
1.15      cvs       654:        Create '</tbody>\12' after;
1.1       cvs       655:        END;
1.11      cvs       656: #endif
1.1       cvs       657: 
                    658:  Table_body:
                    659:        Get tfoot;
                    660: 
                    661:  Table_row:
                    662:        BEGIN
1.15      cvs       663:        Create '<tr';
1.1       cvs       664:        Create Attributes;
                    665:        Create '>\12';
1.15      cvs       666:        Create '</tr>\12' after;
1.1       cvs       667:        END;
                    668: 
                    669:  Data_cell:
                    670:        BEGIN
1.15      cvs       671:        Create '<td';
1.1       cvs       672:        Create Attributes;
                    673:        Create '>';
1.25      cvs       674:        Create '</td>\12' after;
1.1       cvs       675:        END;
                    676: 
                    677:  Heading_cell:
                    678:        BEGIN
1.15      cvs       679:        Create '<th';
1.1       cvs       680:        Create Attributes;
                    681:        Create '>';
1.25      cvs       682:        Create '</th>\12' after;
1.1       cvs       683:        END;
                    684: 
                    685:  Table_foot:
                    686:        BEGIN
                    687:        Remove;
                    688:        END;
                    689: 
                    690:  Division: BEGIN
1.15      cvs       691:        Create '\12<div';
1.1       cvs       692:        Create Attributes;
                    693:        Create '>\12';
1.15      cvs       694:        Create '</div>\12' After;
1.1       cvs       695:        END;
                    696: 
                    697:  Center: BEGIN
1.15      cvs       698:        Create '\12<center';
1.1       cvs       699:        Create Attributes;
                    700:        Create '>\12';
1.15      cvs       701:        Create '</center>\12' After;
1.1       cvs       702:        END;
                    703: 
1.8       cvs       704:  Invalid_element:
                    705:        BEGIN
                    706:        if Error_type = BadPosition
                    707:           Remove;
                    708:        if not Error_type = BadPosition
                    709:            BEGIN
                    710:           NoTranslation;
                    711:           Create Content;
                    712:           Remove;
                    713:           Create Attributes;
                    714:           Create '>';
                    715:           END;
1.1       cvs       716:        END;
                    717: 
                    718:  Comment\240: BEGIN
                    719:        NoLineBreak;
                    720:        Create '<!--';
1.27      cvs       721:        NoTranslation;
1.1       cvs       722:        Create '-->\12' after;
                    723:        END;
                    724: 
                    725:  Comment_line: BEGIN
                    726:        if not last create '\12' after;
                    727:        END;
                    728: 
                    729: ATTRIBUTES
1.18      cvs       730: 
                    731: #ifdef COUGAR
1.19      cvs       732:  Langue:
1.20      cvs       733:        IF not HTML
                    734:            BEGIN
                    735:            Create ' lang="';
                    736:            Create Langue;
                    737:            Create DoubleQuote;
                    738:            END;
1.18      cvs       739: #endif
1.1       cvs       740: 
                    741:  http_equiv: BEGIN
                    742:        Create ' http-equiv="';
                    743:        Create http_equiv;
1.12      cvs       744:        Create DoubleQuote;
1.1       cvs       745:        END;
                    746: 
                    747:  meta_name: BEGIN
                    748:        Create ' name="';
                    749:        Create meta_name;
1.12      cvs       750:        Create DoubleQuote;
1.1       cvs       751:        END;
                    752: 
                    753:  meta_content: BEGIN
                    754:        Create ' content="';
                    755:        Create meta_content;
1.12      cvs       756:        Create DoubleQuote;
1.1       cvs       757:        END;
                    758: 
                    759:  REL:  BEGIN
                    760:        Create ' rel="';
                    761:        Create REL;
1.12      cvs       762:        Create DoubleQuote;
1.1       cvs       763:        END;
                    764: 
                    765:  REV:  BEGIN
                    766:        Create ' rev="';
                    767:        Create REV;
1.12      cvs       768:        Create DoubleQuote;
1.1       cvs       769:        END;
                    770: 
                    771:  HREF_ :
                    772:        BEGIN
                    773:        NoTranslation;
                    774:        Create ' href="';
                    775:        Create HREF_;
1.12      cvs       776:        Create DoubleQuote;
1.1       cvs       777:        END;
                    778: 
                    779:  background_ :
                    780:        BEGIN
                    781:        Create ' background="';
                    782:        Create background_;
1.12      cvs       783:        Create DoubleQuote;
1.1       cvs       784:        END;
                    785: 
                    786:  BackgroundColor :
                    787:        BEGIN
                    788:        Create ' bgcolor="';
                    789:        Create BackgroundColor;
1.12      cvs       790:        Create DoubleQuote;
1.1       cvs       791:        END;
                    792: 
                    793:  TextColor :
                    794:        BEGIN
                    795:        Create ' text="';
                    796:        Create TextColor;
1.12      cvs       797:        Create DoubleQuote;
1.1       cvs       798:        END;
                    799: 
                    800:  LinkColor :
                    801:        BEGIN
                    802:        Create ' link="';
                    803:        Create LinkColor;
1.12      cvs       804:        Create DoubleQuote;
1.1       cvs       805:        END;
                    806: 
                    807:  VisitedLinkColor :
                    808:        BEGIN
                    809:        Create ' vlink="';
                    810:        Create VisitedLinkColor;
1.12      cvs       811:        Create DoubleQuote;
1.1       cvs       812:        END;
                    813: 
                    814:  ActiveLinkColor :
                    815:        BEGIN
                    816:        Create ' alink="';
                    817:        Create ActiveLinkColor;
1.12      cvs       818:        Create DoubleQuote;
1.1       cvs       819:        END;
                    820: 
                    821:  BaseFontSize:
                    822:        BEGIN
1.12      cvs       823:        Create ' size="';
1.1       cvs       824:        Create BaseFontSize;
1.12      cvs       825:        Create DoubleQuote;
1.1       cvs       826:        END;
                    827: 
                    828:  Font_size :
                    829:        BEGIN
                    830:        Create ' size="';
                    831:        Create Font_size;
1.12      cvs       832:        Create DoubleQuote;
1.1       cvs       833:        END;
                    834: 
                    835:  color :
                    836:        BEGIN
                    837:        Create ' color="';
                    838:        Create color;
1.12      cvs       839:        Create DoubleQuote;
1.1       cvs       840:        END;
1.6       cvs       841: 
                    842:  Clear = Left_:
                    843:        Create ' clear=left';
                    844:  Clear = Right_:
                    845:        Create ' clear=right';
1.9       cvs       846:  Clear = All_:
                    847:        Create ' clear=all';
                    848:  Clear = None:
                    849:        Create ' clear=none';
1.1       cvs       850: 
                    851:  Align = left_:
                    852:        Create ' align=left';
                    853:  Align = center_:
                    854:        Create ' align=center';
                    855:  Align = right_:
                    856:        Create ' align=right';
                    857: 
                    858:  NoShade:
                    859:        Create ' noshade';
                    860: 
                    861:  Size_: BEGIN
                    862:        Create ' size="';
                    863:        Create Size_;
1.12      cvs       864:        Create DoubleQuote;
1.1       cvs       865:        END;
                    866: 
                    867:  Width__: BEGIN
                    868:        Create ' width="';
                    869:        Create Width__;
1.12      cvs       870:        Create DoubleQuote;
1.1       cvs       871:        END;
                    872: 
                    873:  codebase: BEGIN
                    874:        NoTranslation;
                    875:        Create ' codebase="';
                    876:        Create codebase;
1.12      cvs       877:        Create DoubleQuote;
1.1       cvs       878:        END;
                    879: 
                    880:  code: BEGIN
                    881:        Create ' code="';
                    882:        Create code;
1.12      cvs       883:        Create DoubleQuote;
1.1       cvs       884:        END;
                    885: 
                    886:  applet_name: BEGIN
                    887:        Create ' name="';
                    888:        Create applet_name;
1.12      cvs       889:        Create DoubleQuote;
1.1       cvs       890:        END;
                    891: 
                    892:  Param_name: BEGIN
                    893:        Create ' name="';
                    894:        Create Param_name;
1.12      cvs       895:        Create DoubleQuote;
1.1       cvs       896:        END;
                    897: 
                    898:  Param_value: BEGIN
                    899:        Create ' value="';
                    900:        Create Param_value;
1.12      cvs       901:        Create DoubleQuote;
1.1       cvs       902:        END;
                    903: #ifdef COUGAR
                    904:  classid: BEGIN
                    905:        Create ' classid="';
                    906:        Create classid;
1.12      cvs       907:        Create DoubleQuote;
1.1       cvs       908:        END;
                    909: 
                    910:  data: BEGIN
                    911:        Create ' data="';
                    912:        Create data;
1.12      cvs       913:        Create DoubleQuote;
1.1       cvs       914:        END;
                    915: 
                    916:  Object_type: BEGIN
                    917:        Create ' type="';
                    918:        Create Object_type;
1.12      cvs       919:        Create DoubleQuote;
1.1       cvs       920:        END;
                    921: 
                    922:  codetype: BEGIN
                    923:        Create ' codetype="';
                    924:        Create codetype;
1.12      cvs       925:        Create DoubleQuote;
1.1       cvs       926:        END;
                    927: #endif
                    928:  Title : BEGIN
                    929:        NoTranslation;
                    930:        Create ' title="';
                    931:        Create Title;
1.12      cvs       932:        Create DoubleQuote;
1.1       cvs       933:        END;
                    934: 
                    935:  Class: BEGIN
1.22      cvs       936:        Create ' class="';
                    937:        Create Class;
                    938:        Create DoubleQuote;
1.1       cvs       939:        END;
                    940: 
                    941:  Style\240:
                    942:        BEGIN
1.22      cvs       943:        IF not Within HEAD
1.1       cvs       944:            BEGIN
1.21      cvs       945:            Create ' style="';
1.1       cvs       946:            Create Style\240;
1.12      cvs       947:            Create DoubleQuote;
1.1       cvs       948:            END;
                    949:        END;
1.20      cvs       950: 
                    951: #ifdef COUGAR
                    952:  ID:   BEGIN
                    953:        Create ' id="';
                    954:        Create ID;
                    955:        Create DoubleQuote;
                    956:        END;
                    957: #endif
1.1       cvs       958: 
                    959:  BulletStyle = disc :
                    960:        Create ' type=disc';
                    961:  BulletStyle = square :
                    962:        Create ' type=square';
                    963:  BulletStyle = circle :
                    964:        Create ' type=circle';
                    965: 
                    966:  COMPACT:
                    967:        Create ' compact';
                    968: 
                    969:  NumberStyle = Arabic_ :
                    970:        Create ' type=1';
                    971:  NumberStyle = LowerAlpha :
                    972:        Create ' type=a';
                    973:  NumberStyle = UpperAlpha :
                    974:        Create ' type=A';
                    975:  NumberStyle = LowerRoman :
                    976:        Create ' type=i';
                    977:  NumberStyle = UpperRoman :
                    978:        Create ' type=I';
                    979: 
                    980:  Start > 1: BEGIN
                    981:        Create ' start="';
                    982:        Create Start;
1.12      cvs       983:        Create DoubleQuote;
1.1       cvs       984:        END;
                    985: 
                    986:  ItemStyle = disc :
                    987:        Create ' type=disc';
                    988:  ItemStyle = square :
                    989:        Create ' type=square';
                    990:  ItemStyle = circle :
                    991:        Create ' type=circle';
                    992:  ItemStyle = Arabic_ :
                    993:        Create ' type=1';
                    994:  ItemStyle = LowerAlpha :
                    995:        Create ' type=a';
                    996:  ItemStyle = UpperAlpha :
                    997:        Create ' type=A';
                    998:  ItemStyle = LowerRoman :
                    999:        Create ' type=i';
                   1000:  ItemStyle = UpperRoman :
                   1001:        Create ' type=I';
                   1002: 
                   1003:  ItemValue: BEGIN
                   1004:        Create ' value="';
                   1005:        Create ItemValue;
1.12      cvs      1006:        Create DoubleQuote;
1.1       cvs      1007:        END;
                   1008: 
                   1009:  WidthElement: BEGIN
                   1010:        Create ' width="';
                   1011:        Create WidthElement;
1.12      cvs      1012:        Create DoubleQuote;
1.1       cvs      1013:        END;
                   1014: 
                   1015:  Script_URL: BEGIN
                   1016:        Create ' action="';
                   1017:        Create Script_URL;
1.12      cvs      1018:        Create DoubleQuote;
1.1       cvs      1019:        END;
                   1020: 
                   1021:  METHOD=Post_:
1.15      cvs      1022:        Create ' method="post"';
1.1       cvs      1023: 
                   1024:  METHOD=Get_:
1.15      cvs      1025:        Create ' method="get"';
1.1       cvs      1026: 
                   1027:  ENCTYPE: BEGIN
                   1028:        Create ' enctype="';
                   1029:        Create ENCTYPE;
1.12      cvs      1030:        Create DoubleQuote;
1.1       cvs      1031:        END;
                   1032: 
                   1033:  NAME: BEGIN
                   1034:        NoTranslation;
                   1035:        Create ' name="';
                   1036:        Create NAME;
1.12      cvs      1037:        Create DoubleQuote;
1.1       cvs      1038:        END;
                   1039: 
                   1040:  Multiple:
                   1041:        Create ' multiple';
                   1042: 
1.4       cvs      1043:  MenuSize: BEGIN
1.12      cvs      1044:        Create ' size="';
1.4       cvs      1045:        Create MenuSize;
1.12      cvs      1046:        Create DoubleQuote;
1.4       cvs      1047:        END;
1.5       cvs      1048: 
                   1049:  Selected:
                   1050:        Create ' selected';
1.4       cvs      1051: 
1.9       cvs      1052:  Value_: BEGIN
1.1       cvs      1053:        Create ' value="';
1.13      cvs      1054:        Create Value_;
1.12      cvs      1055:        Create DoubleQuote;
1.1       cvs      1056:        END;
                   1057: 
                   1058:  Rows: BEGIN
1.12      cvs      1059:        Create ' rows="';
1.1       cvs      1060:        Create Rows;
1.12      cvs      1061:        Create DoubleQuote;
1.1       cvs      1062:        END;
                   1063: 
                   1064:  Columns: BEGIN
1.12      cvs      1065:        Create ' cols="';
1.1       cvs      1066:        Create Columns;
1.12      cvs      1067:        Create DoubleQuote;
1.1       cvs      1068:        END;
                   1069: 
                   1070:  Checked = Yes_:
                   1071:        Create ' checked';
                   1072: 
                   1073:  Area_Size: BEGIN
1.12      cvs      1074:        Create ' size="';
1.1       cvs      1075:        Create Area_Size;
1.12      cvs      1076:        Create DoubleQuote;
1.1       cvs      1077:        END;
                   1078: 
                   1079:  MaxLength: BEGIN
1.12      cvs      1080:        Create ' maxlength="';
1.1       cvs      1081:        Create MaxLength;
1.12      cvs      1082:        Create DoubleQuote;
1.1       cvs      1083:        END;
                   1084: 
                   1085:  SRC:  BEGIN
                   1086:        Create ' src="';
                   1087:        Create SRC;
1.12      cvs      1088:        Create DoubleQuote;
1.1       cvs      1089:        END;
                   1090: 
                   1091:  ALT:  BEGIN
                   1092:        Create ' alt="';
                   1093:        Create ALT;
1.12      cvs      1094:        Create DoubleQuote;
1.1       cvs      1095:        END;
                   1096: 
                   1097:  Alignment = Top_:
                   1098:        Create ' align=top';
                   1099:  Alignment = Middle_:
                   1100:        Create ' align=middle';
                   1101:  Alignment = Bottom_:
                   1102:        Create ' align=bottom';
                   1103:  Alignment = Left_:
                   1104:        Create ' align=left';
                   1105:  Alignment = Right_:
                   1106:        Create ' align=right';
                   1107: 
                   1108:  Height_: BEGIN
                   1109:        Create ' height="';
                   1110:        Create Height_;
1.12      cvs      1111:        Create DoubleQuote;
1.1       cvs      1112:        END;
                   1113: 
                   1114:  Width_: BEGIN
                   1115:        Create ' width="';
                   1116:        Create Width_;
1.12      cvs      1117:        Create DoubleQuote;
1.1       cvs      1118:        END;
                   1119: 
                   1120:  Img_border: BEGIN
                   1121:        Create ' border="';
                   1122:        Create Img_border;
1.12      cvs      1123:        Create DoubleQuote;
1.1       cvs      1124:        END;
                   1125: 
                   1126:  hspace: BEGIN
                   1127:        Create ' hspace="';
                   1128:        Create hspace;
1.12      cvs      1129:        Create DoubleQuote;
1.1       cvs      1130:        END;
                   1131: 
                   1132:  vspace: BEGIN
                   1133:        Create ' vspace="';
                   1134:        Create vspace;
1.12      cvs      1135:        Create DoubleQuote;
1.1       cvs      1136:        END;
                   1137: 
                   1138:  ISMAP:
                   1139:        Create ' ismap';
                   1140: 
                   1141:  USEMAP: BEGIN
                   1142:        NoTranslation;
                   1143:        Create ' usemap="';
                   1144:        Create USEMAP;
1.12      cvs      1145:        Create DoubleQuote;
1.1       cvs      1146:        END;
                   1147: 
                   1148:  nohref:
                   1149:        Create ' nohref';
                   1150: 
                   1151:  shape = rectangle:
                   1152:        Create ' shape=rect';
                   1153:  shape = circle:
                   1154:        Create ' shape=circle';
                   1155:  shape = polygon:
                   1156:        Create ' shape=poly';
                   1157: 
                   1158:  coords: BEGIN
                   1159:        Create ' coords="';
                   1160:        Create coords;
1.12      cvs      1161:        Create DoubleQuote;
1.1       cvs      1162:        END;
                   1163: 
                   1164:  Border: BEGIN
1.12      cvs      1165:        Create ' border="';
1.1       cvs      1166:        Create Border;
1.12      cvs      1167:        Create DoubleQuote;
1.1       cvs      1168:        END;
                   1169: 
                   1170:  Table_align = Align_left:
                   1171:        Create ' align=left';
                   1172:  Table_align = Center_:
                   1173:        Create ' align=center';
                   1174:  Table_align = Align_right:
                   1175:        Create ' align=right';
                   1176: 
                   1177:  cellspacing: BEGIN
                   1178:        Create ' cellspacing="';
                   1179:        Create cellspacing;
1.12      cvs      1180:        Create DoubleQuote;
1.1       cvs      1181:        END;
                   1182: 
                   1183:  cellpadding: BEGIN
                   1184:        Create ' cellpadding="';
                   1185:        Create cellpadding;
1.12      cvs      1186:        Create DoubleQuote;
1.1       cvs      1187:        END;
                   1188: 
                   1189:  Position = Position_top:
                   1190:         Create ' align=top';
                   1191:  Position = Position_bottom:
                   1192:         Create ' align=bottom';
                   1193: 
                   1194:  Row_align = Row_left:
                   1195:         Create ' align=left';
                   1196:  Row_align = Row_center:
                   1197:         Create ' align=center';
                   1198:  Row_align = Row_right:
                   1199:         Create ' align=right';
                   1200:  Row_valign = Row_top:
                   1201:         Create ' valign=top';
                   1202:  Row_valign = Row_middle:
                   1203:         Create ' valign=middle';
                   1204:  Row_valign = Row_bottom:
                   1205:         Create ' valign=bottom';
                   1206: 
                   1207:  colspan: BEGIN
1.12      cvs      1208:        Create ' colspan="';
1.1       cvs      1209:        Create colspan;
1.12      cvs      1210:        Create DoubleQuote;
1.1       cvs      1211:        END;
                   1212: 
                   1213:  rowspan: BEGIN
1.12      cvs      1214:        Create ' rowspan="';
1.1       cvs      1215:        Create rowspan;
1.12      cvs      1216:        Create DoubleQuote;
1.1       cvs      1217:        END;
                   1218: 
                   1219:  Cell_align = Cell_left:
                   1220:        Create ' align=left';
                   1221:  Cell_align = Cell_center:
                   1222:        Create ' align=center';
                   1223:  Cell_align = Cell_right:
                   1224:        Create ' align=right';
                   1225: 
                   1226:  Cell_valign = Cell_top:
                   1227:        Create ' valign=top';
                   1228:  Cell_valign = Cell_middle:
                   1229:        Create ' valign=middle';
                   1230:  Cell_valign = Cell_bottom:
                   1231:        Create ' valign=bottom';
                   1232: 
                   1233:  Cell_width: BEGIN
1.12      cvs      1234:        Create ' width="';
1.1       cvs      1235:        Create Cell_width;
1.12      cvs      1236:        Create DoubleQuote;
1.1       cvs      1237:        END;
                   1238: 
                   1239:  Cell_height: BEGIN
1.12      cvs      1240:        Create ' height="';
1.1       cvs      1241:        Create Cell_height;
1.12      cvs      1242:        Create DoubleQuote;
1.1       cvs      1243:        END;
                   1244: 
1.24      cvs      1245:  No_wrap = no_wrap:
1.1       cvs      1246:        Create ' nowrap';
                   1247: 
                   1248:  Invalid_attribute:
                   1249:        Create Invalid_attribute;
                   1250: 
                   1251: #include "Text_SGML.inc"
                   1252: 
                   1253: GraphTRANSLATE
                   1254:        BEGIN
                   1255:        'c' -> 'circle';
                   1256:        'Q' -> 'circle';
                   1257:        'R' -> 'rect';
                   1258:        'C' -> 'rect';
                   1259:        ' ' -> 'rect';
                   1260:        'P' -> 'rect';
                   1261:        'p' -> 'polygon';
                   1262:        'B' -> 'polygon';
                   1263:        END;
                   1264: 
                   1265: END

Webmaster