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

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

Webmaster