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