write_supp.c File Reference

#include <string.h>
#include <ctype.h>
#include "engine_pl.h"
#include "bips_pl.h"

Include dependency graph for write_supp.c:

Macros
#define	OBJ_INIT   Write_Supp_Initializer
#define	WRITE_SUPP_FILE
#define	OP_MINUS_BRACKETS_MIXED
#define	W_NOTHING   0 /* for pl_last_writing */
#define	W_NUMBER   1
#define	W_NUMBER_0   2 /* to avoid 0'f ' if 'f ' is an op (avoid 0'char) */
#define	W_IDENTIFIER   3
#define	W_QUOTED   4
#define	W_GRAPHIC   5
#define	W_NO_PREFIX_OP   0 /* for last_prefix_op */
#define	W_PREFIX_OP_ANY   1
#define	W_PREFIX_OP_MINUS   2
#define	GENERAL_TERM   0
#define	INSIDE_ANY_OP   1
#define	INSIDE_LEFT_ASSOC_OP   2
#define	SHOW_LIST_PIPE   Out_Char('|')

Functions
static void	Need_Space (int c)
static void	Out_Space (void)
static void	Out_Char (int c)
static void	Out_String (char *str)
static void	Show_Term (int depth, int prec, int context, WamWord term_word)
static void	Show_Global_Var (WamWord *adr)
static void	Show_Fd_Variable (WamWord *fdv_adr)
static void	Show_Atom (int context, int atom)
static void	Show_Integer (PlLong x)
static void	Show_Float (double x)
static void	Show_Number_Str (char *str)
static void	Show_List_Arg (int depth, WamWord *lst_adr)
static void	Show_Structure (int depth, int prec, int context, WamWord *stc_adr)
static Bool	Try_Portray (WamWord word)
static void	Write_Supp_Initializer (void)
void	Pl_Write_Term (StmInf *pstm, int depth, int prec, int mask, WamWord *above_H, WamWord term_word)
void	Pl_Write (WamWord term_word)
void	Pl_Write_A_Full_Stop (StmInf *pstm)
void	Pl_Write_A_Char (StmInf *pstm, int c)
char *	Pl_Float_To_String (double d)
static Bool	Is_Valid_Var_Name (char *str)
Bool	Pl_Is_Valid_Var_Name_1 (WamWord name_word)
Bool	Pl_Get_Print_Stm_1 (WamWord stm_word)

Variables
static WamWord	curly_brackets_1
static WamWord	dollar_var_1
static WamWord	dollar_varname_1
static int	atom_dots
static StmInf *	pstm_o
static Bool	quoted
static Bool	ignore_op
static Bool	number_vars
static Bool	name_vars
static Bool	space_args
static Bool	portrayed
static WamWord *	name_number_above_H
static Bool	last_is_space
static int	last_prefix_op = W_NO_PREFIX_OP
static Bool *	p_bracket_op_minus

Macro Definition Documentation

#define GENERAL_TERM   0

#define INSIDE_ANY_OP   1

#define INSIDE_LEFT_ASSOC_OP   2

#define OBJ_INIT   Write_Supp_Initializer

#define OP_MINUS_BRACKETS_MIXED

#define SHOW_LIST_PIPE   Out_Char('|')

#define W_GRAPHIC   5

#define W_IDENTIFIER   3

#define W_NO_PREFIX_OP   0 /* for last_prefix_op */

#define W_NOTHING   0 /* for pl_last_writing */

#define W_NUMBER   1

#define W_NUMBER_0   2 /* to avoid 0'f ' if 'f ' is an op (avoid 0'char) */

#define W_PREFIX_OP_ANY   1

#define W_PREFIX_OP_MINUS   2

#define W_QUOTED   4

#define WRITE_SUPP_FILE

Function Documentation

static Bool Is_Valid_Var_Name ( char *  str )

static

Here is the caller graph for this function:

static void Need_Space ( int  c )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void Out_Char ( int  c )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void Out_Space ( void  )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void Out_String ( char *  str )

static

Here is the call graph for this function:

Here is the caller graph for this function:

char* Pl_Float_To_String

(

double

d

)

Here is the caller graph for this function:

Bool Pl_Get_Print_Stm_1

(

WamWord

stm_word

)

Here is the call graph for this function:

Bool Pl_Is_Valid_Var_Name_1

(

WamWord

name_word

)

Here is the call graph for this function:

void Pl_Write

(

WamWord

term_word

)

Here is the call graph for this function:

Here is the caller graph for this function:

void Pl_Write_A_Char	(	StmInf *	pstm,
		int	c
	)

Here is the call graph for this function:

void Pl_Write_A_Full_Stop

(

StmInf *

pstm

)

Here is the call graph for this function:

Here is the caller graph for this function:

void Pl_Write_Term	(	StmInf *	pstm,
		int	depth,
		int	prec,
		int	mask,
		WamWord *	above_H,
		WamWord	term_word
	)

Here is the call graph for this function:

Here is the caller graph for this function:

static void Show_Atom ( int  context, int  atom  )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void Show_Fd_Variable ( WamWord *  fdv_adr )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void Show_Float ( double  x )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void Show_Global_Var ( WamWord *  adr )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void Show_Integer ( PlLong  x )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void Show_List_Arg ( int  depth, WamWord *  lst_adr  )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void Show_Number_Str ( char *  str )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void Show_Structure ( int  depth, int  prec, int  context, WamWord *  stc_adr  )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void Show_Term ( int  depth, int  prec, int  context, WamWord  term_word  )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static Bool Try_Portray ( WamWord  word )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void Write_Supp_Initializer ( void  )

static

Here is the call graph for this function:

Variable Documentation

int atom_dots

static

WamWord curly_brackets_1

static

WamWord dollar_var_1

static

WamWord dollar_varname_1

static

Bool ignore_op

static

Bool last_is_space

static

int last_prefix_op = W_NO_PREFIX_OP

static

WamWord* name_number_above_H

static

Bool name_vars

static

Bool number_vars

static

Bool* p_bracket_op_minus

static

Bool portrayed

static

StmInf* pstm_o

static

Bool quoted

static

Bool space_args

static