Annotation of rpl/src/rplexternals.h, revision 1.102
1.1 bertrand 1: /*
2: ================================================================================
1.100 bertrand 3: RPL/2 (R) version 4.1.35
4: Copyright (C) 1989-2023 Dr. BERTRAND Joël
1.1 bertrand 5:
6: This file is part of RPL/2.
7:
8: RPL/2 is free software; you can redistribute it and/or modify it
9: under the terms of the CeCILL V2 License as published by the french
10: CEA, CNRS and INRIA.
11:
12: RPL/2 is distributed in the hope that it will be useful, but WITHOUT
13: ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14: FITNESS FOR A PARTICULAR PURPOSE. See the CeCILL V2 License
15: for more details.
16:
17: You should have received a copy of the CeCILL License
18: along with RPL/2. If not, write to info@cecill.info.
19: ================================================================================
20: */
21:
22:
23: #ifndef INCLUSION_RPLARGS
24: # define INCLUSION_RPLARGS
25:
26: /*
27: ================================================================================
28: INCLUSIONS
29: ================================================================================
30: */
31:
1.74 bertrand 32: // Si TYPE_DECLARATION est défini, toutes les structures internes du RPL/2
33: // sont exposés pour travailler sur des nouveaux types de données.
34: # ifndef TYPE_DECLARATION
35: # define RPLARGS
36: # define struct_processus void
37: # endif
38:
1.1 bertrand 39: # include "rpl.h"
40:
41: /*
42: ================================================================================
43: MACROS SPECIFIQUES
44: ================================================================================
45: */
46:
1.52 bertrand 47: #define __RPL__ struct_rpl_arguments *rpl_arguments; \
1.78 bertrand 48: rpl_arguments = &__static_rpl_arguments; \
1.52 bertrand 49:
1.47 bertrand 50: #define __CATCH_SYSTEM_ERROR__ \
51: do { if (((*rpl_arguments).erreur != 0) && \
52: ((*rpl_arguments).type_erreur == 'S')) \
53: return 0; } while(0)
54: #define leave do { return(0); } while(0)
1.74 bertrand 55: #define _allocation(a) librpl_allocation((*rpl_arguments).s_etat_processus, a)
56: #define _copie_objet(a, b) librpl_copie_objet( \
1.8 bertrand 57: (*rpl_arguments).s_etat_processus, a, b)
1.74 bertrand 58: #define _liberation(a) librpl_liberation((*rpl_arguments).s_etat_processus, a)
1.1 bertrand 59:
1.52 bertrand 60: #ifdef __RPLC_MAIN
61: struct_rpl_arguments __static_rpl_arguments;
1.78 bertrand 62: void *__static_library_descriptor;
1.52 bertrand 63: # define global
64: # define initialize(a, b) a = b
1.58 bertrand 65: # define declarePersistantObject(rpl_object) declareObject(rpl_object)
1.52 bertrand 66: #else
67: extern struct_rpl_arguments __static_rpl_arguments;
1.78 bertrand 68: extern void *__static_library_descriptor;
1.52 bertrand 69: # define global extern
70: # define initialize(a, b) a;
1.58 bertrand 71: # define declarePersistantObject(rpl_object) extern struct_objet *rpl_object
1.52 bertrand 72: #endif
73:
74: #define empty int
75:
1.1 bertrand 76: /*
77: --------------------------------------------------------------------------------
1.74 bertrand 78: Gestion des objets
79: --------------------------------------------------------------------------------
80: */
81:
82: // new, dup, drop, disp, parse
83: // __type_new(struct_rpl_arguments *rpl_arguments)
84: #define declareTypeExtension(fct) \
1.75 bertrand 85: int __type_##fct(struct_processus *s_etat_processus, void **arg) { \
86: char *rptr, *ptr, *iptr; \
87: rptr = (char *) ((*s_etat_processus).definitions_chainees + \
88: (*s_etat_processus).position_courante); \
1.74 bertrand 89: ptr = rptr; \
1.75 bertrand 90: iptr = (char *) (*s_etat_processus).instruction_courante; \
91: if ((ptr != rptr) && (iptr)) goto __parse_error;
1.74 bertrand 92: #define parseError { goto __parse_error; } while(0)
1.75 bertrand 93: #define typeError { return(0); } while(0)
1.77 bertrand 94: #define typeSystemError { (*s_etat_processus).erreur_systeme = \
95: d_es_execution_bibliotheque; return(0); } while(0)
1.76 bertrand 96: #define typeSuccess { return(1); } while(0)
1.75 bertrand 97: #define typeFound(a) { return(a); } while(0)
1.74 bertrand 98: #define endTypeExtension __parse_error: return(0); }
99: #define sizeOfParse (rptr - ptr)
1.76 bertrand 100: #define searchType(...) { recherche_type(s_etat_processus); \
1.75 bertrand 101: if (((*s_etat_processus).erreur_execution != d_ex) || \
102: ((*s_etat_processus).erreur_systeme != d_es)) \
1.76 bertrand 103: { __VA_ARGS__; return(0); } } while(0)
1.80 bertrand 104: #define structObject struct_objet
105: #define initializeObject(a, b) do { \
106: (*a).descripteur_bibliotheque = (*b).descripteur_bibliotheque; \
107: (*a).extension_type = (*b).extension_type; } while(0)
1.87 bertrand 108: #define objectContainer(type, a) ((type *) ((*a).objet))
109: #define objectOf(a) ((*a).objet)
1.81 bertrand 110: #define ifIsExternal(a, b) if (((*a).type == EXT) && ((*a).extension_type == b))
111: #define elseIfIsExternal(a, b) } else if (((*a).type == EXT) && \
112: ((*a).extension_type == b))
1.80 bertrand 113: #define subType(a) ((*a).extension_type)
1.77 bertrand 114: #define integerFormat(a) formateur_nombre(s_etat_processus, a, 'I')
1.82 bertrand 115: #define procStatus(a) (*a).s_etat_processus
1.74 bertrand 116:
117: /*
118: --------------------------------------------------------------------------------
1.1 bertrand 119: Types
120: --------------------------------------------------------------------------------
121: */
122:
1.58 bertrand 123: #define declareObject(rpl_object) struct_objet *rpl_object = NULL
1.1 bertrand 124: #define declareInteger(integer) integer8 integer
125: #define declareReal(real) real8 real
126: #define declareComplex(complex) complex16 complex
127: #define declareDaisyChain(daisyChain) struct_liste_chainee *daisyChain = NULL
128:
1.47 bertrand 129: #define getDaisyChainFromList(list, daisyChain) \
130: __CATCH_SYSTEM_ERROR__; \
131: do { \
1.1 bertrand 132: typeof(list) __list = list; \
133: daisyChain = NULL; \
134: ifIsList(__list) { daisyChain = (*__list).objet; } \
135: else executionError("Type mistmatch error"); } while(0)
136:
137: #define fetchElementFromDaisyChain(daisyChain) \
1.47 bertrand 138: ({ __CATCH_SYSTEM_ERROR__; typeof(daisyChain) __daisyChain = daisyChain; \
1.1 bertrand 139: if (__daisyChain == NULL) executionError("End of daisy chain"); \
140: (__daisyChain == NULL) ? NULL : (*__daisyChain).donnee; })
141:
142: #define replaceElementIntoDaisyChain(daisyChain, element) \
1.47 bertrand 143: __CATCH_SYSTEM_ERROR__; \
1.1 bertrand 144: do { typeof(daisyChain) __daisyChain = daisyChain; \
145: if (__daisyChain == NULL) executionError("Nullified daisy chain"); \
1.45 bertrand 146: freeObject((*__daisyChain).donnee); \
1.1 bertrand 147: (*__daisyChain).donnee = element; } while(0)
148:
149: #define nextElementOfDaisyChain(daisyChain) \
1.47 bertrand 150: ({ __CATCH_SYSTEM_ERROR__; typeof(daisyChain) __daisyChain = daisyChain; \
1.1 bertrand 151: if (__daisyChain == NULL) executionError("End of daisy chain"); \
152: (__daisyChain == NULL) ? NULL : (*__daisyChain).suivant; })
1.85 bertrand 153:
1.86 bertrand 154: #define next suivant
155: #define data donnee
156: #define daisyChain struct_liste_chainee
1.1 bertrand 157:
158: #define null NULL
1.47 bertrand 159: #define nullify(ptr) __CATCH_SYSTEM_ERROR__; do { ptr = NULL; } while(0)
1.1 bertrand 160: #define nullified(ptr) ((ptr) == NULL)
161:
162: #define postIncr(x) (x++)
163: #define preIncr(x) (++x)
164: #define postDecr(x) (x--)
165: #define preDecr(x) (--x)
166:
167: #define eq ==
168: #define ne !=
169: #define ge >=
170: #define gt >
171: #define le <=
172: #define lt <
173: #define not !
174: #define and &&
175: #define or ||
176: #define false 0
177: #define true -1
178:
179: #define setFalse(a) a = false
180: #define setTrue(a) a = true
181:
182: #define logical int
183: #define string char *
184: #define integer int
185:
186: #define declareStructure typedef struct {
187: #define declareUnion typedef union {
188: #define as(name) } name;
189:
1.80 bertrand 190: #define target(a) (*(a))
191: #define address(a) (&(a))
1.1 bertrand 192:
1.65 bertrand 193: #define subroutine(name) int name()
1.47 bertrand 194: #define beginGroup { __CATCH_SYSTEM_ERROR__;
195: #define endGroup __CATCH_SYSTEM_ERROR__; }
1.46 bertrand 196: #define beginMacro do beginGroup
1.1 bertrand 197: #define endMacro endGroup while(0)
1.58 bertrand 198: #define stopRequest ({ __CATCH_SYSTEM_ERROR__; \
199: test_arret((*rpl_arguments).s_etat_processus); })
1.1 bertrand 200:
201: /*
202: --------------------------------------------------------------------------------
1.44 bertrand 203: Signaux
204: --------------------------------------------------------------------------------*/
205:
206: #define blockSignals \
1.47 bertrand 207: { __CATCH_SYSTEM_ERROR__; sigset_t set, oldset; sigfillset(&set); \
1.44 bertrand 208: pthread_sigmask(SIG_BLOCK, &set, &oldset);
209: #define unblockSignals \
1.47 bertrand 210: pthread_sigmask(SIG_SETMASK, &oldset, NULL); __CATCH_SYSTEM_ERROR__; }
1.44 bertrand 211:
212: /*
213: --------------------------------------------------------------------------------
1.1 bertrand 214: Constructeurs
215: --------------------------------------------------------------------------------
216: */
217:
1.31 bertrand 218: #define DISABLE_SET_BUT_NOT_USED_WARNING(a) if (&a != ((&a) + 1));
219:
1.1 bertrand 220: #define HEADER \
221: int __constante; \
222: logical1 __evaluation; \
223: logical1 __validation_instruction = d_faux; \
224: logical1 __presence_aide = d_faux; \
225: logical1 __presence_validation = d_faux; \
226: unsigned char __indice_bit; \
227: unsigned char __indice_bloc; \
228: unsigned char __taille_bloc; \
229: unsigned char __type; \
230: t_8_bits __masque; \
1.85 bertrand 231: void *s_etat_processus = (*rpl_arguments).s_etat_processus; \
232: DISABLE_SET_BUT_NOT_USED_WARNING(s_etat_processus); \
1.1 bertrand 233: { \
234: (*rpl_arguments).instruction_valide = 'Y'; \
235: (*rpl_arguments).erreur = 0; \
236: __constante = 0; \
1.31 bertrand 237: __evaluation = d_faux; \
238: DISABLE_SET_BUT_NOT_USED_WARNING(__evaluation); \
239: DISABLE_SET_BUT_NOT_USED_WARNING(__type); \
240: DISABLE_SET_BUT_NOT_USED_WARNING(__indice_bit); \
241: DISABLE_SET_BUT_NOT_USED_WARNING(__indice_bloc); \
242: DISABLE_SET_BUT_NOT_USED_WARNING(__taille_bloc); \
243: DISABLE_SET_BUT_NOT_USED_WARNING(__masque);
1.1 bertrand 244:
245: #define FUNCTION \
1.47 bertrand 246: if (__validation_instruction == d_vrai) return 0; \
1.1 bertrand 247: if (__presence_aide == d_faux) \
248: { \
249: systemError("Help string not defined"); \
250: } \
251: else if (__presence_validation == d_faux) \
252: { \
253: systemError("Number of arguments not defined"); \
254: } \
255: __indice_bit = 0; \
256: __indice_bloc = 0; \
257: __taille_bloc = 0; \
258: __type = 0; \
259: __masque = 0; \
260: {
261:
262: #define END \
263: strcpy((char *) __function_name, ""); \
264: if (__constante != 0) \
265: systemError("Constant definition error"); \
1.47 bertrand 266: __CATCH_SYSTEM_ERROR__; \
1.1 bertrand 267: } } \
1.47 bertrand 268: leave;
1.1 bertrand 269:
270: /*
271: --------------------------------------------------------------------------------
1.45 bertrand 272: Destruction d'un objet
273: --------------------------------------------------------------------------------
274: */
275:
1.58 bertrand 276: #define freeObject(rpl_object) \
1.47 bertrand 277: __CATCH_SYSTEM_ERROR__; \
1.46 bertrand 278: do { \
1.58 bertrand 279: if (rpl_object == NULL) \
1.45 bertrand 280: systemError("Nullified object"); \
1.74 bertrand 281: _liberation(rpl_object); \
1.58 bertrand 282: rpl_object = NULL; \
1.45 bertrand 283: } while(0)
284:
285: /*
286: --------------------------------------------------------------------------------
287: Copie d'un objet
288: --------------------------------------------------------------------------------
289: */
290:
1.58 bertrand 291: #define dupObject(rpl_object) \
1.47 bertrand 292: __CATCH_SYSTEM_ERROR__; \
1.74 bertrand 293: do { if (_copie_objet(rpl_object, 'P') != rpl_object) \
1.45 bertrand 294: systemError("Memory allocation error"); } while(0)
295:
296: /*
297: --------------------------------------------------------------------------------
298: Déclaration des fonctions internes
299: --------------------------------------------------------------------------------
300: */
301:
1.74 bertrand 302: #define CONCAT(a, b) __RPL_CONCAT(a, b)
303: #define __RPL_CONCAT(a, b) a##b
1.51 bertrand 304: #define FIRST(...) FIRST_HELPER(__VA_ARGS__, throwaway)
305: #define FIRST_HELPER(first, ...) first
306: #define REST(...) REST_HELPER(NUM(__VA_ARGS__), __VA_ARGS__)
307: #define REST_HELPER(qty, ...) REST_HELPER2(qty, __VA_ARGS__)
308: #define REST_HELPER2(qty, ...) REST_HELPER_##qty(__VA_ARGS__)
309: #define REST_HELPER_ONE(first)
310: #define REST_HELPER_TWOORMORE(first, ...) , __VA_ARGS__
311: #define NUM(...) \
312: SELECT_10TH(__VA_ARGS__, TWOORMORE, TWOORMORE, TWOORMORE, TWOORMORE,\
313: TWOORMORE, TWOORMORE, TWOORMORE, TWOORMORE, ONE, throwaway)
314: #define SELECT_10TH(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, ...) a10
315:
316: #define declareInternalFunction(type, ...) \
317: type CONCAT(__internal_, FIRST(__VA_ARGS__)) \
318: (struct_rpl_arguments *rpl_arguments REST(__VA_ARGS__)) { \
319: type __internal_return; __internal_return = 0; int __type; \
320: DISABLE_SET_BUT_NOT_USED_WARNING(__type);
321:
322: #define endInternalFunction return(__internal_return); }
323:
324: #define useInternalFunction(type, ...) \
325: type CONCAT(__internal_, FIRST(__VA_ARGS__)) \
326: (struct_rpl_arguments *rpl_arguments REST(__VA_ARGS__))
1.45 bertrand 327:
1.51 bertrand 328: #define callInternalFunction(...) \
329: CONCAT(__internal_, FIRST(__VA_ARGS__))(rpl_arguments REST(__VA_ARGS__))
1.45 bertrand 330:
331: /*
332: --------------------------------------------------------------------------------
1.47 bertrand 333: Déclaration des fonctions C
334: --------------------------------------------------------------------------------
335: */
336:
337: #define declareCFunction(type, name, ...) \
1.51 bertrand 338: type name(__VA_ARGS__) { __RPL__ type __c_return;
339: #define endCFunction return(__c_return); }
1.47 bertrand 340:
1.52 bertrand 341: #define useCFunction(type, name, ...) type name(__VA_ARGS__)
342:
1.47 bertrand 343: /*
344: --------------------------------------------------------------------------------
1.1 bertrand 345: Déclaration des fonctions externes
346: --------------------------------------------------------------------------------
347: */
348:
349: #define declareExternalFunction(name) \
1.47 bertrand 350: int __external_##name(struct_rpl_arguments *rpl_arguments) { \
1.45 bertrand 351: char __function_name[] = "__external_"#name; \
352: __static_rpl_arguments = (*rpl_arguments);
1.1 bertrand 353:
354: #define useExternalFunction(function) \
1.47 bertrand 355: int __external_##function(struct_rpl_arguments *rpl_arguments)
1.1 bertrand 356:
357: #define libraryName(name) char __library_name[] = #name;
358:
1.78 bertrand 359: #define __onLoading int __runOnLoading(struct_rpl_arguments *rpl_arguments, \
360: void *descriptor)
361: #define __onClosing int __runOnClosing(struct_rpl_arguments *rpl_arguments, \
362: void *descriptor)
1.1 bertrand 363: #define declareSubroutine(when) __##when { \
364: char __function_name[] = #when; \
1.45 bertrand 365: __static_rpl_arguments = (*rpl_arguments); \
1.78 bertrand 366: __static_library_descriptor = descriptor; \
1.1 bertrand 367: HEADER \
368: declareHelpString(""); \
369: numberOfArguments(0); \
370: FUNCTION
371: #define endSubroutine END }
372:
1.47 bertrand 373: #define notice(s, ...) __CATCH_SYSTEM_ERROR__; \
1.84 bertrand 374: do { ufprintf(s, __VA_ARGS__); fflush(s); } while(0)
1.47 bertrand 375: #define logger(...) __CATCH_SYSTEM_ERROR__; \
376: do { syslog(LOG_NOTICE, __VA_ARGS__); } while(0)
1.1 bertrand 377:
378: #define exportExternalFunctions(...) \
1.77 bertrand 379: char **___external_symbols(struct_rpl_arguments *rpl_arguments, \
1.47 bertrand 380: integer8 *nb_symbols, \
1.10 bertrand 381: const char *version) { \
1.1 bertrand 382: char arguments[] = #__VA_ARGS__; \
383: char **tableau; \
384: char *ptr1, *ptr2; \
385: int drapeau; \
386: unsigned long i; \
1.65 bertrand 387: struct_processus *s_etat_processus; \
388: s_etat_processus = (*rpl_arguments).s_etat_processus; \
1.10 bertrand 389: if (strcmp(version, _d_version_rpl) != 0) \
390: { \
1.15 bertrand 391: notice(stdout, "Versions mismatch : library %s, expected %s\n", \
392: _d_version_rpl, version); \
1.10 bertrand 393: (*nb_symbols) = -1; return(NULL); \
394: } \
1.1 bertrand 395: (*nb_symbols) = 0; ptr1 = arguments; drapeau = 0; \
396: while((*ptr1) != 0) \
397: { \
398: if (((*ptr1) != ',') && ((*ptr1) != ' ')) drapeau = -1; \
399: ptr1++; \
400: } \
401: if (drapeau == 0) return(NULL); \
402: ptr1 = arguments; (*nb_symbols) = 1; \
403: while((*ptr1) != 0) if ((*ptr1++) == ',') (*nb_symbols)++; \
404: if ((tableau = malloc((*nb_symbols) * sizeof(char *))) == NULL) \
405: return(NULL); \
406: ptr2 = arguments; i = 0; \
407: while(*ptr2 != 0) \
408: { \
409: while(((*ptr2) == ' ') || ((*ptr2) == ',')) ptr2++; \
410: ptr1 = ptr2; \
411: while(((*ptr2) != 0) && ((*ptr2) != ',') && ((*ptr2) != ' ')) \
412: ptr2++; \
413: if ((tableau[i] = malloc((ptr2 + 2 + \
414: strlen(__library_name) - ptr1) * \
415: sizeof(unsigned char))) == NULL) \
416: return(NULL); \
417: sprintf(tableau[i], "%s$", __library_name); \
418: strncat(&tableau[i][strlen(tableau[i])], ptr1, ptr2 - ptr1); \
419: i++; \
420: if ((*ptr2) != 0) \
421: { \
422: while((*ptr2) == ' ') ptr2++; \
423: if ((*ptr2) == ',') ptr2++; \
424: } \
425: } \
426: (*nb_symbols) = i; \
427: return(tableau); \
428: }
429:
1.47 bertrand 430: #define endExternalFunction leave; }
1.1 bertrand 431:
1.46 bertrand 432: #define callExternalFunction(function) do { \
1.47 bertrand 433: __CATCH_SYSTEM_ERROR__; \
1.1 bertrand 434: __taille_bloc = sizeof(t_8_bits) * 8; \
435: __indice_bloc = (35 - 1) / __taille_bloc; \
436: __indice_bit = (35 - 1) % __taille_bloc; \
437: __masque = ((t_8_bits) 1) << (__taille_bloc - __indice_bit - 1); \
438: __evaluation = ((*rpl_arguments).drapeaux_etat[__indice_bloc] & __masque) \
439: ? d_vrai : d_faux; \
440: __masque = ~(((t_8_bits) 1) << (__taille_bloc - __indice_bit - 1)); \
441: (*rpl_arguments).drapeaux_etat[__indice_bloc] &= __masque; \
442: __external_##function(rpl_arguments); \
443: if (__evaluation == d_vrai) \
444: { \
445: __masque = ((t_8_bits) 1) << (__taille_bloc - __indice_bit - 1); \
446: (*rpl_arguments).drapeaux_etat[__indice_bloc] |= __masque; \
447: } \
448: else \
449: { \
450: __masque = ~(((t_8_bits) 1) << (__taille_bloc - __indice_bit - 1)); \
451: (*rpl_arguments).drapeaux_etat[__indice_bloc] &= __masque; \
452: } } while(0)
453:
454: /*
455: --------------------------------------------------------------------------------
456: Macros spécifiques à l'en-tête
457: --------------------------------------------------------------------------------
458: */
459:
1.46 bertrand 460: #define declareHelpString(h) do { \
1.1 bertrand 461: __presence_aide = d_vrai; \
462: if ((*rpl_arguments).affichage_arguments == 'Y') \
463: { \
464: uprintf("%s\n", h); \
1.47 bertrand 465: return 0; \
1.1 bertrand 466: } } while(0)
467:
1.46 bertrand 468: #define declareSymbolicConstant do { \
1.1 bertrand 469: numberOfArguments(0); \
470: (*rpl_arguments).constante_symbolique = 'Y'; \
471: __constante++; } while(0)
472:
1.46 bertrand 473: #define numberOfArguments(n) do { \
1.1 bertrand 474: __presence_validation = d_vrai; \
475: if ((*rpl_arguments).test_instruction == 'Y') \
476: { \
477: if (n < 0) \
478: systemError("Number of arguments must be positive or null"); \
479: (*rpl_arguments).nombre_arguments = n; \
480: __validation_instruction = d_vrai; \
481: } \
482: else \
483: { \
484: __taille_bloc = sizeof(t_8_bits) * 8; \
485: __indice_bloc = (31 - 1) / __taille_bloc; \
486: __indice_bit = (31 - 1) % __taille_bloc; \
487: __masque = ((t_8_bits) 1) << (__taille_bloc - __indice_bit - 1); \
488: if (((*rpl_arguments).drapeaux_etat[__indice_bloc] & __masque) != 0) \
489: { \
490: (*rpl_arguments).l_base_pile_last = \
491: sauvegarde_arguments(rpl_arguments, n); \
492: } \
493: } } while(0)
494:
495: /*
496: --------------------------------------------------------------------------------
497: Gestion des boucles
498: --------------------------------------------------------------------------------
499: */
500:
501: #define loop(b, e, s) for(b; e; s) {
1.47 bertrand 502: #define endLoop __CATCH_SYSTEM_ERROR__; }
1.1 bertrand 503:
504: #define repeatWhile(c) while(c) {
1.47 bertrand 505: #define endWhile __CATCH_SYSTEM_ERROR__; }
1.1 bertrand 506:
507: #define doUntil do {
1.47 bertrand 508: #define repeatUntil(c) __CATCH_SYSTEM_ERROR__; } while(!(c));
1.1 bertrand 509:
510: #define select(s) switch(s) {
1.47 bertrand 511: #define endSelect __CATCH_SYSTEM_ERROR__; }
1.1 bertrand 512: #define nonExclusiveCase(c) case c: {
1.47 bertrand 513: #define endNonExclusiveCase __CATCH_SYSTEM_ERROR__; }
1.1 bertrand 514: #define exclusiveCase(c) case c: {
1.47 bertrand 515: #define endExclusiveCase break; __CATCH_SYSTEM_ERROR__; }
1.1 bertrand 516: #define defaultCase default:
1.47 bertrand 517: #define endDefaultCase break; __CATCH_SYSTEM_ERROR__; }
1.1 bertrand 518:
519: /*
520: --------------------------------------------------------------------------------
521: Gestion des erreurs
522: --------------------------------------------------------------------------------
523: */
524:
1.46 bertrand 525: #define returnOnError(...) do { \
1.1 bertrand 526: if ((*rpl_arguments).erreur != 0) \
527: { \
528: __VA_ARGS__; \
1.47 bertrand 529: return 0; \
1.1 bertrand 530: } } while(0)
531:
1.46 bertrand 532: #define systemError(message) do { \
1.1 bertrand 533: (*rpl_arguments).erreur = __LINE__; \
534: (*rpl_arguments).type_erreur = 'S'; \
535: (*rpl_arguments).message_erreur = (unsigned char *) message; \
1.47 bertrand 536: return 0; } while(0)
1.1 bertrand 537:
1.46 bertrand 538: #define executionError(message) do { \
1.1 bertrand 539: (*rpl_arguments).erreur = __LINE__; \
540: (*rpl_arguments).type_erreur = 'E'; \
541: (*rpl_arguments).message_erreur = (unsigned char *) message; } while(0)
542:
1.46 bertrand 543: #define onSystemError(...) do { \
1.47 bertrand 544: if (((*rpl_arguments).erreur != 0) && \
545: ((*rpl_arguments).type_erreur == 'S')) \
1.45 bertrand 546: { \
547: blockSignals; \
548: kill(getpid(), SIGTERM); \
549: unblockSignals; \
1.47 bertrand 550: __VA_ARGS__; \
1.45 bertrand 551: } } while(0)
552:
1.1 bertrand 553: #define onError(...) \
1.47 bertrand 554: __CATCH_SYSTEM_ERROR__; \
1.1 bertrand 555: do { if (((*rpl_arguments).type_erreur == 'E') && \
556: ((*rpl_arguments).erreur != 0)) { __VA_ARGS__; \
557: (*rpl_arguments).erreur = 0; } } while(0)
558:
559: #define onExecution(...) \
1.47 bertrand 560: __CATCH_SYSTEM_ERROR__; \
1.1 bertrand 561: do { if (((*rpl_arguments).type_erreur == 'E') && \
562: ((*rpl_arguments).erreur == 0)) { __VA_ARGS__; } } while(0)
563:
564: /*
565: --------------------------------------------------------------------------------
566: Gestion de la pile opérationnelle
567: --------------------------------------------------------------------------------
568: */
569:
1.58 bertrand 570: #define pushOnStack(rpl_object) do { \
1.47 bertrand 571: __CATCH_SYSTEM_ERROR__; \
1.1 bertrand 572: if (((*rpl_arguments).l_base_pile = \
1.58 bertrand 573: empilement_pile_operationnelle(rpl_arguments, rpl_object)) \
574: == NULL) \
1.1 bertrand 575: systemError("Memory allocation error"); \
1.58 bertrand 576: if ((*rpl_object).nombre_occurrences == 1) rpl_object = NULL; } while(0)
1.1 bertrand 577:
1.58 bertrand 578: #define pullFromStack(rpl_object, ...) do { \
1.47 bertrand 579: __CATCH_SYSTEM_ERROR__; \
1.1 bertrand 580: (*rpl_arguments).l_base_pile = \
1.58 bertrand 581: depilement_pile_operationnelle(rpl_arguments, &rpl_object); \
582: if (rpl_object == NULL) \
1.1 bertrand 583: { \
584: executionError("Too few arguments"); \
585: } \
586: else \
587: { \
588: if (strlen(#__VA_ARGS__) == 0) \
589: { \
590: systemError("Undefined type"); \
591: } \
592: else \
593: { \
594: __type = 0; \
1.101 bertrand 595: if (strstr(#__VA_ARGS__, "integerVector") != NULL) { \
596: if ((*rpl_object).type == VIN) __type = 1; } \
597: else if (strstr(#__VA_ARGS__, "realVector") != NULL) { \
598: if ((*rpl_object).type == VRL) __type = 1; } \
599: else if (strstr(#__VA_ARGS__, "complexVector") != NULL) { \
600: if ((*rpl_object).type == VCX) __type = 1; } \
601: else if (strstr(#__VA_ARGS__, "integer") != NULL) { \
602: if ((*rpl_object).type == INT) __type = 1; } \
603: else if (strstr(#__VA_ARGS__, "real") != NULL) { \
604: if ((*rpl_object).type == REL) __type = 1; } \
605: else if (strstr(#__VA_ARGS__, "complex") != NULL) { \
606: if ((*rpl_object).type == CPL) __type = 1; } \
607: else if (strstr(#__VA_ARGS__, "string") != NULL) { \
608: if ((*rpl_object).type == CHN) __type = 1; } \
609: else if (strstr(#__VA_ARGS__, "list") != NULL) { \
610: if ((*rpl_object).type == LST) __type = 1; } \
611: else if (strstr(#__VA_ARGS__, "external") != NULL) { \
1.78 bertrand 612: if ((*rpl_object).type == EXT) { \
613: if ((*rpl_object).descripteur_bibliotheque == \
1.101 bertrand 614: __static_library_descriptor) __type = 1; } }\
615: else if (strstr(#__VA_ARGS__, "unknown") != NULL) { \
616: __type = 1; } \
1.1 bertrand 617: if (__type == 0) \
618: { \
619: executionError("Type not allowed"); \
620: } \
621: } \
622: } } while(0)
623:
1.78 bertrand 624: #define objectSubtype(a) (*a).extension_type
625:
1.1 bertrand 626: /*
627: --------------------------------------------------------------------------------
628: Gestion des objets
629: --------------------------------------------------------------------------------
630: */
631:
632: #define then {
1.47 bertrand 633: #define endIf __CATCH_SYSTEM_ERROR__; }
634: #define elseIf __CATCH_SYSTEM_ERROR__; } else if
635: #define orElse __CATCH_SYSTEM_ERROR__; } else {
1.1 bertrand 636:
637: // Constantes symboliques
638:
1.58 bertrand 639: #define createSymbolicConstant(rpl_object, type, value) do { \
1.65 bertrand 640: struct_processus *s_etat_processus; \
641: s_etat_processus = (*rpl_arguments).s_etat_processus; \
1.1 bertrand 642: if ((strcmp(#type, "integer") != 0) && (strcmp(#type, "real") != 0)) \
643: systemError("Type not allowed for symbolic constant"); \
644: __taille_bloc = sizeof(t_8_bits) * 8; \
645: __indice_bloc = (35 - 1) / __taille_bloc; \
646: __indice_bit = (35 - 1) % __taille_bloc; \
647: __masque = ((t_8_bits) 1) << (__taille_bloc - __indice_bit - 1); \
648: if (((*rpl_arguments).drapeaux_etat[__indice_bloc] & __masque) != 0) \
649: { \
1.58 bertrand 650: createNameObject(rpl_object); \
1.47 bertrand 651: __CATCH_SYSTEM_ERROR__; \
1.1 bertrand 652: { \
653: char *__constant_name; \
654: if ((__constant_name = malloc((strlen(__library_name) + \
655: strlen(__function_name) - 9) * sizeof(char))) == NULL) \
656: systemError("Memory allocation error"); \
657: sprintf(__constant_name, "%s$%s", __library_name, \
658: &(__function_name[11])); \
1.58 bertrand 659: setName(rpl_object, __constant_name); \
1.1 bertrand 660: free(__constant_name); \
661: } \
662: } \
663: else \
664: { \
665: if (strcmp(#type, "integer") == 0) \
666: { \
1.58 bertrand 667: createIntegerObject(rpl_object); \
1.47 bertrand 668: __CATCH_SYSTEM_ERROR__; \
1.58 bertrand 669: setInteger(rpl_object, value); \
1.1 bertrand 670: } \
671: else if (strcmp(#type, "real") == 0) \
672: { \
1.58 bertrand 673: createRealObject(rpl_object); \
1.47 bertrand 674: __CATCH_SYSTEM_ERROR__; \
1.58 bertrand 675: setReal(rpl_object, value); \
1.1 bertrand 676: } \
677: } \
1.47 bertrand 678: __CATCH_SYSTEM_ERROR__; \
1.1 bertrand 679: __constante--; } while(0)
680:
1.58 bertrand 681: #define createSymbolicComplexConstant(rpl_object, rp, ip) do { \
1.65 bertrand 682: struct_processus *s_etat_processus; \
683: s_etat_processus = (*rpl_arguments).s_etat_processus; \
1.1 bertrand 684: __taille_bloc = sizeof(t_8_bits) * 8; \
685: __indice_bloc = (35 - 1) / __taille_bloc; \
686: __indice_bit = (35 - 1) % __taille_bloc; \
687: __masque = ((t_8_bits) 1) << (__taille_bloc - __indice_bit - 1); \
688: if (((*rpl_arguments).drapeaux_etat[__indice_bloc] & __masque) != 0) \
689: { \
1.58 bertrand 690: createNameObject(rpl_object); \
1.47 bertrand 691: __CATCH_SYSTEM_ERROR__; \
1.1 bertrand 692: { \
693: char *__constant_name; \
694: if ((__constant_name = malloc((strlen(__library_name) + \
695: strlen(__function_name) + 2) * sizeof(char))) == NULL) \
696: systemError("Memory allocation error"); \
697: sprintf(__constant_name, "%s$%s", __library_name, \
698: __function_name); \
1.58 bertrand 699: setName(rpl_object, __constant_name); \
1.1 bertrand 700: free(__constant_name); \
701: } \
702: } \
703: else \
704: { \
1.58 bertrand 705: createComplexObject(rpl_object); \
1.47 bertrand 706: __CATCH_SYSTEM_ERROR__; \
1.58 bertrand 707: setComplex(rpl_object, rp, im); \
1.1 bertrand 708: } \
1.47 bertrand 709: __CATCH_SYSTEM_ERROR__; \
1.1 bertrand 710: __constante--; } while(0)
711:
712: // Integer
713:
1.58 bertrand 714: #define setInteger(rpl_object, value) do { \
715: ifIsInteger(rpl_object) \
1.1 bertrand 716: { \
1.58 bertrand 717: if ((*rpl_object).nombre_occurrences > 1) \
1.1 bertrand 718: { \
1.58 bertrand 719: struct_objet *__tmp_rpl_object; \
1.74 bertrand 720: if ((__tmp_rpl_object = _copie_objet(rpl_object, 'O')) == NULL) \
1.1 bertrand 721: systemError("Memory allocation error"); \
1.74 bertrand 722: _liberation(rpl_object); \
1.58 bertrand 723: rpl_object = __tmp_rpl_object; \
1.1 bertrand 724: } \
1.58 bertrand 725: (*((integer8 *) (*rpl_object).objet)) = (integer8) value; \
1.1 bertrand 726: } \
727: else executionError("Type mistmatch error"); } while(0)
728:
1.58 bertrand 729: #define isInteger(rpl_object) \
730: ((*rpl_object).type == INT)
1.1 bertrand 731:
1.58 bertrand 732: #define ifIsInteger(rpl_object) if (isInteger(rpl_object))
733: #define elseIfIsInteger(rpl_object) } else ifIsInteger(rpl_object)
1.1 bertrand 734:
1.58 bertrand 735: #define getInteger(rpl_object, value) do { \
1.1 bertrand 736: value = 0; \
1.58 bertrand 737: ifIsInteger(rpl_object) value = (*((integer8 *) (*rpl_object).objet)); \
1.1 bertrand 738: else executionError("Type mismatch error"); } while(0)
739:
1.58 bertrand 740: #define createIntegerObject(rpl_object) do { \
741: if (rpl_object != NULL) \
1.1 bertrand 742: systemError("Reallocated object"); \
1.74 bertrand 743: if ((rpl_object = _allocation(INT)) == NULL) \
1.1 bertrand 744: systemError("Memory allocation error"); \
1.58 bertrand 745: setInteger(rpl_object, 0); } while(0)
1.1 bertrand 746:
747: // Real
748:
1.58 bertrand 749: #define setReal(rpl_object, value) do { \
750: ifIsReal(rpl_object) \
1.1 bertrand 751: { \
1.58 bertrand 752: if ((*rpl_object).nombre_occurrences > 1) \
1.1 bertrand 753: { \
1.58 bertrand 754: struct_objet *__tmp_rpl_object; \
1.74 bertrand 755: if ((__tmp_rpl_object = _copie_objet(rpl_object, 'O')) == NULL) \
1.1 bertrand 756: systemError("Memory allocation error"); \
1.74 bertrand 757: _liberation(rpl_object); \
1.58 bertrand 758: rpl_object = __tmp_rpl_object; \
1.1 bertrand 759: } \
1.58 bertrand 760: (*((real8 *) (*rpl_object).objet)) = (real8) value; \
1.1 bertrand 761: } \
762: else executionError("Type mistmatch error"); } while(0)
763:
1.58 bertrand 764: #define isReal(rpl_object) \
765: ((*rpl_object).type == REL)
1.1 bertrand 766:
1.58 bertrand 767: #define ifIsReal(rpl_object) if (isReal(rpl_object))
768: #define elseIfIsReal(rpl_object) } else ifIsReal(rpl_object)
1.1 bertrand 769:
1.58 bertrand 770: #define getReal(rpl_object, value) do { \
1.1 bertrand 771: value = 0; \
1.58 bertrand 772: ifIsReal(rpl_object) value = (*((real8 *) (*rpl_object).objet)); \
1.1 bertrand 773: else executionError("Type mismatch error"); } while(0)
774:
1.58 bertrand 775: #define createRealObject(rpl_object) do { \
776: if (rpl_object != NULL) \
1.1 bertrand 777: systemError("Reallocated object"); \
1.74 bertrand 778: if ((rpl_object = _allocation(REL)) == NULL) \
1.1 bertrand 779: systemError("Memory allocation error"); \
1.58 bertrand 780: setReal(rpl_object, 0); } while(0)
1.1 bertrand 781:
782: // Complex
783:
1.58 bertrand 784: #define setComplex(rpl_object, rp, ip) do { \
1.1 bertrand 785: typeof(rp) __rp = rp; \
786: typeof(ip) __ip = ip; \
1.58 bertrand 787: ifIsComplex(rpl_object) \
1.1 bertrand 788: { \
1.58 bertrand 789: if ((*rpl_object).nombre_occurrences > 1) \
1.1 bertrand 790: { \
1.58 bertrand 791: struct_objet *__tmp_rpl_object; \
1.74 bertrand 792: if ((__tmp_rpl_object = _copie_objet(rpl_object, 'O')) == NULL) \
1.1 bertrand 793: systemError("Memory allocation error"); \
1.74 bertrand 794: _liberation(rpl_object); \
1.58 bertrand 795: rpl_object = __tmp_rpl_object; \
1.1 bertrand 796: } \
1.58 bertrand 797: setRealPartOfComplex(rpl_object, __rp); \
798: setImaginaryPartOfComplex(rpl_object, __ip); \
1.1 bertrand 799: } \
800: else executionError("Type mismatch error"); } while(0)
801:
1.58 bertrand 802: #define setRealPartOfComplex(rpl_object, value) do { \
803: if ((*rpl_object).nombre_occurrences > 1) \
1.1 bertrand 804: { \
1.58 bertrand 805: struct_objet *__tmp_rpl_object; \
1.74 bertrand 806: if ((__tmp_rpl_object = _copie_objet(rpl_object, 'O')) == NULL) \
1.1 bertrand 807: systemError("Memory allocation error"); \
1.74 bertrand 808: _liberation(rpl_object); \
1.58 bertrand 809: rpl_object = __tmp_rpl_object; \
1.1 bertrand 810: } \
1.58 bertrand 811: ifIsComplex(rpl_object) (*((complex16 *) (*rpl_object).objet)) \
812: .partie_reelle = value; \
1.1 bertrand 813: else executionError("Type mismatch error"); } while(0)
814:
1.58 bertrand 815: #define setImaginaryPartOfComplex(rpl_object, value) do { \
816: if ((*rpl_object).nombre_occurrences > 1) \
1.1 bertrand 817: { \
1.58 bertrand 818: struct_objet *__tmp_rpl_object; \
1.74 bertrand 819: if ((__tmp_rpl_object = _copie_objet(rpl_object, 'O')) == NULL) \
1.1 bertrand 820: systemError("Memory allocation error"); \
1.74 bertrand 821: _liberation(rpl_object); \
1.58 bertrand 822: rpl_object = __tmp_rpl_object; \
1.1 bertrand 823: } \
1.58 bertrand 824: (*((complex16 *) (*rpl_object).objet)).partie_imaginaire = value; \
1.1 bertrand 825: else executionError("Type mismatch error"); } while(0)
826:
1.58 bertrand 827: #define getRealPartOfComplex(rpl_object, value) \
828: value = (*((complex16 *) (*rpl_object).objet)).partie_reelle
1.1 bertrand 829:
1.58 bertrand 830: #define getImaginaryPartOfComplex(rpl_object, value) \
831: value = (*((complex16 *) (*rpl_object).objet)).partie_imaginaire
1.1 bertrand 832:
1.58 bertrand 833: #define isComplex(rpl_object) \
834: ((*rpl_object).type == CPL)
1.1 bertrand 835:
1.58 bertrand 836: #define ifIsComplex(rpl_object) if (isComplex(rpl_object))
837: #define elseIfIsComplex(rpl_object) } else ifIsComplex(rpl_object)
1.1 bertrand 838:
1.58 bertrand 839: #define getComplex(rpl_object, value) do { \
1.1 bertrand 840: value.partie_reelle = 0; \
841: value.partie_imaginaire = 0; \
1.58 bertrand 842: ifIsComplex(rpl_object) value = (*((complex16 *) (*rpl_object).objet)); \
1.1 bertrand 843: else systemError("Not a complex"); } while(0)
844:
1.58 bertrand 845: #define createComplexObject(rpl_object) do { \
846: if (rpl_object != NULL) \
1.1 bertrand 847: systemError("Reallocated object"); \
1.74 bertrand 848: if ((rpl_object = _allocation(CPL)) == NULL) \
1.1 bertrand 849: systemError("Memory allocation error"); \
1.58 bertrand 850: setComplex(rpl_object, 0, 0); } while(0)
1.1 bertrand 851:
852: // Generalized vectors
853:
1.58 bertrand 854: #define createVectorObject(rpl_object, size, otype, structure, cat) do { \
1.1 bertrand 855: integer8 i; \
1.65 bertrand 856: struct_processus *s_etat_processus; \
857: s_etat_processus = (*rpl_arguments).s_etat_processus; \
1.58 bertrand 858: if (rpl_object != NULL) \
1.1 bertrand 859: systemError("Reallocated object"); \
1.74 bertrand 860: if ((rpl_object = _allocation(cat)) == NULL) \
1.1 bertrand 861: systemError("Memory allocation error"); \
1.58 bertrand 862: (*((structure *) (*rpl_object).objet)).taille = size; \
863: if (((*((structure *) (*rpl_object).objet)).tableau = \
1.1 bertrand 864: malloc(size * sizeof(otype))) == NULL) \
865: systemError("Memory allocation error"); \
866: if (cat != VCX) \
867: { \
868: if (cat == VIN) \
1.58 bertrand 869: (*((structure *) (*rpl_object).objet)).type = 'I'; \
1.1 bertrand 870: else \
1.58 bertrand 871: (*((structure *) (*rpl_object).objet)).type = 'R'; \
872: for(i = 0; i < size; ((otype *) (*((structure *) (*rpl_object).objet)) \
1.1 bertrand 873: .tableau)[i++] = (otype) 0); \
874: } \
875: else \
876: { \
1.58 bertrand 877: (*((structure *) (*rpl_object).objet)).type = 'C'; \
1.1 bertrand 878: for(i = 0; i < size; i++) \
879: { \
1.58 bertrand 880: ((complex16 *) (*((structure *) (*rpl_object).objet)).tableau)[i] \
1.1 bertrand 881: .partie_reelle = 0; \
1.58 bertrand 882: ((complex16 *) (*((structure *) (*rpl_object).objet)).tableau)[i] \
1.1 bertrand 883: .partie_imaginaire = 0; \
884: } \
885: } } while(0)
886:
1.101 bertrand 887: #define vectorSize(rpl_object) \
1.102 ! bertrand 888: ({ integer8 __size; if (((*rpl_object).type == VIN) || \
! 889: ((*rpl_object).type == VRL) || \
! 890: ((*rpl_object).type == VCX)) \
! 891: __size = (*((struct_vecteur *) (*rpl_object).objet)).taille; \
! 892: else executionError("Type mistmatch error"); __size; })
1.101 bertrand 893:
1.1 bertrand 894: // Integer vector
895:
1.58 bertrand 896: #define setIntegerIntoVector(rpl_object, value, position) do { \
1.1 bertrand 897: typeof(position) __position = position; \
1.58 bertrand 898: ifIsIntegerVector(rpl_object) \
1.1 bertrand 899: { \
1.58 bertrand 900: if ((*rpl_object).nombre_occurrences > 1) \
1.1 bertrand 901: { \
1.58 bertrand 902: struct_objet *__tmp_rpl_object; \
1.74 bertrand 903: if ((__tmp_rpl_object = _copie_objet(rpl_object, 'O')) == NULL) \
1.1 bertrand 904: systemError("Memory allocation error"); \
1.74 bertrand 905: _liberation(rpl_object); \
1.58 bertrand 906: rpl_object = __tmp_rpl_object; \
1.1 bertrand 907: } \
908: __position--; \
909: if ((__position < 0) || (__position >= (*((struct_vecteur *) \
1.58 bertrand 910: (*rpl_object).objet)).taille)) \
1.1 bertrand 911: { executionError("Element out of range"); } \
912: else \
1.58 bertrand 913: ((integer8 *) (*((struct_vecteur *) (*rpl_object).objet)).tableau) \
1.1 bertrand 914: [__position] = (integer8) value; \
915: } \
916: else executionError("Type mistmatch error"); } while(0)
917:
1.58 bertrand 918: #define isIntegerVector(rpl_object) \
919: ((*rpl_object).type == VIN)
1.1 bertrand 920:
1.58 bertrand 921: #define ifIsIntegerVector(rpl_object) if (isIntegerVector(rpl_object))
922: #define elseIfIsIntegerVector(rpl_object) } else ifIsIntegerVector(rpl_object)
1.1 bertrand 923:
1.58 bertrand 924: #define getIntegerFromVector(rpl_object, value, position) do { \
1.1 bertrand 925: typeof(position) __position = position; \
926: value = 0; \
1.58 bertrand 927: ifIsIntegerVector(rpl_object) \
1.1 bertrand 928: { \
929: __position--; \
930: if ((__position < 0) || (__position >= (*((struct_vecteur *) \
1.58 bertrand 931: (*rpl_object).objet)).taille)) \
1.1 bertrand 932: executionError("Element out of range"); \
933: else \
1.58 bertrand 934: value = ((integer8 *) (*((struct_vecteur *) (*rpl_object).objet)) \
1.1 bertrand 935: .tableau)[__position]; \
936: } \
937: else executionError("Type mismatch error"); } while(0)
938:
1.58 bertrand 939: #define createIntegerVectorObject(rpl_object, size) \
940: createVectorObject(rpl_object, size, integer8, struct_vecteur, VIN)
1.1 bertrand 941:
942: // Real vector
943:
1.58 bertrand 944: #define setRealIntoVector(rpl_object, value, position) do { \
1.1 bertrand 945: typeof(position) __position = position; \
1.58 bertrand 946: ifIsRealVector(rpl_object) \
1.1 bertrand 947: { \
1.58 bertrand 948: if ((*rpl_object).nombre_occurrences > 1) \
1.1 bertrand 949: { \
1.58 bertrand 950: struct_objet *__tmp_rpl_object; \
1.74 bertrand 951: if ((__tmp_rpl_object = _copie_objet(rpl_object, 'O')) == NULL) \
1.1 bertrand 952: systemError("Memory allocation error"); \
1.74 bertrand 953: _liberation(rpl_object); \
1.58 bertrand 954: rpl_object = __tmp_rpl_object; \
1.1 bertrand 955: } \
956: __position--; \
957: if ((__position < 0) || (__position >= (*((struct_vecteur *) \
1.58 bertrand 958: (*rpl_object).objet)).taille)) \
1.1 bertrand 959: { executionError("Element out of range"); } \
960: else \
1.58 bertrand 961: ((real8 *) (*((struct_vecteur *) (*rpl_object).objet)).tableau) \
1.1 bertrand 962: [__position] = (real8) value; \
963: } \
964: else executionError("Type mistmatch error"); } while(0)
965:
1.58 bertrand 966: #define isRealVector(rpl_object) \
967: ((*rpl_object).type == VRL)
1.1 bertrand 968:
1.58 bertrand 969: #define ifIsRealVector(rpl_object) if (isRealVector(rpl_object))
970: #define elseIfIsRealVector(rpl_object) } else ifIsRealVector(rpl_object)
1.1 bertrand 971:
1.58 bertrand 972: #define getRealFromVector(rpl_object, value, position) do { \
1.1 bertrand 973: typeof(position) __position = position; \
974: value = 0; \
1.58 bertrand 975: ifIsRealVector(rpl_object) \
1.1 bertrand 976: { \
977: __position--; \
978: if ((__position < 0) || (__position >= (*((struct_vecteur *) \
1.58 bertrand 979: (*rpl_object).objet)).taille)) \
1.1 bertrand 980: executionError("Element out of range"); \
1.58 bertrand 981: value = ((real8 *) (*((struct_vecteur *) (*rpl_object).objet)) \
982: .tableau)[__position]; \
1.1 bertrand 983: } \
984: else executionError("Type mismatch error"); } while(0)
985:
1.58 bertrand 986: #define createRealVectorObject(rpl_object, size) \
1.65 bertrand 987: createVectorObject(rpl_object, size, real8, struct_vecteur, VRL)
1.1 bertrand 988:
989: // A FIXER
990:
991: #define createComplexVectorObject
992:
993: #define createIntegerMatrixObject
994:
995: #define createRealMatrixObject
996:
997: #define createComplexMatrixObject
998:
1.92 bertrand 999: // Array
1000:
1001: #define isArray(rpl_object) \
1002: ((*rpl_object).type == TBL)
1003:
1004: #define ifIsArray(rpl_object) if (isArray(rpl_object))
1005: #define elseIfIsArray(rpl_object) } else if (isArray(rpl_object))
1006:
1007: #define createArray(rpl_object, size) do { \
1008: int __i; \
1009: if (rpl_object != NULL) systemError("Reallocated object"); \
1010: if ((rpl_object = _allocation(TBL)) == NULL) \
1011: systemError("Memory allocation error"); \
1012: (*((struct_tableau *) (*rpl_object).objet)).nombre_elements = size; \
1013: if (((*((struct_tableau *) (*rpl_object).objet)).elements = malloc( \
1014: size * sizeof(struct_objet *))) == NULL) \
1015: systemError("Memory allocation error"); \
1016: for(__i = 0; __i < size; __i++) { \
1017: nullify((*((struct_tableau *) (*rpl_object).objet)).elements[__i]); \
1018: createIntegerObject((*((struct_tableau *) (*rpl_object).objet)) \
1019: .elements[__i]); } \
1020: } while(0)
1021:
1022: #define setObjectIntoArray(rpl_array, pos, rpl_object) do { \
1023: typeof(pos) __position = pos; __position--; \
1024: ifIsArray(rpl_array) { \
1025: if ((__position < 0) || (__position >= (*((struct_tableau *) \
1026: (*rpl_array).objet)).nombre_elements)) \
1027: executionError("Element out of range"); \
1028: if ((*rpl_array).nombre_occurrences > 1) \
1029: { \
1030: struct_objet *__tmp_rpl_object; \
1031: if ((__tmp_rpl_object = _copie_objet(rpl_array, 'O')) == NULL) \
1032: systemError("Memory allocation error"); \
1033: _liberation(rpl_array); \
1034: rpl_array = __tmp_rpl_object; \
1035: } \
1036: _liberation((*((struct_tableau *) (*rpl_array).objet)) \
1037: .elements[__position]); \
1038: (*((struct_tableau *) (*rpl_array).objet)).elements[__position] = \
1039: rpl_object; \
1040: } \
1041: else executionError("Type mistmatch error"); \
1042: nullify(rpl_object); \
1043: } while(0)
1044:
1045: #define getObjectFromArray()
1046:
1.1 bertrand 1047: // Binary integer
1048:
1.58 bertrand 1049: #define setBinaryInteger(rpl_object, value) do { \
1050: ifIsBinaryInteger(rpl_object) \
1.1 bertrand 1051: { \
1.58 bertrand 1052: if ((*rpl_object).nombre_occurrences > 1) \
1.1 bertrand 1053: { \
1.58 bertrand 1054: struct_objet *__tmp_rpl_object; \
1.74 bertrand 1055: if ((__tmp_rpl_object = _copie_objet(rpl_object, 'O')) == NULL) \
1.1 bertrand 1056: systemError("Memory allocation error"); \
1.74 bertrand 1057: _liberation(rpl_object); \
1.58 bertrand 1058: rpl_object = __tmp_rpl_object; \
1.1 bertrand 1059: } \
1.58 bertrand 1060: (*((integer8 *) (*rpl_object).objet)) = (integer8) value; \
1.1 bertrand 1061: } \
1062: else executionError("Type mistmatch error"); } while(0)
1063:
1.58 bertrand 1064: #define isBinaryInteger(rpl_object) \
1065: ((*rpl_object).type == BIN)
1.1 bertrand 1066:
1.58 bertrand 1067: #define ifIsBinaryInteger(rpl_object) if (isBinaryInteger(rpl_object))
1068: #define elseIfIsBinaryInteger(rpl_object) } else ifIsBinaryInteger(rpl_object)
1.1 bertrand 1069:
1.58 bertrand 1070: #define getBinaryInteger(rpl_object, value) do { \
1.1 bertrand 1071: value = 0; \
1.58 bertrand 1072: ifIsBinaryInteger(rpl_object) value = \
1073: (*((integer8 *) (*rpl_object).objet)); \
1.1 bertrand 1074: else executionError("Type mismatch error"); } while(0)
1075:
1.58 bertrand 1076: #define createBinaryIntegerObject(rpl_object) do { \
1077: if (rpl_object != NULL) \
1.1 bertrand 1078: systemError("Reallocated object"); \
1.74 bertrand 1079: if ((rpl_object = _allocation(BIN)) == NULL) \
1.1 bertrand 1080: systemError("Memory allocation error"); \
1.58 bertrand 1081: setBinaryInteger(rpl_object, 0); } while(0)
1.1 bertrand 1082:
1083: // Name
1084:
1.58 bertrand 1085: #define isName(rpl_object) \
1086: ((*rpl_object).type == NOM)
1.1 bertrand 1087:
1.58 bertrand 1088: #define ifIsName(rpl_object) if (isName(rpl_object))
1089: #define elseIfIsName(rpl_object) } else if (isName(rpl_object))
1.1 bertrand 1090:
1.58 bertrand 1091: #define setName(rpl_object, value) do { \
1.65 bertrand 1092: struct_processus *s_etat_processus; \
1093: s_etat_processus = (*rpl_arguments).s_etat_processus; \
1.58 bertrand 1094: ifIsName(rpl_object) \
1.1 bertrand 1095: { \
1.58 bertrand 1096: if ((*rpl_object).nombre_occurrences > 1) \
1.1 bertrand 1097: { \
1.58 bertrand 1098: struct_objet *__tmp_rpl_object; \
1.74 bertrand 1099: if ((__tmp_rpl_object = _copie_objet(rpl_object, 'O')) == NULL) \
1.1 bertrand 1100: systemError("Memory allocation error"); \
1.74 bertrand 1101: _liberation(rpl_object); \
1.58 bertrand 1102: rpl_object = __tmp_rpl_object; \
1.1 bertrand 1103: } \
1.58 bertrand 1104: free((*((struct_nom *) (*rpl_object).objet)).nom); \
1105: (*((struct_nom *) (*rpl_object).objet)).symbole = d_faux; \
1106: if (((*((struct_nom *) (*rpl_object).objet)).nom = malloc( \
1.1 bertrand 1107: (strlen(value) + 1) * sizeof(unsigned char))) == NULL) \
1108: systemError("Memory allocation error"); \
1.58 bertrand 1109: strcpy((char *) (*((struct_nom *) (*rpl_object).objet)).nom, \
1.1 bertrand 1110: (char *) value); \
1111: } \
1112: else executionError("Type mistmatch error"); } while(0)
1113:
1.59 bertrand 1114: #define setSymbolicName(rpl_object, value) do { \
1115: setName(rpl_object, value); \
1116: (*((struct_nom *) (*rpl_object).objet)).symbole = d_vrai; } while(0)
1117:
1.58 bertrand 1118: #define createNameObject(rpl_object) do { \
1.65 bertrand 1119: struct_processus *s_etat_processus; \
1120: s_etat_processus = (*rpl_arguments).s_etat_processus; \
1.58 bertrand 1121: if (rpl_object != NULL) \
1.1 bertrand 1122: systemError("Reallocated object"); \
1.74 bertrand 1123: if ((rpl_object = _allocation(NOM)) == NULL) \
1.1 bertrand 1124: systemError("Memory allocation error"); \
1.58 bertrand 1125: (*((struct_nom *) (*rpl_object).objet)).symbole = d_faux; \
1126: if (((*((struct_nom *) (*rpl_object).objet)).nom = malloc( \
1.1 bertrand 1127: sizeof(unsigned char))) == NULL) \
1128: systemError("Memory allocation error"); \
1.58 bertrand 1129: strcpy((char *) (*((struct_nom *) (*rpl_object).objet)).nom, ""); } while(0)
1.1 bertrand 1130:
1131: // String
1132:
1.58 bertrand 1133: #define isString(rpl_object) \
1134: ((*rpl_object).type == CHN)
1.1 bertrand 1135:
1.58 bertrand 1136: #define ifIsString(rpl_object) if (isString(rpl_object))
1.81 bertrand 1137: #define elseIfIsString(rpl_object) } else if (isString(rpl_object))
1.1 bertrand 1138:
1.58 bertrand 1139: #define setString(rpl_object, string) do { \
1.65 bertrand 1140: struct_processus *s_etat_processus; \
1141: s_etat_processus = (*rpl_arguments).s_etat_processus; \
1.58 bertrand 1142: ifIsString(rpl_object) \
1.1 bertrand 1143: { \
1.48 bertrand 1144: if (string == NULL) executionError("Nullified string"); else \
1.1 bertrand 1145: { \
1.58 bertrand 1146: if ((*rpl_object).nombre_occurrences > 1) \
1.48 bertrand 1147: { \
1.58 bertrand 1148: struct_objet *__tmp_rpl_object; \
1.74 bertrand 1149: if ((__tmp_rpl_object = _copie_objet(rpl_object, 'O')) \
1150: == NULL) \
1.48 bertrand 1151: systemError("Memory allocation error"); \
1.74 bertrand 1152: _liberation(rpl_object); \
1.58 bertrand 1153: rpl_object = __tmp_rpl_object; \
1.48 bertrand 1154: } \
1.58 bertrand 1155: free((unsigned char *) (*rpl_object).objet); \
1156: if (((*rpl_object).objet = malloc((strlen(string) + 1) * \
1.48 bertrand 1157: sizeof(unsigned char))) == NULL) \
1.1 bertrand 1158: systemError("Memory allocation error"); \
1.58 bertrand 1159: strcpy((char *) (*rpl_object).objet, string); \
1.1 bertrand 1160: } \
1161: } \
1162: else executionError("Type mistmatch error"); } while(0)
1163:
1.58 bertrand 1164: #define getString(rpl_object, string) do { \
1.1 bertrand 1165: string = NULL; \
1.58 bertrand 1166: ifIsString(rpl_object) string = (char *) (*rpl_object).objet; \
1.1 bertrand 1167: else executionError("Type mismatch error"); } while(0)
1168:
1.91 bertrand 1169: #define unEscString(s) ({ \
1.90 bertrand 1170: unsigned char *__a; integer8 __l; \
1171: __a = formateur_flux((*rpl_arguments).s_etat_processus, \
1172: (unsigned char *) s, &__l); \
1173: if (nullified(__a)) systemError("Memory allocation error"); \
1.91 bertrand 1174: (string) __a; \
1175: })
1.90 bertrand 1176:
1.91 bertrand 1177: #define escString(rpl_object) ({ \
1.90 bertrand 1178: unsigned char *__a; integer8 __l; \
1179: __a = analyse_flux((*rpl_arguments).s_etat_processus, \
1180: (unsigned char *) s, strlen(s)); \
1181: if (nullified(__a)) systemError("Memory allocation error"); \
1.91 bertrand 1182: (string) __a; \
1183: })
1.90 bertrand 1184:
1.58 bertrand 1185: #define createStringObject(rpl_object) do { \
1.65 bertrand 1186: struct_processus *s_etat_processus; \
1187: s_etat_processus = (*rpl_arguments).s_etat_processus; \
1.58 bertrand 1188: if (rpl_object != NULL) \
1.1 bertrand 1189: systemError("Reallocated object"); \
1.74 bertrand 1190: if ((rpl_object = _allocation(CHN)) == NULL) \
1.1 bertrand 1191: systemError("Memory allocation error"); \
1.58 bertrand 1192: if (((*rpl_object).objet = malloc(sizeof(unsigned char))) == NULL) \
1.1 bertrand 1193: systemError("Memory allocation error"); \
1.58 bertrand 1194: strcpy((char *) (*rpl_object).objet, ""); } while(0)
1.1 bertrand 1195:
1196: // List
1197:
1.58 bertrand 1198: #define isList(rpl_object) \
1199: ((*rpl_object).type == LST)
1.1 bertrand 1200:
1.58 bertrand 1201: #define ifIsList(rpl_object) if (isList(rpl_object))
1202: #define elseIfIsList(rpl_object) else if (isList(rpl_object))
1.1 bertrand 1203:
1.58 bertrand 1204: #define createListObject(rpl_object) do { \
1205: if (rpl_object != NULL) \
1.1 bertrand 1206: systemError("Reallocated object"); \
1.74 bertrand 1207: if ((rpl_object = _allocation(LST)) == NULL) \
1.1 bertrand 1208: systemError("Memory allocation error"); \
1.58 bertrand 1209: (*rpl_object).objet = NULL; } while(0)
1.1 bertrand 1210:
1.58 bertrand 1211: #define addObjectToList(list, rpl_object) do { \
1.65 bertrand 1212: struct_processus *s_etat_processus; \
1213: s_etat_processus = (*rpl_arguments).s_etat_processus; \
1.1 bertrand 1214: ifIsList(list) \
1215: { \
1.58 bertrand 1216: struct_objet *__tmp_rpl_object; \
1.74 bertrand 1217: if ((__tmp_rpl_object = _copie_objet(list, 'N')) == NULL) \
1.1 bertrand 1218: systemError("Memory allocation error"); \
1.74 bertrand 1219: _liberation(list); \
1.58 bertrand 1220: list = __tmp_rpl_object; \
1.1 bertrand 1221: if ((*list).objet == NULL) \
1222: { \
1223: if (((*list).objet = malloc(sizeof(struct_liste_chainee))) \
1224: == NULL) \
1225: systemError("Memory allocation error"); \
1226: (*((struct_liste_chainee *) (*list).objet)).suivant = NULL; \
1.58 bertrand 1227: (*((struct_liste_chainee *) (*list).objet)).donnee = rpl_object; \
1.1 bertrand 1228: } \
1229: else \
1230: { \
1231: struct_liste_chainee *l_element_courant; \
1232: l_element_courant = (*list).objet; \
1233: while((*l_element_courant).suivant != NULL) \
1234: l_element_courant = (*l_element_courant).suivant; \
1235: if (((*l_element_courant).suivant = \
1236: malloc(sizeof(struct_liste_chainee))) == NULL) \
1237: systemError("Memory allocation error"); \
1238: l_element_courant = (*l_element_courant).suivant; \
1239: (*l_element_courant).suivant = NULL; \
1.58 bertrand 1240: (*l_element_courant).donnee = rpl_object; \
1.1 bertrand 1241: } \
1.58 bertrand 1242: rpl_object = NULL; \
1.1 bertrand 1243: } \
1244: else executionError("Type mistmatch error"); } while(0)
1245:
1.58 bertrand 1246: #define insertObjectIntoList(list, rpl_object) do { \
1.65 bertrand 1247: struct_processus *s_etat_processus; \
1248: s_etat_processus = (*rpl_arguments).s_etat_processus; \
1.1 bertrand 1249: ifIsList(list) \
1250: { \
1.58 bertrand 1251: struct_objet *__tmp_rpl_object; \
1.74 bertrand 1252: if ((__tmp_rpl_object = _copie_objet(list, 'N')) == NULL) \
1.1 bertrand 1253: systemError("Memory allocation error"); \
1.74 bertrand 1254: _liberation(list); \
1.58 bertrand 1255: list = __tmp_rpl_object; \
1.1 bertrand 1256: if ((*list).objet == NULL) \
1257: { \
1258: if (((*list).objet = malloc(sizeof(struct_liste_chainee))) \
1259: == NULL) \
1260: systemError("Memory allocation error"); \
1261: (*((struct_liste_chainee *) (*list).objet)).suivant = NULL; \
1.58 bertrand 1262: (*((struct_liste_chainee *) (*list).objet)).donnee = rpl_object; \
1.1 bertrand 1263: } \
1264: else \
1265: { \
1266: struct_liste_chainee *l_element_courant; \
1267: if ((l_element_courant = \
1268: malloc(sizeof(struct_liste_chainee))) == NULL) \
1269: systemError("Memory allocation error"); \
1.58 bertrand 1270: (*l_element_courant).donnee = rpl_object; \
1.1 bertrand 1271: (*l_element_courant).suivant = (*list).objet; \
1272: (*list).objet = l_element_courant; \
1273: } \
1.58 bertrand 1274: rpl_object = NULL; \
1.1 bertrand 1275: } \
1276: else executionError("Type mistmatch error"); } while(0)
1277:
1.58 bertrand 1278: #define removeObjectFromList(list, rpl_object) do { \
1.65 bertrand 1279: struct_processus *s_etat_processus; \
1280: s_etat_processus = (*rpl_arguments).s_etat_processus; \
1.1 bertrand 1281: ifIsList(list) \
1282: { \
1.50 bertrand 1283: if ((*list).objet != NULL) \
1.1 bertrand 1284: { \
1.50 bertrand 1285: struct_liste_chainee *__current; \
1286: struct_liste_chainee *__previous; \
1287: __current = (*list).objet; \
1288: __previous = NULL; \
1.58 bertrand 1289: if ((*__current).donnee == rpl_object) \
1.50 bertrand 1290: { \
1291: (*list).objet = (*__current).suivant; \
1292: } \
1293: else \
1294: { \
1295: while(__current != NULL) \
1296: { \
1.58 bertrand 1297: if ((*__current).donnee == rpl_object) \
1.50 bertrand 1298: { \
1299: (*__previous).suivant = (*__current).suivant; \
1300: break; \
1301: } \
1302: __previous = __current; \
1303: __current = (*__current).suivant; \
1304: } \
1305: } \
1.74 bertrand 1306: _liberation((*__current).donnee); \
1.50 bertrand 1307: free(__current); \
1308: } \
1.1 bertrand 1309: } \
1310: else executionError("Type mistmatch error"); } while(0)
1311:
1.58 bertrand 1312: #define getObjectFromList(list, position, rpl_object)
1.1 bertrand 1313:
1.58 bertrand 1314: #define putObjectIntoList(list, position, rpl_object)
1.1 bertrand 1315:
1.58 bertrand 1316: #define getListFromList(list, position1, position2, rpl_object)
1.1 bertrand 1317:
1.46 bertrand 1318: #define listLength(list, length) do { \
1.1 bertrand 1319: if (list == NULL) executionError("Nullified object"); \
1320: if ((*list).type != LST) \
1321: executionError("Type mistmatch error"); \
1322: { \
1323: struct_liste_chainee *l_element_courant; \
1324: length = 0; \
1325: l_element_courant = (*list).objet; \
1326: while(l_element_courant != NULL) \
1327: { \
1328: l_element_courant = (*l_element_courant).suivant; \
1329: length++; \
1330: } \
1331: } } while(0)
1332:
1.82 bertrand 1333: // NON
1334: #define createObject(rpl_object) do { \
1335: if (rpl_object != NULL) \
1336: systemError("Reallocated object"); \
1337: if ((rpl_object = _allocation(NON)) == NULL) \
1338: systemError("Memory allocation error"); \
1339: (*rpl_object).objet = NULL; \
1340: } while(0)
1341:
1.78 bertrand 1342: // EXT
1343: #define createExternalObject(rpl_object, subtype) do { \
1344: if (rpl_object != NULL) \
1345: systemError("Reallocated object"); \
1346: if ((rpl_object = _allocation(EXT)) == NULL) \
1347: systemError("Memory allocation error"); \
1348: (*rpl_object).objet = NULL; \
1349: (*rpl_object).extension_type = subtype; \
1350: (*rpl_object).descripteur_bibliotheque = __static_library_descriptor; \
1351: } while(0)
1352:
1.1 bertrand 1353: /*
1354: --------------------------------------------------------------------------------
1355: Allocation mémoire
1356: --------------------------------------------------------------------------------
1357: */
1358:
1359: #define size(a) sizeof(a)
1360:
1361: #define allocate(a) ({ void *ptr; \
1.65 bertrand 1362: struct_processus *s_etat_processus; \
1363: s_etat_processus = (*rpl_arguments).s_etat_processus; \
1.1 bertrand 1364: if ((ptr = malloc(a)) == NULL) \
1.78 bertrand 1365: { systemError("Memory allocation error"); \
1366: __CATCH_SYSTEM_ERROR__; } ptr; }) \
1.1 bertrand 1367:
1.69 bertrand 1368: #define reallocate(a, s) ({ void *ptr; \
1369: struct_processus *s_etat_processus; \
1370: s_etat_processus = (*rpl_arguments).s_etat_processus; \
1371: if ((ptr = realloc(a, s)) == NULL) \
1.78 bertrand 1372: { systemError("Memory allocation error"); \
1373: __CATCH_SYSTEM_ERROR__; } ptr; }) \
1.69 bertrand 1374:
1.65 bertrand 1375: #define deallocate(a) do { \
1376: struct_processus *s_etat_processus; \
1377: s_etat_processus = (*rpl_arguments).s_etat_processus; \
1378: free(a); } while(0)
1.1 bertrand 1379:
1380: /*
1381: --------------------------------------------------------------------------------
1.30 bertrand 1382: Récupération des interruptions et des signaux
1383: --------------------------------------------------------------------------------
1384: */
1385:
1386: #define pollSignalsAndInterrupts() \
1.47 bertrand 1387: __CATCH_SYSTEM_ERROR__; \
1.46 bertrand 1388: do { scrutation_injection((*rpl_arguments).s_etat_processus); } while(0)
1.30 bertrand 1389:
1390: /*
1391: --------------------------------------------------------------------------------
1.1 bertrand 1392: Exécution d'une fonction intrinsèque
1393: --------------------------------------------------------------------------------
1394: */
1395:
1.46 bertrand 1396: #define intrinsic(function) do { \
1.1 bertrand 1397: int __status; \
1.47 bertrand 1398: __CATCH_SYSTEM_ERROR__; \
1.5 bertrand 1399: __status = wrapper_instruction_intrinseque( \
1400: instruction_##function, rpl_arguments); \
1.1 bertrand 1401: if (__status == 1) executionError(#function); \
1402: if (__status == 2) systemError(#function); \
1403: } while(0)
1404:
1405: #endif
1406:
1407: // vim: ts=4
CVSweb interface <joel.bertrand@systella.fr>
![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to rplexternals.h CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [local] / rpl / src