fix missing files
This commit is contained in:
parent
7b6f330bd3
commit
2d00dd15ab
119
library/yap2swi/blobs.c
Normal file
119
library/yap2swi/blobs.c
Normal file
@ -0,0 +1,119 @@
|
|||||||
|
/*************************************************************************
|
||||||
|
* *
|
||||||
|
* YAP Prolog *
|
||||||
|
* Yap Prolog was developed at NCCUP - Universidade do Porto *
|
||||||
|
* *
|
||||||
|
* Copyright V.Santos Costa and Universidade do Porto 1985-- *
|
||||||
|
* *
|
||||||
|
**************************************************************************
|
||||||
|
* *
|
||||||
|
* File: blobs.c *
|
||||||
|
* comments: support blobs in YAP definition *
|
||||||
|
* *
|
||||||
|
* Last rev: $Date: $,$Author: vsc $ *
|
||||||
|
* *
|
||||||
|
* *
|
||||||
|
*************************************************************************/
|
||||||
|
|
||||||
|
#include <Yap.h>
|
||||||
|
#include <Yatom.h>
|
||||||
|
|
||||||
|
#include <string.h>
|
||||||
|
|
||||||
|
#include <SWI-Prolog.h>
|
||||||
|
|
||||||
|
#include "swi.h"
|
||||||
|
|
||||||
|
|
||||||
|
PL_EXPORT(int)
|
||||||
|
PL_is_blob(term_t t, PL_blob_t **type)
|
||||||
|
{
|
||||||
|
Term yt = Yap_GetFromSlot(t);
|
||||||
|
Atom a;
|
||||||
|
BlobPropEntry *b;
|
||||||
|
|
||||||
|
if (IsVarTerm(yt))
|
||||||
|
return FALSE;
|
||||||
|
if (!IsAtomTerm(yt))
|
||||||
|
return FALSE;
|
||||||
|
a = AtomOfTerm(yt);
|
||||||
|
if (!IsBlob(a))
|
||||||
|
return FALSE;
|
||||||
|
b = RepBlobProp(a->PropsOfAE);
|
||||||
|
*type = b->blob_t;
|
||||||
|
return TRUE;
|
||||||
|
}
|
||||||
|
|
||||||
|
PL_EXPORT(int)
|
||||||
|
PL_unify_blob(term_t t, void *blob, size_t len, PL_blob_t *type)
|
||||||
|
{
|
||||||
|
fprintf(stderr,"PL_unify_blob not implemented yet\n");
|
||||||
|
return FALSE;
|
||||||
|
}
|
||||||
|
|
||||||
|
PL_EXPORT(int)
|
||||||
|
PL_put_blob(term_t t, void *blob, size_t len, PL_blob_t *type)
|
||||||
|
{
|
||||||
|
fprintf(stderr,"PL_put_blob not implemented yet\n");
|
||||||
|
return FALSE;
|
||||||
|
}
|
||||||
|
|
||||||
|
PL_EXPORT(int)
|
||||||
|
PL_get_blob(term_t t, void **blob, size_t *len, PL_blob_t **type)
|
||||||
|
{
|
||||||
|
fprintf(stderr,"PL_get_blob not implemented yet\n");
|
||||||
|
return FALSE;
|
||||||
|
}
|
||||||
|
|
||||||
|
PL_EXPORT(void*)
|
||||||
|
PL_blob_data(atom_t a, size_t *len, struct PL_blob_t **type)
|
||||||
|
{
|
||||||
|
Atom x = SWIAtomToAtom(a);
|
||||||
|
|
||||||
|
if (!IsBlob(x)) {
|
||||||
|
if (IsWideAtom(x)) {
|
||||||
|
if ( len )
|
||||||
|
*len = wcslen(x->WStrOfAE);
|
||||||
|
if ( type )
|
||||||
|
*type = SWI_Blobs;
|
||||||
|
return x->WStrOfAE;
|
||||||
|
}
|
||||||
|
if ( len )
|
||||||
|
*len = strlen(x->StrOfAE);
|
||||||
|
if ( type )
|
||||||
|
*type = SWI_Blobs;
|
||||||
|
return x->StrOfAE;
|
||||||
|
}
|
||||||
|
if ( len )
|
||||||
|
*len = x->rep.blob.length;
|
||||||
|
if ( type )
|
||||||
|
*type = RepBlobProp(x->PropsOfAE)->blob_t;
|
||||||
|
|
||||||
|
return x->rep.blob.data;
|
||||||
|
}
|
||||||
|
|
||||||
|
PL_EXPORT(void)
|
||||||
|
PL_register_blob_type(PL_blob_t *type)
|
||||||
|
{
|
||||||
|
fprintf(stderr,"PL_register_blob_type not implemented yet\n");
|
||||||
|
}
|
||||||
|
|
||||||
|
PL_EXPORT(PL_blob_t*)
|
||||||
|
PL_find_blob_type(const char* name)
|
||||||
|
{
|
||||||
|
fprintf(stderr,"PL_find_blob_type not implemented yet\n");
|
||||||
|
return NULL;
|
||||||
|
}
|
||||||
|
|
||||||
|
PL_EXPORT(int)
|
||||||
|
PL_unregister_blob_type(PL_blob_t *type)
|
||||||
|
{
|
||||||
|
fprintf(stderr,"PL_unregister_blob_type not implemented yet\n");
|
||||||
|
return FALSE;
|
||||||
|
}
|
||||||
|
|
||||||
|
void
|
||||||
|
Yap_install_blobs(void)
|
||||||
|
{
|
||||||
|
|
||||||
|
}
|
126
library/yap2swi/swi.h
Normal file
126
library/yap2swi/swi.h
Normal file
@ -0,0 +1,126 @@
|
|||||||
|
void Yap_swi_install(void);
|
||||||
|
void Yap_install_blobs(void);
|
||||||
|
|
||||||
|
/* Required by PL_error */
|
||||||
|
#define ERR_NO_ERROR 0
|
||||||
|
#define ERR_INSTANTIATION 1 /* void */
|
||||||
|
#define ERR_TYPE 2 /* atom_t expected, term_t value */
|
||||||
|
#define ERR_DOMAIN 3 /* atom_t domain, term_t value */
|
||||||
|
#define ERR_REPRESENTATION 4 /* atom_t what */
|
||||||
|
#define ERR_MODIFY_STATIC_PROC 5 /* predicate_t proc */
|
||||||
|
#define ERR_EVALUATION 6 /* atom_t what */
|
||||||
|
#define ERR_AR_TYPE 7 /* atom_t expected, Number value */
|
||||||
|
#define ERR_NOT_EVALUABLE 8 /* functor_t func */
|
||||||
|
#define ERR_DIV_BY_ZERO 9 /* void */
|
||||||
|
#define ERR_FAILED 10 /* predicate_t proc */
|
||||||
|
#define ERR_FILE_OPERATION 11 /* atom_t action, atom_t type, term_t */
|
||||||
|
#define ERR_PERMISSION 12 /* atom_t type, atom_t op, term_t obj*/
|
||||||
|
#define ERR_NOT_IMPLEMENTED 13 /* const char *what */
|
||||||
|
#define ERR_EXISTENCE 14 /* atom_t type, term_t obj */
|
||||||
|
#define ERR_STREAM_OP 15 /* atom_t action, term_t obj */
|
||||||
|
#define ERR_RESOURCE 16 /* atom_t resource */
|
||||||
|
#define ERR_NOMEM 17 /* void */
|
||||||
|
#define ERR_SYSCALL 18 /* void */
|
||||||
|
#define ERR_SHELL_FAILED 19 /* term_t command */
|
||||||
|
#define ERR_SHELL_SIGNALLED 20 /* term_t command, int signal */
|
||||||
|
#define ERR_AR_UNDEF 21 /* void */
|
||||||
|
#define ERR_AR_OVERFLOW 22 /* void */
|
||||||
|
#define ERR_AR_UNDERFLOW 23 /* void */
|
||||||
|
#define ERR_UNDEFINED_PROC 24 /* Definition def */
|
||||||
|
#define ERR_SIGNALLED 25 /* int sig, char *name */
|
||||||
|
#define ERR_CLOSED_STREAM 26 /* IOSTREAM * */
|
||||||
|
#define ERR_BUSY 27 /* mutexes */
|
||||||
|
#define ERR_PERMISSION_PROC 28 /* op, type, Definition */
|
||||||
|
#define ERR_DDE_OP 29 /* op, error */
|
||||||
|
#define ERR_SYNTAX 30 /* what */
|
||||||
|
#define ERR_SHARED_OBJECT_OP 31 /* op, error */
|
||||||
|
#define ERR_TIMEOUT 32 /* op, object */
|
||||||
|
#define ERR_NOT_IMPLEMENTED_PROC 33 /* name, arity */
|
||||||
|
#define ERR_FORMAT 34 /* message */
|
||||||
|
#define ERR_FORMAT_ARG 35 /* seq, term */
|
||||||
|
#define ERR_OCCURS_CHECK 36 /* Word, Word */
|
||||||
|
#define ERR_CHARS_TYPE 37 /* char *, term */
|
||||||
|
#define ERR_MUST_BE_VAR 38 /* int argn, term_t term */
|
||||||
|
|
||||||
|
typedef struct open_query_struct {
|
||||||
|
int open;
|
||||||
|
int state;
|
||||||
|
YAP_Term g;
|
||||||
|
yamop *p, *cp;
|
||||||
|
Int slots;
|
||||||
|
jmp_buf env;
|
||||||
|
struct open_query_struct *old;
|
||||||
|
} open_query;
|
||||||
|
|
||||||
|
#define addr_hash(V) (((CELL) (V)) >> 4 & (N_SWI_HASH-1))
|
||||||
|
|
||||||
|
static inline void
|
||||||
|
add_to_hash(Int i, ADDR key)
|
||||||
|
{
|
||||||
|
UInt h = addr_hash(key);
|
||||||
|
while (SWI_ReverseHash[h].key) {
|
||||||
|
h = (h+1)%N_SWI_HASH;
|
||||||
|
}
|
||||||
|
SWI_ReverseHash[h].key = key;
|
||||||
|
SWI_ReverseHash[h].pos = i;
|
||||||
|
}
|
||||||
|
|
||||||
|
static atom_t
|
||||||
|
in_hash(ADDR key)
|
||||||
|
{
|
||||||
|
UInt h = addr_hash(key);
|
||||||
|
while (SWI_ReverseHash[h].key) {
|
||||||
|
if (SWI_ReverseHash[h].key == key)
|
||||||
|
return SWI_ReverseHash[h].pos;
|
||||||
|
h = (h+1)%N_SWI_HASH;
|
||||||
|
}
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
static inline atom_t
|
||||||
|
AtomToSWIAtom(Atom at)
|
||||||
|
{
|
||||||
|
atom_t ats;
|
||||||
|
if ((ats = in_hash((ADDR)at)))
|
||||||
|
return ats;
|
||||||
|
return (atom_t)at;
|
||||||
|
}
|
||||||
|
|
||||||
|
static inline Atom
|
||||||
|
SWIAtomToAtom(atom_t at)
|
||||||
|
{
|
||||||
|
if ((CELL)at & 1)
|
||||||
|
return SWI_Atoms[at>>1];
|
||||||
|
return (Atom)at;
|
||||||
|
}
|
||||||
|
|
||||||
|
static inline Term
|
||||||
|
SWIModuleToModule(module_t m)
|
||||||
|
{
|
||||||
|
if (m)
|
||||||
|
return (CELL)m;
|
||||||
|
if (CurrentModule)
|
||||||
|
return CurrentModule;
|
||||||
|
return USER_MODULE;
|
||||||
|
}
|
||||||
|
|
||||||
|
static inline functor_t
|
||||||
|
FunctorToSWIFunctor(Functor at)
|
||||||
|
{
|
||||||
|
atom_t ats;
|
||||||
|
if ((ats = in_hash((ADDR)at)))
|
||||||
|
return (functor_t)ats;
|
||||||
|
return (functor_t)at;
|
||||||
|
}
|
||||||
|
|
||||||
|
static inline Functor
|
||||||
|
SWIFunctorToFunctor(functor_t at)
|
||||||
|
{
|
||||||
|
if (IsAtomTerm(at))
|
||||||
|
return (Functor)at;
|
||||||
|
if ((CELL)(at) & 2)
|
||||||
|
return SWI_Functors[((CELL)at)/4];
|
||||||
|
return (Functor)at;
|
||||||
|
}
|
||||||
|
|
Reference in New Issue
Block a user