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

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

Webmaster