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

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

Webmaster