From 4bbf6f03670d5e54e5e89a2876481babfcd020c0 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Tue, 23 Oct 2018 12:20:05 +0100 Subject: [PATCH] try fixing includes --- H/YapTerm.h | 116 ---------------------------------------------------- 1 file changed, 116 deletions(-) delete mode 100644 H/YapTerm.h diff --git a/H/YapTerm.h b/H/YapTerm.h deleted file mode 100644 index a7632a379..000000000 --- a/H/YapTerm.h +++ /dev/null @@ -1,116 +0,0 @@ -/************************************************************************* -* * -* 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 $ * -*************************************************************************/ - -#ifndef YAP_H -#include "YapTermConfig.h" -#include "config.h" - -typedef void *Functor; -typedef void *Atom; - -#endif - -#if HAVE_STDINT_H -#include -#endif -#if HAVE_INTTYPES_H -#include -#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 Int; -typedef uintptr_t UInt; - -#elif defined(_WIN64) - - -typedef int64_t Int; -typedef uint64_t UInt; - -#elif defined(_WIN32) - -typedef int32_t Int; -typedef uint32_t UInt; - -#elif SIZEOF_LONG_INT == SIZEOF_INT_P - -typedef long int Int; -typedef unsigned long int UInt; - -#elif SIZEOF_INT == SIZEOF_INT_P - -typedef int Int; -typedef unsigned int UInt; - -#else -#error Yap require integer types of the same size as a pointer -#endif - -/* */ typedef short int Short; -/* */ typedef unsigned short int UShort; - -typedef UInt CELL; - -typedef uint16_t BITS16; -typedef int16_t SBITS16; -typedef uint32_t BITS32; - -#define WordSize sizeof(BITS16) -#define CellSize sizeof(CELL) -#define SmallSize sizeof(SMALLUNSGN) - -#include "YapFormat.h" - -/************************************************************************************************* - type casting macros -*************************************************************************************************/ - -typedef UInt Term; - -typedef Int yhandle_t; - -typedef double Float; - -#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))