From d44beea3aa9bb037840ebb6b021b7044ca31163d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Fri, 28 Nov 2014 02:31:30 +0000 Subject: [PATCH] does not fit an int --- H/Yatom.h | 78 +++++++++++++++++++++++++++---------------------------- 1 file changed, 38 insertions(+), 40 deletions(-) diff --git a/H/Yatom.h b/H/Yatom.h index fde5413ee..eef1550be 100755 --- a/H/Yatom.h +++ b/H/Yatom.h @@ -654,46 +654,44 @@ IsValProperty (int flags) don't forget to also add in qly.h */ -typedef enum -{ - DiscontiguousPredFlag = ((uint64_t)((uint64_t)0x1000000000)), /* predicates whose clauses may be all-over the place.. */ - SysExportPredFlag = ((uint64_t)0x800000000), /* reuse export list to prolog module. */ - NoTracePredFlag = ((uint64_t)0x400000000), /* cannot trace this predicate */ - NoSpyPredFlag = ((uint64_t)0x200000000), /* cannot spy this predicate */ - QuasiQuotationPredFlag = ((uint64_t)0x100000000), /* SWI-like quasi quotations */ - MegaClausePredFlag = (uint64_t)0x80000000, /* predicate is implemented as a mega-clause */ - ThreadLocalPredFlag = (uint64_t)0x40000000, /* local to a thread */ - MultiFileFlag = (uint64_t)0x20000000, /* is multi-file */ - UserCPredFlag = (uint64_t)0x10000000, /* CPred defined by the user */ - LogUpdatePredFlag = (uint64_t)0x08000000, /* dynamic predicate with log. upd. sem. */ - InUsePredFlag = (uint64_t)0x04000000, /* count calls to pred */ - CountPredFlag = (uint64_t)0x02000000, /* count calls to pred */ - HiddenPredFlag = (uint64_t)0x01000000, /* invisible predicate */ - CArgsPredFlag = (uint64_t)0x00800000, /* SWI-like C-interface pred. */ - SourcePredFlag = (uint64_t)0x00400000, /* static predicate with source declaration */ - MetaPredFlag = (uint64_t)0x00200000, /* predicate subject to a meta declaration */ - SyncPredFlag = (uint64_t)0x00100000, /* has to synch before it can execute */ - NumberDBPredFlag = (uint64_t)0x00080000, /* entry for a number key */ - AtomDBPredFlag = (uint64_t)0x00040000, /* entry for an atom key */ - GoalExPredFlag = (uint64_t)0x00020000, /* predicate that is called by goal_expand */ - TestPredFlag = (uint64_t)0x00010000, /* is a test (optim. comit) */ - AsmPredFlag = (uint64_t)0x00008000, /* inline */ - StandardPredFlag = (uint64_t)0x00004000, /* system predicate */ - DynamicPredFlag = (uint64_t)0x00002000, /* dynamic predicate */ - CPredFlag = (uint64_t)0x00001000, /* written in C */ - SafePredFlag = (uint64_t)0x00000800, /* does not alter arguments */ - CompiledPredFlag = (uint64_t)0x00000400, /* is static */ - IndexedPredFlag = (uint64_t)0x00000200, /* has indexing code */ - SpiedPredFlag = (uint64_t)0x00000100, /* is a spy point */ - BinaryPredFlag = (uint64_t)0x00000080, /* test predicate */ - TabledPredFlag = (uint64_t)0x00000040, /* is tabled */ - SequentialPredFlag = (uint64_t)0x00000020, /* may not create parallel choice points! */ - ProfiledPredFlag = (uint64_t)0x00000010, /* pred is being profiled */ - BackCPredFlag = (uint64_t)0x00000008, /* Myddas Imported pred */ - ModuleTransparentPredFlag = (uint64_t)0x00000004, /* ModuleTransparent pred */ - SWIEnvPredFlag = (uint64_t)0x00000002, /* new SWI interface */ - UDIPredFlag = (uint64_t)0x00000001 /* User Defined Indexing */ -} pred_flag; +#define DiscontiguousPredFlag ((uint64_t)0x1000000000) /* predicates whose clauses may be all-over the place.. */ +#define SysExportPredFlag ((uint64_t)0x800000000) +/* reuse export list to prolog module. */ +#define NoTracePredFlag ((uint64_t)0x400000000) /* cannot trace this predicate */ +#define NoSpyPredFlag ((uint64_t)0x200000000) /* cannot spy this predicate */ +#define QuasiQuotationPredFlag ((uint64_t)0x100000000) /* SWI-like quasi quotations */ +#define MegaClausePredFlag ((uint64_t)0x80000000) /* predicate is implemented as a mega-clause */ +#define ThreadLocalPredFlag ((uint64_t)0x40000000) /* local to a thread */ +#define MultiFileFlag ((uint64_t)0x20000000) /* is multi-file */ +#define UserCPredFlag ((uint64_t)0x10000000) /* CPred defined by the user */ +#define LogUpdatePredFlag ((uint64_t)0x08000000) /* dynamic predicate with log. upd. sem. */ +#define InUsePredFlag ((uint64_t)0x04000000) /* count calls to pred */ +#define CountPredFlag ((uint64_t)0x02000000) /* count calls to pred */ +#define HiddenPredFlag ((uint64_t)0x01000000) /* invisible predicate */ +#define CArgsPredFlag ((uint64_t)0x00800000) /* SWI-like C-interface pred. */ +#define SourcePredFlag ((uint64_t)0x00400000) /* static predicate with source declaration */ +#define MetaPredFlag ((uint64_t)0x00200000) /* predicate subject to a meta declaration */ +#define SyncPredFlag ((uint64_t)0x00100000) /* has to synch before it can execute */ +#define NumberDBPredFlag ((uint64_t)0x00080000) /* entry for a number key */ +#define AtomDBPredFlag ((uint64_t)0x00040000) /* entry for an atom key */ +#define GoalExPredFlag ((uint64_t)0x00020000) /* predicate that is called by goal_expand */ +#define TestPredFlag ((uint64_t)0x00010000) /* is a test (optim. comit) */ +#define AsmPredFlag ((uint64_t)0x00008000) /* inline */ +#define StandardPredFlag ((uint64_t)0x00004000) /* system predicate */ +#define DynamicPredFlag ((uint64_t)0x00002000) /* dynamic predicate */ +#define CPredFlag ((uint64_t)0x00001000) /* written in C */ +#define SafePredFlag ((uint64_t)0x00000800) /* does not alter arguments */ +#define CompiledPredFlag ((uint64_t)0x00000400) /* is static */ +#define IndexedPredFlag ((uint64_t)0x00000200) /* has indexing code */ +#define SpiedPredFlag ((uint64_t)0x00000100) /* is a spy point */ +#define BinaryPredFlag ((uint64_t)0x00000080) /* test predicate */ +#define TabledPredFlag ((uint64_t)0x00000040) /* is tabled */ +#define SequentialPredFlag ((uint64_t)0x00000020) /* may not create parallel choice points! */ +#define ProfiledPredFlag ((uint64_t)0x00000010) /* pred is being profiled */ +#define BackCPredFlag ((uint64_t)0x00000008) /* Myddas Imported pred */ +#define ModuleTransparentPredFlag ((uint64_t)0x00000004) /* ModuleTransparent pred */ +#define SWIEnvPredFlag ((uint64_t)0x00000002) /* new SWI interface */ +#define UDIPredFlag ((uint64_t)0x00000001) /* User Defined Indexing */ /* profile data */ typedef struct