yap-6.3/H/qly.h

/*************************************************************************
*									 *
*	 YAP Prolog 							 *
*									 *
*	Yap Prolog was developed at NCCUP - Universidade do Porto	 *
*									 *
* Copyright L.Damas, V. Santos Costa and Universidade do Porto 1985--	 *
*									 *
**************************************************************************
*									 *
* File:		qly.h							 *
* comments:	quick saver/loader					 *
*									 *
* Last rev:     $Date: 2011-08-29$,$Author: vsc $			 *
* $Log: not supported by cvs2svn $					 *
*									 *
*************************************************************************/

#define EXPORT_ATOM_TABLE_SIZE (16*4096)
#define EXPORT_FUNCTOR_TABLE_SIZE (16*4096)
#define EXPORT_OPCODE_TABLE_SIZE (4096)
#define EXPORT_PRED_ENTRY_TABLE_SIZE (128)
#define EXPORT_DBREF_TABLE_SIZE (128)

typedef struct export_atom_hash_entry_struct {
  Atom val;
} export_atom_hash_entry_t;

typedef struct import_atom_hash_entry_struct {
  Atom oval;
  Atom val;
  struct  import_atom_hash_entry_struct *next;
} import_atom_hash_entry_t;

typedef struct export_functor_hash_entry_struct {
  Functor val;
  Atom name;
  UInt arity;
} export_functor_hash_entry_t;

typedef struct import_functor_hash_entry_struct {
  Functor val;
  Functor oval;
  struct  import_functor_hash_entry_struct *next;
} import_functor_hash_entry_t;

typedef struct import_opcode_hash_entry_struct {
  OPCODE val;
  int id;
  OPCODE oval;
  struct  import_opcode_hash_entry_struct *next;
} import_opcode_hash_entry_t;

typedef struct export_pred_entry_hash_entry_struct {
  PredEntry *val;
  union {
    Functor f;
    Atom a;
  } u;
  Atom module;
  UInt arity;
} export_pred_entry_hash_entry_t;

typedef struct import_pred_entry_hash_entry_struct {
  PredEntry *val;
  PredEntry *oval;
  struct  import_pred_entry_hash_entry_struct *next;
} import_pred_entry_hash_entry_t;

typedef struct export_dbref_hash_entry_struct {
  DBRef val;
  UInt sz;
  UInt refs;
} export_dbref_hash_entry_t;

typedef struct import_dbref_hash_entry_struct {
  DBRef val;
  DBRef oval;
  int count;
  struct  import_dbref_hash_entry_struct *next;
} import_dbref_hash_entry_t;

typedef enum {
  QLY_START_X = 0,
  QLY_START_OPCODES = 1,
  QLY_START_ATOMS = 2,
  QLY_START_FUNCTORS = 3,
  QLY_START_PRED_ENTRIES = 4,
  QLY_START_DBREFS = 5,
  QLY_START_MODULE = 6,
  QLY_END_MODULES = 7,
  QLY_START_LU_CLAUSE = 8,
  QLY_END_LU_CLAUSES = 9,
  QLY_NEW_OP = 10,
  QLY_END_OPS = 11,
  QLY_START_PREDICATE = 12,
  QLY_END_PREDICATES = 13,
  QLY_ATOM_WIDE = 14,
  QLY_FAILCODE = 15,
  QLY_ATOM = 16,
  QLY_ATOM_BLOB = 17
} qlf_tag_t;

#define STATIC_PRED_FLAGS (SourcePredFlag|DynamicPredFlag|LogUpdatePredFlag|CompiledPredFlag|MultiFileFlag|TabledPredFlag|MegaClausePredFlag|CountPredFlag|ProfiledPredFlag|ThreadLocalPredFlag|AtomDBPredFlag|ModuleTransparentPredFlag|NumberDBPredFlag|MetaPredFlag|SyncPredFlag|BackCPredFlag)
#define EXTRA_PRED_FLAGS (QuasiQuotationPredFlag|NoTracePredFlag|NoDebugPredFlag)

#define SYSTEM_PRED_FLAGS (BackCPredFlag|UserCPredFlag|CArgsPredFlag|AsmPredFlag|CPredFlag|BinaryPredFlag)

#define NEXTOP(V,TYPE)    ((yamop *)(&((V)->u.TYPE.next)))

#define CHECK(F) { size_t r = (F); if (!r) return r; }
#define RCHECK(F)  if(!(F)) { QLYR_ERROR(MISMATCH); return; }

#define AllocTempSpace() (H)
#define EnoughTempSpace(sz) ((ASP-H)*sizeof(CELL) > sz)