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