146 lines
2.9 KiB
C
146 lines
2.9 KiB
C
/*************************************************************************
|
|
* *
|
|
* YAP Prolog %W% %G% *
|
|
* Yap Prolog was developed at NCCUP - Universidade do Porto *
|
|
* *
|
|
* Copyright L.Damas, V.S.Costa and Universidade do Porto 1985-1997 *
|
|
* *
|
|
**************************************************************************
|
|
* *
|
|
* File: Yap.h *
|
|
* mods: *
|
|
* comments: abstract type definitions for YAP *
|
|
* version: $Id: Yap.h,v 1.38 2008-06-18 10:02:27 vsc Exp $ *
|
|
*************************************************************************/
|
|
|
|
#include <stddef.h>
|
|
|
|
|
|
#if HAVE_STDTYPES_H
|
|
#include <stdtypes.h>
|
|
#endif
|
|
|
|
/* truth-values */
|
|
/* stdbool defines the booleam type, bool,
|
|
and the constants false and true */
|
|
#if HAVE_STDBOOL_H
|
|
#include <stdbool.h>
|
|
#else
|
|
#ifndef true
|
|
typedef int _Bool;
|
|
#define bool _Bool;
|
|
|
|
#define false 0
|
|
#define true 1
|
|
#endif
|
|
#endif /* HAVE_STDBOOL_H */
|
|
|
|
#if HAVE_STDINT_H
|
|
#include <stdint.h>
|
|
#endif
|
|
|
|
#if HAVE_INTTYPES_H
|
|
#include <inttypes.h>
|
|
#endif
|
|
|
|
#define ALIGN_BY_TYPE(X, TYPE) \
|
|
(((CELL)(X) + (sizeof(TYPE) - 1)) & ~(sizeof(TYPE) - 1))
|
|
|
|
#ifndef EXTERN
|
|
#ifdef MSC_VER
|
|
#define EXTERN
|
|
#else
|
|
#define EXTERN extern
|
|
#endif
|
|
#endif
|
|
|
|
/* defines integer types Int and UInt (unsigned) with the same size as a ptr
|
|
** and integer types Short and UShort with half the size of a ptr */
|
|
|
|
#if defined(PRIdPTR)
|
|
|
|
typedef intptr_t YAP_Int;
|
|
typedef uintptr_t YAP_UInt;
|
|
|
|
#elif defined(_WIN64)
|
|
|
|
|
|
typedef int64_t YAP_Int;
|
|
typedef uint64_t YAP_UInt;
|
|
|
|
#elif defined(_WIN32)
|
|
|
|
typedef int32_t YAP_Int;
|
|
typedef uint32_t YAP_UInt;
|
|
|
|
#elif SIZEOF_LONG_INT == SIZEOF_INT_P
|
|
|
|
typedef long int YAP_Int;
|
|
typedef unsigned long int YAP_UInt;
|
|
|
|
#elif SIZEOF_INT == SIZEOF_INT_P
|
|
|
|
typedef int YAP_Int;
|
|
typedef unsigned int YAP_UInt;
|
|
|
|
#else
|
|
#error Yap require integer types of the same size as a pointer
|
|
#endif
|
|
|
|
/* */ typedef short int YAP_Short;
|
|
/* */ typedef unsigned short int YAP_UShort;
|
|
|
|
typedef YAP_UInt YAP_CELL;
|
|
typedef YAP_UInt YAP_Term;
|
|
|
|
/* Type definitions */
|
|
|
|
|
|
#ifndef TRUE
|
|
#define TRUE true
|
|
#endif
|
|
#ifndef FALSE
|
|
#define FALSE false
|
|
#endif
|
|
|
|
typedef bool YAP_Bool;
|
|
|
|
typedef YAP_Int YAP_handle_t;
|
|
|
|
|
|
typedef double YAP_Float;
|
|
|
|
typedef void *YAP_Atom;
|
|
|
|
typedef void *YAP_Functor;
|
|
|
|
#include "YapError.h"
|
|
|
|
#include "YapEncoding.h"
|
|
|
|
typedef encoding_t YAP_encoding_t;
|
|
|
|
#include "YapFormat.h"
|
|
|
|
/*************************************************************************************************
|
|
type casting macros
|
|
*************************************************************************************************/
|
|
|
|
#if SIZEOF_INT < SIZEOF_INT_P
|
|
#define SHORT_INTS 1
|
|
#else
|
|
#define SHORT_INTS 0
|
|
#endif
|
|
|
|
#ifdef __GNUC__
|
|
typedef long long int YAP_LONG_LONG;
|
|
typedef unsigned long long int YAP_ULONG_LONG;
|
|
#else
|
|
typedef long int YAP_LONG_LONG;
|
|
typedef unsigned long int YAP_ULONG_LONG;
|
|
#endif
|
|
|
|
#define Unsigned(V) ((CELL)(V))
|
|
#define Signed(V) ((Int)(V))
|
|
|