pretty_c.c File Reference

#include "engine_pl.h"
#include "bips_pl.h"

Include dependency graph for pretty_c.c:

Macros
#define	OBJ_INIT   Pretty_Initializer
#define	GENERAL_BODY   0
#define	LEFT_AND   1
#define	RIGHT_AND   2
#define	LEFT_OR   3
#define	RIGHT_OR   4
#define	LEFT_IF   5
#define	RIGHT_IF   6
#define	WRITE_MASK
#define	BIND_WITH_NUMBERVAR   (pl_sys_var[0] == 0)

Functions
static void	Portray_Clause (StmInf *pstm, WamWord term_word)
static Bool	Check_Structure (WamWord term_word, int func, int arity, WamWord arg_word[])
static Bool	Is_Cut (WamWord body_word)
static void	Show_Body (StmInf *pstm, int level, int context, WamWord body_word)
static void	Start_Line (StmInf *pstm, int level, char c_before)
static Bool	Collect_Singleton (WamWord *adr)
static int	Var_Name_To_Var_Number (int atom)
static void	Exclude_A_Var_Number (int n)
static void	Collect_Excluded_Rec (WamWord start_word)
static Bool	Bind_Variable (WamWord *adr, WamWord word)
static void	Pretty_Initializer (void)
void	Pl_Portray_Clause_3 (WamWord sora_word, WamWord term_word, WamWord above_word)
void	Pl_Portray_Clause_2 (WamWord term_word, WamWord above_word)
void	Pl_Name_Singleton_Vars_1 (WamWord start_word)
Bool	Pl_Name_Query_Vars_2 (WamWord query_list_word, WamWord rest_list_word)
Bool	Pl_Bind_Variables_4 (WamWord term_word, WamWord exclude_list_word, WamWord from_word, WamWord next_word)

Variables
static int	atom_clause
static int	atom_dcg
static int	atom_if
static int	atom_soft_if
static int	atom_dollar_var
static int	atom_dollar_varname
static WamWord	dollar_var_1
static WamWord	dollar_varname_1
static WamWord	equal_2
static PlLong *	singl_var_ptr
static int	nb_singl_var
static int	nb_to_try
static WamWord *	above_H

Macro Definition Documentation

#define BIND_WITH_NUMBERVAR   (pl_sys_var[0] == 0)

#define GENERAL_BODY   0

#define LEFT_AND   1

#define LEFT_IF   5

#define LEFT_OR   3

#define OBJ_INIT   Pretty_Initializer

#define RIGHT_AND   2

#define RIGHT_IF   6

#define RIGHT_OR   4

#define WRITE_MASK

Value:

(WRITE_NUMBER_VARS | WRITE_NAME_VARS | \
                      WRITE_QUOTED      | WRITE_SPACE_ARGS)

Function Documentation

static Bool Bind_Variable ( WamWord *  adr, WamWord  word  )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static Bool Check_Structure ( WamWord  term_word, int  func, int  arity, WamWord  arg_word[]  )

static

Here is the caller graph for this function:

static void Collect_Excluded_Rec ( WamWord  start_word )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static Bool Collect_Singleton ( WamWord *  adr )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void Exclude_A_Var_Number ( int  n )

static

Here is the caller graph for this function:

static Bool Is_Cut ( WamWord  body_word )

static

Here is the call graph for this function:

Here is the caller graph for this function:

Bool Pl_Bind_Variables_4	(	WamWord	term_word,
		WamWord	exclude_list_word,
		WamWord	from_word,
		WamWord	next_word
	)

Here is the call graph for this function:

Bool Pl_Name_Query_Vars_2	(	WamWord	query_list_word,
		WamWord	rest_list_word
	)

Here is the call graph for this function:

void Pl_Name_Singleton_Vars_1

(

WamWord

start_word

)

Here is the call graph for this function:

void Pl_Portray_Clause_2	(	WamWord	term_word,
		WamWord	above_word
	)

Here is the call graph for this function:

void Pl_Portray_Clause_3	(	WamWord	sora_word,
		WamWord	term_word,
		WamWord	above_word
	)

Here is the call graph for this function:

Here is the caller graph for this function:

static void Portray_Clause ( StmInf *  pstm, WamWord  term_word  )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void Pretty_Initializer ( void  )

static

Here is the call graph for this function:

static void Show_Body ( StmInf *  pstm, int  level, int  context, WamWord  body_word  )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void Start_Line ( StmInf *  pstm, int  level, char  c_before  )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static int Var_Name_To_Var_Number ( int  atom )

static

Here is the caller graph for this function:

Variable Documentation

WamWord* above_H

static

int atom_clause

static

int atom_dcg

static

int atom_dollar_var

static

int atom_dollar_varname

static

int atom_if

static

int atom_soft_if

static

WamWord dollar_var_1

static

WamWord dollar_varname_1

static

WamWord equal_2

static

int nb_singl_var

static

int nb_to_try

static

PlLong* singl_var_ptr

static