C:/Users/Dennis/src/lang/Life_start/Life/life-1.02/source/lib.c File Reference

#include "extern.h"
#include "trees.h"
#include "print.h"
#include "parser.h"
#include "info.h"
#include "login.h"
#include "lefun.h"
#include "built_ins.h"
#include "types.h"
#include "copy.h"
#include "token.h"
#include "interrupt.h"
#include "error.h"
#include "modules.h"
#include "c_life.h"

Go to the source code of this file.

Functions
char **	group_features (char **f, ptr_node n)
void	exit_if_true (long exitflag)
void	init_io ()
void	init_system ()
	WFInit (long argc, char **argv)
int	WFInput (char *query)
PsiTerm	WFGetVar (char *name)
int	WFfeature_count_loop (ptr_node n)
int	WFFeatureCount (ptr_psi_term psi)
char *	WFType (ptr_psi_term psi)
char **	WFFeatures (ptr_psi_term psi)
double	WFGetDouble (ptr_psi_term psi, int *ok)
char *	WFGetString (ptr_psi_term psi, int *ok)
PsiTerm	WFGetFeature (ptr_psi_term psi, char *feature)
Variables
static char	vcid [] = "$Id: lib.c,v 1.2 1994/12/08 23:26:47 duchier Exp $"
long	noisy = TRUE
long	file_date = 3
long	types_done = FALSE
struct tms life_start	life_end
float	garbage_time = 0
int	rand_array [256]
int	c_query_level
jmp_buf	env
char	prompt_buffer []

---

Function Documentation

void exit_if_true

(

long

exitflag

)

Definition at line 86 of file lib.c.

Referenced by init_system(), main(), and WFInit().

char** group_features	(	char **	f,
		ptr_node	n
	)

Definition at line 68 of file lib.c.

References wl_node::key, wl_node::left, NULL, and wl_node::right.

Referenced by WFFeatures().

void init_io

(

)

Definition at line 99 of file lib.c.

References input_state, NULL, output_stream, stdin_state, stdin_terminal, and TRUE.

Referenced by main(), and WFInit().

void init_system

(

)

Definition at line 122 of file lib.c.

References choice_stack, current_module, exit_if_true(), FALSE, goal_stack, init_global_vars(), mem_base, memory_check(), wl_module::module_name, NULL, PROMPT, prompt, prompt_buffer, resid_aim, stack_nil(), stack_pointer, undo_stack, user_module, and var_tree.

Referenced by abort_life(), main(), and WFInit().

int WFfeature_count_loop

(

ptr_node

n

)

Definition at line 356 of file lib.c.

Referenced by WFFeatureCount(), and WFFeatures().

int WFFeatureCount

(

ptr_psi_term

psi

)

Definition at line 375 of file lib.c.

References deref_ptr, and WFfeature_count_loop().

char** WFFeatures

(

ptr_psi_term

psi

)

Definition at line 405 of file lib.c.

References deref_ptr, group_features(), NULL, and WFfeature_count_loop().

double WFGetDouble	(	ptr_psi_term	psi,
		int *	ok
	)

Definition at line 428 of file lib.c.

References deref_ptr, FALSE, real, sub_type(), and TRUE.

PsiTerm WFGetFeature	(	ptr_psi_term	psi,
		char *	feature
	)

Definition at line 474 of file lib.c.

References wl_node::data, deref_ptr, featcmp(), find(), and NULL.

char* WFGetString	(	ptr_psi_term	psi,
		int *	ok
	)

Definition at line 451 of file lib.c.

References deref_ptr, FALSE, NULL, quoted_string, sub_type(), and TRUE.

PsiTerm WFGetVar

(

char *

name

)

Definition at line 338 of file lib.c.

References wl_node::data, deref_ptr, find(), NULL, and var_tree.

WFInit	(	long	argc,
		char **	argv
	)

Definition at line 161 of file lib.c.

References arg_c, arg_v, assert, begin_terminal_io(), c_query_level, env, exit_if_true(), FALSE, file_date, heap_copy_string(), init_built_in_types(), init_copy(), init_interrupt(), init_io(), init_memory(), init_modules(), init_print(), init_system(), init_trace(), input_state, load, main_prove(), mem_base, noisy, open_input_file(), other_base, push_goal(), quietflag, rand_array, set_current_module(), stack_pointer, stdin_cleareof(), title(), TRUE, undo_stack, user_module, and var_occurred.

int WFInput

(

char *

query

)

Definition at line 251 of file lib.c.

References wl_goal::a, assert_clause(), assert_first, assert_ok, c_query_level, c_what_next, choice_stack, DEFRULES, encode_types(), FACT, fail, FALSE, goal_count, goal_stack, ignore_eff, init_parse_state(), main_prove(), wl_goal::next, NULL, parse(), prove, push_choice_point(), push_goal(), QUERY, reset_stacks(), save_parse_state(), stack_copy_psi_term(), start_chrono(), stringinput, stringparse, TRUE, wl_goal::type, undo(), undo_stack, var_occurred, WFmore, WFno, and WFyes.

char* WFType

(

ptr_psi_term

psi

)

Definition at line 391 of file lib.c.

References deref_ptr, and NULL.

---

Variable Documentation

int c_query_level

Definition at line 62 of file lib.c.

Referenced by WFInit(), and WFInput().

jmp_buf env

Definition at line 18 of file copy.c.

long file_date = 3

Definition at line 49 of file lib.c.

Referenced by c_load(), load_aim(), main(), redefine(), and WFInit().

float garbage_time = 0

Definition at line 57 of file lib.c.

Referenced by exit_life(), and garbage().

struct tms life_start life_end

Definition at line 53 of file lib.c.

Referenced by c_cputime(), and exit_life().

long noisy = TRUE

Definition at line 48 of file lib.c.

Referenced by load_aim(), main(), open_input_file(), and WFInit().

char prompt_buffer[]

Definition at line 76 of file login.c.

Referenced by init_system(), and what_next_aim().

int rand_array[]

Definition at line 153 of file lib.c.

long types_done = FALSE

Definition at line 50 of file lib.c.

Referenced by encode_types().

char vcid[] = "$Id: lib.c,v 1.2 1994/12/08 23:26:47 duchier Exp $" [static]

Definition at line 7 of file lib.c.

---