Annotation of Amaya/amaya/HTMLTT.T, revision 1.37

1.15      cvs         1: {HTMLTT -> HTML to Text translator rules}
                      2: {(c) COPYRIGHT MIT and INRIA, 1996. }
                      3: {Please first read the full copyright statement in file COPYRIGHT.}
                      4: { Authors: J. Kahan/V. Quint 1996 }
                      5: 
1.1       cvs         6: TRANSLATION HTML;
                      7: 
                      8: LINELENGTH 78;
                      9: 
                     10: COUNTERS
                     11:   ItemCounter : Rank of List_Item;
1.23      cvs        12:   H2Counter;
                     13:   H3Counter;
                     14:   H4Counter;
                     15:   H5Counter;
                     16:   H6Counter;
1.12      cvs        17:   AnchorCounter;
1.5       cvs        18: 
1.3       cvs        19: CONST
1.5       cvs        20:   DoubleQuote  = '"';
1.10      cvs        21:   DashLine = '--------------------------------------------------------------';
1.3       cvs        22: VAR
1.12      cvs        23:   OUT_AnchorCounter : '[' Value(AnchorCounter) ']';
1.14      cvs        24:   TmpFile : '/tmp/amaya.tmp';
1.1       cvs        25: 
                     26: RULES
                     27: 
                     28:  HTML : BEGIN
1.5       cvs        29:        Create '\12' After;
1.1       cvs        30:        END;
                     31: 
                     32:  HEAD: BEGIN
1.15      cvs        33:        Create In TmpFile '\12' After;
1.1       cvs        34:        END;
                     35: 
                     36:  Document_URL:
                     37:        BEGIN
1.15      cvs        38:        NoLineBreak;
                     39:        Create In TmpFile 'Document''s URL:  ';
1.8       cvs        40:        Create In TmpFile Content;
1.5       cvs        41:        Create In TmpFile '\12' After;
                     42:        Remove;
1.1       cvs        43:        END;
                     44: 
                     45:  TITLE:        BEGIN
1.15      cvs        46:        Create 'Document''s Title: ';
                     47:        Create '\12\12' After;
1.1       cvs        48:        END;
                     49: 
                     50:  ISINDEX: BEGIN
                     51:        Remove;
                     52:        END;
                     53: 
                     54:  BASE: BEGIN
1.15      cvs        55:        NoLineBreak;
1.16      cvs        56:        Create IN TmpFile 'Document''s BASE: ';
                     57:        Create Attributes;
                     58:        Create IN TmpFile '\12' After;
1.1       cvs        59:        END;
                     60: 
1.36      cvs        61:  STYLE_: BEGIN
1.7       cvs        62:        Remove;
1.1       cvs        63:        END;
                     64: 
                     65:  SCRIPT: BEGIN
1.7       cvs        66:        Remove;
1.1       cvs        67:        END;
                     68: 
                     69:  META: BEGIN
                     70:        Remove;
                     71:        END;
                     72: 
                     73:  LINK: BEGIN
                     74:        Remove;
                     75:        END;
                     76: 
1.5       cvs        77: 
1.1       cvs        78:  BODY: BEGIN
1.23      cvs        79:        Set H2Counter 0;
                     80:        Set H3Counter 0;
                     81:        Set H4Counter 0;
                     82:        Set H5Counter 0;
                     83:        Set H6Counter 0;
1.12      cvs        84:        Set AnchorCounter 0;
1.8       cvs        85:        Indent +4;
                     86:        Indent -4 After;
1.10      cvs        87:        { --- print the List of References ---}
1.3       cvs        88:        Create '\12\12' After;
1.10      cvs        89:        Create (DashLine) After;
                     90:        Create '\12' After;
1.5       cvs        91:        Create 'List of References\12\12' After;
1.11      cvs        92:        Include '/tmp/amaya.tmp' After;
1.14      cvs        93:        RemoveFile TmpFile After;
1.1       cvs        94:        END;
                     95: 
                     96:  H1:   BEGIN
1.23      cvs        97:        Set H2Counter 0;
                     98:        Set H3Counter 0;
                     99:        Set H4Counter 0;
                    100:        Set H5Counter 0;
                    101:        Set H6Counter 0;
1.8       cvs       102:        Indent -4;
                    103:        Indent +4 After;
1.15      cvs       104:        Create '\12\12' After;
1.1       cvs       105:        END;
                    106: 
                    107:  H2:   BEGIN
1.23      cvs       108:        Add H2Counter 1;
                    109:        Set H3Counter 0;
                    110:        Set H4Counter 0;
                    111:        Set H5Counter 0;
                    112:        Set H6Counter 0;
1.8       cvs       113:        Indent -2;
                    114:        Indent +2 After;
1.23      cvs       115:        if SectionNumbering
                    116:           Create (Value(H2Counter, Arabic) '  ');
1.15      cvs       117:        Create '\12\12' After;
1.1       cvs       118:        END;
                    119: 
                    120:  H3:   BEGIN
1.23      cvs       121:        Add H3Counter 1;
                    122:        Set H4Counter 0;
                    123:        Set H5Counter 0;
                    124:        Set H6Counter 0;
                    125:        if SectionNumbering
                    126:           Create (Value(H2Counter, Arabic) '.'
                    127:                   Value(H3Counter, Arabic) '  ');
1.15      cvs       128:        Create '\12\12' After;
1.1       cvs       129:        END;
                    130: 
                    131:  H4:   BEGIN
1.23      cvs       132:        Add H4Counter 1;
                    133:        Set H5Counter 0;
                    134:        Set H6Counter 0;
1.8       cvs       135:        Indent +2;
                    136:        Indent -2 After;
1.23      cvs       137:        if SectionNumbering
                    138:           Create (Value(H2Counter, Arabic) '.'
                    139:                   Value(H3Counter, Arabic) '.'
                    140:                   Value(H4Counter, Arabic) '  ');
1.15      cvs       141:        Create '\12\12' After;
1.1       cvs       142:        END;
                    143: 
                    144:  H5:   BEGIN
1.23      cvs       145:        Add H5Counter 1;
                    146:        Set H6Counter 0;
1.8       cvs       147:        Indent +4;
                    148:        Indent -4 After;
1.23      cvs       149:        if SectionNumbering
                    150:           Create (Value(H2Counter, Arabic) '.'
                    151:                   Value(H3Counter, Arabic) '.'
                    152:                   Value(H4Counter, Arabic) '.'
                    153:                   Value(H5Counter, Arabic) '  ');
1.15      cvs       154:        Create '\12\12' After;
1.1       cvs       155:        END;
                    156: 
                    157:  H6:   BEGIN
1.23      cvs       158:        Add H6Counter 1;
1.8       cvs       159:        Indent +6;
                    160:        Indent -6 After;
1.23      cvs       161:        if SectionNumbering
                    162:           Create (Value(H2Counter, Arabic) '.'
                    163:                   Value(H3Counter, Arabic) '.'
                    164:                   Value(H4Counter, Arabic) '.'
                    165:                   Value(H5Counter, Arabic) '.'
                    166:                   Value(H6Counter, Arabic) '  ');
                    167: 
1.15      cvs       168:        Create '\12\12' After;
1.1       cvs       169:        END;
                    170: 
                    171:  BaseFont:
                    172:        BEGIN
                    173:        Remove;
                    174:        END;
                    175: 
                    176:  BR:   BEGIN
1.13      cvs       177:        If Within 1 BR
                    178:           Remove;
                    179:        If Last
                    180:           Remove;
1.16      cvs       181:        END;
1.5       cvs       182: 
1.1       cvs       183:  Italic_text:
                    184:        BEGIN
                    185:        END;
                    186:  Bold_text:
                    187:        BEGIN
                    188:        END;
                    189:  Teletype_text:
                    190:        BEGIN
                    191:        END;
                    192:  Underlined_text:
                    193:        BEGIN
                    194:        END;
                    195:  Struck_text:
                    196:        BEGIN
                    197:        END;
                    198:  Big_text:
                    199:        BEGIN
                    200:        END;
                    201:  Small_text:
                    202:        BEGIN
                    203:        END;
                    204:  Subscript:
                    205:        BEGIN
                    206:        END;
                    207:  Superscript:
                    208:        BEGIN
                    209:        END;
                    210: 
                    211:  Emphasis:
                    212:        BEGIN
                    213:        END;
                    214:  Strong:
                    215:        BEGIN
                    216:        END;
                    217:  Def:
                    218:        BEGIN
                    219:        END;
                    220:  Code:
                    221:        BEGIN
                    222:        END;
                    223:  Sample:
                    224:        BEGIN
                    225:        END;
                    226:  Keyboard:
                    227:        BEGIN
                    228:        END;
                    229:  Variable:
                    230:        BEGIN
                    231:        END;
                    232:  Cite:
                    233:        BEGIN
1.5       cvs       234:        Create DoubleQuote; 
1.16      cvs       235:        Create DoubleQuote After;
1.1       cvs       236:        END;
1.32      cvs       237:  ABBR:
                    238:        BEGIN
                    239:        END;
                    240:  ACRONYM:
                    241:        BEGIN
                    242:        END;
1.1       cvs       243: 
                    244:  Font_: BEGIN
                    245:        END;
                    246: 
                    247:  Applet: BEGIN
1.5       cvs       248:        Create Attributes;
                    249:        Remove;
1.1       cvs       250:        END;
                    251: 
                    252:  Parameter: BEGIN
                    253:        Remove;
                    254:        END;
                    255: 
1.5       cvs       256:  Object: BEGIN
                    257:        Create Attributes;
                    258:        Remove;
1.1       cvs       259:        END;
1.31      cvs       260: 
1.32      cvs       261:  Quotation:
                    262:        BEGIN
                    263:        Create DoubleQuote; 
                    264:        Create DoubleQuote After;
                    265:        END;
                    266: 
1.33      cvs       267:  INS:  BEGIN
                    268:        END;
                    269: 
                    270:  DEL:  BEGIN
                    271:        END;
                    272: 
1.32      cvs       273:  Span: BEGIN
                    274:        END;
                    275: 
                    276:  BDO:  BEGIN
                    277:        END;
                    278: 
                    279:  IFRAME: BEGIN
                    280:        Create '\12';
                    281:        Create '\12' After;
                    282:        END;
                    283: 
1.21      cvs       284: #ifdef MATHML
                    285:  Math:  BEGIN
1.22      cvs       286:         Create '[math]';
1.21      cvs       287:        Remove;
                    288:        END;
                    289: #endif
1.10      cvs       290:  Paragraph:
                    291:        BEGIN
1.24      cvs       292:        Create '\12' After;
                    293:        if not within List_Item and not within Definition
                    294:            Create '\12' After;
1.1       cvs       295:        END;
                    296: 
1.10      cvs       297:  Pseudo_paragraph:
                    298:        BEGIN
1.19      cvs       299:        Create '\12' After;
1.24      cvs       300:        if not within List_Item and not within Definition
1.19      cvs       301:            Create '\12' After;
1.16      cvs       302:        END;
1.1       cvs       303: 
                    304:  TEXT_UNIT: BEGIN
                    305:        IF Within Text_Area
                    306:                Remove;
                    307:        IF Within Text_Input
                    308:                Remove;
1.16      cvs       309:        IF Within HEAD and not Within TITLE
                    310:                Remove;
1.36      cvs       311:        IF Within STYLE_ 
1.16      cvs       312:                Remove;
1.1       cvs       313:        END;
                    314: 
                    315:  Definition_List: BEGIN
1.24      cvs       316:        Create '\12' After;
1.1       cvs       317:        END;
                    318: 
                    319:  Term: BEGIN
1.13      cvs       320:        Create '\12' After;
1.1       cvs       321:        END;
                    322: 
                    323:  Definition: BEGIN
                    324:        Indent +5;
                    325:        Indent -5 After;
                    326:        END;
                    327: 
                    328:  Unnumbered_List: BEGIN
1.7       cvs       329:        Indent +3;
1.5       cvs       330:        Indent -3 After;
1.24      cvs       331:        Create '\12' After;
1.1       cvs       332:        END;
                    333: 
                    334:  Numbered_List:        BEGIN
1.7       cvs       335:        Indent +3;
1.5       cvs       336:        Indent -3 After;
1.24      cvs       337:        Create '\12' After;
1.1       cvs       338:        END;
                    339: 
                    340:  Address: BEGIN
1.5       cvs       341:        Create Attributes;
1.15      cvs       342:        Create '\12\12' After;
1.1       cvs       343:        END;
                    344: 
                    345:  Menu: BEGIN
1.7       cvs       346:        Indent +3;
                    347:        Indent -3 After;
1.1       cvs       348:        END;
                    349: 
                    350:  Directory: BEGIN
1.7       cvs       351:        Indent +3;
                    352:        Indent -3 After;
1.1       cvs       353:        END;
                    354: 
                    355:  List_Item: BEGIN
                    356:        Create Attributes;
                    357:        Indent +3;
1.7       cvs       358:        Indent -3 after;
1.1       cvs       359:        END;
                    360: 
                    361:  Preformatted: BEGIN
                    362:        NoLineBreak;
1.5       cvs       363:        Create Attributes;
1.15      cvs       364:        Create '\12\12' After;
1.1       cvs       365:        END;
                    366: 
                    367:  Horizontal_Rule: BEGIN
1.10      cvs       368:        Create (DashLine) After;
1.15      cvs       369:        Create '\12\12' After;
1.5       cvs       370:        Remove;
1.1       cvs       371:        END;
                    372: 
                    373:  Form: BEGIN
                    374:        END;
                    375: 
                    376:  Option_Menu: BEGIN
                    377:        END;
                    378: 
                    379:  Option: BEGIN
1.15      cvs       380:        If Selected = Yes_
                    381:           Create Content;
1.6       cvs       382:        Remove;
1.1       cvs       383:        END;
                    384: 
                    385:  Text_Area: BEGIN
1.10      cvs       386:        Create Content;
1.6       cvs       387:        Remove;
1.1       cvs       388:        END;
                    389: 
                    390:  Checkbox_Input: BEGIN
1.10      cvs       391:        If Checked = Yes_
                    392:           Create '[x] ';
                    393:        If Checked = No_
1.16      cvs       394:           Create '[ ] ';
1.1       cvs       395:        END;
                    396: 
                    397:  Radio_Input: BEGIN
1.15      cvs       398:        If Checked =  Yes_
                    399:           Create '(x)';
                    400:        If Checked = No_
1.16      cvs       401:           Create '( )';
1.1       cvs       402:        Remove;
                    403:        END;
                    404: 
                    405:  Text_Input: BEGIN
1.10      cvs       406:        Create Content;
1.1       cvs       407:        Remove;
                    408:        END;
                    409: 
                    410:  Hidden_Input: BEGIN
                    411:        Remove;
                    412:        END;
                    413: 
                    414:  Password_Input: BEGIN
                    415:        Remove;
                    416:        END;
                    417: 
                    418:  File_Input: BEGIN
1.10      cvs       419:        Create Content;
1.1       cvs       420:        Remove;
                    421:        END;
                    422: 
                    423:  Reset_Input: BEGIN
1.15      cvs       424:        Create '<<';
1.10      cvs       425:        Create Value_;
1.15      cvs       426:        Create '>>';
1.10      cvs       427:        If Last
                    428:           Create '\12';
1.1       cvs       429:        Remove;
                    430:        END;
                    431: 
                    432:  Submit_Input: BEGIN
1.15      cvs       433:        Create '<<';
1.10      cvs       434:        Create Value_;
1.15      cvs       435:        Create '>>';
1.10      cvs       436:        If Last
                    437:           Create '\12';
1.5       cvs       438:        Remove;
1.1       cvs       439:        END;
                    440: 
                    441:  Block_Quote: BEGIN
1.3       cvs       442:        Indent +5;
                    443:        Indent -5 After;
1.1       cvs       444:        END;
                    445: 
                    446:  PICTURE_UNIT: BEGIN
1.10      cvs       447:        If Immediately within Object
1.1       cvs       448:                Remove;
1.10      cvs       449:        If NOT Immediately within Object BEGIN
1.5       cvs       450:                Create Attributes;
                    451:                END;
1.10      cvs       452:        If NOT ALT 
1.8       cvs       453:          Create '[Image]';
1.1       cvs       454:        END;
                    455: 
                    456:  Anchor: BEGIN
1.10      cvs       457:        If HREF_ AND NOT InternalLink
1.8       cvs       458:          BEGIN
1.12      cvs       459:            Add AnchorCounter 1;
1.8       cvs       460:            Create In TmpFile  OUT_AnchorCounter;
1.15      cvs       461:            Create In TmpFile ' ';
1.8       cvs       462:            Create Attributes;
                    463:            Create IN TmpFile '\12' After;
1.5       cvs       464: #ifdef ANCHOR_PREFIX
1.8       cvs       465:            Create OUT_AnchorCounter;
1.10      cvs       466:            Create Content;
                    467:            Remove;
1.5       cvs       468: #else
1.8       cvs       469:            Create OUT_AnchorCounter After;
1.5       cvs       470: #endif
1.16      cvs       471:          END;
1.1       cvs       472:        END;
                    473: 
                    474:  MAP:
                    475:        BEGIN
1.3       cvs       476:        Remove;
1.1       cvs       477:        END;
                    478: 
                    479:  AREA:
                    480:        BEGIN
                    481:        Remove;
                    482:        END;
                    483: 
                    484: { ---- Tables ---- }
                    485: 
                    486:  Table:
                    487:        BEGIN
1.5       cvs       488:        Indent +3;
1.1       cvs       489:        Create Attributes;
1.5       cvs       490:        Indent -3 After;
1.1       cvs       491:        END;
                    492: 
                    493:  CAPTION:
                    494:        BEGIN
1.5       cvs       495:        Indent -3;
                    496:        Indent +3 After;
1.1       cvs       497:        END;
                    498: 
                    499:  Table_head:
                    500:        Remove;
                    501: 
                    502:  thead:
                    503:        BEGIN
                    504:        END;
                    505: 
                    506:  tfoot:
                    507:        BEGIN
                    508:        END;
                    509:  tbody:
                    510:        BEGIN
                    511:        END;
                    512: 
                    513:  Table_body:
1.16      cvs       514:        BEGIN
                    515:        END;
1.1       cvs       516: 
                    517:  Table_row:
1.10      cvs       518:        If Empty
                    519:           Remove;
1.1       cvs       520: 
                    521:  Data_cell:
1.10      cvs       522:        If Empty
                    523:           Remove;
1.1       cvs       524: 
                    525:  Heading_cell:
1.10      cvs       526:        If Empty
                    527:           Remove;
1.13      cvs       528:  
1.1       cvs       529:  Table_foot:
1.16      cvs       530:        Remove;
1.1       cvs       531: 
1.10      cvs       532:  Division: 
                    533:        If Empty
                    534:           Remove;
1.1       cvs       535: 
1.10      cvs       536:  Center:
                    537:        If Empty
                    538:           Remove;
1.1       cvs       539: 
1.34      cvs       540:  NOSCRIPT:
                    541:        If Empty
                    542:           Remove;
                    543: 
1.1       cvs       544:  Invalid_element:
1.10      cvs       545:        If Error_type = BadPosition
1.5       cvs       546:           Remove;
1.1       cvs       547: 
1.35      cvs       548:  Comment\240:
                    549:        Remove;
                    550: 
                    551:  Comment_line:
1.4       cvs       552:        Remove;
1.35      cvs       553: 
                    554: ATTRIBUTES
                    555: 
                    556:  profile: BEGIN
                    557:        END;
                    558: 
                    559:  content_type: BEGIN
1.1       cvs       560:        END;
                    561: 
1.35      cvs       562:  script_language: BEGIN
                    563:        END;
                    564: 
                    565:  script_src: BEGIN
                    566:        END;
                    567: 
                    568:  defer: BEGIN
1.1       cvs       569:        END;
                    570: 
1.35      cvs       571:  event: BEGIN
                    572:        END;
1.1       cvs       573: 
1.35      cvs       574:  for_: BEGIN
                    575:        END;
                    576:  
1.1       cvs       577:  http_equiv: BEGIN
1.7       cvs       578:        Remove;
1.1       cvs       579:        END;
                    580: 
                    581:  meta_name: BEGIN
1.7       cvs       582:        Remove;
1.1       cvs       583:        END;
                    584: 
                    585:  meta_content: BEGIN
1.7       cvs       586:        Remove;
1.1       cvs       587:        END;
                    588: 
1.35      cvs       589:  scheme: BEGIN
                    590:        END;
                    591: 
                    592:  charset: BEGIN
                    593:        Remove;
                    594:        END;
                    595: 
                    596:  hreflang: BEGIN
                    597:        Remove;
                    598:        END;
                    599: 
                    600:  media: BEGIN
                    601:        Remove;
                    602:        END;
                    603: 
                    604:  target_: BEGIN
                    605:        Remove;
                    606:        END;
                    607: 
1.1       cvs       608:  REL:  BEGIN
1.7       cvs       609:        Remove;
1.1       cvs       610:        END;
                    611: 
                    612:  REV:  BEGIN
1.7       cvs       613:        Remove;
1.1       cvs       614:        END;
                    615: 
1.32      cvs       616:  HREF_:
1.1       cvs       617:        BEGIN
1.8       cvs       618:        If NOT Within LINK AND NOT InternalLink
1.16      cvs       619:           Create IN TmpFile HREF_;
1.33      cvs       620:        END;
                    621: 
                    622:  cite: BEGIN
                    623:        If NOT InternalLink
                    624:          BEGIN
                    625:            Add AnchorCounter 1;
                    626:            Create In TmpFile  OUT_AnchorCounter;
                    627:            Create In TmpFile ' ';
                    628:            Create IN TmpFile '\12' After;
                    629: #ifdef ANCHOR_PREFIX
                    630:            Create OUT_AnchorCounter;
                    631:            Create Content;
                    632:            Remove;
                    633: #else
                    634:            Create OUT_AnchorCounter After;
                    635: #endif
                    636:          END;
                    637:        END;
                    638: 
                    639:  datetime:
                    640:        BEGIN
1.1       cvs       641:        END;
                    642: 
1.32      cvs       643:  background_:
1.1       cvs       644:        BEGIN
                    645:        END;
                    646: 
1.32      cvs       647:  BackgroundColor:
1.1       cvs       648:        BEGIN
                    649:        END;
                    650: 
1.32      cvs       651:  TextColor:
1.1       cvs       652:        BEGIN
                    653:        END;
                    654: 
1.32      cvs       655:  LinkColor:
1.1       cvs       656:        BEGIN
                    657:        END;
                    658: 
1.32      cvs       659:  VisitedLinkColor:
1.1       cvs       660:        BEGIN
                    661:        END;
                    662: 
1.32      cvs       663:  ActiveLinkColor:
1.1       cvs       664:        BEGIN
                    665:        END;
                    666: 
                    667:  BaseFontSize:
                    668:        BEGIN
                    669:        END;
                    670: 
1.32      cvs       671:  BaseFontColor:
                    672:        BEGIN
                    673:        END;
                    674: 
                    675:  BaseFontFace:
                    676:        BEGIN
                    677:        END;
                    678: 
                    679:  Font_size:
                    680:        BEGIN
                    681:        END;
                    682: 
                    683:  color:
1.5       cvs       684:        BEGIN
1.1       cvs       685:        END;
                    686: 
1.32      cvs       687:  face:
1.1       cvs       688:        BEGIN
                    689:        END;
                    690: 
                    691:  Clear = Left_:
                    692:        BEGIN
                    693:        END;
                    694: 
1.7       cvs       695:  Clear = Right_: 
1.1       cvs       696:        BEGIN
                    697:        END;
                    698:  Clear = All_:
                    699:        BEGIN
                    700:        END;
                    701:  Clear = None:
                    702:        BEGIN
                    703:        END;
                    704: 
                    705:  Align = left_:
                    706:        BEGIN
                    707:        END;
                    708:  Align = center_:
                    709:        BEGIN
                    710:        END;
                    711:  Align = right_:
                    712:        BEGIN
                    713:        END;
                    714: 
1.31      cvs       715:  TextAlign = left_:
                    716:        BEGIN
                    717:        END;
                    718:  TextAlign = center_:
                    719:        BEGIN
                    720:        END;
                    721:  TextAlign = right_:
                    722:        BEGIN
                    723:        END;
                    724:  TextAlign = justify_:
                    725:        BEGIN
                    726:        END;
                    727: 
1.1       cvs       728:  NoShade:
1.5       cvs       729:        BEGIN
1.1       cvs       730:        END;
                    731: 
                    732:  Size_: BEGIN
                    733:        END;
                    734: 
                    735:  Width__: BEGIN
                    736:        END;
                    737: 
1.35      cvs       738:  declare: BEGIN
                    739:        END;
                    740: 
1.1       cvs       741:  codebase: BEGIN
                    742:        END;
                    743: 
                    744:  code: BEGIN
                    745:        END;
                    746: 
1.35      cvs       747:  object: BEGIN
                    748:        END;
                    749: 
1.1       cvs       750:  applet_name: BEGIN
                    751:        END;
                    752: 
                    753:  Param_name: BEGIN
                    754:        END;
                    755: 
                    756:  Param_value: BEGIN
                    757:        END;
1.31      cvs       758: 
1.35      cvs       759:  valuetype: BEGIN
                    760:        END;
                    761: 
                    762:  Param_type: BEGIN
                    763:        END;
                    764: 
1.1       cvs       765:  classid: BEGIN
                    766:        END;
                    767: 
                    768:  data: BEGIN
                    769:        END;
                    770: 
                    771:  Object_type: BEGIN
                    772:        END;
                    773: 
1.25      cvs       774:  Link_type: BEGIN
                    775:        END;
                    776: 
1.1       cvs       777:  codetype: BEGIN
                    778:        END;
1.31      cvs       779: 
1.35      cvs       780:  archive: BEGIN
                    781:        END;
                    782: 
                    783:  standby: BEGIN
                    784:        END;
                    785: 
1.1       cvs       786:  Title : BEGIN
                    787:        NoTranslation;
                    788:        END;
                    789: 
1.35      cvs       790:  accesskey: BEGIN
                    791:        Remove;
                    792:        END;
                    793: 
                    794:  tabindex: BEGIN
                    795:        Remove;
                    796:        END;
                    797: 
1.1       cvs       798:  Class: BEGIN
1.15      cvs       799:        If Empty
                    800:           Remove; 
1.1       cvs       801:        END;
                    802: 
                    803:  Style\240: BEGIN
                    804:        END;
                    805: 
1.35      cvs       806:  onclick: BEGIN
                    807:         END;
                    808:  
                    809:  ondblclick: BEGIN
                    810:         END;
                    811:  
                    812:  onmousedown: BEGIN
                    813:         END;
                    814:  
                    815:  onmouseup: BEGIN
                    816:         END;
                    817:  
                    818:  onmouseover: BEGIN
                    819:         END;
                    820:  
                    821:  onmousemove: BEGIN
                    822:         END;
                    823:  
                    824:  onmouseout: BEGIN
                    825:         END;
                    826:  
                    827:  onkeypress: BEGIN
                    828:         END;
                    829:  
                    830:  onkeydown: BEGIN
                    831:         END;
                    832:  
                    833:  onkeyup: BEGIN
                    834:         END;
                    835:  
                    836:  onload: BEGIN
                    837:         END;
                    838:  
                    839:  onunload: BEGIN
                    840:         END;
                    841:  
                    842:  onfocus: BEGIN
                    843:         END;
                    844:  
                    845:  onblur: BEGIN
                    846:         END;
                    847: 
                    848:  onsubmit: BEGIN
                    849:        END;
                    850: 
                    851:  onreset: BEGIN
                    852:        END;
                    853:  
                    854:  onselect: BEGIN
                    855:        END;
                    856:  
                    857:  onchange: BEGIN
                    858:        END;
                    859:  
1.1       cvs       860:  COMPACT: BEGIN
                    861:        END;
                    862: 
                    863:  IntItemStyle = disc:
                    864:        Create '*  ';
                    865:  IntItemStyle = square :
                    866:        Create '+  ';
                    867:  IntItemStyle = circle :
                    868:        Create 'o  ';
                    869:  IntItemStyle = Arabic_ :
                    870:        Create (Value(ItemCounter, Arabic) '. ');
                    871:  IntItemStyle = LowerAlpha :
                    872:        Create (Value(ItemCounter, Lowercase) '. ');
                    873:  IntItemStyle = UpperAlpha :
                    874:        Create (Value(ItemCounter, Uppercase) '. ');
                    875:  IntItemStyle = LowerRoman :
                    876:        Create (Value(ItemCounter, LRoman) '. ');
                    877:  IntItemStyle = UpperRoman :
                    878:        Create (Value(ItemCounter, URoman) '. ');
                    879: 
                    880:  Start: BEGIN
                    881:        END;
                    882: 
                    883:  ItemValue: BEGIN
                    884:        END;
                    885: 
                    886:  Script_URL: BEGIN
                    887:        END;
                    888: 
                    889:  METHOD=Post_:
1.5       cvs       890:        BEGIN
                    891:        END;
1.1       cvs       892: 
                    893:  METHOD=Get_:
1.5       cvs       894:        BEGIN
                    895:        END;
1.1       cvs       896: 
                    897:  ENCTYPE: BEGIN
                    898:        END;
                    899: 
1.35      cvs       900:  accept_charset: BEGIN
                    901:        END;
                    902: 
1.1       cvs       903:  NAME: BEGIN
                    904:        END;
                    905: 
                    906:  Multiple:
1.5       cvs       907:        BEGIN
                    908:        END;
1.1       cvs       909: 
                    910:  MenuSize: BEGIN
                    911:        END;
                    912: 
1.10      cvs       913:  Selected: BEGIN
                    914:        END;
1.1       cvs       915: 
                    916:  Value_: BEGIN
                    917:        END;
                    918: 
                    919:  Rows: BEGIN
                    920:        END;
                    921: 
                    922:  Columns: BEGIN
                    923:        END;
                    924: 
1.10      cvs       925:  Checked = Yes_: BEGIN
                    926:        END;
1.1       cvs       927: 
1.35      cvs       928:  disabled: BEGIN
                    929:        END;
                    930: 
                    931:  readonly: BEGIN
                    932:        END;
                    933: 
                    934:  label:        BEGIN
                    935:        END;
                    936: 
                    937:  accept: BEGIN
                    938:        END;
                    939: 
1.1       cvs       940:  Area_Size: BEGIN
                    941:        END;
                    942: 
                    943:  MaxLength: BEGIN
                    944:        END;
                    945: 
                    946:  SRC:  BEGIN
                    947:        END;
                    948: 
                    949:  ALT:  BEGIN
                    950:        Create ALT;
                    951:        END;
                    952: 
1.35      cvs       953:  longdesc: BEGIN
                    954:        END;
                    955: 
1.1       cvs       956:  Alignment = Top_:
1.5       cvs       957:        BEGIN
                    958:        END;
1.1       cvs       959:  Alignment = Middle_:
1.5       cvs       960:        BEGIN
                    961:        END;
1.1       cvs       962:  Alignment = Bottom_:
1.5       cvs       963:        BEGIN
                    964:        END;
1.1       cvs       965:  Alignment = Left_:
1.5       cvs       966:        BEGIN
                    967:        END;
1.1       cvs       968:  Alignment = Right_:
1.5       cvs       969:        BEGIN
                    970:        END;
1.1       cvs       971: 
                    972:  Height_: BEGIN
                    973:        END;
                    974: 
                    975:  Img_border: BEGIN
                    976:        END;
                    977: 
                    978:  hspace: BEGIN
                    979:        END;
                    980: 
                    981:  vspace: BEGIN
                    982:        END;
                    983: 
                    984:  ISMAP:
1.5       cvs       985:        BEGIN
                    986:        END;
1.1       cvs       987: 
                    988:  USEMAP: BEGIN
                    989:        END;
                    990: 
                    991:  nohref:
1.5       cvs       992:        BEGIN
                    993:        END;
1.1       cvs       994: 
                    995:  shape = rectangle:
1.5       cvs       996:        BEGIN
                    997:        END;
1.1       cvs       998:  shape = circle:
1.5       cvs       999:        BEGIN
                   1000:        END;
1.1       cvs      1001:  shape = polygon:
1.5       cvs      1002:        BEGIN
                   1003:        END;
1.1       cvs      1004: 
                   1005:  coords: BEGIN
                   1006:        END;
1.27      cvs      1007: 
                   1008: #ifdef MATHML
                   1009:  mode = inline_math:
                   1010:        BEGIN
                   1011:        END;
                   1012:  mode = display:
                   1013:        BEGIN
1.37    ! cvs      1014:        create '\12';
        !          1015:        create '\12' after;
1.27      cvs      1016:        END;
                   1017: #endif
1.1       cvs      1018: 
1.35      cvs      1019:  summary: BEGIN
                   1020:        END;
                   1021: 
                   1022:  frame = void: BEGIN
                   1023:        END;
                   1024:  frame = above: BEGIN
                   1025:        END;
                   1026:  frame = below: BEGIN
                   1027:        END;
                   1028:  frame = hsides: BEGIN
                   1029:        END;
                   1030:  frame = lhs: BEGIN
                   1031:        END;
                   1032:  frame = rhs: BEGIN
                   1033:        END;
                   1034:  frame = vsides: BEGIN
                   1035:        END;
                   1036:  frame = box: BEGIN
                   1037:        END;
                   1038:  frame = border: BEGIN
                   1039:        END;
                   1040:  
                   1041:  rules_ = none: BEGIN
                   1042:        END;
                   1043:  rules_ = groups: BEGIN
                   1044:        END;
                   1045:  rules_ = rows: BEGIN
                   1046:        END;
                   1047:  rules_ = cols: BEGIN
                   1048:        END;
                   1049:  rules_ = all: BEGIN
                   1050:        END;
                   1051: 
1.1       cvs      1052:  Border: BEGIN
                   1053:        END;
                   1054: 
                   1055:  cellspacing: BEGIN
                   1056:        END;
                   1057: 
1.5       cvs      1058:  cellpadding:
                   1059:         BEGIN
1.1       cvs      1060:        END;
                   1061: 
1.35      cvs      1062:  datapagesize: BEGIN
                   1063:        END;
                   1064: 
1.1       cvs      1065:  Position = Position_top:
1.5       cvs      1066:                BEGIN
                   1067:                END;
1.1       cvs      1068:  Position = Position_bottom:
1.5       cvs      1069:                BEGIN
                   1070:                END;
1.35      cvs      1071:  Position = Position_left:
1.5       cvs      1072:                BEGIN
                   1073:                END;
1.35      cvs      1074:  Position = Position_right:
1.5       cvs      1075:                BEGIN
                   1076:                END;
1.35      cvs      1077: 
1.1       cvs      1078:  Row_valign = Row_top:
1.5       cvs      1079:                BEGIN
                   1080:                END;
1.1       cvs      1081:  Row_valign = Row_middle:
1.5       cvs      1082:                BEGIN
                   1083:                END;
1.1       cvs      1084:  Row_valign = Row_bottom:
1.5       cvs      1085:                BEGIN
                   1086:                END;
1.35      cvs      1087:  Row_valign = Row_baseline:
                   1088:                BEGIN
                   1089:                END;
                   1090: 
                   1091:  abbr: BEGIN
                   1092:        END;
                   1093: 
                   1094:  axis: BEGIN
                   1095:        END;
1.1       cvs      1096: 
1.35      cvs      1097:  headers: BEGIN
                   1098:        END;
                   1099: 
                   1100:  scope: BEGIN
1.1       cvs      1101:        END;
                   1102: 
1.26      cvs      1103:  rowspan_: BEGIN
1.1       cvs      1104:        END;
                   1105: 
1.35      cvs      1106:  colspan_: BEGIN
                   1107:        END;
                   1108: 
1.1       cvs      1109:  Cell_align = Cell_left:
1.5       cvs      1110:                BEGIN
                   1111:                END;
1.1       cvs      1112:  Cell_align = Cell_center:
1.5       cvs      1113:                BEGIN
                   1114:                END;
1.1       cvs      1115:  Cell_align = Cell_right:
1.5       cvs      1116:                BEGIN
                   1117:                END;
1.35      cvs      1118:  Cell_align = Cell_justify:
                   1119:                BEGIN
                   1120:                END;
                   1121:  Cell_align = Cell_char:
                   1122:                BEGIN
                   1123:                END;
                   1124: 
                   1125:  char: BEGIN
                   1126:        END;
                   1127: 
                   1128:  charoff: BEGIN
                   1129:        END;
1.1       cvs      1130: 
                   1131:  Cell_valign = Cell_top:
1.5       cvs      1132:                BEGIN
                   1133:                END;
1.1       cvs      1134:  Cell_valign = Cell_middle:
1.5       cvs      1135:                BEGIN
                   1136:                END;
1.1       cvs      1137:  Cell_valign = Cell_bottom:
1.35      cvs      1138:                BEGIN
                   1139:                END;
                   1140:  Cell_valign = Cell_baseline:
1.5       cvs      1141:                BEGIN
                   1142:                END;
1.1       cvs      1143: 
1.17      cvs      1144:  No_wrap = no_wrap:
1.5       cvs      1145:                BEGIN
                   1146:                END;
1.1       cvs      1147: 
                   1148:  Invalid_attribute:
1.5       cvs      1149:                BEGIN
                   1150:                END;
                   1151: 
                   1152: TextTRANSLATE
                   1153:        BEGIN
                   1154:        '\240' -> ' '; { &nbsp; }
                   1155:        '\212' -> '\12'; { &CTLrc; }    
                   1156:        END;
1.1       cvs      1157: 
                   1158: GraphTRANSLATE
                   1159:        BEGIN
                   1160:        'c' -> 'circle';
                   1161:        'Q' -> 'circle';
                   1162:        'R' -> 'rect';
                   1163:        'C' -> 'rect';
                   1164:        ' ' -> 'rect';
                   1165:        'P' -> 'rect';
                   1166:        'p' -> 'polygon';
                   1167:        'B' -> 'polygon';
                   1168:        END;
                   1169: 
                   1170: END
1.3       cvs      1171: 

Webmaster