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

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

Webmaster