src/calBdd/calMem.h

Go to the documentation of this file.

#ifndef _CAL_MEM
#define _CAL_MEM

#include <stdio.h>

/*---------------------------------------------------------------------------*/
/* Constant declarations                                                     */
/*---------------------------------------------------------------------------*/
/* CAL_ALLOC_ALIGNMENT is the alignment for all storage returned by the */
/* storage allocation routines. */
/* was 16 for __osf__ systems, 8 otherwise */

#define CAL_ALLOC_ALIGNMENT sizeof(void *)



/*---------------------------------------------------------------------------*/
/* Type declarations                                                         */
/*---------------------------------------------------------------------------*/
typedef struct Cal_RecMgrStruct * Cal_RecMgr;
typedef void *Cal_Pointer_t;
typedef size_t Cal_Address_t;
/*---------------------------------------------------------------------------*/
/* Stucture declarations                                                     */
/*---------------------------------------------------------------------------*/
/*---------------------------------------------------------------------------*/
/* Variable declarations                                                     */
/*---------------------------------------------------------------------------*/

/*---------------------------------------------------------------------------*/
/* Macro declarations                                                        */
/*---------------------------------------------------------------------------*/
#ifndef EXTERN
#  ifdef __cplusplus
#    define EXTERN      extern "C"
#  else
#    define EXTERN      extern
#  endif
#endif
#define Cal_Nil(obj) ((obj *)0)
#define USE_OS_MEMORY_MANAGEMENT
#ifdef USE_OS_MEMORY_MANAGEMENT
#define Cal_MemAlloc(type, num) ((type *) malloc(sizeof(type) * (num)))
#define Cal_MemRealloc(type, obj, num)  \
    (obj) ? ((type *) realloc((char *) obj, sizeof(type) * (num))) : \
    ((type *) malloc(sizeof(type) * (num)))
#define Cal_MemFree(obj) ((obj) ? (free((char *) (obj)), (obj) = 0) : 0)
#else
#define Cal_MemAlloc(type, num) ((type *) Cal_MemGetBlock(sizeof(type) * (num)))
#define Cal_MemRealloc(type, obj, num)  \
    (obj) ? ((type *) Cal_MemResizeBlock((Cal_Pointer_t) obj, sizeof(type) * (num))) : \
    ((type *) Cal_MemGetBlock(sizeof(type) * (num)))
#define Cal_MemFree(obj) ((obj) ? (Cal_MemFreeBlock((Cal_Pointer_t) (obj)), (obj) = 0) : 0)
#endif
#define Cal_MemCopy(dest, src, size)  ((void *) memcpy((void *)dest, (const void *)src, (size_t)size));
#define Cal_MemZero(ptr, size) ((void)memset((void *)(ptr), 0, (Cal_Address_t)(size)))

/* Round a size up for alignment */

#define CAL_ROUNDUP(size) ((((size)+CAL_ALLOC_ALIGNMENT-1)/CAL_ALLOC_ALIGNMENT)*CAL_ALLOC_ALIGNMENT)

/*---------------------------------------------------------------------------*/
/* Function prototypes                                                       */
/*---------------------------------------------------------------------------*/
EXTERN void Cal_MemFatal(char *message);
EXTERN Cal_Address_t Cal_MemAllocation(void);
EXTERN Cal_Pointer_t Cal_MemGetBlock(Cal_Address_t size);
EXTERN void Cal_MemFreeBlock(Cal_Pointer_t p);
EXTERN Cal_Pointer_t Cal_MemResizeBlock(Cal_Pointer_t p, Cal_Address_t newSize);
EXTERN Cal_Pointer_t Cal_MemNewRec(Cal_RecMgr mgr);
EXTERN void Cal_MemFreeRec(Cal_RecMgr mgr, Cal_Pointer_t rec);
EXTERN Cal_RecMgr Cal_MemNewRecMgr(int size);
EXTERN void Cal_MemFreeRecMgr(Cal_RecMgr mgr);

#endif /* _CAL */

---