1 | /* |
2 | * This Source Code Form is subject to the terms of the Mozilla Public |
3 | * License, v. 2.0. If a copy of the MPL was not distributed with this |
4 | * file, You can obtain one at http://mozilla.org/MPL/2.0/. |
5 | * |
6 | * Copyright 1997 - July 2008 CWI, August 2008 - 2019 MonetDB B.V. |
7 | */ |
8 | |
9 | #ifndef MAL_TYPE_H |
10 | #define MAL_TYPE_H |
11 | #include "mal.h" |
12 | |
13 | /* #define DEBUG_MAL_TYPE 1 */ |
14 | |
15 | #define TMPMARKER '_' |
16 | #define REFMARKER 'X' |
17 | #define REFMARKERC 'C' |
18 | |
19 | #define newBatType(T) (1<<16 | (T & 0377) ) |
20 | #define getBatType(X) ((X) & 0377 ) |
21 | #define isaBatType(X) ((1<<16) & (X) && (X)!= TYPE_any) |
22 | |
23 | #define isAnyExpression(X) ((X) >> 17) |
24 | #define isPolymorphic(X) (isAnyExpression(X) || (X)== TYPE_any) |
25 | |
26 | #define setTypeIndex(X,I) X |= ((I & 017)<<18); |
27 | #define getTypeIndex(X) (((X)>>18) & 017) |
28 | |
29 | #define isPolyType(X) (isAnyExpression(X) && getTypeIndex(X)>0) |
30 | /* |
31 | * The symbol/instruction kinds are introduced here instead of reusing the defines |
32 | * derived from the parser to avoid a loop in the define-structure. |
33 | */ |
34 | |
35 | #define RAISEsymbol 21 /* flow of control modifiers */ |
36 | #define CATCHsymbol 22 |
37 | #define RETURNsymbol 23 |
38 | #define BARRIERsymbol 24 |
39 | #define REDOsymbol 25 |
40 | #define LEAVEsymbol 26 |
41 | #define YIELDsymbol 27 |
42 | #define EXITsymbol 29 |
43 | |
44 | #define ASSIGNsymbol 40 /* interpreter entry points */ |
45 | #define ENDsymbol 41 |
46 | #define NOOPsymbol 43 /* no operation required */ |
47 | |
48 | #define COMMANDsymbol 61 /* these tokens should be the last group !! */ |
49 | #define FUNCTIONsymbol 62 /* the designate the signature start */ |
50 | #define FACTORYsymbol 63 /* the co-routine infrastructure */ |
51 | #define PATTERNsymbol 64 /* the MAL self-reflection commands */ |
52 | |
53 | #define FCNcall 50 /* internal symbols */ |
54 | #define FACcall 51 |
55 | #define CMDcall 52 |
56 | #define THRDcall 53 |
57 | #define PATcall 54 /* pattern call */ |
58 | |
59 | #define REMsymbol 99 /* commentary to be retained */ |
60 | |
61 | mal_export str getTypeName(malType tpe); |
62 | mal_export str getTypeIdentifier(malType tpe); |
63 | mal_export int getAtomIndex(const char *nme, size_t len, int deftpe); |
64 | #define idcmp(n, m) strcmp(n, m) |
65 | mal_export int isIdentifier(str s); |
66 | mal_export int findGDKtype(int type); /* used in src/mal/mal_interpreter.c */ |
67 | |
68 | #endif /* MAL_TYPE_H */ |
69 | |