Pascal News

225
226
228
229
l!30
231
232
233
235
236
237
238
23'9
240
242
243
24lj
246
241
248
249
250
251
252
253
254
255
256
258
259
260
261
262
263
264
266
267
268
269
270
271
272
273
274
215
276
277
278
279
280
O •• rwlim;
0 •• t8m1;
{pointer typesl
IIP= Alltruoture:
11>= "identi fier :
Ip= 'labl;
bp. 'blockini'o:
np= ""nameinfo;
{set types}
sOS'S
setofids.
f'ormset.
sflagset.
iflagset=
set of symbol;
set of idol ass :
set Of strootfo"";
set of struotflag;
set of identflag;
{array types I
alpha .packed array[ idrangeJ afchar;
fntype'paoked a .... ay[ fnrange] of char;
{record typesl
-errec=record
erno:lnt-eger;
mess: alph:a;
me$i ~lnteger;
chno:lntecger;
lino:integer ;
linr :integer;
orig:integer :
fnam:fntype;
end;
position'record
ad :integer;
Iv :integer;
Uirder SEGMENTS
·sg :sgrange
Dendir
end;
{error numbed
!identifier parameter if required}
{numeric parameter if required}
{column number}
{lin en umber}
{relative to start. of (included) file}
{idem, but. before preproces!ling)
{source· file neme}
{the addr info of certain variable}
{for locals it is the byte offsetl
{the level of the beast)
{only relevant for globals (lv"O) }
{records of type attr are used to remember qualities of
expression parts to delay the loading of them.
Reasons to delay the loading of one word constants:
- bound checking
- set building.
Reasons to delay the loading of direct accessible objects:
- efficient handling of read/wri'te
- efficient handling of the with statement.
attr=record
asp:sp;
packbit :boolean;
ak :attrkind;
pos :po sition;
{If ak=cst then the val ue is stored
{type of expressionl
{true for packed elementsl
{access method}
{sg. Iv and ad}
in ad}
281 end;
283
2M
285
286
281
288
289
290
292
293
294
295
296
297
298
300
301
302
303
3011
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
331
332
333
334
335
336
nameinfo=record
nlin-k:np;
fname:ip;
case occur :where of
blck:();
reo: 0;
wrec.:(wa:attr)
end;
blockinfo=reoord
nextbp:bp;
lc:integer;
ilbno:integer:
rorwcount :integer;
lchain :lp;
end;
st.rueture~record
s.1ze.:integer;
sflag:sflagset;
case form:structform of
scalar : (scalno:integer;
fconst:ip
);
subrange: (min .max :integer;
rangetype :sp;
subrno:lnteger
);
pointer : (eHype :sp);
power : (elset:sp);
files : (flltype:sp);
arrays ,csrray:
(aeltype:sp:
inx type :sp ~
arpos :posl tion
);
records:( fstfld :ip;
tagsp:sp
);
variant ': (varval :integer;
nxtvar':sp;
subtsp:sp
);
tag :(fstvar:sp;
tfldsp:sp
)
identifier. record
idtype:sp;
narile:alpha;
llink.rl1nk:ip;
next :ip;
iflag:iflagset;
{one for each separate name space J
{one deeper}
{first name:· root of treel
{name space opened by with statement}
{all info of the current procedurel
{pointer to blockinfo Of surrounding proc}
{data" location "ounter (from begin of proc)
{number of last local label}
{number of not yet spe"lfied forward procs}
{first label: header of chain}
{size of structure in bytes}
{flag bits}
{number of range descriptor}
{names of constants}
{lower and upper bound}
{type of bounds}
{number of subr descriptor}
{type ofpolnted object}
{type of set elementsl
{type of file elements}
{type of array elements}
{type of array index}
{position of array descriptor}
{points to first fieldl
{points to tag if present}
{tag value for this variantl
{next equilevel Variant}
{points to tag for sub-case }
{first variant of case}
{type of tagl
{type of identifier!
{name of identified
{see enterid,search1d}
{used to make several chains)
{several flag bitsl
--
'" m