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 */
37 typedef classtable_elt_t
* classtable_t
; /* classtable */
39 extern bigint object_id_counter
;
41 /*****************************************************************************
42 * Types macros (primitive and less primitives) ******************************
43 *****************************************************************************
47 * OBJ (obj_t) : standard object representation (including boxes + NIL)
48 * Int (int) : integers
49 * Char (car) : characters
50 * Bool (int) : booleans (true or false)
52 * X (x_t) : generic representatio of the previous four types
56 * int ISX(val_t v) : true if v is a X
57 * x_t VAL2X(val_t v) : convert a val_t to a primitive type (you should check ISX before)
58 * val_t X2VAL(x_t x) : convert a type to a val_t
59 * int XTAG : numeric identifier of a type
60 * int TAG(val_t v) : return the XTAG (ie TAG(Char2VAL('e')) == CharTag)
62 * classtable_t VAL2VFT(val_t v): the virtual function table of a value
64 * val_t NIT_NULL : the instance of the None class
65 *****************************************************************************/
67 #define TAG(x) ((int)(x) & 3)
71 #define TAG_Int(x) ((val_t)(((x)<<2)|IntTAG))
72 #define UNTAG_Int(x) ((bigint)(x)>>2)
76 #define TAG_Char(x) ((val_t)((((int)(x))<<2)|CharTAG))
77 #define UNTAG_Char(x) ((char)((int)(x)>>2))
81 #define TAG_Bool(x) ((val_t)(((x)<<2)|BoolTAG))
82 #define UNTAG_Bool(x) ((int)(x)>>2)
87 #define ISOBJ(x) (TAG((x)) == OBJTAG)
88 #define VAL2OBJ(x) ((obj_t)(x))
89 #define OBJ2VAL(o) ((val_t)(o))
90 #define VAL2VFT(x) (ISOBJ(x) ? VAL2OBJ(x)->vft : TAG2VFT[TAG(x)])
91 /*#define VAL2CID(x) (ISOBJ(x) ? (VAL2OBJ(x)->vft->cid) : (-TAG(x)))*/
92 #define VAL2CID(x) (VAL2OBJ(x)->vft->cid)
94 #define NIT_NULL ((val_t)0)
95 #define ISNULL(x) ((x)==NIT_NULL)
97 /* Equal comparaison */
98 /* O = Non nil object ; N = Object or nil ; P = Primitive */
99 #define OBJ_IS_BOX(x) ((VAL2OBJ(x)->vft->i) < 0)
100 #define IS_BOX(x) (ISOBJ(x) && OBJ_IS_BOX(x))
101 #define IS_EQUAL_BOX(x, y) (ISOBJ(y) && (VAL2OBJ(x)[2].vft==VAL2OBJ(y)[2].vft) && (VAL2OBJ(x)->vft==VAL2OBJ(y)->vft))
102 #define IS_EQUAL_OO(x, y) ((x)==(y) || (IS_BOX(x) && IS_EQUAL_BOX((x), (y))))
103 #define IS_EQUAL_ON(x, y) ((x)==(y) || (IS_BOX(x) && !ISNULL(y) && IS_EQUAL_BOX((x), (y))))
104 #define IS_EQUAL_NN(x, y) ((x)==(y) || (!ISNULL(x) && IS_BOX(x) && !ISNULL(y) && IS_EQUAL_BOX((x), (y))))
106 /* Subclass comparaison */
107 /* check is e is a subtype of c2 */
108 /* Warning, only subclasse comparaison is performed, not subtype */
109 /* e is a val (not nil) */
110 /* c a class name (eg: Int) */
111 #define VALISA(e, c) (VAL2VFT(e)[COLOR_ ## c].cid == (cid_t) ID_ ## c)
112 #define OBJISA(e, c) (VAL2OBJ(e)->vft[COLOR_ ## c].cid == (cid_t) ID_ ## c)
114 #define VAL_ISA(e, c, i) (VAL2VFT((e))[(c)].cid == (cid_t)(i))
116 void * alloc(size_t);
118 extern val_t G_stdin
;
119 extern val_t G_stdout
;
120 extern val_t G_stderr
;
123 extern int glob_argc
;
124 extern char ** glob_argv
;
127 struct trace_t
*prev
; /* previous stack frame */
128 const char *file
; /* source filename */
129 int line
; /* line number */
130 const char *meth
; /* method name */
132 extern struct trace_t
*tracehead
;
133 typedef enum {true = (1==1),false = (0==1)} bool;
137 #define CALL(r,c) ((VAL2VFT(r)[c].f))
138 #define ATTR(r,c) (*(val_t*)(VAL2OBJ(r)+c))
139 #define ATTRS(r,c,o) ((VAL2OBJ(r)+VAL2VFT(r)[c].i)[o].attr)
141 void prepare_signals(void);
142 extern classtable_t TAG2VFT
[4];
144 /* This structure is used to store closure.
145 * Specific closure use a specific fun parameter.
147 struct WBT_
{fun_t fun
; val_t
*has_broke
; val_t broke_value
; val_t
*variable
; struct WBT_
**closurevariable
;};