![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to HTMLTT.T CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Public] / Amaya / amaya|
Return to HTMLTT.T CVS log | Up to [Public] / Amaya / amaya |
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.12 cvs 12: AnchorCounter;
1.5 cvs 13:
1.3 cvs 14: CONST
1.5 cvs 15: DoubleQuote = '"';
1.10 cvs 16: DashLine = '--------------------------------------------------------------';
1.3 cvs 17: VAR
1.12 cvs 18: OUT_AnchorCounter : '[' Value(AnchorCounter) ']';
1.14 cvs 19: TmpFile : '/tmp/amaya.tmp';
1.1 cvs 20:
21: RULES
22:
23: HTML : BEGIN
1.5 cvs 24: Create '\12' After;
1.1 cvs 25: END;
26:
27: HEAD: BEGIN
1.15 cvs 28: Create In TmpFile '\12' After;
1.1 cvs 29: END;
30:
31: Document_URL:
32: BEGIN
1.15 cvs 33: NoLineBreak;
34: Create In TmpFile 'Document''s URL: ';
1.8 cvs 35: Create In TmpFile Content;
1.5 cvs 36: Create In TmpFile '\12' After;
37: Remove;
1.1 cvs 38: END;
39:
40: TITLE: BEGIN
1.15 cvs 41: Create 'Document''s Title: ';
42: Create '\12\12' After;
1.1 cvs 43: END;
44:
45: ISINDEX: BEGIN
46: Remove;
47: END;
48:
49: BASE: BEGIN
1.15 cvs 50: NoLineBreak;
1.16 cvs 51: Create IN TmpFile 'Document''s BASE: ';
52: Create Attributes;
53: Create IN TmpFile '\12' After;
1.1 cvs 54: END;
55:
56: Styles:BEGIN
1.7 cvs 57: Remove;
1.1 cvs 58: END;
59:
60: StyleRule:
61: 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.12 cvs 79: Set AnchorCounter 0;
1.8 cvs 80: Indent +4;
81: Indent -4 After;
1.10 cvs 82: { --- print the List of References ---}
1.3 cvs 83: Create '\12\12' After;
1.10 cvs 84: Create (DashLine) After;
85: Create '\12' After;
1.5 cvs 86: Create 'List of References\12\12' After;
1.11 cvs 87: Include '/tmp/amaya.tmp' After;
1.14 cvs 88: RemoveFile TmpFile After;
1.1 cvs 89: END;
90:
91: H1: BEGIN
1.8 cvs 92: Indent -4;
93: Indent +4 After;
1.15 cvs 94: Create '\12\12' After;
1.1 cvs 95: END;
96:
97: H2: BEGIN
1.8 cvs 98: Indent -2;
99: Indent +2 After;
1.15 cvs 100: Create '\12\12' After;
1.1 cvs 101: END;
102:
103: H3: BEGIN
1.15 cvs 104: Create '\12\12' After;
1.1 cvs 105: END;
106:
107: H4: BEGIN
1.8 cvs 108: Indent +2;
109: Indent -2 After;
1.15 cvs 110: Create '\12\12' After;
1.1 cvs 111: END;
112:
113: H5: BEGIN
1.8 cvs 114: Indent +4;
115: Indent -4 After;
1.15 cvs 116: Create '\12\12' After;
1.1 cvs 117: END;
118:
119: H6: BEGIN
1.8 cvs 120: Indent +6;
121: Indent -6 After;
1.15 cvs 122: Create '\12\12' After;
1.1 cvs 123: END;
124:
125: BaseFont:
126: BEGIN
127: Remove;
128: END;
129:
130: BR: BEGIN
1.13 cvs 131: If Within 1 BR
132: Remove;
133: If Last
134: Remove;
1.16 cvs 135: END;
1.5 cvs 136:
1.1 cvs 137: Italic_text:
138: BEGIN
139: END;
140: Bold_text:
141: BEGIN
142: END;
143: Teletype_text:
144: BEGIN
145: END;
146: Underlined_text:
147: BEGIN
148: END;
149: Struck_text:
150: BEGIN
151: END;
152: Big_text:
153: BEGIN
154: END;
155: Small_text:
156: BEGIN
157: END;
158: Subscript:
159: BEGIN
160: END;
161: Superscript:
162: BEGIN
163: END;
164:
165: Emphasis:
166: BEGIN
167: END;
168: Strong:
169: BEGIN
170: END;
171: Def:
172: BEGIN
173: END;
174: Code:
175: BEGIN
176: END;
177: Sample:
178: BEGIN
179: END;
180: Keyboard:
181: BEGIN
182: END;
183: Variable:
184: BEGIN
185: END;
186: Cite:
187: BEGIN
1.5 cvs 188: Create DoubleQuote;
1.16 cvs 189: Create DoubleQuote After;
1.1 cvs 190: END;
191:
192: Font_: BEGIN
193: END;
194:
195: Applet: BEGIN
1.5 cvs 196: Create Attributes;
197: Remove;
1.1 cvs 198: END;
199:
200: Parameter: BEGIN
201: Remove;
202: END;
203:
204: #ifdef COUGAR
1.5 cvs 205: Object: BEGIN
206: Create Attributes;
207: Remove;
1.1 cvs 208: END;
209: #endif
1.10 cvs 210: Paragraph:
211: BEGIN
1.15 cvs 212: Create '\12\12' After;
1.1 cvs 213: END;
214:
1.10 cvs 215: Pseudo_paragraph:
216: BEGIN
1.16 cvs 217: Create '\12\12' After;
218: END;
1.1 cvs 219:
220: TEXT_UNIT: BEGIN
221: IF Within Text_Area
222: Remove;
223: IF Within Text_Input
224: Remove;
1.16 cvs 225: IF Within HEAD and not Within TITLE
226: Remove;
227: IF Within STYLE
228: Remove;
1.1 cvs 229: END;
230:
231: Definition_List: BEGIN
232: END;
233:
234: Term: BEGIN
1.13 cvs 235: Create '\12' After;
1.1 cvs 236: END;
237:
238: Definition: BEGIN
239: Indent +5;
240: Indent -5 After;
241: END;
242:
243: Unnumbered_List: BEGIN
1.7 cvs 244: Indent +3;
1.5 cvs 245: Indent -3 After;
1.1 cvs 246: END;
247:
248: Numbered_List: BEGIN
1.7 cvs 249: Indent +3;
1.5 cvs 250: Indent -3 After;
1.1 cvs 251: END;
252:
253: Address: BEGIN
1.5 cvs 254: Create Attributes;
1.15 cvs 255: Create '\12\12' After;
1.1 cvs 256: END;
257:
258: Menu: BEGIN
1.7 cvs 259: Indent +3;
260: Indent -3 After;
1.1 cvs 261: END;
262:
263: Directory: BEGIN
1.7 cvs 264: Indent +3;
265: Indent -3 After;
1.1 cvs 266: END;
267:
268: List_Item: BEGIN
269: Create Attributes;
270: Indent +3;
1.7 cvs 271: Indent -3 after;
1.1 cvs 272: END;
273:
274: Preformatted: BEGIN
275: NoLineBreak;
1.5 cvs 276: Create Attributes;
1.15 cvs 277: Create '\12\12' After;
1.1 cvs 278: END;
279:
280: Horizontal_Rule: BEGIN
1.10 cvs 281: Create (DashLine) After;
1.15 cvs 282: Create '\12\12' After;
1.5 cvs 283: Remove;
1.1 cvs 284: END;
285:
286: Form: BEGIN
287: END;
288:
289: Option_Menu: BEGIN
290: END;
291:
292: Option: BEGIN
1.15 cvs 293: If Selected = Yes_
294: Create Content;
1.6 cvs 295: Remove;
1.1 cvs 296: END;
297:
298: Toggle_Menu: BEGIN
299: END;
300:
301: Toggle_Item: BEGIN
1.16 cvs 302: If NOT Selected
303: Remove;
1.15 cvs 304: Create Content;
305: Remove;
1.1 cvs 306: END;
307:
308: Radio_Menu: BEGIN
309: END;
310:
311: Radio_Item: BEGIN
1.15 cvs 312: If NOT Selected
1.16 cvs 313: Remove;
314: Create Content;
315: Remove;
1.1 cvs 316: END;
317:
318: Text_Input_Line: BEGIN
1.16 cvs 319: If Empty
1.10 cvs 320: Remove;
1.1 cvs 321: END;
322:
323: Command_Line: BEGIN
324: END;
325:
326: Text_Area: BEGIN
1.10 cvs 327: Create Content;
1.6 cvs 328: Remove;
1.1 cvs 329: END;
330:
331: Checkbox_Input: BEGIN
1.10 cvs 332: If Checked = Yes_
333: Create '[x] ';
334: If Checked = No_
1.16 cvs 335: Create '[ ] ';
1.1 cvs 336: END;
337:
338: Radio_Input: BEGIN
1.15 cvs 339: If Checked = Yes_
340: Create '(x)';
341: If Checked = No_
1.16 cvs 342: Create '( )';
1.1 cvs 343: Remove;
344: END;
345:
346: Text_Input: BEGIN
1.10 cvs 347: Create Content;
1.1 cvs 348: Remove;
349: END;
350:
351: Hidden_Input: BEGIN
352: Remove;
353: END;
354:
355: Password_Input: BEGIN
356: Remove;
357: END;
358:
359: File_Input: BEGIN
1.10 cvs 360: Create Content;
1.1 cvs 361: Remove;
362: END;
363:
364: Reset_Input: BEGIN
1.15 cvs 365: Create '<<';
1.10 cvs 366: Create Value_;
1.15 cvs 367: Create '>>';
1.10 cvs 368: If Last
369: Create '\12';
1.1 cvs 370: Remove;
371: END;
372:
373: Submit_Input: BEGIN
1.15 cvs 374: Create '<<';
1.10 cvs 375: Create Value_;
1.15 cvs 376: Create '>>';
1.10 cvs 377: If Last
378: Create '\12';
1.5 cvs 379: Remove;
1.10 cvs 380:
1.1 cvs 381: END;
382:
383: Block_Quote: BEGIN
1.3 cvs 384: Indent +5;
385: Indent -5 After;
1.1 cvs 386: END;
387:
388: PICTURE_UNIT: BEGIN
389: #ifdef COUGAR
1.10 cvs 390: If Immediately within Object
1.1 cvs 391: Remove;
1.10 cvs 392: If NOT Immediately within Object BEGIN
1.5 cvs 393: Create Attributes;
394: END;
1.1 cvs 395: #else
396: Create Attributes;
397: #endif
1.10 cvs 398: If NOT ALT
1.8 cvs 399: Create '[Image]';
1.1 cvs 400: END;
401:
1.8 cvs 402:
1.1 cvs 403: Anchor: BEGIN
1.10 cvs 404: If HREF_ AND NOT InternalLink
1.8 cvs 405: BEGIN
1.12 cvs 406: Add AnchorCounter 1;
1.8 cvs 407: Create In TmpFile OUT_AnchorCounter;
1.15 cvs 408: Create In TmpFile ' ';
1.8 cvs 409: Create Attributes;
410: Create IN TmpFile '\12' After;
1.5 cvs 411: #ifdef ANCHOR_PREFIX
1.8 cvs 412: Create OUT_AnchorCounter;
1.10 cvs 413: Create Content;
414: Remove;
1.5 cvs 415: #else
1.8 cvs 416: Create OUT_AnchorCounter After;
1.5 cvs 417: #endif
1.16 cvs 418: END;
1.1 cvs 419: END;
420:
421: MAP:
422: BEGIN
1.3 cvs 423: Remove;
1.1 cvs 424: END;
425:
426: AREA:
427: BEGIN
428: Remove;
429: END;
430:
431: { ---- Tables ---- }
432:
433: Table:
434: BEGIN
1.5 cvs 435: Indent +3;
1.1 cvs 436: Create Attributes;
1.5 cvs 437: Indent -3 After;
1.1 cvs 438: END;
439:
440: CAPTION:
441: BEGIN
1.5 cvs 442: Indent -3;
443: Indent +3 After;
1.1 cvs 444: END;
445:
446: Table_head:
447: Remove;
448:
449: #ifdef COUGAR
450: thead:
451: BEGIN
452: END;
453:
454: tfoot:
455: BEGIN
456: END;
457: tbody:
458: BEGIN
459: END;
460: #endif
461:
462: Table_body:
1.16 cvs 463: BEGIN
464: END;
1.1 cvs 465:
466: Table_row:
1.10 cvs 467: If Empty
468: Remove;
1.1 cvs 469:
470: Data_cell:
1.10 cvs 471: If Empty
472: Remove;
1.1 cvs 473:
474: Heading_cell:
1.10 cvs 475: If Empty
476: Remove;
1.13 cvs 477:
478: Table_cell_ghost:
479: Remove;
1.1 cvs 480:
481: Table_foot:
1.16 cvs 482: Remove;
1.1 cvs 483:
1.10 cvs 484: Division:
485: If Empty
486: Remove;
1.1 cvs 487:
1.10 cvs 488: Center:
489: If Empty
490: Remove;
1.1 cvs 491:
492: Invalid_element:
1.10 cvs 493: If Error_type = BadPosition
1.5 cvs 494: Remove;
1.1 cvs 495:
496: Comment\240: BEGIN
1.4 cvs 497: Remove;
1.1 cvs 498: END;
499:
500: Comment_line: BEGIN
1.4 cvs 501: Remove;
1.1 cvs 502: END;
503:
504: ATTRIBUTES
505:
506: http_equiv: BEGIN
1.7 cvs 507: Remove;
1.1 cvs 508: END;
509:
510: meta_name: BEGIN
1.7 cvs 511: Remove;
1.1 cvs 512: END;
513:
514: meta_content: BEGIN
1.7 cvs 515: Remove;
1.1 cvs 516: END;
517:
518: REL: BEGIN
1.7 cvs 519: Remove;
1.1 cvs 520: END;
521:
522: REV: BEGIN
1.7 cvs 523: Remove;
1.1 cvs 524: END;
525:
526: HREF_ :
527: BEGIN
1.8 cvs 528: If NOT Within LINK AND NOT InternalLink
1.16 cvs 529: Create IN TmpFile HREF_;
1.1 cvs 530: END;
531:
532: background_ :
533: BEGIN
534: END;
535:
536: BackgroundColor :
537: BEGIN
538: END;
539:
540: TextColor :
541: BEGIN
542: END;
543:
544: LinkColor :
545: BEGIN
546: END;
547:
548: VisitedLinkColor :
549: BEGIN
550: END;
551:
552: ActiveLinkColor :
553: BEGIN
554: END;
555:
556: BaseFontSize:
557: BEGIN
558: END;
559:
560: Font_size :
1.5 cvs 561: BEGIN
1.1 cvs 562: END;
563:
564: color :
565: BEGIN
566: END;
567:
568: Clear = Left_:
569: BEGIN
570: END;
571:
1.7 cvs 572: Clear = Right_:
1.1 cvs 573: BEGIN
574: END;
575: Clear = All_:
576: BEGIN
577: END;
578: Clear = None:
579: BEGIN
580: END;
581:
582: Align = left_:
583: BEGIN
584: END;
585: Align = center_:
586: BEGIN
587: END;
588: Align = right_:
589: BEGIN
590: END;
591:
592: NoShade:
1.5 cvs 593: BEGIN
1.1 cvs 594: END;
595:
596: Size_: BEGIN
597: END;
598:
599: Width__: BEGIN
600: END;
601:
602: codebase: BEGIN
603: END;
604:
605: code: BEGIN
606: END;
607:
608: applet_name: BEGIN
609: END;
610:
611: Param_name: BEGIN
612: END;
613:
614: Param_value: BEGIN
615: END;
616: #ifdef COUGAR
617: classid: BEGIN
618: END;
619:
620: data: BEGIN
621: END;
622:
623: Object_type: BEGIN
624: END;
625:
626: codetype: BEGIN
627: END;
628: #endif
629: Title : BEGIN
630: NoTranslation;
631: END;
632:
633: Class: BEGIN
1.15 cvs 634: If Empty
635: Remove;
1.1 cvs 636: END;
637:
638: Style\240: BEGIN
639: END;
640:
641: COMPACT: BEGIN
642: END;
643:
644: IntItemStyle = disc:
645: Create '* ';
646: IntItemStyle = square :
647: Create '+ ';
648: IntItemStyle = circle :
649: Create 'o ';
650: IntItemStyle = Arabic_ :
651: Create (Value(ItemCounter, Arabic) '. ');
652: IntItemStyle = LowerAlpha :
653: Create (Value(ItemCounter, Lowercase) '. ');
654: IntItemStyle = UpperAlpha :
655: Create (Value(ItemCounter, Uppercase) '. ');
656: IntItemStyle = LowerRoman :
657: Create (Value(ItemCounter, LRoman) '. ');
658: IntItemStyle = UpperRoman :
659: Create (Value(ItemCounter, URoman) '. ');
660:
661: Start: BEGIN
662: END;
663:
664: ItemValue: BEGIN
665: END;
666:
667: WidthElement: BEGIN
668: END;
669:
670: Script_URL: BEGIN
671: END;
672:
673: METHOD=Post_:
1.5 cvs 674: BEGIN
675: END;
1.1 cvs 676:
677: METHOD=Get_:
1.5 cvs 678: BEGIN
679: END;
1.1 cvs 680:
681: ENCTYPE: BEGIN
682: END;
683:
684: NAME: BEGIN
685: END;
686:
687: Multiple:
1.5 cvs 688: BEGIN
689: END;
1.1 cvs 690:
691: MenuSize: BEGIN
692: END;
693:
1.10 cvs 694: Selected: BEGIN
695: END;
1.1 cvs 696:
697: Value_: BEGIN
698: END;
699:
700: Rows: BEGIN
701: END;
702:
703: Columns: BEGIN
704: END;
705:
1.10 cvs 706: Checked = Yes_: BEGIN
707: END;
1.1 cvs 708:
709: Area_Size: BEGIN
710: END;
711:
712: MaxLength: BEGIN
713: END;
714:
715: SRC: BEGIN
1.3 cvs 716: Remove;
1.1 cvs 717: END;
718:
719: ALT: BEGIN
1.3 cvs 720: Create '[';
1.1 cvs 721: Create ALT;
1.3 cvs 722: Create ']' After;
1.1 cvs 723: END;
724:
725: Alignment = Top_:
1.5 cvs 726: BEGIN
727: END;
1.1 cvs 728: Alignment = Middle_:
1.5 cvs 729: BEGIN
730: END;
1.1 cvs 731: Alignment = Bottom_:
1.5 cvs 732: BEGIN
733: END;
1.1 cvs 734: Alignment = Left_:
1.5 cvs 735: BEGIN
736: END;
1.1 cvs 737: Alignment = Right_:
1.5 cvs 738: BEGIN
739: END;
1.1 cvs 740:
741: Height_: BEGIN
742: END;
743:
744: Width_: BEGIN
745: END;
746:
747: Img_border: BEGIN
748: END;
749:
750: hspace: BEGIN
751: END;
752:
753: vspace: BEGIN
754: END;
755:
756: ISMAP:
1.5 cvs 757: BEGIN
758: END;
1.1 cvs 759:
760: USEMAP: BEGIN
761: END;
762:
763: nohref:
1.5 cvs 764: BEGIN
765: END;
1.1 cvs 766:
767: shape = rectangle:
1.5 cvs 768: BEGIN
769: END;
1.1 cvs 770: shape = circle:
1.5 cvs 771: BEGIN
772: END;
1.1 cvs 773: shape = polygon:
1.5 cvs 774: BEGIN
775: END;
1.1 cvs 776:
777: coords: BEGIN
778: END;
779:
780: Border: BEGIN
781: END;
782:
783: Table_align = Align_left:
1.5 cvs 784: BEGIN
785: END;
1.1 cvs 786: Table_align = Center_:
1.5 cvs 787: BEGIN
788: END;
1.1 cvs 789: Table_align = Align_right:
1.5 cvs 790: BEGIN
791: END;
1.1 cvs 792: cellspacing: BEGIN
793: END;
794:
1.5 cvs 795: cellpadding:
796: BEGIN
1.1 cvs 797: END;
798:
799: Position = Position_top:
1.5 cvs 800: BEGIN
801: END;
1.1 cvs 802: Position = Position_bottom:
1.5 cvs 803: BEGIN
804: END;
1.1 cvs 805:
806: Row_align = Row_left:
1.5 cvs 807: BEGIN
808: END;
1.1 cvs 809: Row_align = Row_center:
1.5 cvs 810: BEGIN
811: END;
1.1 cvs 812: Row_align = Row_right:
1.5 cvs 813: BEGIN
814: END;
1.1 cvs 815: Row_valign = Row_top:
1.5 cvs 816: BEGIN
817: END;
1.1 cvs 818: Row_valign = Row_middle:
1.5 cvs 819: BEGIN
820: END;
1.1 cvs 821: Row_valign = Row_bottom:
1.5 cvs 822: BEGIN
823: END;
1.1 cvs 824:
825: colspan: BEGIN
826: END;
827:
828: rowspan: BEGIN
829: END;
830:
831: Cell_align = Cell_left:
1.5 cvs 832: BEGIN
833: END;
1.1 cvs 834: Cell_align = Cell_center:
1.5 cvs 835: BEGIN
836: END;
1.1 cvs 837: Cell_align = Cell_right:
1.5 cvs 838: BEGIN
839: END;
1.1 cvs 840:
841: Cell_valign = Cell_top:
1.5 cvs 842: BEGIN
843: END;
1.1 cvs 844: Cell_valign = Cell_middle:
1.5 cvs 845: BEGIN
846: END;
1.1 cvs 847: Cell_valign = Cell_bottom:
1.5 cvs 848: BEGIN
849: END;
1.1 cvs 850:
851: Cell_width: BEGIN
852: END;
853:
854: Cell_height: BEGIN
855: END;
856:
1.17 ! cvs 857: No_wrap = no_wrap:
1.5 cvs 858: BEGIN
859: END;
1.1 cvs 860:
861: Invalid_attribute:
1.5 cvs 862: BEGIN
863: END;
864:
865: TextTRANSLATE
866: BEGIN
867: '\240' -> ' '; { }
868: '\212' -> '\12'; { &CTLrc; }
869: END;
1.1 cvs 870:
871: GraphTRANSLATE
872: BEGIN
873: 'c' -> 'circle';
874: 'Q' -> 'circle';
875: 'R' -> 'rect';
876: 'C' -> 'rect';
877: ' ' -> 'rect';
878: 'P' -> 'rect';
879: 'p' -> 'polygon';
880: 'B' -> 'polygon';
881: END;
882:
883: END
1.3 cvs 884: