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