debug_xsb.c File Reference

#include "xsb_config.h"
#include "xsb_debug.h"
#include <stdio.h>
#include <string.h>
#include "auxlry.h"
#include "cell_xsb.h"
#include "error_xsb.h"
#include "binding.h"
#include "psc_xsb.h"
#include "memory_xsb.h"
#include "flags_xsb.h"
#include "context.h"
#include "register.h"
#include "deref.h"
#include "trie_internals.h"
#include "choice.h"
#include "macro_xsb.h"
#include "inst_xsb.h"
#include "debug_xsb.h"
#include "varstring_xsb.h"
#include "cinterf.h"
#include "io_defs_xsb.h"
#include "io_builtins_xsb.h"
#include "thread_defs_xsb.h"
#include "thread_xsb.h"

Defines
#define	CAR   1
#define	CDR   0
Functions
static void	print_term (FILE *fp, Cell term, byte car, int level)
void	printterm (FILE *fp, Cell term, int depth)
static void	print_call (CTXTdeclc Psc psc)
void	debug_call (CTXTdeclc Psc psc)
static CP_DEBUG void	print_common_cpf_part (CPtr cpf_addr, FILE *where)
static void	print_cpf (CPtr cpf_addr, FILE *where)
void	alt_print_cp (CTXTdecl)
void	dis_data (FILE *)
void	dis_text (FILE *)
void	alt_dis (CTXTdecl)
Variables
int	call_step_gl = 0
int	hitrace_suspend_gl = 0
static int	alt_printnum = 0

---

Define Documentation

#define CAR   1

#define CDR   0

---

Function Documentation

void alt_dis (  CTXTdecl   )

void alt_print_cp (  CTXTdecl   )

void debug_call (  CTXTdeclc Psc  psc  )

void dis_data (  FILE *   )

void dis_text (  FILE *   )

static void print_call (  CTXTdeclc Psc  psc  )  [static]

static CP_DEBUG void print_common_cpf_part (  CPtr  cpf_addr, FILE *  where )  [static]

static void print_cpf (  CPtr  cpf_addr, FILE *  where )  [static]

static void print_term (  FILE *  fp, Cell  term, byte  car, int  level )  [static]

void printterm (  FILE *  fp, Cell  term, int  depth )

---

Variable Documentation

int alt_printnum = 0 [static]

int call_step_gl = 0

int hitrace_suspend_gl = 0

---