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

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

Webmaster