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

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.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.24      cvs       304:        Create '\12' After;
1.1       cvs       305:        END;
                    306: 
                    307:  Numbered_List:        BEGIN
1.7       cvs       308:        Indent +3;
1.5       cvs       309:        Indent -3 After;
1.24      cvs       310:        Create '\12' After;
1.1       cvs       311:        END;
                    312: 
                    313:  Address: BEGIN
1.5       cvs       314:        Create Attributes;
1.15      cvs       315:        Create '\12\12' After;
1.1       cvs       316:        END;
                    317: 
                    318:  Menu: BEGIN
1.7       cvs       319:        Indent +3;
                    320:        Indent -3 After;
1.1       cvs       321:        END;
                    322: 
                    323:  Directory: BEGIN
1.7       cvs       324:        Indent +3;
                    325:        Indent -3 After;
1.1       cvs       326:        END;
                    327: 
                    328:  List_Item: BEGIN
                    329:        Create Attributes;
                    330:        Indent +3;
1.7       cvs       331:        Indent -3 after;
1.1       cvs       332:        END;
                    333: 
                    334:  Preformatted: BEGIN
                    335:        NoLineBreak;
1.5       cvs       336:        Create Attributes;
1.15      cvs       337:        Create '\12\12' After;
1.1       cvs       338:        END;
                    339: 
                    340:  Horizontal_Rule: BEGIN
1.10      cvs       341:        Create (DashLine) After;
1.15      cvs       342:        Create '\12\12' After;
1.5       cvs       343:        Remove;
1.1       cvs       344:        END;
                    345: 
                    346:  Form: BEGIN
                    347:        END;
                    348: 
                    349:  Option_Menu: BEGIN
                    350:        END;
                    351: 
                    352:  Option: BEGIN
1.15      cvs       353:        If Selected = Yes_
                    354:           Create Content;
1.6       cvs       355:        Remove;
1.1       cvs       356:        END;
                    357: 
1.40      cvs       358:  OptGroup: BEGIN
                    359:        END;
                    360: 
1.1       cvs       361:  Text_Area: BEGIN
1.10      cvs       362:        Create Content;
1.6       cvs       363:        Remove;
1.1       cvs       364:        END;
                    365: 
1.41      cvs       366:  FIELDSET: BEGIN
                    367:        END;
                    368: 
                    369:  LEGEND: BEGIN
                    370:        END;
                    371: 
1.38      cvs       372:  LABEL: BEGIN
                    373:        END;
                    374: 
1.53      cvs       375:  BUTTON_: BEGIN
1.38      cvs       376:        Create '[' before;
                    377:        Create ']' after;
                    378:        END;
                    379: 
1.1       cvs       380:  Checkbox_Input: BEGIN
1.10      cvs       381:        If Checked = Yes_
                    382:           Create '[x] ';
                    383:        If Checked = No_
1.16      cvs       384:           Create '[ ] ';
1.1       cvs       385:        END;
                    386: 
                    387:  Radio_Input: BEGIN
1.15      cvs       388:        If Checked =  Yes_
                    389:           Create '(x)';
                    390:        If Checked = No_
1.16      cvs       391:           Create '( )';
1.1       cvs       392:        Remove;
                    393:        END;
                    394: 
                    395:  Text_Input: BEGIN
1.10      cvs       396:        Create Content;
1.1       cvs       397:        Remove;
                    398:        END;
                    399: 
                    400:  Hidden_Input: BEGIN
                    401:        Remove;
                    402:        END;
                    403: 
                    404:  Password_Input: BEGIN
                    405:        Remove;
                    406:        END;
                    407: 
                    408:  File_Input: BEGIN
1.10      cvs       409:        Create Content;
1.1       cvs       410:        Remove;
                    411:        END;
                    412: 
                    413:  Reset_Input: BEGIN
1.15      cvs       414:        Create '<<';
1.10      cvs       415:        Create Value_;
1.15      cvs       416:        Create '>>';
1.10      cvs       417:        If Last
                    418:           Create '\12';
1.1       cvs       419:        Remove;
                    420:        END;
                    421: 
                    422:  Submit_Input: BEGIN
1.15      cvs       423:        Create '<<';
1.10      cvs       424:        Create Value_;
1.15      cvs       425:        Create '>>';
1.10      cvs       426:        If Last
                    427:           Create '\12';
1.5       cvs       428:        Remove;
1.1       cvs       429:        END;
                    430: 
1.38      cvs       431:  Button_Input: BEGIN
                    432:        Create '<<';
                    433:        Create Value_;
                    434:        Create '>>';
                    435:        If Last
                    436:           Create '\12';
                    437:        Remove;
                    438:        END;
                    439: 
1.1       cvs       440:  Block_Quote: BEGIN
1.3       cvs       441:        Indent +5;
                    442:        Indent -5 After;
1.1       cvs       443:        END;
                    444: 
                    445:  PICTURE_UNIT: BEGIN
1.10      cvs       446:        If Immediately within Object
1.1       cvs       447:                Remove;
1.10      cvs       448:        If NOT Immediately within Object BEGIN
1.5       cvs       449:                Create Attributes;
                    450:                END;
1.10      cvs       451:        If NOT ALT 
1.8       cvs       452:          Create '[Image]';
1.1       cvs       453:        END;
                    454: 
                    455:  Anchor: BEGIN
1.51      kahan     456:        If HREF_ AND NOT InternalLink
1.8       cvs       457:          BEGIN
1.12      cvs       458:            Add AnchorCounter 1;
1.8       cvs       459:            Create In TmpFile  OUT_AnchorCounter;
1.15      cvs       460:            Create In TmpFile ' ';
1.8       cvs       461:            Create Attributes;
                    462:            Create IN TmpFile '\12' After;
1.5       cvs       463: #ifdef ANCHOR_PREFIX
1.8       cvs       464:            Create OUT_AnchorCounter;
1.10      cvs       465:            Create Content;
                    466:            Remove;
1.5       cvs       467: #else
1.8       cvs       468:            Create OUT_AnchorCounter After;
1.5       cvs       469: #endif
1.16      cvs       470:          END;
1.1       cvs       471:        END;
                    472: 
                    473:  MAP:
                    474:        BEGIN
1.3       cvs       475:        Remove;
1.1       cvs       476:        END;
                    477: 
                    478:  AREA:
                    479:        BEGIN
                    480:        Remove;
                    481:        END;
                    482: 
                    483: { ---- Tables ---- }
                    484: 
                    485:  Table:
                    486:        BEGIN
1.5       cvs       487:        Indent +3;
1.1       cvs       488:        Create Attributes;
1.5       cvs       489:        Indent -3 After;
1.1       cvs       490:        END;
                    491: 
                    492:  CAPTION:
                    493:        BEGIN
1.5       cvs       494:        Indent -3;
                    495:        Indent +3 After;
1.1       cvs       496:        END;
                    497: 
                    498:  Table_head:
                    499:        Remove;
                    500: 
                    501:  thead:
                    502:        BEGIN
                    503:        END;
                    504: 
                    505:  tfoot:
                    506:        BEGIN
                    507:        END;
                    508:  tbody:
                    509:        BEGIN
                    510:        END;
                    511: 
                    512:  Table_body:
1.16      cvs       513:        BEGIN
                    514:        END;
1.1       cvs       515: 
                    516:  Table_row:
1.10      cvs       517:        If Empty
                    518:           Remove;
1.1       cvs       519: 
                    520:  Data_cell:
1.10      cvs       521:        If Empty
                    522:           Remove;
1.1       cvs       523: 
                    524:  Heading_cell:
1.10      cvs       525:        If Empty
                    526:           Remove;
1.13      cvs       527:  
1.1       cvs       528:  Table_foot:
1.16      cvs       529:        Remove;
1.1       cvs       530: 
1.10      cvs       531:  Division: 
                    532:        If Empty
                    533:           Remove;
1.1       cvs       534: 
1.10      cvs       535:  Center:
                    536:        If Empty
                    537:           Remove;
1.1       cvs       538: 
1.34      cvs       539:  NOSCRIPT:
                    540:        If Empty
                    541:           Remove;
                    542: 
1.1       cvs       543:  Invalid_element:
1.65      vatton    544:        Remove;
1.1       cvs       545: 
1.35      cvs       546:  Comment\240:
                    547:        Remove;
                    548: 
                    549:  Comment_line:
1.4       cvs       550:        Remove;
1.35      cvs       551: 
1.52      cvs       552:  XMLPI:
                    553:        Remove;
                    554: 
                    555:  PI_line:
                    556:        Remove;
                    557: 
1.56      cvs       558:  DOCTYPE:
                    559:        Remove;
                    560: 
                    561:  DOCTYPE_line:
1.55      cvs       562:        Remove;
                    563: 
1.58      cvs       564:  CDATA:
                    565:        Remove;
                    566: 
                    567:  CDATA_line:
                    568:        Remove;
                    569: 
1.39      cvs       570:  FRAMESET: BEGIN
                    571:        END;
                    572: 
                    573:  Frames: BEGIN
                    574:        END;
                    575: 
                    576:  NOFRAMES: BEGIN
                    577:        END;
                    578: 
                    579:  FRAME: BEGIN
                    580:        END;
                    581: 
                    582:  IFRAME: BEGIN
                    583:        Create '\12';
                    584:        Create '\12' After;
                    585:        END;
                    586: 
1.35      cvs       587: ATTRIBUTES
                    588: 
                    589:  profile: BEGIN
                    590:        END;
                    591: 
                    592:  content_type: BEGIN
1.1       cvs       593:        END;
                    594: 
1.35      cvs       595:  script_src: BEGIN
                    596:        END;
                    597: 
1.63      cvs       598:  script_language: BEGIN
                    599:         END;
                    600: 
1.35      cvs       601:  defer: BEGIN
1.1       cvs       602:        END;
                    603: 
1.35      cvs       604:  event: BEGIN
                    605:        END;
1.1       cvs       606: 
1.35      cvs       607:  for_: BEGIN
                    608:        END;
                    609:  
1.1       cvs       610:  http_equiv: BEGIN
1.7       cvs       611:        Remove;
1.1       cvs       612:        END;
                    613: 
                    614:  meta_name: BEGIN
1.7       cvs       615:        Remove;
1.1       cvs       616:        END;
                    617: 
                    618:  meta_content: BEGIN
1.7       cvs       619:        Remove;
1.1       cvs       620:        END;
                    621: 
1.35      cvs       622:  scheme: BEGIN
                    623:        END;
                    624: 
                    625:  charset: BEGIN
                    626:        Remove;
                    627:        END;
                    628: 
                    629:  hreflang: BEGIN
                    630:        Remove;
                    631:        END;
                    632: 
                    633:  media: BEGIN
                    634:        Remove;
                    635:        END;
                    636: 
                    637:  target_: BEGIN
                    638:        Remove;
                    639:        END;
                    640: 
1.1       cvs       641:  REL:  BEGIN
1.7       cvs       642:        Remove;
1.1       cvs       643:        END;
                    644: 
                    645:  REV:  BEGIN
1.7       cvs       646:        Remove;
1.1       cvs       647:        END;
                    648: 
1.32      cvs       649:  HREF_:
1.1       cvs       650:        BEGIN
1.51      kahan     651:        If NOT Within LINK AND NOT InternalLink
1.50      kahan     652:           BEGIN
1.16      cvs       653:           Create IN TmpFile HREF_;
1.50      kahan     654:           END;
1.33      cvs       655:        END;
                    656: 
                    657:  cite: BEGIN
                    658:        If NOT InternalLink
                    659:          BEGIN
                    660:            Add AnchorCounter 1;
                    661:            Create In TmpFile  OUT_AnchorCounter;
                    662:            Create In TmpFile ' ';
                    663:            Create IN TmpFile '\12' After;
                    664: #ifdef ANCHOR_PREFIX
                    665:            Create OUT_AnchorCounter;
                    666:            Create Content;
                    667:            Remove;
                    668: #else
                    669:            Create OUT_AnchorCounter After;
                    670: #endif
                    671:          END;
                    672:        END;
                    673: 
                    674:  datetime:
                    675:        BEGIN
1.1       cvs       676:        END;
                    677: 
1.32      cvs       678:  background_:
1.1       cvs       679:        BEGIN
                    680:        END;
                    681: 
1.32      cvs       682:  BackgroundColor:
1.1       cvs       683:        BEGIN
                    684:        END;
                    685: 
1.32      cvs       686:  TextColor:
1.1       cvs       687:        BEGIN
                    688:        END;
                    689: 
1.32      cvs       690:  LinkColor:
1.1       cvs       691:        BEGIN
                    692:        END;
                    693: 
1.32      cvs       694:  VisitedLinkColor:
1.1       cvs       695:        BEGIN
                    696:        END;
                    697: 
1.32      cvs       698:  ActiveLinkColor:
1.1       cvs       699:        BEGIN
                    700:        END;
                    701: 
                    702:  BaseFontSize:
                    703:        BEGIN
                    704:        END;
                    705: 
1.32      cvs       706:  BaseFontColor:
                    707:        BEGIN
                    708:        END;
                    709: 
                    710:  BaseFontFace:
                    711:        BEGIN
                    712:        END;
                    713: 
                    714:  Font_size:
                    715:        BEGIN
                    716:        END;
                    717: 
                    718:  color:
1.5       cvs       719:        BEGIN
1.1       cvs       720:        END;
                    721: 
1.32      cvs       722:  face:
1.1       cvs       723:        BEGIN
                    724:        END;
                    725: 
1.62      quint     726:  Clear_ = Left_:
1.1       cvs       727:        BEGIN
                    728:        END;
                    729: 
1.62      quint     730:  Clear_ = Right_: 
1.1       cvs       731:        BEGIN
                    732:        END;
1.62      quint     733:  Clear_ = All_:
1.1       cvs       734:        BEGIN
                    735:        END;
1.62      quint     736:  Clear_ = None_:
1.1       cvs       737:        BEGIN
                    738:        END;
                    739: 
                    740:  Align = left_:
                    741:        BEGIN
                    742:        END;
                    743:  Align = center_:
                    744:        BEGIN
                    745:        END;
                    746:  Align = right_:
                    747:        BEGIN
                    748:        END;
                    749: 
1.31      cvs       750:  TextAlign = left_:
                    751:        BEGIN
                    752:        END;
                    753:  TextAlign = center_:
                    754:        BEGIN
                    755:        END;
                    756:  TextAlign = right_:
                    757:        BEGIN
                    758:        END;
                    759:  TextAlign = justify_:
                    760:        BEGIN
                    761:        END;
                    762: 
1.1       cvs       763:  NoShade:
1.5       cvs       764:        BEGIN
1.1       cvs       765:        END;
                    766: 
                    767:  Size_: BEGIN
                    768:        END;
                    769: 
                    770:  Width__: BEGIN
                    771:        END;
                    772: 
1.35      cvs       773:  declare: BEGIN
                    774:        END;
                    775: 
1.1       cvs       776:  codebase: BEGIN
                    777:        END;
                    778: 
                    779:  code: BEGIN
                    780:        END;
                    781: 
1.35      cvs       782:  object: BEGIN
                    783:        END;
                    784: 
1.1       cvs       785:  applet_name: BEGIN
                    786:        END;
                    787: 
                    788:  Param_name: BEGIN
                    789:        END;
                    790: 
                    791:  Param_value: BEGIN
                    792:        END;
1.31      cvs       793: 
1.35      cvs       794:  valuetype: BEGIN
                    795:        END;
                    796: 
                    797:  Param_type: BEGIN
                    798:        END;
                    799: 
1.1       cvs       800:  classid: BEGIN
                    801:        END;
                    802: 
                    803:  data: BEGIN
                    804:        END;
                    805: 
                    806:  Object_type: BEGIN
                    807:        END;
                    808: 
1.25      cvs       809:  Link_type: BEGIN
                    810:        END;
                    811: 
1.1       cvs       812:  codetype: BEGIN
                    813:        END;
1.31      cvs       814: 
1.35      cvs       815:  archive: BEGIN
                    816:        END;
                    817: 
                    818:  standby: BEGIN
                    819:        END;
                    820: 
1.1       cvs       821:  Title : BEGIN
                    822:        NoTranslation;
                    823:        END;
                    824: 
1.35      cvs       825:  accesskey: BEGIN
                    826:        Remove;
                    827:        END;
                    828: 
                    829:  tabindex: BEGIN
                    830:        Remove;
1.38      cvs       831:        END;
                    832: 
                    833:  Associated_control: BEGIN
                    834:        END;
                    835: 
                    836:  Button_type: BEGIN
1.35      cvs       837:        END;
                    838: 
1.1       cvs       839:  Class: BEGIN
1.15      cvs       840:        If Empty
                    841:           Remove; 
1.1       cvs       842:        END;
                    843: 
                    844:  Style\240: BEGIN
                    845:        END;
                    846: 
1.35      cvs       847:  onclick: BEGIN
                    848:         END;
                    849:  
                    850:  ondblclick: BEGIN
                    851:         END;
                    852:  
                    853:  onmousedown: BEGIN
                    854:         END;
                    855:  
                    856:  onmouseup: BEGIN
                    857:         END;
                    858:  
                    859:  onmouseover: BEGIN
                    860:         END;
                    861:  
                    862:  onmousemove: BEGIN
                    863:         END;
                    864:  
                    865:  onmouseout: BEGIN
                    866:         END;
                    867:  
                    868:  onkeypress: BEGIN
                    869:         END;
                    870:  
                    871:  onkeydown: BEGIN
                    872:         END;
                    873:  
                    874:  onkeyup: BEGIN
                    875:         END;
                    876:  
                    877:  onload: BEGIN
                    878:         END;
                    879:  
                    880:  onunload: BEGIN
                    881:         END;
                    882:  
                    883:  onfocus: BEGIN
                    884:         END;
                    885:  
                    886:  onblur: BEGIN
                    887:         END;
                    888: 
                    889:  onsubmit: BEGIN
                    890:        END;
                    891: 
                    892:  onreset: BEGIN
                    893:        END;
                    894:  
                    895:  onselect: BEGIN
                    896:        END;
                    897:  
                    898:  onchange: BEGIN
                    899:        END;
                    900:  
1.1       cvs       901:  COMPACT: BEGIN
                    902:        END;
                    903: 
                    904:  IntItemStyle = disc:
                    905:        Create '*  ';
                    906:  IntItemStyle = square :
                    907:        Create '+  ';
                    908:  IntItemStyle = circle :
                    909:        Create 'o  ';
                    910:  IntItemStyle = Arabic_ :
                    911:        Create (Value(ItemCounter, Arabic) '. ');
                    912:  IntItemStyle = LowerAlpha :
                    913:        Create (Value(ItemCounter, Lowercase) '. ');
                    914:  IntItemStyle = UpperAlpha :
                    915:        Create (Value(ItemCounter, Uppercase) '. ');
                    916:  IntItemStyle = LowerRoman :
                    917:        Create (Value(ItemCounter, LRoman) '. ');
                    918:  IntItemStyle = UpperRoman :
                    919:        Create (Value(ItemCounter, URoman) '. ');
                    920: 
                    921:  Start: BEGIN
                    922:        END;
                    923: 
                    924:  ItemValue: BEGIN
                    925:        END;
                    926: 
                    927:  Script_URL: BEGIN
                    928:        END;
                    929: 
                    930:  METHOD=Post_:
1.5       cvs       931:        BEGIN
                    932:        END;
1.1       cvs       933: 
                    934:  METHOD=Get_:
1.5       cvs       935:        BEGIN
                    936:        END;
1.1       cvs       937: 
                    938:  ENCTYPE: BEGIN
                    939:        END;
                    940: 
1.35      cvs       941:  accept_charset: BEGIN
                    942:        END;
                    943: 
1.1       cvs       944:  NAME: BEGIN
                    945:        END;
                    946: 
                    947:  Multiple:
1.5       cvs       948:        BEGIN
                    949:        END;
1.1       cvs       950: 
                    951:  MenuSize: BEGIN
                    952:        END;
                    953: 
1.10      cvs       954:  Selected: BEGIN
                    955:        END;
1.1       cvs       956: 
                    957:  Value_: BEGIN
                    958:        END;
                    959: 
                    960:  Rows: BEGIN
                    961:        END;
                    962: 
                    963:  Columns: BEGIN
                    964:        END;
                    965: 
1.10      cvs       966:  Checked = Yes_: BEGIN
                    967:        END;
1.1       cvs       968: 
1.35      cvs       969:  disabled: BEGIN
                    970:        END;
                    971: 
                    972:  readonly: BEGIN
                    973:        END;
                    974: 
                    975:  label:        BEGIN
                    976:        END;
                    977: 
                    978:  accept: BEGIN
1.41      cvs       979:        END;
                    980: 
                    981:  LAlign = Top_: BEGIN
                    982:        END;
                    983:  LAlign = Bottom_: BEGIN
                    984:        END;
                    985:  LAlign = Left_: BEGIN
                    986:        END;
                    987:  LAlign = Right_: BEGIN
1.35      cvs       988:        END;
                    989: 
1.1       cvs       990:  Area_Size: BEGIN
                    991:        END;
                    992: 
                    993:  MaxLength: BEGIN
                    994:        END;
                    995: 
                    996:  SRC:  BEGIN
                    997:        END;
                    998: 
                    999:  ALT:  BEGIN
                   1000:        Create ALT;
                   1001:        END;
                   1002: 
1.35      cvs      1003:  longdesc: BEGIN
                   1004:        END;
                   1005: 
1.1       cvs      1006:  Alignment = Top_:
1.5       cvs      1007:        BEGIN
                   1008:        END;
1.1       cvs      1009:  Alignment = Middle_:
1.5       cvs      1010:        BEGIN
                   1011:        END;
1.1       cvs      1012:  Alignment = Bottom_:
1.5       cvs      1013:        BEGIN
                   1014:        END;
1.1       cvs      1015:  Alignment = Left_:
1.5       cvs      1016:        BEGIN
                   1017:        END;
1.1       cvs      1018:  Alignment = Right_:
1.5       cvs      1019:        BEGIN
                   1020:        END;
1.1       cvs      1021: 
                   1022:  Height_: BEGIN
                   1023:        END;
                   1024: 
                   1025:  Img_border: BEGIN
                   1026:        END;
                   1027: 
                   1028:  hspace: BEGIN
                   1029:        END;
                   1030: 
                   1031:  vspace: BEGIN
                   1032:        END;
                   1033: 
                   1034:  ISMAP:
1.5       cvs      1035:        BEGIN
                   1036:        END;
1.1       cvs      1037: 
                   1038:  USEMAP: BEGIN
                   1039:        END;
                   1040: 
                   1041:  nohref:
1.5       cvs      1042:        BEGIN
                   1043:        END;
1.1       cvs      1044: 
                   1045:  shape = rectangle:
1.5       cvs      1046:        BEGIN
                   1047:        END;
1.1       cvs      1048:  shape = circle:
1.5       cvs      1049:        BEGIN
                   1050:        END;
1.1       cvs      1051:  shape = polygon:
1.5       cvs      1052:        BEGIN
                   1053:        END;
1.1       cvs      1054: 
                   1055:  coords: BEGIN
                   1056:        END;
1.27      cvs      1057: 
1.35      cvs      1058:  summary: BEGIN
                   1059:        END;
                   1060: 
                   1061:  frame = void: BEGIN
                   1062:        END;
                   1063:  frame = above: BEGIN
                   1064:        END;
                   1065:  frame = below: BEGIN
                   1066:        END;
                   1067:  frame = hsides: BEGIN
                   1068:        END;
                   1069:  frame = lhs: BEGIN
                   1070:        END;
                   1071:  frame = rhs: BEGIN
                   1072:        END;
                   1073:  frame = vsides: BEGIN
                   1074:        END;
                   1075:  frame = box: BEGIN
                   1076:        END;
                   1077:  frame = border: BEGIN
                   1078:        END;
                   1079:  
1.43      cvs      1080:  rules_ = none_: BEGIN
1.35      cvs      1081:        END;
                   1082:  rules_ = groups: BEGIN
                   1083:        END;
                   1084:  rules_ = rows: BEGIN
                   1085:        END;
                   1086:  rules_ = cols: BEGIN
                   1087:        END;
                   1088:  rules_ = all: BEGIN
                   1089:        END;
                   1090: 
1.1       cvs      1091:  Border: BEGIN
                   1092:        END;
                   1093: 
                   1094:  cellspacing: BEGIN
                   1095:        END;
                   1096: 
1.5       cvs      1097:  cellpadding:
                   1098:         BEGIN
1.1       cvs      1099:        END;
                   1100: 
1.35      cvs      1101:  datapagesize: BEGIN
                   1102:        END;
                   1103: 
1.1       cvs      1104:  Position = Position_top:
1.5       cvs      1105:                BEGIN
                   1106:                END;
1.1       cvs      1107:  Position = Position_bottom:
1.5       cvs      1108:                BEGIN
                   1109:                END;
1.35      cvs      1110:  Position = Position_left:
1.5       cvs      1111:                BEGIN
                   1112:                END;
1.35      cvs      1113:  Position = Position_right:
1.5       cvs      1114:                BEGIN
                   1115:                END;
1.35      cvs      1116: 
1.1       cvs      1117:  Row_valign = Row_top:
1.5       cvs      1118:                BEGIN
                   1119:                END;
1.1       cvs      1120:  Row_valign = Row_middle:
1.5       cvs      1121:                BEGIN
                   1122:                END;
1.1       cvs      1123:  Row_valign = Row_bottom:
1.5       cvs      1124:                BEGIN
                   1125:                END;
1.35      cvs      1126:  Row_valign = Row_baseline:
                   1127:                BEGIN
                   1128:                END;
                   1129: 
                   1130:  abbr: BEGIN
                   1131:        END;
                   1132: 
                   1133:  axis: BEGIN
                   1134:        END;
1.1       cvs      1135: 
1.35      cvs      1136:  headers: BEGIN
                   1137:        END;
                   1138: 
                   1139:  scope: BEGIN
1.1       cvs      1140:        END;
                   1141: 
1.26      cvs      1142:  rowspan_: BEGIN
1.1       cvs      1143:        END;
                   1144: 
1.35      cvs      1145:  colspan_: BEGIN
                   1146:        END;
                   1147: 
1.1       cvs      1148:  Cell_align = Cell_left:
1.5       cvs      1149:                BEGIN
                   1150:                END;
1.1       cvs      1151:  Cell_align = Cell_center:
1.5       cvs      1152:                BEGIN
                   1153:                END;
1.1       cvs      1154:  Cell_align = Cell_right:
1.5       cvs      1155:                BEGIN
                   1156:                END;
1.35      cvs      1157:  Cell_align = Cell_justify:
                   1158:                BEGIN
                   1159:                END;
                   1160:  Cell_align = Cell_char:
                   1161:                BEGIN
                   1162:                END;
                   1163: 
                   1164:  char: BEGIN
                   1165:        END;
                   1166: 
                   1167:  charoff: BEGIN
                   1168:        END;
1.1       cvs      1169: 
                   1170:  Cell_valign = Cell_top:
1.5       cvs      1171:                BEGIN
                   1172:                END;
1.1       cvs      1173:  Cell_valign = Cell_middle:
1.5       cvs      1174:                BEGIN
                   1175:                END;
1.1       cvs      1176:  Cell_valign = Cell_bottom:
1.35      cvs      1177:                BEGIN
                   1178:                END;
                   1179:  Cell_valign = Cell_baseline:
1.5       cvs      1180:                BEGIN
                   1181:                END;
1.1       cvs      1182: 
1.17      cvs      1183:  No_wrap = no_wrap:
1.39      cvs      1184:                BEGIN
                   1185:                END;
                   1186: 
                   1187:  RowHeight:
                   1188:                BEGIN
                   1189:                END;
                   1190:  ColWidth:
                   1191:                BEGIN
                   1192:                END;
                   1193:  FrameSrc:
                   1194:                BEGIN
                   1195:                END;
                   1196:  frameborder = Border1:
                   1197:                BEGIN
                   1198:                END;
                   1199:  frameborder = Border0:
                   1200:                BEGIN
                   1201:                END;
                   1202:  marginwidth:
                   1203:                BEGIN
                   1204:                END;
                   1205:  marginheight:
                   1206:                BEGIN
                   1207:                END;
                   1208:  no_resize:
                   1209:                BEGIN
                   1210:                END;
                   1211:  scrolling = Yes_:
                   1212:                BEGIN
                   1213:                END;
                   1214:  scrolling = No_:
                   1215:                BEGIN
                   1216:                END;
1.44      cvs      1217:  scrolling = auto_:
1.5       cvs      1218:                BEGIN
                   1219:                END;
1.1       cvs      1220: 
                   1221:  Invalid_attribute:
1.5       cvs      1222:                BEGIN
                   1223:                END;
                   1224: 
1.54      cvs      1225:  Unknown_attribute:
                   1226:                BEGIN
                   1227:                END;
                   1228: 
1.49      cvs      1229:  xml_space = xml_space_default:
                   1230:                BEGIN
                   1231:                END;
                   1232: 
                   1233:  xml_space = xml_space_preserve:
                   1234:                BEGIN
                   1235:                END;
                   1236: 
1.64      cvs      1237:  is_css:
                   1238:                BEGIN
                   1239:                END;
                   1240: 
1.5       cvs      1241: TextTRANSLATE
                   1242:        BEGIN
                   1243:        '\240' -> ' '; { &nbsp; }
                   1244:        '\212' -> '\12'; { &CTLrc; }    
                   1245:        END;
1.1       cvs      1246: 
                   1247: GraphTRANSLATE
                   1248:        BEGIN
                   1249:        'c' -> 'circle';
                   1250:        'Q' -> 'circle';
                   1251:        'R' -> 'rect';
                   1252:        'C' -> 'rect';
                   1253:        ' ' -> 'rect';
                   1254:        'P' -> 'rect';
                   1255:        'p' -> 'polygon';
                   1256:        'B' -> 'polygon';
                   1257:        END;
                   1258: 
                   1259: END
1.3       cvs      1260: 

Webmaster