8a7ca0ce265b4afd50ebb9307ac96fcdf2394a07
4 /* This file is part of NIT ( http://www.nitlanguage.org ).
6 * Copyright 2006-2009 Jean Privat <jean@pryen.org>
8 * This file is free software, which comes along with NIT. This software is
9 * distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY;
10 * without even the implied warranty of MERCHANTABILITY or FITNESS FOR A
11 * PARTICULAR PURPOSE. You can modify it is you want, provided this header
12 * is kept unaltered, and a notification of the changes is added.
13 * You are allowed to redistribute it and sell it, alone or is a part of
23 #define malloc(x) GC_MALLOC((x))
24 #define calloc(x,y) GC_MALLOC((x)*(y))
30 typedef signed long int bigint
; /* standard int value, must be larger that any poiner */
31 typedef bigint (*fun_t
) (bigint
); /* generic function pointer */
32 typedef bigint cid_t
; /* class identifier */
33 typedef bigint val_t
; /* value (everything is a val_t) */
34 typedef union obj_tu
{union classtable_elt_tu
* vft
; bigint object_id
; val_t objectSize
;} *obj_t
; /* standard object */
35 typedef union classtable_elt_tu
{ bigint i
; fun_t f
; cid_t cid
;} classtable_elt_t
; /* classtable element */
36 typedef struct Nit_NativeArray
{const classtable_elt_t
* vft
; bigint object_id
; bigint size
; val_t val
[1];} * Nit_NativeArray
;
38 typedef classtable_elt_t
* classtable_t
; /* classtable */
40 extern bigint object_id_counter
;
42 /*****************************************************************************
43 * Types macros (primitive and less primitives) ******************************
44 *****************************************************************************
48 * OBJ (obj_t) : standard object representation (including boxes + NIL)
49 * Int (int) : integers
50 * Char (car) : characters
51 * Bool (int) : booleans (true or false)
53 * X (x_t) : generic representatio of the previous four types
57 * int ISX(val_t v) : true if v is a X
58 * x_t VAL2X(val_t v) : convert a val_t to a primitive type (you should check ISX before)
59 * val_t X2VAL(x_t x) : convert a type to a val_t
60 * int XTAG : numeric identifier of a type
61 * int TAG(val_t v) : return the XTAG (ie TAG(Char2VAL('e')) == CharTag)
63 * classtable_t VAL2VFT(val_t v): the virtual function table of a value
65 * val_t NIT_NULL : the instance of the None class
66 *****************************************************************************/
68 #define TAG(x) ((int)(x) & 3)
72 #define TAG_Int(x) ((val_t)(((x)<<2)|IntTAG))
73 #define UNTAG_Int(x) ((bigint)(x)>>2)
77 #define TAG_Char(x) ((val_t)((((int)(x))<<2)|CharTAG))
78 #define UNTAG_Char(x) ((char)((int)(x)>>2))
82 #define TAG_Bool(x) ((val_t)(((x)<<2)|BoolTAG))
83 #define UNTAG_Bool(x) ((int)(x)>>2)
88 #define ISOBJ(x) (TAG((x)) == OBJTAG)
89 #define VAL2OBJ(x) ((obj_t)(x))
90 #define VAL2ARRAY(x) ((Nit_NativeArray)(x))
91 #define OBJ2VAL(o) ((val_t)(o))
92 #define VAL2VFT(x) (ISOBJ(x) ? VAL2OBJ(x)->vft : TAG2VFT[TAG(x)])
93 /*#define VAL2CID(x) (ISOBJ(x) ? (VAL2OBJ(x)->vft->cid) : (-TAG(x)))*/
94 #define VAL2CID(x) (VAL2OBJ(x)->vft->cid)
96 #define NIT_NULL ((val_t)0)
97 #define ISNULL(x) ((x)==NIT_NULL)
99 /* Equal comparaison */
100 /* O = Non nil object ; N = Object or nil ; P = Primitive */
101 #define OBJ_IS_BOX(x) ((VAL2OBJ(x)->vft->i) < 0)
102 #define OBJ_IS_ARRAY(x) ((VAL2ARRAY(x)->vft[1].i) == -1)
103 #define IS_BOX(x) (ISOBJ(x) && OBJ_IS_BOX(x))
104 #define IS_EQUAL_BOX(x, y) (ISOBJ(y) && (VAL2OBJ(x)[2].vft==VAL2OBJ(y)[2].vft) && (VAL2OBJ(x)->vft==VAL2OBJ(y)->vft))
105 #define IS_EQUAL_OO(x, y) ((x)==(y) || (IS_BOX(x) && IS_EQUAL_BOX((x), (y))))
106 #define IS_EQUAL_ON(x, y) ((x)==(y) || (IS_BOX(x) && !ISNULL(y) && IS_EQUAL_BOX((x), (y))))
107 #define IS_EQUAL_NN(x, y) ((x)==(y) || (!ISNULL(x) && IS_BOX(x) && !ISNULL(y) && IS_EQUAL_BOX((x), (y))))
109 /* Subclass comparaison */
110 /* check is e is a subtype of c2 */
111 /* Warning, only subclasse comparaison is performed, not subtype */
112 /* e is a val (not nil) */
113 /* c a class name (eg: Int) */
114 #define VALISA(e, c) (VAL2VFT(e)[COLOR_ ## c].cid == (cid_t) ID_ ## c)
115 #define OBJISA(e, c) (VAL2OBJ(e)->vft[COLOR_ ## c].cid == (cid_t) ID_ ## c)
117 #define VAL_ISA(e, c, i) (VAL2VFT((e))[(c)].cid == (cid_t)(i))
119 /* GC and memory management */
120 void *alloc(size_t); /* allocate memory to store an object with an object header */
121 void *raw_alloc(size_t); /* allocate raw memory to store a raw stram of byte */
122 void register_static_object(val_t
*); /* mark that something is a global or once object */
125 extern val_t G_stdin
;
126 extern val_t G_stdout
;
127 extern val_t G_stderr
;
130 extern int glob_argc
;
131 extern char ** glob_argv
;
134 struct trace_t
*prev
; /* previous stack frame */
135 const char *file
; /* source filename */
136 int line
; /* line number */
137 const char *meth
; /* method name */
141 extern struct trace_t
*tracehead
;
142 typedef enum {true = (1==1),false = (0==1)} bool;
146 #define CALL(r,c) ((VAL2VFT(r)[c].f))
147 #define ATTR(r,c) (*(val_t*)(VAL2OBJ(r)+c))
148 #define ATTRS(r,c,o) ((VAL2OBJ(r)+VAL2VFT(r)[c].i)[o].attr)
150 void prepare_signals(void);
151 extern classtable_t TAG2VFT
[4];
153 /* This structure is used to store closure.
154 * Specific closure use a specific fun parameter.
156 struct WBT_
{fun_t fun
; val_t
*has_broke
; val_t broke_value
; val_t
*variable
; struct WBT_
**closurevariable
;};