C: » dev » sandbox » xsb_release » XSB » emu

cinterf.c File Reference

#include "xsb_config.h"
#include "xsb_debug.h"
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <unistd.h>
#include <errno.h>
#include "auxlry.h"
#include "cell_xsb.h"
#include "memory_xsb.h"
#include "register.h"
#include "psc_xsb.h"
#include "flags_xsb.h"
#include "deref.h"
#include "heap_xsb.h"
#include "binding.h"
#include "tries.h"
#include "choice.h"
#include "subp.h"
#include "emuloop.h"
#include "cinterf.h"
#include "error_xsb.h"
#include "orient_xsb.h"
#include "loader_xsb.h"
#include "context.h"
#include "setjmp_xsb.h"

Defines

#define PRINTABLE_OR_ESCAPED_CHAR(Ch)   ((Ch >= (int)' ' && Ch <= (int)'~') || (Ch >= (int)'\a' && Ch <= (int)'\r'))
#define last_answer   (&last_answer_lc)

Functions

char * expand_filename (char *)
void xsb_sprint_variable (CTXTdeclc char *sptr, CPtr var)
char * p_charlist_to_c_string (CTXTdeclc prolog_term term, VarString *buf, char *in_func, char *where)
void c_string_to_p_charlist (CTXTdeclc char *name, prolog_term list, int regs_to_protect, char *in_func, char *where)
DllExport xsbBool call_conv is_var (prolog_term term)
DllExport xsbBool call_conv is_int (prolog_term term)
DllExport xsbBool call_conv is_float (prolog_term term)
DllExport xsbBool call_conv is_string (prolog_term term)
DllExport xsbBool call_conv is_atom (prolog_term term)
DllExport xsbBool call_conv is_list (prolog_term term)
DllExport xsbBool call_conv is_nil (prolog_term term)
DllExport xsbBool call_conv is_functor (prolog_term term)
DllExport xsbBool call_conv is_attv (prolog_term term)
DllExport prolog_term call_conv reg_term (CTXTdeclc reg_num regnum)
DllExport xsbBool call_conv c2p_int (CTXTdeclc Integer val, prolog_term var)
DllExport xsbBool call_conv c2p_float (CTXTdeclc double val, prolog_term var)
DllExport xsbBool call_conv c2p_string (CTXTdeclc char *val, prolog_term var)
DllExport xsbBool call_conv c2p_list (CTXTdeclc prolog_term var)
DllExport xsbBool call_conv c2p_nil (CTXTdeclc prolog_term var)
DllExport void call_conv c2p_setfree (prolog_term var)
DllExport void call_conv ensure_heap_space (CTXTdeclc int space, int regcnt)
DllExport xsbBool call_conv c2p_functor (CTXTdeclc char *functor, int arity, prolog_term var)
DllExport Integer call_conv p2c_int (prolog_term term)
DllExport double call_conv p2c_float (prolog_term term)
DllExport char *call_conv p2c_string (prolog_term term)
DllExport char *call_conv p2c_functor (prolog_term term)
DllExport int call_conv p2c_arity (prolog_term term)
DllExport prolog_term call_conv p2p_arg (prolog_term term, int argno)
DllExport prolog_term call_conv p2p_car (prolog_term term)
DllExport prolog_term call_conv p2p_cdr (prolog_term term)
DllExport prolog_term call_conv p2p_new (CTXTdecl)
DllExport xsbBool call_conv p2p_unify (CTXTdeclc prolog_term term1, prolog_term term2)
DllExport prolog_term call_conv p2p_deref (prolog_term term)
DllExport xsbBool call_conv is_charlist (prolog_term term, int *size)
DllExport char *call_conv p2c_chars (CTXTdeclc prolog_term term, char *buf, int bsize)
DllExport void call_conv c2p_chars (CTXTdeclc char *str, int regs_to_protect, prolog_term term)
static void cppc_error (CTXTdeclc int num)
static char * skip_subfmt (CTXTdeclc char *ptr, char quote)
static int count_arity (CTXTdeclc char *ptr, int quote)
static int count_fields (CTXTdeclc char *ptr, int quote)
static int count_csize (CTXTdeclc char *ptr, int quote)
static char * ctop_term0 (CTXTdeclc char *ptr, char *c_dataptr, char **subformat, prolog_term variable, int ignore)
static char * ptoc_term0 (CTXTdeclc char *ptr, char *c_dataptr, char **subformat, prolog_term variable, int ignore)
int ctop_term (CTXTdeclc char *fmt, char *c_dataptr, reg_num regnum)
int ptoc_term (CTXTdeclc char *fmt, char *c_dataptr, reg_num regnum)
int c2p_term (CTXTdeclc char *fmt, char *c_dataptr, prolog_term variable)
int p2c_term (CTXTdeclc char *fmt, char *c_dataptr, prolog_term variable)
int mustquote (char *atom)
void printpstring (char *atom, int toplevel, VarString *straddr)
int clenpterm (prolog_term term)
DllExport void call_conv print_pterm (CTXTdeclc prolog_term term, int toplevel, VarString *straddr)
int xsb_answer_string (CTXTdeclc VarString *ans, char *sep)
static void updateWarningStart (void)
DllExport int call_conv xsb_init (CTXTdeclc int argc, char *argv[])
DllExport int call_conv xsb_init_string (CTXTdeclc char *cmdline_param)
DllExport int call_conv xsb_command (CTXTdecl)
DllExport int call_conv xsb_command_string (CTXTdeclc char *goal)
DllExport int call_conv xsb_query (CTXTdecl)
DllExport int call_conv xsb_query_string (CTXTdeclc char *goal)
int call_conv xsb_query_string_string (CTXTdeclc char *goal, VarString *ans, char *sep)
static XSB_StrDefine (last_answer_lc)
int call_conv xsb_query_string_string_b (CTXTdeclc char *goal, char *buff, int buflen, int *anslen, char *sep)
DllExport int call_conv xsb_get_last_answer_string (CTXTdeclc char *buff, int buflen, int *anslen)
DllExport int call_conv xsb_next (CTXTdecl)
DllExport int call_conv xsb_next_string (CTXTdeclc VarString *ans, char *sep)
DllExport int call_conv xsb_next_string_b (CTXTdeclc char *buff, int buflen, int *anslen, char *sep)
DllExport int call_conv xsb_close_query (CTXTdecl)
DllExport int call_conv xsb_close (CTXTdecl)
DllExport int call_conv xsb_get_last_error_string (char *buff, int buflen, int *anslen)

Variables

static char * c_dataptr_rest
static jmp_buf cinterf_env
char tempstring [MAXBUFSIZE]
static long lastWarningStart = 0L
static int xsb_initted_gl = 0
static int xsb_inquery_gl = 0

Define Documentation

#define last_answer   (&last_answer_lc)
 

#define PRINTABLE_OR_ESCAPED_CHAR (  Ch   )     ((Ch >= (int)' ' && Ch <= (int)'~') || (Ch >= (int)'\a' && Ch <= (int)'\r'))
 

Function Documentation

DllExport void call_conv c2p_chars (  CTXTdeclc char *  str,
int  regs_to_protect,
prolog_term  term
) 
 

DllExport xsbBool call_conv c2p_float (  CTXTdeclc double  val,
prolog_term  var
) 
 

DllExport xsbBool call_conv c2p_functor (  CTXTdeclc char *  functor,
int  arity,
prolog_term  var
) 
 

DllExport xsbBool call_conv c2p_int (  CTXTdeclc Integer  val,
prolog_term  var
) 
 

DllExport xsbBool call_conv c2p_list (  CTXTdeclc prolog_term  var  ) 
 

DllExport xsbBool call_conv c2p_nil (  CTXTdeclc prolog_term  var  ) 
 

DllExport void call_conv c2p_setfree (  prolog_term  var  ) 
 

DllExport xsbBool call_conv c2p_string (  CTXTdeclc char *  val,
prolog_term  var
) 
 

int c2p_term (  CTXTdeclc char *  fmt,
char *  c_dataptr,
prolog_term  variable
) 
 

void c_string_to_p_charlist (  CTXTdeclc char *  name,
prolog_term  list,
int  regs_to_protect,
char *  in_func,
char *  where
) 
 

int clenpterm (  prolog_term  term  ) 
 

static int count_arity (  CTXTdeclc char *  ptr,
int  quote
)  [static]
 

static int count_csize (  CTXTdeclc char *  ptr,
int  quote
)  [static]
 

static int count_fields (  CTXTdeclc char *  ptr,
int  quote
)  [static]
 

static void cppc_error (  CTXTdeclc int  num  )  [static]
 

int ctop_term (  CTXTdeclc char *  fmt,
char *  c_dataptr,
reg_num  regnum
) 
 

static char* ctop_term0 (  CTXTdeclc char *  ptr,
char *  c_dataptr,
char **  subformat,
prolog_term  variable,
int  ignore
)  [static]
 

DllExport void call_conv ensure_heap_space (  CTXTdeclc int  space,
int  regcnt
) 
 

char* expand_filename (  char *   ) 
 

DllExport xsbBool call_conv is_atom (  prolog_term  term  ) 
 

DllExport xsbBool call_conv is_attv (  prolog_term  term  ) 
 

DllExport xsbBool call_conv is_charlist (  prolog_term  term,
int *  size
) 
 

DllExport xsbBool call_conv is_float (  prolog_term  term  ) 
 

DllExport xsbBool call_conv is_functor (  prolog_term  term  ) 
 

DllExport xsbBool call_conv is_int (  prolog_term  term  ) 
 

DllExport xsbBool call_conv is_list (  prolog_term  term  ) 
 

DllExport xsbBool call_conv is_nil (  prolog_term  term  ) 
 

DllExport xsbBool call_conv is_string (  prolog_term  term  ) 
 

DllExport xsbBool call_conv is_var (  prolog_term  term  ) 
 

int mustquote (  char *  atom  ) 
 

DllExport int call_conv p2c_arity (  prolog_term  term  ) 
 

DllExport char* call_conv p2c_chars (  CTXTdeclc prolog_term  term,
char *  buf,
int  bsize
) 
 

DllExport double call_conv p2c_float (  prolog_term  term  ) 
 

DllExport char* call_conv p2c_functor (  prolog_term  term  ) 
 

DllExport Integer call_conv p2c_int (  prolog_term  term  ) 
 

DllExport char* call_conv p2c_string (  prolog_term  term  ) 
 

int p2c_term (  CTXTdeclc char *  fmt,
char *  c_dataptr,
prolog_term  variable
) 
 

DllExport prolog_term call_conv p2p_arg (  prolog_term  term,
int  argno
) 
 

DllExport prolog_term call_conv p2p_car (  prolog_term  term  ) 
 

DllExport prolog_term call_conv p2p_cdr (  prolog_term  term  ) 
 

DllExport prolog_term call_conv p2p_deref (  prolog_term  term  ) 
 

DllExport prolog_term call_conv p2p_new (  CTXTdecl   ) 
 

DllExport xsbBool call_conv p2p_unify (  CTXTdeclc prolog_term  term1,
prolog_term  term2
) 
 

char * p_charlist_to_c_string (  CTXTdeclc prolog_term  term,
VarString *  buf,
char *  in_func,
char *  where
) 
 

DllExport void call_conv print_pterm (  CTXTdeclc prolog_term  term,
int  toplevel,
VarString *  straddr
) 
 

void printpstring (  char *  atom,
int  toplevel,
VarString *  straddr
) 
 

int ptoc_term (  CTXTdeclc char *  fmt,
char *  c_dataptr,
reg_num  regnum
) 
 

static char* ptoc_term0 (  CTXTdeclc char *  ptr,
char *  c_dataptr,
char **  subformat,
prolog_term  variable,
int  ignore
)  [static]
 

DllExport prolog_term call_conv reg_term (  CTXTdeclc reg_num  regnum  ) 
 

static char* skip_subfmt (  CTXTdeclc char *  ptr,
char  quote
)  [static]
 

static void updateWarningStart (  void   )  [inline, static]
 

int xsb_answer_string (  CTXTdeclc VarString *  ans,
char *  sep
) 
 

DllExport int call_conv xsb_close (  CTXTdecl   ) 
 

DllExport int call_conv xsb_close_query (  CTXTdecl   ) 
 

DllExport int call_conv xsb_command (  CTXTdecl   ) 
 

DllExport int call_conv xsb_command_string (  CTXTdeclc char *  goal  ) 
 

DllExport int call_conv xsb_get_last_answer_string (  CTXTdeclc char *  buff,
int  buflen,
int *  anslen
) 
 

DllExport int call_conv xsb_get_last_error_string (  char *  buff,
int  buflen,
int *  anslen
) 
 

DllExport int call_conv xsb_init (  CTXTdeclc int  argc,
char *  argv[]
) 
 

DllExport int call_conv xsb_init_string (  CTXTdeclc char *  cmdline_param  ) 
 

DllExport int call_conv xsb_next (  CTXTdecl   ) 
 

DllExport int call_conv xsb_next_string (  CTXTdeclc VarString *  ans,
char *  sep
) 
 

DllExport int call_conv xsb_next_string_b (  CTXTdeclc char *  buff,
int  buflen,
int *  anslen,
char *  sep
) 
 

DllExport int call_conv xsb_query (  CTXTdecl   ) 
 

DllExport int call_conv xsb_query_string (  CTXTdeclc char *  goal  ) 
 

int call_conv xsb_query_string_string (  CTXTdeclc char *  goal,
VarString *  ans,
char *  sep
) 
 

int call_conv xsb_query_string_string_b (  CTXTdeclc char *  goal,
char *  buff,
int  buflen,
int *  anslen,
char *  sep
) 
 

void xsb_sprint_variable (  CTXTdeclc char *  sptr,
CPtr  var
) 
 

static XSB_StrDefine (  last_answer_lc   )  [static]
 

Variable Documentation

char* c_dataptr_rest [static]
 

jmp_buf cinterf_env [static]
 

long lastWarningStart = 0L [static]
 

char tempstring[MAXBUFSIZE]
 

int xsb_initted_gl = 0 [static]
 

int xsb_inquery_gl = 0 [static]
 

Generated on Wed Jul 26 13:26:53 2006 for XSB by  doxygen 1.4.5