2 ** Copyright (C) 1998 - 2000 by Universitaet Karlsruhe
3 ** All rights reserved.
5 ** Authors: Martin Trapp, Christian Schaefer,
8 ** entity.h: entities represent all program known objects.
10 ** An entity is the representation of program known objects in Firm.
11 ** The primary concept of entities is to represent members of complex
12 ** types, i.e., fields and methods of classes. As not all programming
13 ** language model all variables and methods as members of some class,
14 ** the concept of entities is extended to cover also local and global
15 ** variables, and arbitrary procedures.
17 ** An entity always specifies the type of the object it represents and
18 ** the type of the object it is a part of, the owner of the entity.
19 ** Originally this is the type of the class of which the entity is a
21 ** The owner of local variables is the procedure they are defined in.
22 ** The owner of global variables and procedures visible in the whole
23 ** program is a universally defined class type "GlobalType". The owner
24 ** of procedures defined in the scope of an other procedure is the
25 ** enclosing procedure.
34 #ifndef _IR_GRAPH_TYPEDEF_
35 #define _IR_GRAPH_TYPEDEF_
36 /* to resolve recursion between entity.h and irgraph.h */
37 typedef struct ir_graph ir_graph;
42 ident *name; /* name of this entity */
43 ident *ld_name; /* Unique name of this entity, i.e., the mangled
44 name. E.g., for a class `A' with field `a' this
45 is the ident for `A_a'. */
46 type *type; /* The type of this entity, e.g., a method type, a
47 basic type of the language or a class itself */
48 type *owner; /* The class this entity belongs to. In case of local
49 variables the method they are defined in. */
50 int offset; /* Offset in byte for this entity. Fixed when layout
51 of owner is determined. */
53 ir_graph *irg; /* If (type == method_type) this is the corresponding irg.
54 The ir_graph constructor automatically sets this field.
55 @@@ Does this go here, or should it be in type_method,
56 or should Call have an attribute ent?? */
57 /* Do we need to remember the initializer of fields? */
58 unsigned long visit; /* visited counter for walks of the type information */
62 # endif /* _ENTITY_T_H_ */