From 1ea4a27dd14b16deffb68a8741b0f04c1842c976 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Wed, 22 Apr 2009 21:42:15 -0500 Subject: [PATCH] YAP_FileNoFromStream for Nf --- C/c_interface.c | 11 +++++++++++ include/YapInterface.h | 1 + 2 files changed, 12 insertions(+) diff --git a/C/c_interface.c b/C/c_interface.c index fe9f4e69e..e2e856660 100644 --- a/C/c_interface.c +++ b/C/c_interface.c @@ -511,6 +511,7 @@ X_API int STD_PROTO(YAP_CloseList,(Term, Term)); X_API int STD_PROTO(YAP_IsAttVar,(Term)); X_API Term STD_PROTO(YAP_AttsOfVar,(Term)); X_API Term STD_PROTO(YAP_TermHash,(Term)); +X_API int STD_PROTO(YAP_FileNoFromStream,(Term)); X_API void *STD_PROTO(YAP_FileDescriptorFromStream,(Term)); static int (*do_getf)(void); @@ -2532,6 +2533,16 @@ YAP_TermHash(Term t) return attv->Atts; } +X_API int +YAP_IntFileNoFromStream(Term t) +{ + + t = Deref(t); + if (IsVarTerm(t)) + return -1; + return Yap_StreamToFileNo(t); +} + X_API void * YAP_FileDescriptorFromStream(Term t) { diff --git a/include/YapInterface.h b/include/YapInterface.h index 05f78e2fa..5419925be 100644 --- a/include/YapInterface.h +++ b/include/YapInterface.h @@ -482,6 +482,7 @@ extern X_API YAP_Term PROTO(YAP_AttsOfVar,(YAP_Term)); /* stream info */ extern X_API void *PROTO(YAP_FileDescriptorFromStream,(YAP_Term)); +extern X_API int PROTO(YAP_FileNoFromStream,(YAP_Term)); #define YAP_InitCPred(N,A,F) YAP_UserCPredicate(N,F,A)