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

1.68      quint       1: {   HTML to Text translator rules              }
                      2: {   (c) COPYRIGHT MIT and INRIA, 2004.         }
                      3: {                                              }
                      4: {    Authors: J. Kahan, V. Quint               }
1.15      cvs         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.59      vatton     24:   TmpFile : 'amaya_XX.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: 
1.57      vatton     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.59      vatton     92:        Include 'amaya_XX.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.15      cvs       115:        Create '\12\12' After;
1.1       cvs       116:        END;
                    117: 
                    118:  H3:   BEGIN
1.23      cvs       119:        Add H3Counter 1;
                    120:        Set H4Counter 0;
                    121:        Set H5Counter 0;
                    122:        Set H6Counter 0;
1.15      cvs       123:        Create '\12\12' After;
1.1       cvs       124:        END;
                    125: 
                    126:  H4:   BEGIN
1.23      cvs       127:        Add H4Counter 1;
                    128:        Set H5Counter 0;
                    129:        Set H6Counter 0;
1.8       cvs       130:        Indent +2;
                    131:        Indent -2 After;
1.15      cvs       132:        Create '\12\12' After;
1.1       cvs       133:        END;
                    134: 
                    135:  H5:   BEGIN
1.23      cvs       136:        Add H5Counter 1;
                    137:        Set H6Counter 0;
1.8       cvs       138:        Indent +4;
                    139:        Indent -4 After;
1.15      cvs       140:        Create '\12\12' After;
1.1       cvs       141:        END;
                    142: 
                    143:  H6:   BEGIN
1.23      cvs       144:        Add H6Counter 1;
1.8       cvs       145:        Indent +6;
                    146:        Indent -6 After;
1.15      cvs       147:        Create '\12\12' After;
1.1       cvs       148:        END;
                    149: 
                    150:  BaseFont:
                    151:        BEGIN
                    152:        Remove;
                    153:        END;
                    154: 
                    155:  BR:   BEGIN
1.13      cvs       156:        If Within 1 BR
                    157:           Remove;
                    158:        If Last
                    159:           Remove;
1.16      cvs       160:        END;
1.5       cvs       161: 
1.1       cvs       162:  Italic_text:
                    163:        BEGIN
                    164:        END;
                    165:  Bold_text:
                    166:        BEGIN
                    167:        END;
                    168:  Teletype_text:
                    169:        BEGIN
                    170:        END;
                    171:  Underlined_text:
                    172:        BEGIN
                    173:        END;
                    174:  Struck_text:
                    175:        BEGIN
                    176:        END;
                    177:  Big_text:
                    178:        BEGIN
                    179:        END;
                    180:  Small_text:
                    181:        BEGIN
                    182:        END;
                    183:  Subscript:
                    184:        BEGIN
                    185:        END;
                    186:  Superscript:
                    187:        BEGIN
                    188:        END;
                    189: 
                    190:  Emphasis:
                    191:        BEGIN
                    192:        END;
                    193:  Strong:
                    194:        BEGIN
                    195:        END;
                    196:  Def:
                    197:        BEGIN
                    198:        END;
                    199:  Code:
                    200:        BEGIN
                    201:        END;
                    202:  Sample:
                    203:        BEGIN
                    204:        END;
                    205:  Keyboard:
                    206:        BEGIN
                    207:        END;
1.61      quint     208:  Variable_:
1.1       cvs       209:        BEGIN
                    210:        END;
                    211:  Cite:
                    212:        BEGIN
1.5       cvs       213:        Create DoubleQuote; 
1.16      cvs       214:        Create DoubleQuote After;
1.1       cvs       215:        END;
1.32      cvs       216:  ABBR:
                    217:        BEGIN
                    218:        END;
                    219:  ACRONYM:
                    220:        BEGIN
                    221:        END;
1.1       cvs       222: 
                    223:  Font_: BEGIN
                    224:        END;
                    225: 
                    226:  Applet: BEGIN
1.5       cvs       227:        Create Attributes;
                    228:        Remove;
1.1       cvs       229:        END;
                    230: 
                    231:  Parameter: BEGIN
                    232:        Remove;
                    233:        END;
                    234: 
1.5       cvs       235:  Object: BEGIN
                    236:        Create Attributes;
                    237:        Remove;
1.1       cvs       238:        END;
1.31      cvs       239: 
1.32      cvs       240:  Quotation:
                    241:        BEGIN
                    242:        Create DoubleQuote; 
                    243:        Create DoubleQuote After;
                    244:        END;
                    245: 
1.33      cvs       246:  INS:  BEGIN
                    247:        END;
                    248: 
                    249:  DEL:  BEGIN
                    250:        END;
                    251: 
1.32      cvs       252:  Span: BEGIN
                    253:        END;
                    254: 
                    255:  BDO:  BEGIN
                    256:        END;
                    257: 
1.48      cvs       258:  MathML:  BEGIN
1.22      cvs       259:         Create '[math]';
1.21      cvs       260:        Remove;
                    261:        END;
1.45      cvs       262: 
1.10      cvs       263:  Paragraph:
                    264:        BEGIN
1.24      cvs       265:        Create '\12' After;
                    266:        if not within List_Item and not within Definition
                    267:            Create '\12' After;
1.1       cvs       268:        END;
                    269: 
1.10      cvs       270:  Pseudo_paragraph:
                    271:        BEGIN
1.19      cvs       272:        Create '\12' After;
1.24      cvs       273:        if not within List_Item and not within Definition
1.19      cvs       274:            Create '\12' After;
1.16      cvs       275:        END;
1.1       cvs       276: 
                    277:  TEXT_UNIT: BEGIN
                    278:        IF Within Text_Area
                    279:                Remove;
                    280:        IF Within Text_Input
                    281:                Remove;
1.16      cvs       282:        IF Within HEAD and not Within TITLE
                    283:                Remove;
1.36      cvs       284:        IF Within STYLE_ 
1.16      cvs       285:                Remove;
1.1       cvs       286:        END;
                    287: 
                    288:  Definition_List: BEGIN
1.24      cvs       289:        Create '\12' After;
1.1       cvs       290:        END;
                    291: 
                    292:  Term: BEGIN
1.13      cvs       293:        Create '\12' After;
1.1       cvs       294:        END;
                    295: 
                    296:  Definition: BEGIN
                    297:        Indent +5;
                    298:        Indent -5 After;
                    299:        END;
                    300: 
                    301:  Unnumbered_List: BEGIN
1.7       cvs       302:        Indent +3;
1.5       cvs       303:        Indent -3 After;
1.68      quint     304:        if not within List_
                    305:           Create '\12' After;
1.1       cvs       306:        END;
                    307: 
                    308:  Numbered_List:        BEGIN
1.7       cvs       309:        Indent +3;
1.5       cvs       310:        Indent -3 After;
1.68      quint     311:        if not within List_
                    312:           Create '\12' After;
1.1       cvs       313:        END;
                    314: 
                    315:  Address: BEGIN
1.5       cvs       316:        Create Attributes;
1.15      cvs       317:        Create '\12\12' After;
1.1       cvs       318:        END;
                    319: 
                    320:  Menu: BEGIN
1.7       cvs       321:        Indent +3;
                    322:        Indent -3 After;
1.1       cvs       323:        END;
                    324: 
                    325:  Directory: BEGIN
1.7       cvs       326:        Indent +3;
                    327:        Indent -3 After;
1.1       cvs       328:        END;
                    329: 
                    330:  List_Item: BEGIN
                    331:        Create Attributes;
1.70      quint     332:        if within 1 Unnumbered_List and not immediately within Numbered_List
1.68      quint     333:           Create '*  ';
1.70      quint     334:        if within 2 Unnumbered_List and not immediately within Numbered_List
1.68      quint     335:           Create 'o  ';
1.70      quint     336:        if within > 2 Unnumbered_List and not immediately within Numbered_List
1.68      quint     337:           Create '+  ';
1.70      quint     338:   if immediately within Numbered_List
1.68      quint     339:           Create (Value(ItemCounter, Arabic) '. ');
1.1       cvs       340:        Indent +3;
1.7       cvs       341:        Indent -3 after;
1.1       cvs       342:        END;
                    343: 
                    344:  Preformatted: BEGIN
                    345:        NoLineBreak;
1.5       cvs       346:        Create Attributes;
1.15      cvs       347:        Create '\12\12' After;
1.1       cvs       348:        END;
                    349: 
                    350:  Horizontal_Rule: BEGIN
1.10      cvs       351:        Create (DashLine) After;
1.15      cvs       352:        Create '\12\12' After;
1.5       cvs       353:        Remove;
1.1       cvs       354:        END;
                    355: 
                    356:  Form: BEGIN
                    357:        END;
                    358: 
                    359:  Option_Menu: BEGIN
                    360:        END;
                    361: 
                    362:  Option: BEGIN
1.15      cvs       363:        If Selected = Yes_
                    364:           Create Content;
1.6       cvs       365:        Remove;
1.1       cvs       366:        END;
                    367: 
1.40      cvs       368:  OptGroup: BEGIN
                    369:        END;
                    370: 
1.1       cvs       371:  Text_Area: BEGIN
1.10      cvs       372:        Create Content;
1.6       cvs       373:        Remove;
1.1       cvs       374:        END;
                    375: 
1.41      cvs       376:  FIELDSET: BEGIN
                    377:        END;
                    378: 
                    379:  LEGEND: BEGIN
                    380:        END;
                    381: 
1.38      cvs       382:  LABEL: BEGIN
                    383:        END;
                    384: 
1.53      cvs       385:  BUTTON_: BEGIN
1.38      cvs       386:        Create '[' before;
                    387:        Create ']' after;
                    388:        END;
                    389: 
1.1       cvs       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: 
1.38      cvs       441:  Button_Input: BEGIN
                    442:        Create '<<';
                    443:        Create Value_;
                    444:        Create '>>';
                    445:        If Last
                    446:           Create '\12';
                    447:        Remove;
                    448:        END;
                    449: 
1.1       cvs       450:  Block_Quote: BEGIN
1.3       cvs       451:        Indent +5;
                    452:        Indent -5 After;
1.1       cvs       453:        END;
                    454: 
                    455:  PICTURE_UNIT: BEGIN
1.72      vatton    456:        Remove;
                    457:        END;
                    458: 
                    459:  IMG: BEGIN
                    460:        Create Attributes;
                    461:        If NOT ALT 
                    462:          Create '[Image]';
                    463:        END;
                    464: 
                    465:  Image_Input: BEGIN
                    466:        Create Attributes;
1.10      cvs       467:        If NOT ALT 
1.8       cvs       468:          Create '[Image]';
1.1       cvs       469:        END;
                    470: 
                    471:  Anchor: BEGIN
1.51      kahan     472:        If HREF_ AND NOT InternalLink
1.8       cvs       473:          BEGIN
1.12      cvs       474:            Add AnchorCounter 1;
1.8       cvs       475:            Create In TmpFile  OUT_AnchorCounter;
1.15      cvs       476:            Create In TmpFile ' ';
1.8       cvs       477:            Create Attributes;
                    478:            Create IN TmpFile '\12' After;
1.5       cvs       479: #ifdef ANCHOR_PREFIX
1.8       cvs       480:            Create OUT_AnchorCounter;
1.10      cvs       481:            Create Content;
                    482:            Remove;
1.5       cvs       483: #else
1.8       cvs       484:            Create OUT_AnchorCounter After;
1.5       cvs       485: #endif
1.16      cvs       486:          END;
1.1       cvs       487:        END;
                    488: 
                    489:  MAP:
                    490:        BEGIN
1.3       cvs       491:        Remove;
1.1       cvs       492:        END;
                    493: 
                    494:  AREA:
                    495:        BEGIN
                    496:        Remove;
                    497:        END;
                    498: 
                    499: { ---- Tables ---- }
                    500: 
1.68      quint     501:  Table_:
1.1       cvs       502:        BEGIN
1.5       cvs       503:        Indent +3;
1.1       cvs       504:        Create Attributes;
1.5       cvs       505:        Indent -3 After;
1.1       cvs       506:        END;
                    507: 
                    508:  CAPTION:
                    509:        BEGIN
1.5       cvs       510:        Indent -3;
                    511:        Indent +3 After;
1.1       cvs       512:        END;
                    513: 
                    514:  Table_head:
                    515:        Remove;
                    516: 
                    517:  thead:
                    518:        BEGIN
                    519:        END;
                    520: 
                    521:  tfoot:
                    522:        BEGIN
                    523:        END;
                    524:  tbody:
                    525:        BEGIN
                    526:        END;
                    527: 
                    528:  Table_body:
1.16      cvs       529:        BEGIN
                    530:        END;
1.1       cvs       531: 
                    532:  Table_row:
1.10      cvs       533:        If Empty
                    534:           Remove;
1.1       cvs       535: 
                    536:  Data_cell:
1.10      cvs       537:        If Empty
                    538:           Remove;
1.1       cvs       539: 
                    540:  Heading_cell:
1.10      cvs       541:        If Empty
                    542:           Remove;
1.13      cvs       543:  
1.10      cvs       544:  Division: 
                    545:        If Empty
                    546:           Remove;
1.1       cvs       547: 
1.10      cvs       548:  Center:
                    549:        If Empty
                    550:           Remove;
1.1       cvs       551: 
1.34      cvs       552:  NOSCRIPT:
                    553:        If Empty
                    554:           Remove;
                    555: 
1.1       cvs       556:  Invalid_element:
1.65      vatton    557:        Remove;
1.1       cvs       558: 
1.35      cvs       559:  Comment\240:
                    560:        Remove;
                    561: 
                    562:  Comment_line:
1.4       cvs       563:        Remove;
1.35      cvs       564: 
1.52      cvs       565:  XMLPI:
                    566:        Remove;
                    567: 
                    568:  PI_line:
                    569:        Remove;
                    570: 
1.56      cvs       571:  DOCTYPE:
                    572:        Remove;
                    573: 
                    574:  DOCTYPE_line:
1.55      cvs       575:        Remove;
                    576: 
1.58      cvs       577:  CDATA:
                    578:        Remove;
                    579: 
                    580:  CDATA_line:
                    581:        Remove;
                    582: 
1.39      cvs       583:  FRAMESET: BEGIN
                    584:        END;
                    585: 
                    586:  Frames: BEGIN
                    587:        END;
                    588: 
                    589:  NOFRAMES: BEGIN
                    590:        END;
                    591: 
                    592:  FRAME: BEGIN
                    593:        END;
                    594: 
                    595:  IFRAME: BEGIN
                    596:        Create '\12';
                    597:        Create '\12' After;
                    598:        END;
                    599: 
1.35      cvs       600: ATTRIBUTES
                    601: 
                    602:  profile: BEGIN
                    603:        END;
                    604: 
                    605:  content_type: BEGIN
1.1       cvs       606:        END;
                    607: 
1.35      cvs       608:  script_src: BEGIN
                    609:        END;
                    610: 
1.63      cvs       611:  script_language: BEGIN
                    612:         END;
                    613: 
1.35      cvs       614:  defer: BEGIN
1.1       cvs       615:        END;
                    616: 
1.35      cvs       617:  event: BEGIN
                    618:        END;
1.1       cvs       619: 
1.35      cvs       620:  for_: BEGIN
                    621:        END;
                    622:  
1.1       cvs       623:  http_equiv: BEGIN
1.7       cvs       624:        Remove;
1.1       cvs       625:        END;
                    626: 
                    627:  meta_name: BEGIN
1.7       cvs       628:        Remove;
1.1       cvs       629:        END;
                    630: 
                    631:  meta_content: BEGIN
1.7       cvs       632:        Remove;
1.1       cvs       633:        END;
                    634: 
1.35      cvs       635:  scheme: BEGIN
                    636:        END;
                    637: 
                    638:  charset: BEGIN
                    639:        Remove;
                    640:        END;
                    641: 
                    642:  hreflang: BEGIN
                    643:        Remove;
                    644:        END;
                    645: 
                    646:  media: BEGIN
                    647:        Remove;
                    648:        END;
                    649: 
                    650:  target_: BEGIN
                    651:        Remove;
                    652:        END;
                    653: 
1.1       cvs       654:  REL:  BEGIN
1.7       cvs       655:        Remove;
1.1       cvs       656:        END;
                    657: 
                    658:  REV:  BEGIN
1.7       cvs       659:        Remove;
1.1       cvs       660:        END;
                    661: 
1.32      cvs       662:  HREF_:
1.1       cvs       663:        BEGIN
1.51      kahan     664:        If NOT Within LINK AND NOT InternalLink
1.50      kahan     665:           BEGIN
1.16      cvs       666:           Create IN TmpFile HREF_;
1.50      kahan     667:           END;
1.33      cvs       668:        END;
                    669: 
                    670:  cite: BEGIN
                    671:        If NOT InternalLink
                    672:          BEGIN
                    673:            Add AnchorCounter 1;
                    674:            Create In TmpFile  OUT_AnchorCounter;
                    675:            Create In TmpFile ' ';
                    676:            Create IN TmpFile '\12' After;
                    677: #ifdef ANCHOR_PREFIX
                    678:            Create OUT_AnchorCounter;
                    679:            Create Content;
                    680:            Remove;
                    681: #else
                    682:            Create OUT_AnchorCounter After;
                    683: #endif
                    684:          END;
                    685:        END;
                    686: 
                    687:  datetime:
                    688:        BEGIN
1.1       cvs       689:        END;
                    690: 
1.32      cvs       691:  background_:
1.1       cvs       692:        BEGIN
                    693:        END;
                    694: 
1.32      cvs       695:  BackgroundColor:
1.1       cvs       696:        BEGIN
                    697:        END;
                    698: 
1.32      cvs       699:  TextColor:
1.1       cvs       700:        BEGIN
                    701:        END;
                    702: 
1.32      cvs       703:  LinkColor:
1.1       cvs       704:        BEGIN
                    705:        END;
                    706: 
1.32      cvs       707:  VisitedLinkColor:
1.1       cvs       708:        BEGIN
                    709:        END;
                    710: 
1.32      cvs       711:  ActiveLinkColor:
1.1       cvs       712:        BEGIN
                    713:        END;
                    714: 
                    715:  BaseFontSize:
                    716:        BEGIN
                    717:        END;
                    718: 
1.32      cvs       719:  BaseFontColor:
                    720:        BEGIN
                    721:        END;
                    722: 
                    723:  BaseFontFace:
                    724:        BEGIN
                    725:        END;
                    726: 
                    727:  Font_size:
                    728:        BEGIN
                    729:        END;
                    730: 
                    731:  color:
1.5       cvs       732:        BEGIN
1.1       cvs       733:        END;
                    734: 
1.32      cvs       735:  face:
1.1       cvs       736:        BEGIN
                    737:        END;
                    738: 
1.62      quint     739:  Clear_ = Left_:
1.1       cvs       740:        BEGIN
                    741:        END;
                    742: 
1.62      quint     743:  Clear_ = Right_: 
1.1       cvs       744:        BEGIN
                    745:        END;
1.62      quint     746:  Clear_ = All_:
1.1       cvs       747:        BEGIN
                    748:        END;
1.62      quint     749:  Clear_ = None_:
1.1       cvs       750:        BEGIN
                    751:        END;
                    752: 
                    753:  Align = left_:
                    754:        BEGIN
                    755:        END;
                    756:  Align = center_:
                    757:        BEGIN
                    758:        END;
                    759:  Align = right_:
                    760:        BEGIN
                    761:        END;
                    762: 
1.31      cvs       763:  TextAlign = left_:
                    764:        BEGIN
                    765:        END;
                    766:  TextAlign = center_:
                    767:        BEGIN
                    768:        END;
                    769:  TextAlign = right_:
                    770:        BEGIN
                    771:        END;
                    772:  TextAlign = justify_:
                    773:        BEGIN
                    774:        END;
                    775: 
1.1       cvs       776:  NoShade:
1.5       cvs       777:        BEGIN
1.1       cvs       778:        END;
                    779: 
                    780:  Size_: BEGIN
                    781:        END;
                    782: 
                    783:  Width__: BEGIN
                    784:        END;
                    785: 
1.35      cvs       786:  declare: BEGIN
                    787:        END;
                    788: 
1.1       cvs       789:  codebase: BEGIN
                    790:        END;
                    791: 
                    792:  code: BEGIN
                    793:        END;
                    794: 
1.35      cvs       795:  object: BEGIN
                    796:        END;
                    797: 
1.1       cvs       798:  applet_name: BEGIN
                    799:        END;
                    800: 
                    801:  Param_name: BEGIN
                    802:        END;
                    803: 
                    804:  Param_value: BEGIN
                    805:        END;
1.31      cvs       806: 
1.35      cvs       807:  valuetype: BEGIN
                    808:        END;
                    809: 
                    810:  Param_type: BEGIN
                    811:        END;
                    812: 
1.1       cvs       813:  classid: BEGIN
                    814:        END;
                    815: 
                    816:  data: BEGIN
                    817:        END;
                    818: 
                    819:  Object_type: BEGIN
                    820:        END;
                    821: 
1.25      cvs       822:  Link_type: BEGIN
                    823:        END;
                    824: 
1.1       cvs       825:  codetype: BEGIN
                    826:        END;
1.31      cvs       827: 
1.35      cvs       828:  archive: BEGIN
                    829:        END;
                    830: 
                    831:  standby: BEGIN
                    832:        END;
                    833: 
1.1       cvs       834:  Title : BEGIN
                    835:        NoTranslation;
                    836:        END;
                    837: 
1.35      cvs       838:  accesskey: BEGIN
                    839:        Remove;
                    840:        END;
                    841: 
                    842:  tabindex: BEGIN
                    843:        Remove;
1.38      cvs       844:        END;
                    845: 
                    846:  Associated_control: BEGIN
                    847:        END;
                    848: 
                    849:  Button_type: BEGIN
1.35      cvs       850:        END;
                    851: 
1.1       cvs       852:  Class: BEGIN
1.15      cvs       853:        If Empty
                    854:           Remove; 
1.1       cvs       855:        END;
                    856: 
                    857:  Style\240: BEGIN
                    858:        END;
                    859: 
1.35      cvs       860:  onclick: BEGIN
                    861:         END;
                    862:  
                    863:  ondblclick: BEGIN
                    864:         END;
                    865:  
                    866:  onmousedown: BEGIN
                    867:         END;
                    868:  
                    869:  onmouseup: BEGIN
                    870:         END;
                    871:  
                    872:  onmouseover: BEGIN
                    873:         END;
                    874:  
                    875:  onmousemove: BEGIN
                    876:         END;
                    877:  
                    878:  onmouseout: BEGIN
                    879:         END;
                    880:  
                    881:  onkeypress: BEGIN
                    882:         END;
                    883:  
                    884:  onkeydown: BEGIN
                    885:         END;
                    886:  
                    887:  onkeyup: BEGIN
                    888:         END;
                    889:  
                    890:  onload: BEGIN
                    891:         END;
                    892:  
                    893:  onunload: BEGIN
                    894:         END;
                    895:  
                    896:  onfocus: BEGIN
                    897:         END;
                    898:  
                    899:  onblur: BEGIN
                    900:         END;
                    901: 
                    902:  onsubmit: BEGIN
                    903:        END;
                    904: 
                    905:  onreset: BEGIN
                    906:        END;
                    907:  
                    908:  onselect: BEGIN
                    909:        END;
                    910:  
                    911:  onchange: BEGIN
                    912:        END;
                    913:  
1.1       cvs       914:  COMPACT: BEGIN
                    915:        END;
                    916: 
1.68      quint     917:  Start: BEGIN
                    918:        END;
1.1       cvs       919: 
1.68      quint     920:  ItemStyle: BEGIN
1.1       cvs       921:        END;
                    922: 
                    923:  ItemValue: BEGIN
                    924:        END;
                    925: 
                    926:  Script_URL: BEGIN
                    927:        END;
                    928: 
                    929:  METHOD=Post_:
1.5       cvs       930:        BEGIN
                    931:        END;
1.1       cvs       932: 
                    933:  METHOD=Get_:
1.5       cvs       934:        BEGIN
                    935:        END;
1.1       cvs       936: 
                    937:  ENCTYPE: BEGIN
                    938:        END;
                    939: 
1.35      cvs       940:  accept_charset: BEGIN
                    941:        END;
                    942: 
1.1       cvs       943:  NAME: BEGIN
                    944:        END;
                    945: 
                    946:  Multiple:
1.5       cvs       947:        BEGIN
                    948:        END;
1.1       cvs       949: 
                    950:  MenuSize: BEGIN
                    951:        END;
                    952: 
1.10      cvs       953:  Selected: BEGIN
                    954:        END;
1.1       cvs       955: 
                    956:  Value_: BEGIN
                    957:        END;
                    958: 
                    959:  Rows: BEGIN
                    960:        END;
                    961: 
                    962:  Columns: BEGIN
                    963:        END;
                    964: 
1.10      cvs       965:  Checked = Yes_: BEGIN
                    966:        END;
1.1       cvs       967: 
1.35      cvs       968:  disabled: BEGIN
                    969:        END;
                    970: 
                    971:  readonly: BEGIN
                    972:        END;
                    973: 
                    974:  label:        BEGIN
                    975:        END;
                    976: 
                    977:  accept: BEGIN
1.41      cvs       978:        END;
                    979: 
                    980:  LAlign = Top_: BEGIN
                    981:        END;
                    982:  LAlign = Bottom_: BEGIN
                    983:        END;
                    984:  LAlign = Left_: BEGIN
                    985:        END;
                    986:  LAlign = Right_: BEGIN
1.35      cvs       987:        END;
                    988: 
1.1       cvs       989:  Area_Size: BEGIN
                    990:        END;
                    991: 
                    992:  MaxLength: BEGIN
                    993:        END;
                    994: 
                    995:  SRC:  BEGIN
                    996:        END;
                    997: 
1.72      vatton    998:  type: BEGIN
                    999:        END;
                   1000: 
1.1       cvs      1001:  ALT:  BEGIN
                   1002:        Create ALT;
                   1003:        END;
                   1004: 
1.35      cvs      1005:  longdesc: BEGIN
                   1006:        END;
                   1007: 
1.1       cvs      1008:  Alignment = Top_:
1.5       cvs      1009:        BEGIN
                   1010:        END;
1.1       cvs      1011:  Alignment = Middle_:
1.5       cvs      1012:        BEGIN
                   1013:        END;
1.1       cvs      1014:  Alignment = Bottom_:
1.5       cvs      1015:        BEGIN
                   1016:        END;
1.1       cvs      1017:  Alignment = Left_:
1.5       cvs      1018:        BEGIN
                   1019:        END;
1.1       cvs      1020:  Alignment = Right_:
1.5       cvs      1021:        BEGIN
                   1022:        END;
1.1       cvs      1023: 
                   1024:  Height_: BEGIN
                   1025:        END;
                   1026: 
                   1027:  Img_border: BEGIN
                   1028:        END;
                   1029: 
                   1030:  hspace: BEGIN
                   1031:        END;
                   1032: 
                   1033:  vspace: BEGIN
                   1034:        END;
                   1035: 
1.71      vatton   1036:  ISAMAP:
1.5       cvs      1037:        BEGIN
                   1038:        END;
1.1       cvs      1039: 
                   1040:  USEMAP: BEGIN
                   1041:        END;
                   1042: 
                   1043:  nohref:
1.5       cvs      1044:        BEGIN
                   1045:        END;
1.1       cvs      1046: 
                   1047:  shape = rectangle:
1.5       cvs      1048:        BEGIN
                   1049:        END;
1.1       cvs      1050:  shape = circle:
1.5       cvs      1051:        BEGIN
                   1052:        END;
1.1       cvs      1053:  shape = polygon:
1.5       cvs      1054:        BEGIN
                   1055:        END;
1.1       cvs      1056: 
                   1057:  coords: BEGIN
                   1058:        END;
1.27      cvs      1059: 
1.35      cvs      1060:  summary: BEGIN
                   1061:        END;
                   1062: 
                   1063:  frame = void: BEGIN
                   1064:        END;
                   1065:  frame = above: BEGIN
                   1066:        END;
                   1067:  frame = below: BEGIN
                   1068:        END;
                   1069:  frame = hsides: BEGIN
                   1070:        END;
                   1071:  frame = lhs: BEGIN
                   1072:        END;
                   1073:  frame = rhs: BEGIN
                   1074:        END;
                   1075:  frame = vsides: BEGIN
                   1076:        END;
                   1077:  frame = box: BEGIN
                   1078:        END;
                   1079:  frame = border: BEGIN
                   1080:        END;
                   1081:  
1.43      cvs      1082:  rules_ = none_: BEGIN
1.35      cvs      1083:        END;
                   1084:  rules_ = groups: BEGIN
                   1085:        END;
                   1086:  rules_ = rows: BEGIN
                   1087:        END;
                   1088:  rules_ = cols: BEGIN
                   1089:        END;
                   1090:  rules_ = all: BEGIN
                   1091:        END;
                   1092: 
1.1       cvs      1093:  Border: BEGIN
                   1094:        END;
                   1095: 
                   1096:  cellspacing: BEGIN
                   1097:        END;
                   1098: 
1.5       cvs      1099:  cellpadding:
                   1100:         BEGIN
1.1       cvs      1101:        END;
                   1102: 
1.35      cvs      1103:  datapagesize: BEGIN
                   1104:        END;
                   1105: 
1.1       cvs      1106:  Position = Position_top:
1.5       cvs      1107:                BEGIN
                   1108:                END;
1.1       cvs      1109:  Position = Position_bottom:
1.5       cvs      1110:                BEGIN
                   1111:                END;
1.35      cvs      1112:  Position = Position_left:
1.5       cvs      1113:                BEGIN
                   1114:                END;
1.35      cvs      1115:  Position = Position_right:
1.5       cvs      1116:                BEGIN
                   1117:                END;
1.35      cvs      1118: 
1.1       cvs      1119:  Row_valign = Row_top:
1.5       cvs      1120:                BEGIN
                   1121:                END;
1.1       cvs      1122:  Row_valign = Row_middle:
1.5       cvs      1123:                BEGIN
                   1124:                END;
1.1       cvs      1125:  Row_valign = Row_bottom:
1.5       cvs      1126:                BEGIN
                   1127:                END;
1.35      cvs      1128:  Row_valign = Row_baseline:
                   1129:                BEGIN
                   1130:                END;
                   1131: 
                   1132:  abbr: BEGIN
                   1133:        END;
                   1134: 
                   1135:  axis: BEGIN
                   1136:        END;
1.1       cvs      1137: 
1.35      cvs      1138:  headers: BEGIN
                   1139:        END;
                   1140: 
                   1141:  scope: BEGIN
1.1       cvs      1142:        END;
                   1143: 
1.26      cvs      1144:  rowspan_: BEGIN
1.1       cvs      1145:        END;
                   1146: 
1.35      cvs      1147:  colspan_: BEGIN
                   1148:        END;
                   1149: 
1.1       cvs      1150:  Cell_align = Cell_left:
1.5       cvs      1151:                BEGIN
                   1152:                END;
1.1       cvs      1153:  Cell_align = Cell_center:
1.5       cvs      1154:                BEGIN
                   1155:                END;
1.1       cvs      1156:  Cell_align = Cell_right:
1.5       cvs      1157:                BEGIN
                   1158:                END;
1.35      cvs      1159:  Cell_align = Cell_justify:
                   1160:                BEGIN
                   1161:                END;
                   1162:  Cell_align = Cell_char:
                   1163:                BEGIN
                   1164:                END;
                   1165: 
                   1166:  char: BEGIN
                   1167:        END;
                   1168: 
                   1169:  charoff: BEGIN
                   1170:        END;
1.1       cvs      1171: 
                   1172:  Cell_valign = Cell_top:
1.5       cvs      1173:                BEGIN
                   1174:                END;
1.1       cvs      1175:  Cell_valign = Cell_middle:
1.5       cvs      1176:                BEGIN
                   1177:                END;
1.1       cvs      1178:  Cell_valign = Cell_bottom:
1.35      cvs      1179:                BEGIN
                   1180:                END;
                   1181:  Cell_valign = Cell_baseline:
1.5       cvs      1182:                BEGIN
                   1183:                END;
1.1       cvs      1184: 
1.17      cvs      1185:  No_wrap = no_wrap:
1.39      cvs      1186:                BEGIN
                   1187:                END;
                   1188: 
                   1189:  RowHeight:
                   1190:                BEGIN
                   1191:                END;
                   1192:  ColWidth:
                   1193:                BEGIN
                   1194:                END;
                   1195:  FrameSrc:
                   1196:                BEGIN
                   1197:                END;
                   1198:  frameborder = Border1:
                   1199:                BEGIN
                   1200:                END;
                   1201:  frameborder = Border0:
                   1202:                BEGIN
                   1203:                END;
                   1204:  marginwidth:
                   1205:                BEGIN
                   1206:                END;
                   1207:  marginheight:
                   1208:                BEGIN
                   1209:                END;
                   1210:  no_resize:
                   1211:                BEGIN
                   1212:                END;
                   1213:  scrolling = Yes_:
                   1214:                BEGIN
                   1215:                END;
                   1216:  scrolling = No_:
                   1217:                BEGIN
                   1218:                END;
1.44      cvs      1219:  scrolling = auto_:
1.5       cvs      1220:                BEGIN
                   1221:                END;
1.1       cvs      1222: 
                   1223:  Invalid_attribute:
1.5       cvs      1224:                BEGIN
                   1225:                END;
                   1226: 
1.54      cvs      1227:  Unknown_attribute:
                   1228:                BEGIN
                   1229:                END;
                   1230: 
1.49      cvs      1231:  xml_space = xml_space_default:
                   1232:                BEGIN
                   1233:                END;
                   1234: 
                   1235:  xml_space = xml_space_preserve:
                   1236:                BEGIN
                   1237:                END;
                   1238: 
1.64      cvs      1239:  is_css:
                   1240:                BEGIN
                   1241:                END;
                   1242: 
1.74      quint    1243:  about:
1.73      carcone  1244:                BEGIN
                   1245:                END;
                   1246: 
1.74      quint    1247:  property:
1.73      carcone  1248:                BEGIN
                   1249:                END;
                   1250: 
1.74      quint    1251:  resource:
1.73      carcone  1252:                BEGIN
                   1253:                END;
                   1254: 
1.74      quint    1255:  datatype:
1.73      carcone  1256:                BEGIN
                   1257:                END;
                   1258: 
1.75    ! carcone  1259:  typeof:
1.73      carcone  1260:                BEGIN
                   1261:                END;
                   1262: 
1.5       cvs      1263: TextTRANSLATE
                   1264:        BEGIN
                   1265:        '\240' -> ' '; { &nbsp; }
                   1266:        '\212' -> '\12'; { &CTLrc; }    
                   1267:        END;
1.1       cvs      1268: 
                   1269: GraphTRANSLATE
                   1270:        BEGIN
                   1271:        'c' -> 'circle';
                   1272:        'Q' -> 'circle';
                   1273:        'R' -> 'rect';
                   1274:        'C' -> 'rect';
                   1275:        ' ' -> 'rect';
                   1276:        'P' -> 'rect';
                   1277:        'p' -> 'polygon';
                   1278:        'B' -> 'polygon';
                   1279:        END;
                   1280: 
                   1281: END
1.3       cvs      1282: 

Webmaster