| 2 |
7u83 |
1 |
<!-- Crown Copyright (c) 1998 -->
|
|
|
2 |
<HTML>
|
|
|
3 |
<HEAD>
|
|
|
4 |
<TITLE>Index for TDF Specification, Issue 4.0</TITLE>
|
|
|
5 |
</HEAD>
|
|
|
6 |
<BODY TEXT="#000000" BGCOLOR="#FFFFFF" LINK="#0000FF" VLINK="#400080" ALINK="#FF0000">
|
|
|
7 |
<H1><A NAME=S430>TDF Specification, Issue 4.0</A></H1>
|
|
|
8 |
<H3>January 1998</H3>
|
|
|
9 |
<IMG SRC="../images/no_next.gif" ALT="next section">
|
|
|
10 |
<A HREF="spec11.html"><IMG SRC="../images/prev.gif" ALT="previous section"></A>
|
|
|
11 |
<A HREF="spec1.html"><IMG SRC="../images/top.gif" ALT="current document"></A>
|
|
|
12 |
<A HREF="../index.html"><IMG SRC="../images/home.gif" ALT="TenDRA home page">
|
|
|
13 |
</A>
|
|
|
14 |
<IMG SRC="../images/no_index.gif" ALT="document index"><P>
|
|
|
15 |
<HR>
|
|
|
16 |
<H1>Index</H1>
|
|
|
17 |
<PRE>
|
|
|
18 |
<A HREF="#A">[A]</A> <A HREF="#B">[B]</A> <A HREF="#C">[C]</A> <A HREF="#D">[D] </A> <A HREF="#E">[E]</A> <A HREF="#F">[F]</A> <A HREF="#G">[G]</A> [H] <A HREF="#I">[I]</A> [J] [K] <A HREF="#L">[L]</A> <A HREF="#M">[M]</A>
|
|
|
19 |
<A HREF="#N">[N]</A> <A HREF="#O">[O]</A> <A HREF="#P">[P]</A> [Q] <A HREF="#R">[R] </A> <A HREF="#S">[S]</A> <A HREF="#T">[T]</A> <A HREF="#U">[U]</A> <A HREF="#V">[V]</A> <A HREF="#W">[W]</A> <A HREF="#X">[X]</A> [Y] [Z]
|
|
|
20 |
</PRE>
|
|
|
21 |
|
|
|
22 |
<HR>
|
|
|
23 |
<H2><A NAME="A">A</A></H2>
|
|
|
24 |
<PRE>
|
|
|
25 |
<A HREF="spec8.html#M76">abs</A>
|
|
|
26 |
access <A HREF="spec7.html#M2">[1]</A> <A HREF="spec8.html#M296">[2]</A>
|
|
|
27 |
<A HREF="spec8.html#M3">access_apply_token</A>
|
|
|
28 |
<A HREF="spec8.html#M4">access_cond</A>
|
|
|
29 |
<A HREF="spec8.html#M5">add_accesses</A>
|
|
|
30 |
<A HREF="spec8.html#M368">add_modes</A>
|
|
|
31 |
<A HREF="spec8.html#M258">add_procprops</A>
|
|
|
32 |
<A HREF="spec8.html#M77">add_to_ptr</A>
|
|
|
33 |
<A HREF="spec8.html#M26">alignment</A>
|
|
|
34 |
<A HREF="spec10.html#M36">alloca</A>
|
|
|
35 |
<A HREF="spec10.html#M24">alloca_alignment</A>
|
|
|
36 |
<A HREF="spec10.html#M37">code</A>
|
|
|
37 |
<A HREF="spec10.html#M35">frame</A>
|
|
|
38 |
<A HREF="spec10.html#M38">var_param</A>
|
|
|
39 |
<A HREF="spec8.html#M24">alignment_apply_token</A>
|
|
|
40 |
<A HREF="spec8.html#M25">alignment_cond</A>
|
|
|
41 |
<A HREF="spec8.html#M298">alignment_sort</A>
|
|
|
42 |
<A HREF="spec10.html#M23">alloca</A>
|
|
|
43 |
<A HREF="spec10.html#M25">alloca_alignment</A>
|
|
|
44 |
<A HREF="spec8.html#M27">alloca_alignment</A>
|
|
|
45 |
<A HREF="spec8.html#M297">al_tag</A>
|
|
|
46 |
<A HREF="spec8.html#M19">al_tagdef</A>
|
|
|
47 |
<A HREF="spec8.html#M21">al_tagdef_props</A>
|
|
|
48 |
<A HREF="spec8.html#M17">al_tag_apply_token</A>
|
|
|
49 |
<A HREF="spec8.html#M78">and</A>
|
|
|
50 |
<A HREF="spec8.html#M81">apply_general_proc</A>
|
|
|
51 |
<A HREF="spec8.html#M80">apply_proc</A>
|
|
|
52 |
argument
|
|
|
53 |
<A HREF="spec6.html#M1">notation</A>
|
|
|
54 |
<A HREF="spec8.html#M82">assign</A>
|
|
|
55 |
assignment
|
|
|
56 |
<A HREF="spec10.html#M40">atomic</A>
|
|
|
57 |
<A HREF="spec8.html#M83">assign_with_mode</A>
|
|
|
58 |
atomic
|
|
|
59 |
<A HREF="spec10.html#M39">assignment</A>
|
|
|
60 |
</PRE>
|
|
|
61 |
<HR>
|
|
|
62 |
<H2><A NAME="B">B</A></H2>
|
|
|
63 |
<PRE>
|
|
|
64 |
<A HREF="spec8.html#M37">bfvar_apply_token</A>
|
|
|
65 |
<A HREF="spec8.html#M39">bfvar_bits</A>
|
|
|
66 |
<A HREF="spec8.html#M38">bfvar_cond</A>
|
|
|
67 |
<A HREF="spec8.html#M278">bitfield</A>
|
|
|
68 |
<A HREF="spec10.html#M67">bitfields</A>
|
|
|
69 |
<A HREF="spec8.html#M84">bitfield_assign</A>
|
|
|
70 |
<A HREF="spec8.html#M85">bitfield_assign_with_mode</A>
|
|
|
71 |
<A HREF="spec8.html#M86">bitfield_contents</A>
|
|
|
72 |
<A HREF="spec8.html#M87">bitfield_contents_with_mode</A>
|
|
|
73 |
<A HREF="spec8.html#M299">bitfield_variety</A>
|
|
|
74 |
<A HREF="spec11.html#M9">BITSTREAM</A>
|
|
|
75 |
<A HREF="spec8.html#M40">bitstream</A>
|
|
|
76 |
<A HREF="spec8.html#M300">bool</A>
|
|
|
77 |
<A HREF="spec8.html#M42">bool_apply_token</A>
|
|
|
78 |
<A HREF="spec8.html#M43">bool_cond</A>
|
|
|
79 |
<A HREF="spec8.html#M279">bottom</A>
|
|
|
80 |
<A HREF="spec11.html#M11">byte align</A>
|
|
|
81 |
<A HREF="spec11.html#M12">byte boundaries</A>
|
|
|
82 |
<A HREF="spec11.html#M10">BYTESTREAM</A>
|
|
|
83 |
<A HREF="spec8.html#M46">bytestream</A>
|
|
|
84 |
</PRE>
|
|
|
85 |
<HR>
|
|
|
86 |
<H2><A NAME="C">C</A></H2>
|
|
|
87 |
<PRE>
|
|
|
88 |
<A HREF="spec8.html#M47">callees</A>
|
|
|
89 |
<A HREF="spec8.html#M28">callees_alignment</A>
|
|
|
90 |
<A HREF="spec8.html#M29">callers_alignment</A>
|
|
|
91 |
<A HREF="spec8.html#M51">capsule</A>
|
|
|
92 |
<A HREF="spec5.html#M3">introduction</A>
|
|
|
93 |
<A HREF="spec8.html#M54">capsule_link</A>
|
|
|
94 |
<A HREF="spec8.html#M89">case</A>
|
|
|
95 |
<A HREF="spec8.html#M56">caselim</A>
|
|
|
96 |
<A HREF="spec8.html#M208">chain_extern</A>
|
|
|
97 |
<A HREF="spec8.html#M90">change_bitfield_to_int</A>
|
|
|
98 |
<A HREF="spec8.html#M91">change_floating_variety</A>
|
|
|
99 |
<A HREF="spec8.html#M93">change_int_to_bitfield</A>
|
|
|
100 |
<A HREF="spec8.html#M92">change_variety</A>
|
|
|
101 |
<A HREF="spec8.html#M259">check_stack</A>
|
|
|
102 |
code
|
|
|
103 |
<A HREF="spec10.html#M6">for characters</A>
|
|
|
104 |
<A HREF="spec8.html#M30">code_alignment</A>
|
|
|
105 |
<A HREF="spec8.html#M331">common_tagdec</A>
|
|
|
106 |
<A HREF="spec8.html#M338">common_tagdef</A>
|
|
|
107 |
<A HREF="spec8.html#M250">comparable</A>
|
|
|
108 |
<A HREF="spec8.html#M373">complete</A>
|
|
|
109 |
<A HREF="spec8.html#M94">complex_conjugate</A>
|
|
|
110 |
<A HREF="spec8.html#M217">complex_of_float</A>
|
|
|
111 |
<A HREF="spec8.html#M215">complex_parms</A>
|
|
|
112 |
<A HREF="spec8.html#M95">component</A>
|
|
|
113 |
<A HREF="spec8.html#M280">compound</A>
|
|
|
114 |
<A HREF="spec8.html#M232">computed_nat</A>
|
|
|
115 |
<A HREF="spec8.html#M292">computed_signed_nat</A>
|
|
|
116 |
<A HREF="spec8.html#M96">concat_nof</A>
|
|
|
117 |
<A HREF="spec8.html#M320">concat_string</A>
|
|
|
118 |
<A HREF="spec8.html#M97">conditional</A>
|
|
|
119 |
<A HREF="spec8.html#M6">constant</A>
|
|
|
120 |
<A HREF="spec10.html#M8">evaluation</A>
|
|
|
121 |
<A HREF="spec8.html#M98">contents</A>
|
|
|
122 |
<A HREF="spec8.html#M99">contents_with_mode</A>
|
|
|
123 |
<A HREF="spec8.html#M66">continue</A>
|
|
|
124 |
<A HREF="spec8.html#M101">current_env</A>
|
|
|
125 |
</PRE>
|
|
|
126 |
<HR>
|
|
|
127 |
<H2><A NAME="D">D</A></H2>
|
|
|
128 |
<PRE>
|
|
|
129 |
<A HREF="spec8.html#M102">div0</A>
|
|
|
130 |
<A HREF="spec8.html#M103">div1</A>
|
|
|
131 |
<A HREF="spec8.html#M104">div2</A>
|
|
|
132 |
division
|
|
|
133 |
<A HREF="spec10.html#M11">definition of kinds</A>
|
|
|
134 |
</PRE>
|
|
|
135 |
<HR>
|
|
|
136 |
<H2><A NAME="E">E</A></H2>
|
|
|
137 |
<PRE>
|
|
|
138 |
encoding
|
|
|
139 |
<A HREF="spec11.html#M2">basic</A>
|
|
|
140 |
<A HREF="spec6.html#M13">boundary</A>
|
|
|
141 |
<A HREF="spec6.html#M11">extendable</A>
|
|
|
142 |
<A HREF="spec11.html#M14">extendable integer</A>
|
|
|
143 |
<A HREF="spec6.html#M12">number</A>
|
|
|
144 |
<A HREF="spec6.html#M9">number of bits</A>
|
|
|
145 |
<A HREF="spec11.html#M21">of lists</A>
|
|
|
146 |
<A HREF="spec11.html#M24">of option</A>
|
|
|
147 |
<A HREF="spec11.html#M18">of sorts</A>
|
|
|
148 |
<A HREF="spec8.html#M105">env_offset</A>
|
|
|
149 |
<A HREF="spec8.html#M106">env_size</A>
|
|
|
150 |
<A HREF="spec8.html#M238">equal</A>
|
|
|
151 |
equality
|
|
|
152 |
<A HREF="spec10.html#M16">of ALIGNMENT</A>
|
|
|
153 |
<A HREF="spec10.html#M13">of EXP</A>
|
|
|
154 |
<A HREF="spec10.html#M14">of SHAPE</A>
|
|
|
155 |
errors
|
|
|
156 |
<A HREF="spec10.html#M62">in floating point</A>
|
|
|
157 |
<A HREF="spec8.html#M59">error_code</A>
|
|
|
158 |
<A HREF="spec8.html#M68">error_jump</A>
|
|
|
159 |
<A HREF="spec8.html#M301">error_treatment</A>
|
|
|
160 |
<A HREF="spec8.html#M233">error_val</A>
|
|
|
161 |
<A HREF="spec8.html#M64">errt_apply_token</A>
|
|
|
162 |
<A HREF="spec8.html#M65">errt_cond</A>
|
|
|
163 |
evaluation
|
|
|
164 |
<A HREF="spec10.html#M9">of constants</A>
|
|
|
165 |
<A HREF="spec10.html#M42">order of</A>
|
|
|
166 |
<A HREF="spec8.html#M302">exp</A>
|
|
|
167 |
<A HREF="spec8.html#M73">exp_apply_token</A>
|
|
|
168 |
<A HREF="spec8.html#M75">exp_cond</A>
|
|
|
169 |
extendable integer
|
|
|
170 |
<A HREF="spec11.html#M15">encoding</A>
|
|
|
171 |
<A HREF="spec6.html#M10">extendable</A>
|
|
|
172 |
<A HREF="spec8.html#M205">external</A>
|
|
|
173 |
<A HREF="spec8.html#M209">extern_link</A>
|
|
|
174 |
</PRE>
|
|
|
175 |
<HR>
|
|
|
176 |
<H2><A NAME="F">F</A></H2>
|
|
|
177 |
<PRE>
|
|
|
178 |
<A HREF="spec8.html#M107">fail_installer</A>
|
|
|
179 |
<A HREF="spec8.html#M44">false</A>
|
|
|
180 |
<A HREF="spec8.html#M282">floating</A>
|
|
|
181 |
floating point
|
|
|
182 |
<A HREF="spec10.html#M61">errors</A>
|
|
|
183 |
<A HREF="spec10.html#M58">representation</A>
|
|
|
184 |
<A HREF="spec8.html#M109">floating_abs</A>
|
|
|
185 |
<A HREF="spec8.html#M110">floating_div</A>
|
|
|
186 |
<A HREF="spec8.html#M112">floating_maximum</A>
|
|
|
187 |
<A HREF="spec8.html#M113">floating_minimum</A>
|
|
|
188 |
<A HREF="spec8.html#M111">floating_minus</A>
|
|
|
189 |
<A HREF="spec8.html#M114">floating_mult</A>
|
|
|
190 |
<A HREF="spec8.html#M116">floating_negate</A>
|
|
|
191 |
<A HREF="spec8.html#M117">floating_plus</A>
|
|
|
192 |
<A HREF="spec8.html#M118">floating_power</A>
|
|
|
193 |
<A HREF="spec8.html#M119">floating_test</A>
|
|
|
194 |
<A HREF="spec8.html#M303">floating_variety</A>
|
|
|
195 |
<A HREF="spec8.html#M108">float_int</A>
|
|
|
196 |
<A HREF="spec8.html#M216">float_of_complex</A>
|
|
|
197 |
<A HREF="spec8.html#M212">flvar_apply_token</A>
|
|
|
198 |
<A HREF="spec8.html#M213">flvar_cond</A>
|
|
|
199 |
<A HREF="spec8.html#M214">flvar_parms</A>
|
|
|
200 |
<A HREF="spec8.html#M304">foreign_sort</A>
|
|
|
201 |
<A HREF="spec10.html#M20">frame</A>
|
|
|
202 |
</PRE>
|
|
|
203 |
<HR>
|
|
|
204 |
<H2><A NAME="G">G</A></H2>
|
|
|
205 |
<PRE>
|
|
|
206 |
<A HREF="spec8.html#M120">goto</A>
|
|
|
207 |
<A HREF="spec8.html#M121">goto_local_lv</A>
|
|
|
208 |
<A HREF="spec8.html#M239">greater_than</A>
|
|
|
209 |
<A HREF="spec8.html#M240">greater_than_or_equal</A>
|
|
|
210 |
<A HREF="spec8.html#M218">group</A>
|
|
|
211 |
</PRE>
|
|
|
212 |
<HR>
|
|
|
213 |
<H2><A NAME="I">I</A></H2>
|
|
|
214 |
<PRE>
|
|
|
215 |
identification
|
|
|
216 |
<A HREF="spec6.html#M8">linkable entity</A>
|
|
|
217 |
<A HREF="spec6.html#M6">unit</A>
|
|
|
218 |
<A HREF="spec8.html#M122">identify</A>
|
|
|
219 |
<A HREF="spec8.html#M123">ignorable</A>
|
|
|
220 |
<A HREF="spec8.html#M124">imaginary_part</A>
|
|
|
221 |
<A HREF="spec8.html#M71">impossible</A>
|
|
|
222 |
<A HREF="spec8.html#M125">initial_value</A>
|
|
|
223 |
<A HREF="spec8.html#M260">inline</A>
|
|
|
224 |
<A HREF="spec8.html#M283">integer</A>
|
|
|
225 |
<A HREF="spec11.html#M16">integer extendable encoding</A>
|
|
|
226 |
integer
|
|
|
227 |
<A HREF="spec11.html#M3">basic encoding</A>
|
|
|
228 |
<A HREF="spec10.html#M55">overflow</A>
|
|
|
229 |
integers
|
|
|
230 |
<A HREF="spec10.html#M53">representation of</A>
|
|
|
231 |
<A HREF="spec8.html#M127">integer_test</A>
|
|
|
232 |
<A HREF="spec10.html#M4">introduction</A>
|
|
|
233 |
<A HREF="spec10.html#M2">of tags</A>
|
|
|
234 |
</PRE>
|
|
|
235 |
<HR>
|
|
|
236 |
<H2><A NAME="L">L</A></H2>
|
|
|
237 |
<PRE>
|
|
|
238 |
<A HREF="spec8.html#M305">label</A>
|
|
|
239 |
<A HREF="spec10.html#M3">introduction</A>
|
|
|
240 |
<A HREF="spec8.html#M128">labelled</A>
|
|
|
241 |
<A HREF="spec8.html#M221">label_apply_token</A>
|
|
|
242 |
<A HREF="spec8.html#M129">last_local</A>
|
|
|
243 |
<A HREF="spec8.html#M241">less_than</A>
|
|
|
244 |
<A HREF="spec8.html#M242">less_than_or_equal</A>
|
|
|
245 |
<A HREF="spec8.html#M248">less_than_or_greater_than</A>
|
|
|
246 |
<A HREF="spec10.html#M21">lifetime</A>
|
|
|
247 |
<A HREF="spec8.html#M223">link</A>
|
|
|
248 |
linkable entity
|
|
|
249 |
<A HREF="spec6.html#M7">identification</A>
|
|
|
250 |
<A HREF="spec8.html#M225">linkextern</A>
|
|
|
251 |
<A HREF="spec9.html#M3">linkinfo</A>
|
|
|
252 |
<A HREF="spec9.html#M1">linkinfo_props</A>
|
|
|
253 |
<A HREF="spec8.html#M227">links</A>
|
|
|
254 |
list
|
|
|
255 |
<A HREF="spec11.html#M21">encoding</A>
|
|
|
256 |
<A HREF="spec6.html#M4">notation</A>
|
|
|
257 |
<A HREF="spec8.html#M31">locals_alignment</A>
|
|
|
258 |
<A HREF="spec8.html#M130">local_alloc</A>
|
|
|
259 |
<A HREF="spec8.html#M132">local_alloc_check</A>
|
|
|
260 |
<A HREF="spec8.html#M133">local_free</A>
|
|
|
261 |
<A HREF="spec8.html#M134">local_free_all</A>
|
|
|
262 |
<A HREF="spec8.html#M135">long_jump</A>
|
|
|
263 |
<A HREF="spec8.html#M7">long_jump_access</A>
|
|
|
264 |
</PRE>
|
|
|
265 |
<HR>
|
|
|
266 |
<H2><A NAME="M">M</A></H2>
|
|
|
267 |
<PRE>
|
|
|
268 |
<A HREF="spec8.html#M18">make_al_tag</A>
|
|
|
269 |
<A HREF="spec8.html#M20">make_al_tagdef</A>
|
|
|
270 |
<A HREF="spec8.html#M22">make_al_tagdefs</A>
|
|
|
271 |
<A HREF="spec8.html#M48">make_callee_list</A>
|
|
|
272 |
<A HREF="spec8.html#M53">make_capsule</A>
|
|
|
273 |
<A HREF="spec8.html#M55">make_capsule_link</A>
|
|
|
274 |
<A HREF="spec8.html#M58">make_caselim</A>
|
|
|
275 |
<A HREF="spec9.html#M5">make_comment</A>
|
|
|
276 |
<A HREF="spec8.html#M136">make_complex</A>
|
|
|
277 |
<A HREF="spec8.html#M137">make_compound</A>
|
|
|
278 |
<A HREF="spec8.html#M49">make_dynamic_callees</A>
|
|
|
279 |
<A HREF="spec8.html#M210">make_extern_link</A>
|
|
|
280 |
<A HREF="spec8.html#M138">make_floating</A>
|
|
|
281 |
<A HREF="spec8.html#M139">make_general_proc</A>
|
|
|
282 |
<A HREF="spec8.html#M219">make_group</A>
|
|
|
283 |
<A HREF="spec8.html#M328">make_id_tagdec</A>
|
|
|
284 |
<A HREF="spec8.html#M335">make_id_tagdef</A>
|
|
|
285 |
<A HREF="spec8.html#M141">make_int</A>
|
|
|
286 |
<A HREF="spec8.html#M222">make_label</A>
|
|
|
287 |
<A HREF="spec8.html#M224">make_link</A>
|
|
|
288 |
<A HREF="spec8.html#M226">make_linkextern</A>
|
|
|
289 |
<A HREF="spec9.html#M2">make_linkinfos</A>
|
|
|
290 |
<A HREF="spec8.html#M228">make_links</A>
|
|
|
291 |
<A HREF="spec8.html#M142">make_local_lv</A>
|
|
|
292 |
<A HREF="spec8.html#M234">make_nat</A>
|
|
|
293 |
<A HREF="spec8.html#M143">make_nof</A>
|
|
|
294 |
<A HREF="spec8.html#M144">make_nof_int</A>
|
|
|
295 |
<A HREF="spec8.html#M145">make_null_local_lv</A>
|
|
|
296 |
<A HREF="spec8.html#M146">make_null_proc</A>
|
|
|
297 |
<A HREF="spec8.html#M147">make_null_ptr</A>
|
|
|
298 |
<A HREF="spec8.html#M253">make_otagexp</A>
|
|
|
299 |
<A HREF="spec8.html#M148">make_proc</A>
|
|
|
300 |
<A HREF="spec8.html#M293">make_signed_nat</A>
|
|
|
301 |
<A HREF="spec8.html#M150">make_stack_limit</A>
|
|
|
302 |
<A HREF="spec8.html#M321">make_string</A>
|
|
|
303 |
<A HREF="spec8.html#M324">make_tag</A>
|
|
|
304 |
<A HREF="spec8.html#M326">make_tagacc</A>
|
|
|
305 |
<A HREF="spec8.html#M333">make_tagdecs</A>
|
|
|
306 |
<A HREF="spec8.html#M341">make_tagdefs</A>
|
|
|
307 |
<A HREF="spec8.html#M343">make_tagshacc</A>
|
|
|
308 |
<A HREF="spec8.html#M358">make_tok</A>
|
|
|
309 |
<A HREF="spec8.html#M349">make_tokdec</A>
|
|
|
310 |
<A HREF="spec8.html#M351">make_tokdecs</A>
|
|
|
311 |
<A HREF="spec8.html#M353">make_tokdef</A>
|
|
|
312 |
<A HREF="spec8.html#M355">make_tokdefs</A>
|
|
|
313 |
<A HREF="spec8.html#M364">make_tokformals</A>
|
|
|
314 |
<A HREF="spec8.html#M151">make_top</A>
|
|
|
315 |
<A HREF="spec8.html#M375">make_unique</A>
|
|
|
316 |
<A HREF="spec8.html#M377">make_unit</A>
|
|
|
317 |
<A HREF="spec8.html#M152">make_value</A>
|
|
|
318 |
<A HREF="spec8.html#M329">make_var_tagdec</A>
|
|
|
319 |
<A HREF="spec8.html#M336">make_var_tagdef</A>
|
|
|
320 |
<A HREF="spec8.html#M386">make_version</A>
|
|
|
321 |
<A HREF="spec8.html#M384">make_versions</A>
|
|
|
322 |
<A HREF="spec9.html#M6">make_weak_defn</A>
|
|
|
323 |
<A HREF="spec9.html#M7">make_weak_symbol</A>
|
|
|
324 |
<A HREF="spec8.html#M153">maximum</A>
|
|
|
325 |
memory
|
|
|
326 |
<A HREF="spec10.html#M27">model</A>
|
|
|
327 |
<A HREF="spec10.html#M30">simple model</A>
|
|
|
328 |
<A HREF="spec8.html#M154">minimum</A>
|
|
|
329 |
<A HREF="spec8.html#M155">minus</A>
|
|
|
330 |
modulus
|
|
|
331 |
<A HREF="spec10.html#M12">definition of kinds</A>
|
|
|
332 |
<A HREF="spec8.html#M156">move_some</A>
|
|
|
333 |
<A HREF="spec8.html#M157">mult</A>
|
|
|
334 |
</PRE>
|
|
|
335 |
<HR>
|
|
|
336 |
<H2><A NAME="N">N</A></H2>
|
|
|
337 |
<PRE>
|
|
|
338 |
<A HREF="spec8.html#M306">nat</A>
|
|
|
339 |
<A HREF="spec8.html#M230">nat_apply_token</A>
|
|
|
340 |
<A HREF="spec8.html#M231">nat_cond</A>
|
|
|
341 |
<A HREF="spec8.html#M159">negate</A>
|
|
|
342 |
<A HREF="spec8.html#M60">nil_access</A>
|
|
|
343 |
<A HREF="spec8.html#M284">nof</A>
|
|
|
344 |
<A HREF="spec8.html#M160">not</A>
|
|
|
345 |
<A HREF="spec8.html#M251">not_comparable</A>
|
|
|
346 |
<A HREF="spec8.html#M243">not_equal</A>
|
|
|
347 |
<A HREF="spec8.html#M244">not_greater_than</A>
|
|
|
348 |
<A HREF="spec8.html#M245">not_greater_than_or_equal</A>
|
|
|
349 |
<A HREF="spec8.html#M246">not_less_than</A>
|
|
|
350 |
<A HREF="spec8.html#M249">not_less_than_and_not_greater_than</A>
|
|
|
351 |
<A HREF="spec8.html#M247">not_less_than_or_equal</A>
|
|
|
352 |
<A HREF="spec8.html#M261">no_long_jump_dest</A>
|
|
|
353 |
<A HREF="spec8.html#M8">no_other_read</A>
|
|
|
354 |
<A HREF="spec8.html#M9">no_other_write</A>
|
|
|
355 |
<A HREF="spec8.html#M307">ntest</A>
|
|
|
356 |
<A HREF="spec8.html#M236">ntest_apply_token</A>
|
|
|
357 |
<A HREF="spec8.html#M237">ntest_cond</A>
|
|
|
358 |
<A HREF="spec8.html#M158">n_copies</A>
|
|
|
359 |
</PRE>
|
|
|
360 |
<HR>
|
|
|
361 |
<H2><A NAME="O">O</A></H2>
|
|
|
362 |
<PRE>
|
|
|
363 |
<A HREF="spec8.html#M32">obtain_al_tag</A>
|
|
|
364 |
<A HREF="spec8.html#M161">obtain_tag</A>
|
|
|
365 |
<A HREF="spec10.html#M5">of labels</A>
|
|
|
366 |
<A HREF="spec8.html#M285">offset</A>
|
|
|
367 |
<A HREF="spec10.html#M28">arithmetic</A>
|
|
|
368 |
<A HREF="spec8.html#M162">offset_add</A>
|
|
|
369 |
<A HREF="spec8.html#M163">offset_div</A>
|
|
|
370 |
<A HREF="spec8.html#M164">offset_div_by_int</A>
|
|
|
371 |
<A HREF="spec8.html#M165">offset_max</A>
|
|
|
372 |
<A HREF="spec8.html#M166">offset_mult</A>
|
|
|
373 |
<A HREF="spec8.html#M167">offset_negate</A>
|
|
|
374 |
<A HREF="spec8.html#M169">offset_pad</A>
|
|
|
375 |
<A HREF="spec8.html#M170">offset_subtract</A>
|
|
|
376 |
<A HREF="spec8.html#M172">offset_test</A>
|
|
|
377 |
<A HREF="spec8.html#M173">offset_zero</A>
|
|
|
378 |
option
|
|
|
379 |
<A HREF="spec11.html#M23">encoding</A>
|
|
|
380 |
<A HREF="spec6.html#M3">notation</A>
|
|
|
381 |
<A HREF="spec8.html#M174">or</A>
|
|
|
382 |
order
|
|
|
383 |
<A HREF="spec10.html#M43">of evaluation</A>
|
|
|
384 |
original pointer
|
|
|
385 |
creation <A HREF="spec10.html#M47">[1]</A> <A HREF="spec8.html#M339">[2]</A>
|
|
|
386 |
original
|
|
|
387 |
<A HREF="spec10.html#M46">pointers</A>
|
|
|
388 |
<A HREF="spec8.html#M252">otagexp</A>
|
|
|
389 |
<A HREF="spec8.html#M10">out_par</A>
|
|
|
390 |
<A HREF="spec8.html#M61">overflow</A>
|
|
|
391 |
<A HREF="spec10.html#M56">integer</A>
|
|
|
392 |
<A HREF="spec8.html#M369">overlap</A>
|
|
|
393 |
<A HREF="spec10.html#M49">overlapping</A>
|
|
|
394 |
</PRE>
|
|
|
395 |
<HR>
|
|
|
396 |
<H2><A NAME="P">P</A></H2>
|
|
|
397 |
<PRE>
|
|
|
398 |
<A HREF="spec8.html#M33">parameter_alignment</A>
|
|
|
399 |
<A HREF="spec8.html#M175">plus</A>
|
|
|
400 |
<A HREF="spec8.html#M286">pointer</A>
|
|
|
401 |
<A HREF="spec10.html#M29">arithmetic</A>
|
|
|
402 |
pointers
|
|
|
403 |
<A HREF="spec10.html#M45">original</A>
|
|
|
404 |
<A HREF="spec8.html#M176">pointer_test</A>
|
|
|
405 |
<A HREF="spec8.html#M177">power</A>
|
|
|
406 |
<A HREF="spec8.html#M11">preserve</A>
|
|
|
407 |
<A HREF="spec8.html#M287">proc</A>
|
|
|
408 |
<A HREF="spec8.html#M308">procprops</A>
|
|
|
409 |
<A HREF="spec8.html#M256">procprops_apply_token</A>
|
|
|
410 |
<A HREF="spec8.html#M257">procprops_cond</A>
|
|
|
411 |
<A HREF="spec8.html#M178">proc_test</A>
|
|
|
412 |
<A HREF="spec8.html#M179">profile</A>
|
|
|
413 |
<A HREF="spec8.html#M266">PROPS</A>
|
|
|
414 |
</PRE>
|
|
|
415 |
<HR>
|
|
|
416 |
<H2><A NAME="R">R</A></H2>
|
|
|
417 |
<PRE>
|
|
|
418 |
<A HREF="spec8.html#M180">real_part</A>
|
|
|
419 |
<A HREF="spec8.html#M12">register</A>
|
|
|
420 |
<A HREF="spec8.html#M181">rem0</A>
|
|
|
421 |
<A HREF="spec8.html#M182">rem1</A>
|
|
|
422 |
<A HREF="spec8.html#M183">rem2</A>
|
|
|
423 |
<A HREF="spec8.html#M184">repeat</A>
|
|
|
424 |
representation
|
|
|
425 |
<A HREF="spec10.html#M59">of floating point</A>
|
|
|
426 |
<A HREF="spec10.html#M52">of integers</A>
|
|
|
427 |
result
|
|
|
428 |
<A HREF="spec6.html#M2">notation</A>
|
|
|
429 |
<A HREF="spec8.html#M185">return</A>
|
|
|
430 |
<A HREF="spec8.html#M186">return_to_label</A>
|
|
|
431 |
<A HREF="spec8.html#M188">rotate</A>
|
|
|
432 |
<A HREF="spec8.html#M188">rotate_left</A>
|
|
|
433 |
<A HREF="spec8.html#M190">rotate_right</A>
|
|
|
434 |
<A HREF="spec10.html#M63">rounding</A>
|
|
|
435 |
<A HREF="spec8.html#M309">rounding_mode</A>
|
|
|
436 |
<A HREF="spec8.html#M268">rounding_mode_apply_token</A>
|
|
|
437 |
<A HREF="spec8.html#M269">rounding_mode_cond</A>
|
|
|
438 |
<A HREF="spec8.html#M270">round_as_state</A>
|
|
|
439 |
<A HREF="spec8.html#M187">round_with_mode</A>
|
|
|
440 |
</PRE>
|
|
|
441 |
<HR>
|
|
|
442 |
<H2><A NAME="S">S</A></H2>
|
|
|
443 |
<PRE>
|
|
|
444 |
<A HREF="spec8.html#M50">same_callees</A>
|
|
|
445 |
<A HREF="spec8.html#M193">sequence</A>
|
|
|
446 |
<A HREF="spec8.html#M194">set_stack_limit</A>
|
|
|
447 |
<A HREF="spec8.html#M310">shape</A>
|
|
|
448 |
<A HREF="spec8.html#M276">shape_apply_token</A>
|
|
|
449 |
<A HREF="spec8.html#M277">shape_cond</A>
|
|
|
450 |
<A HREF="spec8.html#M196">shape_offset</A>
|
|
|
451 |
<A HREF="spec8.html#M197">shift_left</A>
|
|
|
452 |
<A HREF="spec8.html#M198">shift_right</A>
|
|
|
453 |
<A HREF="spec8.html#M311">signed_nat</A>
|
|
|
454 |
<A HREF="spec8.html#M290">signed_nat_apply_token</A>
|
|
|
455 |
<A HREF="spec8.html#M291">signed_nat_cond</A>
|
|
|
456 |
<A HREF="spec8.html#M294">snat_from_nat</A>
|
|
|
457 |
sort
|
|
|
458 |
<A HREF="spec5.html#M1">meaning of</A>
|
|
|
459 |
<A HREF="spec8.html#M295">sortname</A>
|
|
|
460 |
<A HREF="spec7.html#M1">Specification of TDF Constructs</A>
|
|
|
461 |
<A HREF="spec8.html#M62">stack_overflow</A>
|
|
|
462 |
<A HREF="spec8.html#M13">standard_access</A>
|
|
|
463 |
<A HREF="spec8.html#M370">standard_transfer_mode</A>
|
|
|
464 |
<A HREF="spec9.html#M4">static_name_def</A>
|
|
|
465 |
<A HREF="spec8.html#M317">string</A>
|
|
|
466 |
<A HREF="spec8.html#M318">string_apply_token</A>
|
|
|
467 |
<A HREF="spec8.html#M319">string_cond</A>
|
|
|
468 |
<A HREF="spec8.html#M206">string_extern</A>
|
|
|
469 |
<A HREF="spec8.html#M199">subtract_ptrs</A>
|
|
|
470 |
</PRE>
|
|
|
471 |
<HR>
|
|
|
472 |
<H2><A NAME="T">T</A></H2>
|
|
|
473 |
<PRE>
|
|
|
474 |
<A HREF="spec8.html#M322">tag</A>
|
|
|
475 |
<A HREF="spec10.html#M1">introduction</A>
|
|
|
476 |
<A HREF="spec8.html#M325">tagacc</A>
|
|
|
477 |
<A HREF="spec8.html#M327">tagdec</A>
|
|
|
478 |
<A HREF="spec8.html#M332">tagdec_props</A>
|
|
|
479 |
<A HREF="spec8.html#M334">tagdef</A>
|
|
|
480 |
<A HREF="spec8.html#M340">tagdef_props</A>
|
|
|
481 |
<A HREF="spec8.html#M342">tagshacc</A>
|
|
|
482 |
<A HREF="spec8.html#M323">tag_apply_token</A>
|
|
|
483 |
<A HREF="spec8.html#M200">tail_call</A>
|
|
|
484 |
TDF
|
|
|
485 |
<A HREF="spec5.html#M12">extending</A>
|
|
|
486 |
<A HREF="spec11.html#M6">TDFBOOL</A>
|
|
|
487 |
<A HREF="spec8.html#M344">tdfbool</A>
|
|
|
488 |
<A HREF="spec11.html#M7">TDFIDENT</A>
|
|
|
489 |
<A HREF="spec8.html#M345">tdfident</A>
|
|
|
490 |
<A HREF="spec11.html#M5">TDFINT</A>
|
|
|
491 |
<A HREF="spec8.html#M346">tdfint</A>
|
|
|
492 |
<A HREF="spec8.html#M347">tdfstring</A>
|
|
|
493 |
tld <A HREF="spec11.html#M25">[1]</A> <A HREF="spec5.html#M5">[2]</A>
|
|
|
494 |
<A HREF="spec8.html#M348">tokdec</A>
|
|
|
495 |
<A HREF="spec8.html#M350">tokdec_props</A>
|
|
|
496 |
<A HREF="spec8.html#M352">tokdef</A>
|
|
|
497 |
<A HREF="spec8.html#M354">tokdef_props</A>
|
|
|
498 |
<A HREF="spec8.html#M356">token</A>
|
|
|
499 |
<A HREF="spec5.html#M11">introduction to</A>
|
|
|
500 |
<A HREF="spec8.html#M357">token_apply_token</A>
|
|
|
501 |
<A HREF="spec8.html#M362">token_definition</A>
|
|
|
502 |
<A HREF="spec8.html#M360">token_defn</A>
|
|
|
503 |
<A HREF="spec8.html#M363">tokformals</A>
|
|
|
504 |
<A HREF="spec8.html#M288">top</A>
|
|
|
505 |
<A HREF="spec8.html#M272">toward_larger</A>
|
|
|
506 |
<A HREF="spec8.html#M273">toward_smaller</A>
|
|
|
507 |
<A HREF="spec8.html#M274">toward_zero</A>
|
|
|
508 |
<A HREF="spec8.html#M271">to_nearest</A>
|
|
|
509 |
<A HREF="spec8.html#M365">transfer_mode</A>
|
|
|
510 |
<A HREF="spec8.html#M366">transfer_mode_apply_token</A>
|
|
|
511 |
<A HREF="spec8.html#M367">transfer_mode_cond</A>
|
|
|
512 |
<A HREF="spec8.html#M69">trap</A>
|
|
|
513 |
<A HREF="spec8.html#M371">trap_on_nil</A>
|
|
|
514 |
<A HREF="spec8.html#M45">true</A>
|
|
|
515 |
types
|
|
|
516 |
<A HREF="spec10.html#M33">circular</A>
|
|
|
517 |
</PRE>
|
|
|
518 |
<HR>
|
|
|
519 |
<H2><A NAME="U">U</A></H2>
|
|
|
520 |
<PRE>
|
|
|
521 |
<A HREF="spec8.html#M374">unique</A>
|
|
|
522 |
<A HREF="spec8.html#M207">unique_extern</A>
|
|
|
523 |
<A HREF="spec8.html#M376">unit</A>
|
|
|
524 |
<A HREF="spec5.html#M8">al_tagdef</A>
|
|
|
525 |
<A HREF="spec6.html#M5">identification</A>
|
|
|
526 |
<A HREF="spec5.html#M4">kinds of</A>
|
|
|
527 |
<A HREF="spec5.html#M9">tagdec</A>
|
|
|
528 |
<A HREF="spec5.html#M10">tagdef</A>
|
|
|
529 |
<A HREF="spec5.html#M6">tokdec</A>
|
|
|
530 |
<A HREF="spec5.html#M7">tokdef</A>
|
|
|
531 |
<A HREF="spec8.html#M34">unite_alignments</A>
|
|
|
532 |
<A HREF="spec8.html#M262">untidy</A>
|
|
|
533 |
<A HREF="spec8.html#M201">untidy_return</A>
|
|
|
534 |
<A HREF="spec8.html#M14">used_as_volatile</A>
|
|
|
535 |
<A HREF="spec8.html#M387">user_info</A>
|
|
|
536 |
<A HREF="spec8.html#M359">use_tokdef</A>
|
|
|
537 |
</PRE>
|
|
|
538 |
<HR>
|
|
|
539 |
<H2><A NAME="V">V</A></H2>
|
|
|
540 |
<PRE>
|
|
|
541 |
<A HREF="spec8.html#M202">variable</A>
|
|
|
542 |
<A HREF="spec8.html#M378">variety</A>
|
|
|
543 |
<A HREF="spec8.html#M379">var_apply_token</A>
|
|
|
544 |
<A HREF="spec8.html#M263">var_callees</A>
|
|
|
545 |
<A HREF="spec8.html#M264">var_callers</A>
|
|
|
546 |
<A HREF="spec8.html#M380">var_cond</A>
|
|
|
547 |
<A HREF="spec8.html#M381">var_limits</A>
|
|
|
548 |
<A HREF="spec8.html#M35">var_param_alignment</A>
|
|
|
549 |
<A HREF="spec8.html#M382">var_width</A>
|
|
|
550 |
<A HREF="spec8.html#M385">version</A>
|
|
|
551 |
<A HREF="spec8.html#M383">version_props</A>
|
|
|
552 |
<A HREF="spec8.html#M15">visible</A>
|
|
|
553 |
<A HREF="spec8.html#M372">volatile</A>
|
|
|
554 |
</PRE>
|
|
|
555 |
<HR>
|
|
|
556 |
<H2><A NAME="W">W</A></H2>
|
|
|
557 |
<PRE>
|
|
|
558 |
<A HREF="spec8.html#M70">wrap</A>
|
|
|
559 |
</PRE>
|
|
|
560 |
<HR>
|
|
|
561 |
<H2><A NAME="X">X</A></H2>
|
|
|
562 |
<PRE>
|
|
|
563 |
<A HREF="spec8.html#M204">xor</A>
|
|
|
564 |
</PRE>
|
|
|
565 |
<P>
|
|
|
566 |
<HR>
|
|
|
567 |
<P><I>Part of the <A HREF="../index.html">TenDRA Web</A>.<BR>Crown
|
|
|
568 |
Copyright © 1998.</I></P>
|
|
|
569 |
</BODY>
|
|
|
570 |
</HTML>
|