1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
MODULE Types [INTERFACE "C", INIT_FCT; LINK FILE "Types.c" END];
IMPORT
SYSTEM, Kernel;
TYPE
Type* = POINTER TO TypeDesc;
TypeDesc* = RECORD
btypes: POINTER TO ARRAY OF Type;
tbprocs: POINTER TO ARRAY OF SYSTEM.PTR;
name-: Kernel.Name; (* type identifier, NIL if unnamed/non-global *)
module-: Kernel.Module; (* module in which type is defined *)
level: INTEGER; (* extension level: 0 original, 1 once extended *)
size: LONGINT; (* size of record in bytes *)
next: Type;
END;
PROCEDURE ["Types_TypeOf"] TypeOf* (o: SYSTEM.PTR): Type;
(* pre: 'o' is a POINTER TO R, where R is a record type whose type is declared
in a normal module (and not in an EXTERNAL module like this one).
'o' has to have a legal value, ie, has to be initialized with NEW.
post: Result is a pointer to R's type descriptor. *)
PROCEDURE ["Types_This"] This* (mod: Kernel.Module; name: ARRAY OF CHAR): Type;
(* pre: 'mod' is one of the modules in the list 'modules', 'name' the
identifier R associated with a record type R declared in 'module'.
post: Result is the pointer to the type descriptor of type R if such a
record declaration exists, NIL otherwise. *)
PROCEDURE ["Types_LevelOf"] LevelOf* (t: Type): INTEGER;
(* pre: 't' is a type descriptor (and is not NIL).
post: Result is the extension level of t's record type T (0 if T is not
an extended type, plus 1 for each level of extension). *)
PROCEDURE ["Types_BaseOf"] BaseOf* (t: Type; level: INTEGER): Type;
(* pre: 't' is a type descriptor (and is not NIL), 0 <= level <= LevelOf(t).
post: Result is the type descriptor associated with t's extention level
'level'. level=0 will get the first (unextended) base type, level-1 the
type of which 't' is an extension, level=LevelOf(t) with return 't'. *)
PROCEDURE ["Types_NewObj"] NewObj* (VAR o: SYSTEM.PTR; t: Type);
(* pre: 't' is a type descriptor (and is not NIL).
post: A new object of type R is created, where R is the record type
associated with the type descriptor 't'. A pointer to this object
is returned in 'o'. *)
END Types.
|
