init_xsb.c File Reference

#include "xsb_config.h"
#include "xsb_debug.h"
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>
#include <stddef.h>
#include <sys/wait.h>
#include "auxlry.h"
#include "cell_xsb.h"
#include "error_xsb.h"
#include "inst_xsb.h"
#include "psc_xsb.h"
#include "hash_xsb.h"
#include "heap_xsb.h"
#include "memory_xsb.h"
#include "register.h"
#include "tries.h"
#include "choice.h"
#include "flags_xsb.h"
#include "loader_xsb.h"
#include "extensions_xsb.h"
#include "macro_xsb.h"
#include "tr_utils.h"
#include "export.h"
#include "io_builtins_xsb.h"
#include "timer_defs_xsb.h"
#include "sig_xsb.h"
#include "thread_xsb.h"
#include "varstring_xsb.h"
#include "struct_manager.h"
#include "trie_internals.h"

Defines
#define	PDL_DEFAULT_SIZE   64
#define	GLSTACK_DEFAULT_SIZE   768
#define	TCPSTACK_DEFAULT_SIZE   768
#define	COMPLSTACK_DEFAULT_SIZE   64
Functions
int	fileno (FILE *f)
FILE *	fdopen (int fildes, const char *type)
DllExport char *call_conv	strip_names_from_path (char *, int)
void	reset_stat_total (void)
void	perproc_reset_stat (void)
static void	display_file (char *infile_name)
static void	version_message (void)
static void	help_message (void)
static void	init_flags (CTXTdecl)
static void	init_open_files (void)
static void	process_long_option (char *option, int *ctr, char *argv[], int argc)
void	perform_IO_Redirect (CTXTdeclc int argc, char *argv[])
char *	init_para (CTXTdeclc int argc, char *argv[])
void	init_machine (CTXTdeclc int glsize, int tcpsize, int complstacksize, int pdlsize)
Psc	make_code_psc_rec (char *name, int arity, Psc mod_psc)
void	init_symbols (void)
Variables
long	pspacesize [NUM_CATS_SPACE] = {0}
System_Stack	pdl
System_Stack	glstack
System_Stack	tcpstack
System_Stack	complstack
Exec_Mode	xsb_mode
int	max_threads_glc
int	xsb_profiling_enabled = 0
Cell	answer_return_inst
Cell	resume_compl_suspension_inst
Cell	resume_compl_suspension_inst2
Cell	check_complete_inst
Cell	hash_handle_inst
Cell	fail_inst
Cell	dynfail_inst
Cell	trie_fail_unlock_inst
Cell	halt_inst
Cell	proceed_inst
double	realtime_count_gl
char *	install_dir_gl
char *	xsb_config_file_gl
char *	user_home_gl
char	standard_input_glc [] = "stdin"
char	standard_output_glc [] = "stdout"
char	standard_error_glc [] = "stderr"
char	standard_warning_glc [] = "stdwarn"
char	standard_message_glc [] = "stdmsg"
char	standard_debug_glc [] = "stddbg"
char	standard_feedback_glc [] = "stdfdbk"
FILE *	stream_err
FILE *	stream_out

---

Define Documentation

#define COMPLSTACK_DEFAULT_SIZE   64

#define GLSTACK_DEFAULT_SIZE   768

#define PDL_DEFAULT_SIZE   64

#define TCPSTACK_DEFAULT_SIZE   768

---

Function Documentation

static void display_file (  char *  infile_name  )  [static]

FILE* fdopen (  int  fildes, const char *  type )

int fileno (  FILE *  f  )

static void help_message (  void   )  [static]

static void init_flags (  CTXTdecl   )  [static]

void init_machine (  CTXTdeclc int  glsize, int  tcpsize, int  complstacksize, int  pdlsize )

static void init_open_files (  void   )  [static]

char* init_para (  CTXTdeclc int  argc, char *  argv[] )

void init_symbols (  void   )

Psc make_code_psc_rec (  char *  name, int  arity, Psc  mod_psc )

void perform_IO_Redirect (  CTXTdeclc int  argc, char *  argv[] )

void perproc_reset_stat (  void   )

static void process_long_option (  char *  option, int *  ctr, char *  argv[], int  argc )  [static]

void reset_stat_total (  void   )

DllExport char* call_conv strip_names_from_path (  char *  , int  )

static void version_message (  void   )  [static]

---

Variable Documentation

Cell answer_return_inst

Cell check_complete_inst

System_Stack complstack

Initial value: {NULL, NULL, 0, COMPLSTACK_DEFAULT_SIZE}

Cell dynfail_inst

Cell fail_inst

System_Stack glstack

Initial value: {NULL, NULL, 0, GLSTACK_DEFAULT_SIZE}

Cell halt_inst

Cell hash_handle_inst

char* install_dir_gl

int max_threads_glc

System_Stack pdl

Initial value: {NULL, NULL, 0, PDL_DEFAULT_SIZE}

Cell proceed_inst

long pspacesize[NUM_CATS_SPACE] = {0}

double realtime_count_gl

Cell resume_compl_suspension_inst

Cell resume_compl_suspension_inst2

char standard_debug_glc[] = "stddbg"

char standard_error_glc[] = "stderr"

char standard_feedback_glc[] = "stdfdbk"

char standard_input_glc[] = "stdin"

char standard_message_glc[] = "stdmsg"

char standard_output_glc[] = "stdout"

char standard_warning_glc[] = "stdwarn"

FILE* stream_err

FILE * stream_out

System_Stack tcpstack

Initial value: {NULL, NULL, 0, TCPSTACK_DEFAULT_SIZE}

Cell trie_fail_unlock_inst

char* user_home_gl

char* xsb_config_file_gl

Exec_Mode xsb_mode

int xsb_profiling_enabled = 0

---