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

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

Webmaster