![[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.19 cvs 217: Create '\12' After;
218: if not within List_Item
219: Create '\12' After;
1.16 cvs 220: END;
1.1 cvs 221:
222: TEXT_UNIT: BEGIN
223: IF Within Text_Area
224: Remove;
225: IF Within Text_Input
226: Remove;
1.16 cvs 227: IF Within HEAD and not Within TITLE
228: Remove;
229: IF Within STYLE
230: Remove;
1.1 cvs 231: END;
232:
233: Definition_List: BEGIN
234: END;
235:
236: Term: BEGIN
1.13 cvs 237: Create '\12' After;
1.1 cvs 238: END;
239:
240: Definition: BEGIN
241: Indent +5;
242: Indent -5 After;
243: END;
244:
245: Unnumbered_List: BEGIN
1.7 cvs 246: Indent +3;
1.5 cvs 247: Indent -3 After;
1.1 cvs 248: END;
249:
250: Numbered_List: BEGIN
1.7 cvs 251: Indent +3;
1.5 cvs 252: Indent -3 After;
1.1 cvs 253: END;
254:
255: Address: BEGIN
1.5 cvs 256: Create Attributes;
1.15 cvs 257: Create '\12\12' After;
1.1 cvs 258: END;
259:
260: Menu: BEGIN
1.7 cvs 261: Indent +3;
262: Indent -3 After;
1.1 cvs 263: END;
264:
265: Directory: BEGIN
1.7 cvs 266: Indent +3;
267: Indent -3 After;
1.1 cvs 268: END;
269:
270: List_Item: BEGIN
271: Create Attributes;
272: Indent +3;
1.7 cvs 273: Indent -3 after;
1.1 cvs 274: END;
275:
276: Preformatted: BEGIN
277: NoLineBreak;
1.5 cvs 278: Create Attributes;
1.15 cvs 279: Create '\12\12' After;
1.1 cvs 280: END;
281:
282: Horizontal_Rule: BEGIN
1.10 cvs 283: Create (DashLine) After;
1.15 cvs 284: Create '\12\12' After;
1.5 cvs 285: Remove;
1.1 cvs 286: END;
287:
288: Form: BEGIN
289: END;
290:
291: Option_Menu: BEGIN
292: END;
293:
294: Option: BEGIN
1.15 cvs 295: If Selected = Yes_
296: Create Content;
1.6 cvs 297: Remove;
1.1 cvs 298: END;
299:
300: Toggle_Menu: BEGIN
301: END;
302:
303: Toggle_Item: BEGIN
1.16 cvs 304: If NOT Selected
305: Remove;
1.15 cvs 306: Create Content;
307: Remove;
1.1 cvs 308: END;
309:
310: Radio_Menu: BEGIN
311: END;
312:
313: Radio_Item: BEGIN
1.15 cvs 314: If NOT Selected
1.16 cvs 315: Remove;
316: Create Content;
317: Remove;
1.1 cvs 318: END;
319:
320: Text_Input_Line: BEGIN
1.16 cvs 321: If Empty
1.10 cvs 322: Remove;
1.1 cvs 323: END;
324:
325: Command_Line: BEGIN
326: END;
327:
328: Text_Area: BEGIN
1.10 cvs 329: Create Content;
1.6 cvs 330: Remove;
1.1 cvs 331: END;
332:
333: Checkbox_Input: BEGIN
1.10 cvs 334: If Checked = Yes_
335: Create '[x] ';
336: If Checked = No_
1.16 cvs 337: Create '[ ] ';
1.1 cvs 338: END;
339:
340: Radio_Input: BEGIN
1.15 cvs 341: If Checked = Yes_
342: Create '(x)';
343: If Checked = No_
1.16 cvs 344: Create '( )';
1.1 cvs 345: Remove;
346: END;
347:
348: Text_Input: BEGIN
1.10 cvs 349: Create Content;
1.1 cvs 350: Remove;
351: END;
352:
353: Hidden_Input: BEGIN
354: Remove;
355: END;
356:
357: Password_Input: BEGIN
358: Remove;
359: END;
360:
361: File_Input: BEGIN
1.10 cvs 362: Create Content;
1.1 cvs 363: Remove;
364: END;
365:
366: Reset_Input: BEGIN
1.15 cvs 367: Create '<<';
1.10 cvs 368: Create Value_;
1.15 cvs 369: Create '>>';
1.10 cvs 370: If Last
371: Create '\12';
1.1 cvs 372: Remove;
373: END;
374:
375: Submit_Input: BEGIN
1.15 cvs 376: Create '<<';
1.10 cvs 377: Create Value_;
1.15 cvs 378: Create '>>';
1.10 cvs 379: If Last
380: Create '\12';
1.5 cvs 381: Remove;
1.10 cvs 382:
1.1 cvs 383: END;
384:
385: Block_Quote: BEGIN
1.3 cvs 386: Indent +5;
387: Indent -5 After;
1.1 cvs 388: END;
389:
390: PICTURE_UNIT: BEGIN
391: #ifdef COUGAR
1.10 cvs 392: If Immediately within Object
1.1 cvs 393: Remove;
1.10 cvs 394: If NOT Immediately within Object BEGIN
1.5 cvs 395: Create Attributes;
396: END;
1.1 cvs 397: #else
398: Create Attributes;
399: #endif
1.10 cvs 400: If NOT ALT
1.8 cvs 401: Create '[Image]';
1.1 cvs 402: END;
403:
1.8 cvs 404:
1.1 cvs 405: Anchor: BEGIN
1.10 cvs 406: If HREF_ AND NOT InternalLink
1.8 cvs 407: BEGIN
1.12 cvs 408: Add AnchorCounter 1;
1.8 cvs 409: Create In TmpFile OUT_AnchorCounter;
1.15 cvs 410: Create In TmpFile ' ';
1.8 cvs 411: Create Attributes;
412: Create IN TmpFile '\12' After;
1.5 cvs 413: #ifdef ANCHOR_PREFIX
1.8 cvs 414: Create OUT_AnchorCounter;
1.10 cvs 415: Create Content;
416: Remove;
1.5 cvs 417: #else
1.8 cvs 418: Create OUT_AnchorCounter After;
1.5 cvs 419: #endif
1.16 cvs 420: END;
1.1 cvs 421: END;
422:
423: MAP:
424: BEGIN
1.3 cvs 425: Remove;
1.1 cvs 426: END;
427:
428: AREA:
429: BEGIN
430: Remove;
431: END;
432:
433: { ---- Tables ---- }
434:
435: Table:
436: BEGIN
1.5 cvs 437: Indent +3;
1.1 cvs 438: Create Attributes;
1.5 cvs 439: Indent -3 After;
1.1 cvs 440: END;
441:
442: CAPTION:
443: BEGIN
1.5 cvs 444: Indent -3;
445: Indent +3 After;
1.1 cvs 446: END;
447:
448: Table_head:
449: Remove;
450:
451: #ifdef COUGAR
452: thead:
453: BEGIN
454: END;
455:
456: tfoot:
457: BEGIN
458: END;
459: tbody:
460: BEGIN
461: END;
462: #endif
463:
464: Table_body:
1.16 cvs 465: BEGIN
466: END;
1.1 cvs 467:
468: Table_row:
1.10 cvs 469: If Empty
470: Remove;
1.1 cvs 471:
472: Data_cell:
1.10 cvs 473: If Empty
474: Remove;
1.1 cvs 475:
476: Heading_cell:
1.10 cvs 477: If Empty
478: Remove;
1.13 cvs 479:
480: Table_cell_ghost:
481: Remove;
1.1 cvs 482:
483: Table_foot:
1.16 cvs 484: Remove;
1.1 cvs 485:
1.10 cvs 486: Division:
487: If Empty
488: Remove;
1.1 cvs 489:
1.10 cvs 490: Center:
491: If Empty
492: Remove;
1.1 cvs 493:
494: Invalid_element:
1.10 cvs 495: If Error_type = BadPosition
1.5 cvs 496: Remove;
1.1 cvs 497:
498: Comment\240: BEGIN
1.4 cvs 499: Remove;
1.1 cvs 500: END;
501:
502: Comment_line: BEGIN
1.4 cvs 503: Remove;
1.1 cvs 504: END;
505:
506: ATTRIBUTES
507:
508: http_equiv: BEGIN
1.7 cvs 509: Remove;
1.1 cvs 510: END;
511:
512: meta_name: BEGIN
1.7 cvs 513: Remove;
1.1 cvs 514: END;
515:
516: meta_content: BEGIN
1.7 cvs 517: Remove;
1.1 cvs 518: END;
519:
520: REL: BEGIN
1.7 cvs 521: Remove;
1.1 cvs 522: END;
523:
524: REV: BEGIN
1.7 cvs 525: Remove;
1.1 cvs 526: END;
527:
528: HREF_ :
529: BEGIN
1.8 cvs 530: If NOT Within LINK AND NOT InternalLink
1.16 cvs 531: Create IN TmpFile HREF_;
1.1 cvs 532: END;
533:
534: background_ :
535: BEGIN
536: END;
537:
538: BackgroundColor :
539: BEGIN
540: END;
541:
542: TextColor :
543: BEGIN
544: END;
545:
546: LinkColor :
547: BEGIN
548: END;
549:
550: VisitedLinkColor :
551: BEGIN
552: END;
553:
554: ActiveLinkColor :
555: BEGIN
556: END;
557:
558: BaseFontSize:
559: BEGIN
560: END;
561:
562: Font_size :
1.5 cvs 563: BEGIN
1.1 cvs 564: END;
565:
566: color :
567: BEGIN
568: END;
569:
570: Clear = Left_:
571: BEGIN
572: END;
573:
1.7 cvs 574: Clear = Right_:
1.1 cvs 575: BEGIN
576: END;
577: Clear = All_:
578: BEGIN
579: END;
580: Clear = None:
581: BEGIN
582: END;
583:
584: Align = left_:
585: BEGIN
586: END;
587: Align = center_:
588: BEGIN
589: END;
590: Align = right_:
591: BEGIN
592: END;
593:
594: NoShade:
1.5 cvs 595: BEGIN
1.1 cvs 596: END;
597:
598: Size_: BEGIN
599: END;
600:
601: Width__: BEGIN
602: END;
603:
604: codebase: BEGIN
605: END;
606:
607: code: BEGIN
608: END;
609:
610: applet_name: BEGIN
611: END;
612:
613: Param_name: BEGIN
614: END;
615:
616: Param_value: BEGIN
617: END;
618: #ifdef COUGAR
619: classid: BEGIN
620: END;
621:
622: data: BEGIN
623: END;
624:
625: Object_type: BEGIN
626: END;
627:
628: codetype: BEGIN
629: END;
630: #endif
631: Title : BEGIN
632: NoTranslation;
633: END;
634:
635: Class: BEGIN
1.15 cvs 636: If Empty
637: Remove;
1.1 cvs 638: END;
639:
640: Style\240: BEGIN
641: END;
642:
643: COMPACT: BEGIN
644: END;
645:
646: IntItemStyle = disc:
647: Create '* ';
648: IntItemStyle = square :
649: Create '+ ';
650: IntItemStyle = circle :
651: Create 'o ';
652: IntItemStyle = Arabic_ :
653: Create (Value(ItemCounter, Arabic) '. ');
654: IntItemStyle = LowerAlpha :
655: Create (Value(ItemCounter, Lowercase) '. ');
656: IntItemStyle = UpperAlpha :
657: Create (Value(ItemCounter, Uppercase) '. ');
658: IntItemStyle = LowerRoman :
659: Create (Value(ItemCounter, LRoman) '. ');
660: IntItemStyle = UpperRoman :
661: Create (Value(ItemCounter, URoman) '. ');
662:
663: Start: BEGIN
664: END;
665:
666: ItemValue: BEGIN
667: END;
668:
669: WidthElement: BEGIN
670: END;
671:
672: Script_URL: BEGIN
673: END;
674:
675: METHOD=Post_:
1.5 cvs 676: BEGIN
677: END;
1.1 cvs 678:
679: METHOD=Get_:
1.5 cvs 680: BEGIN
681: END;
1.1 cvs 682:
683: ENCTYPE: BEGIN
684: END;
685:
686: NAME: BEGIN
687: END;
688:
689: Multiple:
1.5 cvs 690: BEGIN
691: END;
1.1 cvs 692:
693: MenuSize: BEGIN
694: END;
695:
1.10 cvs 696: Selected: BEGIN
697: END;
1.1 cvs 698:
699: Value_: BEGIN
700: END;
701:
702: Rows: BEGIN
703: END;
704:
705: Columns: BEGIN
706: END;
707:
1.10 cvs 708: Checked = Yes_: BEGIN
709: END;
1.1 cvs 710:
711: Area_Size: BEGIN
712: END;
713:
714: MaxLength: BEGIN
715: END;
716:
717: SRC: BEGIN
1.3 cvs 718: Remove;
1.1 cvs 719: END;
720:
721: ALT: BEGIN
722: Create ALT;
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: cellspacing: BEGIN
784: END;
785:
1.5 cvs 786: cellpadding:
787: BEGIN
1.1 cvs 788: END;
789:
790: Position = Position_top:
1.5 cvs 791: BEGIN
792: END;
1.1 cvs 793: Position = Position_bottom:
1.5 cvs 794: BEGIN
795: END;
1.1 cvs 796:
797: Row_align = Row_left:
1.5 cvs 798: BEGIN
799: END;
1.1 cvs 800: Row_align = Row_center:
1.5 cvs 801: BEGIN
802: END;
1.1 cvs 803: Row_align = Row_right:
1.5 cvs 804: BEGIN
805: END;
1.1 cvs 806: Row_valign = Row_top:
1.5 cvs 807: BEGIN
808: END;
1.1 cvs 809: Row_valign = Row_middle:
1.5 cvs 810: BEGIN
811: END;
1.1 cvs 812: Row_valign = Row_bottom:
1.5 cvs 813: BEGIN
814: END;
1.1 cvs 815:
816: colspan: BEGIN
817: END;
818:
819: rowspan: BEGIN
820: END;
821:
822: Cell_align = Cell_left:
1.5 cvs 823: BEGIN
824: END;
1.1 cvs 825: Cell_align = Cell_center:
1.5 cvs 826: BEGIN
827: END;
1.1 cvs 828: Cell_align = Cell_right:
1.5 cvs 829: BEGIN
830: END;
1.1 cvs 831:
832: Cell_valign = Cell_top:
1.5 cvs 833: BEGIN
834: END;
1.1 cvs 835: Cell_valign = Cell_middle:
1.5 cvs 836: BEGIN
837: END;
1.1 cvs 838: Cell_valign = Cell_bottom:
1.5 cvs 839: BEGIN
840: END;
1.1 cvs 841:
842: Cell_width: BEGIN
843: END;
844:
845: Cell_height: BEGIN
846: END;
847:
1.17 cvs 848: No_wrap = no_wrap:
1.5 cvs 849: BEGIN
850: END;
1.1 cvs 851:
852: Invalid_attribute:
1.5 cvs 853: BEGIN
854: END;
855:
856: TextTRANSLATE
857: BEGIN
858: '\240' -> ' '; { }
859: '\212' -> '\12'; { &CTLrc; }
860: END;
1.1 cvs 861:
862: GraphTRANSLATE
863: BEGIN
864: 'c' -> 'circle';
865: 'Q' -> 'circle';
866: 'R' -> 'rect';
867: 'C' -> 'rect';
868: ' ' -> 'rect';
869: 'P' -> 'rect';
870: 'p' -> 'polygon';
871: 'B' -> 'polygon';
872: END;
873:
874: END
1.3 cvs 875: