Go to the source code of this file.
long abort_life | ( | int | nlflag | ) |
Definition at line 2124 of file built_ins.c.
References aborthooksym, abortsym, wl_pair_list::bbbb_2, DEFRULES, FALSE, function_it, init_system(), main_loop_ok, NOTQUIET, NULL, prove, push_goal(), wl_definition::rule, stack_psi_term(), stdin_cleareof(), TRUE, wl_psi_term::type, wl_definition::type_def, undo(), and var_occurred.
void add_rule | ( | ptr_psi_term | head, |
ptr_psi_term | body, | ||
def_type | typ | ||
) |
Definition at line 148 of file login.c.
References wl_pair_list::aaaa_2, assert_first, assert_ok, wl_psi_term::attr_list, wl_pair_list::bbbb_2, clear_copy(), wl_keyword::combined_name, wl_psi_term::coref, current_module, deref_ptr, Errorline(), HEAP, HEAP_ALLOC, wl_definition::keyword, MAX_BUILT_INS, wl_module::module_name, wl_pair_list::next, NULL, predicate, quote_copy(), redefine(), wl_psi_term::resid, wl_definition::rule, succeed, wl_keyword::symbol, TRUE, wl_psi_term::type, wl_definition::type_def, undef, and wl_psi_term::value_3.
long all_public_symbols | ( | ) |
Definition at line 1349 of file modules.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, wl_goal::bbbb_1, deref_ptr, first_definition, get_module(), get_two_args(), wl_definition::keyword, wl_keyword::module, wl_definition::next, NULL, wl_keyword::public, push_goal(), stack_cons(), stack_nil(), stack_psi_term(), TRUE, wl_psi_term::type, and unify.
void all_sorts | ( | ) |
Definition at line 716 of file types.c.
References cons(), first_definition, wl_definition::next, nothing, wl_definition::parents, wl_definition::type_def, and type_it.
long all_symbol | ( | char * | s | ) |
long append_files | ( | char * | s1, |
char * | s2 | ||
) |
void append_resid | ( | ptr_psi_term | u, |
ptr_psi_term | v | ||
) |
Definition at line 434 of file lefun.c.
References push_ptr_value(), and resid_ptr.
ptr_int_list appendIntList | ( | ptr_int_list | tail, |
ptr_int_list | more | ||
) |
Definition at line 28 of file lub.c.
References wl_int_list::next, NULL, STACK_ALLOC, and wl_int_list::value_1.
void assert_args_not_eval | ( | ptr_node | n | ) |
Definition at line 273 of file types.c.
References deref_ptr, wl_definition::evaluate_args, FALSE, wl_definition::keyword, wl_keyword::symbol, wl_psi_term::type, wl_definition::type_def, type_it, and warningline().
void assert_attributes | ( | ptr_psi_term | t | ) |
Definition at line 468 of file types.c.
References add_rule(), wl_psi_term::attr_list, deref_ptr, Errorline(), function_it, get_two_args(), wl_definition::keyword, NULL, predicate, wl_keyword::symbol, TRUE, wl_psi_term::type, wl_definition::type_def, type_it, types_modified, and wl_const_3.
void assert_clause | ( | ptr_psi_term | t | ) |
Definition at line 267 of file login.c.
References add_rule(), assert_attributes(), assert_complicated_type(), assert_ok, assert_rule(), deref_ptr, equ_tok, FALSE, function_it, NULL, and predicate.
void assert_complicated_type | ( | ptr_psi_term | t | ) |
Definition at line 375 of file types.c.
References add_rule(), assert_less(), assert_ok, wl_psi_term::attr_list, deref_ptr, disjunction, equ_tok, Errorline(), FALSE, get_two_args(), wl_definition::keyword, nil, NULL, wl_keyword::symbol, TRUE, wl_psi_term::type, type_it, and warningline().
void assert_delay_check | ( | ptr_node | n | ) |
Definition at line 303 of file types.c.
References wl_definition::always_check, deref_ptr, FALSE, and wl_psi_term::type.
long assert_less | ( | ptr_psi_term | t1, |
ptr_psi_term | t2 | ||
) |
Definition at line 183 of file types.c.
References deref_ptr, Errorline(), FALSE, function_it, wl_definition::keyword, make_type_link(), predicate, redefine(), wl_keyword::symbol, top, TRUE, wl_definition::type_def, type_it, and types_modified.
void assert_protected | ( | ptr_node | n, |
long | prot | ||
) |
Definition at line 235 of file types.c.
References wl_definition::date, deref_ptr, wl_definition::keyword, MAX_BUILT_INS, wl_definition::protected, wl_definition::rule, wl_keyword::symbol, wl_psi_term::type, wl_definition::type_def, type_it, and warningline().
Definition at line 237 of file login.c.
References add_rule(), get_two_args(), and Syntaxerrorline().
void assert_type | ( | ptr_psi_term | t | ) |
Definition at line 345 of file types.c.
References assert_less(), assert_ok, Errorline(), get_two_args(), and NULL.
void backtrack | ( | ) |
Definition at line 724 of file login.c.
References choice_stack, goal_stack, wl_choice_point::goal_stack, wl_choice_point::next, NULL, resid_aim, stack_pointer, wl_choice_point::stack_top, undo(), and wl_choice_point::undo_point.
int bad_psi_term | ( | ptr_psi_term | t | ) |
void begin_terminal_io | ( | ) |
Definition at line 410 of file token.c.
References inchange, input_state, input_stream, open_input_file(), out, outchange, and output_stream.
long bit_and_warning | ( | ptr_psi_term | arg, |
REAL | val | ||
) |
long bit_length | ( | ptr_int_list | c | ) |
long bit_not_warning | ( | ptr_psi_term | arg, |
REAL | val | ||
) |
long bit_or_warning | ( | ptr_psi_term | arg, |
REAL | val | ||
) |
Definition at line 327 of file trees.c.
References FALSE, general_insert(), and STACK.
void bk_mark_quote | ( | ptr_psi_term | t | ) |
Definition at line 630 of file copy.c.
References bk_mark_quote(), bk_mark_quote_tree(), heap_pointer, int_ptr, push_ptr_value(), QUOTED_TRUE, and RMASK.
void bk_mark_quote_tree | ( | ptr_node | t | ) |
Definition at line 647 of file copy.c.
References bk_mark_quote(), and bk_mark_quote_tree().
void bk_stack_add_psi_attr | ( | ptr_psi_term | t, |
char * | attrname, | ||
ptr_psi_term | g | ||
) |
Definition at line 200 of file token.c.
References bk_stack_insert(), FEATCMP, and heap_copy_string().
Definition at line 309 of file trees.c.
References FALSE, general_insert(), and STACK.
long bounds_undo_stack | ( | ) |
Definition at line 121 of file memory.c.
References wl_stack::aaaa_3, FALSE, mem_base, mem_limit, wl_stack::next, TRUE, wl_stack::type, undo_action, undo_stack, and VALID_ADDRESS.
long c_abort | ( | ) |
long c_alias | ( | ) |
Definition at line 1164 of file modules.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, wl_keyword::combined_name, wl_keyword::definition, deref_ptr, Errorline(), FALSE, get_two_args(), hash_lookup(), wl_definition::keyword, wl_module::module_name, wl_keyword::symbol, wl_module::symbol_table, TRUE, wl_psi_term::type, and warningline().
long c_append_file | ( | ) |
Definition at line 5552 of file built_ins.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, wl_node::data, deref, deref_args, deref_ptr, Errorline(), FALSE, FEATCMP, find(), one, overlap_type(), quoted_string, set_1_2, TRUE, two, wl_psi_term::type, and wl_psi_term::value_3.
long c_args | ( | ) |
Definition at line 5777 of file built_ins.c.
References aim, arg_c, arg_v, wl_goal::bbbb_1, heap_copy_string(), NULL, push_goal(), quoted_string, stack_cons(), stack_nil(), stack_psi_term(), TRUE, wl_psi_term::type, unify, and wl_psi_term::value_3.
long c_begin_raw | ( | ) |
Definition at line 32 of file raw.c.
References bufbuf, Errorline(), FALSE, mode_raw, param_input, stdin_fileno, TANDEM, and TRUE.
long c_concatenate | ( | ) |
Definition at line 5245 of file built_ins.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, wl_goal::bbbb_1, curry(), wl_node::data, deref, deref_args, deref_ptr, FALSE, FEATCMP, find(), one, overlap_type(), quoted_string, residuate(), set_1_2, TRUE, two, wl_psi_term::type, and wl_psi_term::value_3.
long c_current_module | ( | ) |
Definition at line 956 of file modules.c.
References wl_goal::aaaa_1, aim, wl_goal::bbbb_1, deref_ptr, heap_copy_string(), wl_module::module_name, NULL, push_goal(), quoted_string, resid_aim, stack_psi_term(), TRUE, wl_psi_term::type, unify, and wl_psi_term::value_3.
long c_deref_length | ( | ) |
Definition at line 5743 of file built_ins.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, wl_goal::bbbb_1, wl_psi_term::coref, curry(), wl_node::data, deref_ptr, FEATCMP, find(), one, REAL, TRUE, and unify_real_result().
long c_display_modules | ( | ) |
Definition at line 723 of file modules.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, deref_ptr, display_modules, Errorline(), FALSE, get_two_args(), lf_false, lf_true, TRUE, and wl_psi_term::type.
long c_display_persistent | ( | ) |
Definition at line 759 of file modules.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, deref_ptr, display_persistent, Errorline(), FALSE, get_two_args(), lf_false, lf_true, TRUE, and wl_psi_term::type.
long c_end_raw | ( | ) |
Definition at line 232 of file raw.c.
References bufbuf, Errorline(), FALSE, mode_raw, param_input, stdin_fileno, and TRUE.
long c_get_raw | ( | ) |
Definition at line 103 of file raw.c.
References aim, begin_builtin, boolean, bufbuf, Errorline(), exit_life(), FALSE, include_var_builtin, interrupt(), REAL, real, release_resid(), stdin_fileno, TRUE, unify_real_result(), and xevent_existing.
long c_glb | ( | ) |
Definition at line 553 of file bi_type.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, wl_goal::bbbb_1, curry(), decode(), deref, deref_args, deref_ptr, Errorline(), FALSE, get_two_args(), glb(), isSubTypeValue(), isValue(), makePsiTerm(), wl_int_list::next, NULL, push_choice_point(), push_goal(), resid_aim, set_1_2, TRUE, wl_psi_term::type, type_disj, unify, wl_int_list::value_1, and wl_psi_term::value_3.
long c_halt | ( | ) |
long c_in_raw | ( | ) |
long c_initrandom | ( | ) |
Definition at line 5690 of file built_ins.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, wl_node::data, deref, deref_args, deref_ptr, FALSE, FEATCMP, find(), integer, one, overlap_type(), residuate(), set_1, TRUE, wl_psi_term::type, and wl_psi_term::value_3.
long c_isa_subsort | ( | ) |
Definition at line 515 of file bi_type.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, deref, deref_args, deref_ptr, FALSE, get_two_args(), isa(), reportAndAbort(), residuate(), set_1_2, and TRUE.
long c_lub | ( | ) |
Definition at line 614 of file bi_type.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, wl_goal::bbbb_1, curry(), deref, deref_args, deref_ptr, get_two_args(), lub(), makePsiTerm(), wl_int_list::next, NULL, push_choice_point(), push_goal(), resid_aim, set_1_2, TRUE, type_disj, unify, and wl_int_list::value_1.
long c_module_access | ( | ) |
Definition at line 993 of file modules.c.
References wl_goal::aaaa_1, aim, deref_ptr, FALSE, and warningline().
long c_open_module | ( | ) |
Definition at line 514 of file modules.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, deref_ptr, Errorline(), FALSE, and open_module_tree().
long c_private | ( | ) |
Definition at line 697 of file modules.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, deref_ptr, Errorline(), FALSE, MAKE_PRIVATE, traverse_tree(), and TRUE.
long c_private_feature | ( | ) |
Definition at line 1288 of file modules.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, deref_ptr, Errorline(), FALSE, MAKE_FEATURE_PRIVATE, traverse_tree(), and TRUE.
long c_public | ( | ) |
Definition at line 671 of file modules.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, deref_ptr, Errorline(), FALSE, MAKE_PUBLIC, traverse_tree(), and TRUE.
long c_put_raw | ( | ) |
Definition at line 205 of file raw.c.
References begin_builtin, end_builtin, include_var_builtin, real, and TRUE.
long c_quiet | ( | ) |
Definition at line 155 of file bi_sys.c.
References wl_goal::aaaa_1, aim, wl_goal::bbbb_1, deref_args, deref_ptr, lf_false, lf_true, NOTQUIET, NULL, push_goal(), set_empty, stack_psi_term(), TRUE, wl_psi_term::type, and unify.
long c_random | ( | ) |
Definition at line 5626 of file built_ins.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, wl_goal::bbbb_1, curry(), wl_node::data, deref, deref_args, deref_ptr, FALSE, FEATCMP, find(), integer, NULL, one, overlap_type(), push_goal(), REAL, real_stack_psi_term(), residuate(), set_1, TRUE, wl_psi_term::type, unify, and wl_psi_term::value_3.
long c_replace | ( | ) |
Definition at line 917 of file modules.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, wl_node::data, deref_ptr, Errorline(), FALSE, FEATCMP, find(), get_two_args(), NULL, replace(), three, TRUE, and wl_psi_term::type.
long c_reset_window_flag | ( | ) |
long c_set_module | ( | ) |
Definition at line 483 of file modules.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, create_module(), deref_ptr, Errorline(), FALSE, get_two_args(), set_current_module(), string_val(), and TRUE.
long c_string_length | ( | ) |
Definition at line 5389 of file built_ins.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, wl_goal::bbbb_1, curry(), wl_node::data, deref, deref_args, deref_ptr, FALSE, FEATCMP, find(), one, overlap_type(), quoted_string, residuate(), set_1, TRUE, wl_psi_term::type, and wl_psi_term::value_3.
long c_sub_string | ( | ) |
Definition at line 5444 of file built_ins.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, wl_goal::bbbb_1, curry(), wl_node::data, deref, deref_args, deref_ptr, FALSE, FEATCMP, find(), one, overlap_type(), quoted_string, residuate(), set_1_2_3, three, TRUE, two, wl_psi_term::type, and wl_psi_term::value_3.
long c_tprove | ( | ) |
Definition at line 65 of file bi_sys.c.
References wl_goal::aaaa_1, aim, deref_args, set_empty, set_trace_to_prove(), and TRUE.
long c_trace | ( | ) |
Definition at line 20 of file bi_sys.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, deref_args, deref_ptr, Errorline(), FALSE, get_two_args(), is_top, lf_false, lf_true, set_empty, stepflag, toggle_trace(), trace, TRUE, wl_psi_term::type, and unify_bool_result().
long c_trace_input | ( | ) |
Definition at line 795 of file modules.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, deref_ptr, Errorline(), FALSE, get_two_args(), lf_false, lf_true, trace_input, TRUE, and wl_psi_term::type.
long c_window_flag | ( | ) |
Definition at line 284 of file raw.c.
References aim, deref_ptr, FALSE, TRUE, unify_bool_result(), and x_window_creation.
void check_attr | ( | ptr_node * | n | ) |
Definition at line 985 of file memory.c.
References check_psi_term(), check_string(), and unchecked().
void check_definition | ( | ptr_definition * | d | ) |
Definition at line 612 of file memory.c.
References check_code(), check_keyword(), check_kids(), check_operator_data(), check_pair_list(), check_psi_term(), check_triple_list(), type_it, and unchecked().
void check_definition_list | ( | ) |
Definition at line 648 of file memory.c.
References check_definition(), and first_definition.
void check_disj | ( | ptr_psi_term | t | ) |
Definition at line 845 of file lefun.c.
References disj, fail, NULL, push_goal(), traceline(), and TRUE.
void check_func | ( | ptr_psi_term | t | ) |
Definition at line 861 of file lefun.c.
References check_func_flag, check_out(), copy(), disjunction, eval, eval_args(), get_one_arg(), iff, push_goal(), push_psi_ptr_value(), RMASK, wl_definition::rule, stack_copy_psi_term(), stack_psi_term(), wl_psi_term::status, such_that, traceline(), TRUE, and wl_psi_term::type.
void check_gamma_code | ( | ) |
Definition at line 1008 of file memory.c.
References check_def_code(), gamma_table, type_count, and unchecked().
void check_hash_table | ( | ptr_hash_table | table | ) |
long check_legal_cons | ( | ptr_psi_term | t, |
ptr_definition | t_type | ||
) |
long check_out | ( | ptr_psi_term | t | ) |
Definition at line 999 of file lefun.c.
References check_func(), check_func_flag, check_type(), deref_ptr, eval_args(), eval_global_var(), FALSE, function_it, global, heap_pointer, RMASK, traceline(), TRUE, and type_it.
void check_pointer | ( | ptr_psi_term | p | ) |
Definition at line 214 of file print.c.
References wl_node::data, deref_ptr, find(), go_through(), heap_insert(), INTCMP, no_name, NULL, and pointer_names.
void check_psi_term | ( | ptr_psi_term * | t | ) |
Definition at line 920 of file memory.c.
References alist, assert, check_attr(), check_bytedata(), check_definition(), check_resid(), check_string(), choice_stack, cut, Errorline(), heap_pointer, LONELY, mem_limit, NULL, pass, quoted_string, REAL, real, stream, sub_type(), sys_bytedata, unchecked(), and variable.
long check_real | ( | ptr_psi_term | t, |
REAL * | v, | ||
long * | n | ||
) |
void check_resid_block | ( | ptr_resid_block * | rb | ) |
Definition at line 900 of file memory.c.
References check_goal_stack(), check_resid_list(), LONELY, and unchecked().
void check_sys_definitions | ( | ) |
Definition at line 1740 of file sys.c.
References check_definition(), sys_bitvector, sys_bytedata, sys_file_stream, sys_regexp, sys_socket_stream, and sys_stream.
long check_type | ( | ptr_psi_term | t | ) |
Definition at line 922 of file lefun.c.
References eval_args(), FALSE, fetch_def(), int_ptr, push2_ptr_value(), RMASK, SMASK, and TRUE.
long clause_aim | ( | long | r | ) |
Definition at line 1775 of file login.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, wl_goal::bbbb_1, wl_goal::cccc_1, clause, clear_copy(), del_clause, Errorline(), FALSE, i_eval_args(), wl_definition::keyword, MAX_BUILT_INS, NULL, push_choice_point(), push_goal(), quote_copy(), retract, STACK, wl_psi_term::status, wl_keyword::symbol, traceline(), TRUE, wl_psi_term::type, and unify.
void clean_undo_window | ( | long | disp, |
long | wind | ||
) |
Definition at line 792 of file login.c.
References choice_stack, wl_stack::next, undo_action, wl_choice_point::undo_point, and undo_stack.
void clear_already_loaded | ( | ptr_node | n | ) |
Definition at line 326 of file types.c.
References wl_definition::already_loaded, and FALSE.
void clear_coding | ( | ) |
Definition at line 685 of file types.c.
References wl_definition::code, first_definition, wl_definition::next, NOT_CODED, wl_definition::type_def, and type_it.
void clear_copy | ( | ) |
ptr_psi_term collect_symbols | ( | long | sel | ) |
Definition at line 3446 of file built_ins.c.
References wl_definition::children, first_definition, fx, fx_sym, fy, fy_sym, greatest_sel, hidden_type(), least_sel, wl_operator_data::next, wl_definition::next, nothing, NULL, one, wl_definition::op_data, op_sel, opsym, wl_definition::parents, wl_operator_data::precedence, stack_add_int_attr(), stack_add_psi_attr(), stack_cons(), stack_nil(), stack_psi_term(), three, top, two, wl_psi_term::type, wl_definition::type_def, type_it, undef, xf, xf_sym, xfx, xfx_sym, xfy, xfy_sym, yf, yf_sym, yfx, and yfx_sym.
ptr_int_list cons | ( | GENERIC | v, |
ptr_int_list | l | ||
) |
Definition at line 164 of file types.c.
References HEAP_ALLOC, wl_int_list::next, and wl_int_list::value_1.
ptr_psi_term copy | ( | ptr_psi_term | t, |
long | copy_flag, | ||
long | heap_flag | ||
) |
Definition at line 219 of file copy.c.
References abort_life(), wl_psi_term::attr_list, choice_stack, COPY_THRESHOLD, copy_tree(), curr_status, cut, deref_ptr, env, Errorline(), EVAL_FLAG, FALSE, wl_psi_term::flags, function_it, global, global_time_stamp, HEAP, heap_pointer, HEAPDONE, insert_translation(), mark_quote_c(), NEW, NULL, QUOTE_FLAG, QUOTE_STUB, QUOTED_TRUE, wl_psi_term::resid, stack_pointer, wl_psi_term::status, traceline(), translate(), TRUE, type_it, and wl_psi_term::value_3.
ptr_int_list copyTypeCode | ( | ptr_int_list | u | ) |
Definition at line 760 of file types.c.
References HEAP_ALLOC, wl_int_list::next, NULL, or_codes(), and wl_int_list::value_1.
long count_sorts | ( | long | c0 | ) |
Definition at line 669 of file types.c.
References first_definition, wl_definition::next, wl_definition::type_def, and type_it.
ptr_module create_module | ( | char * | module | ) |
Definition at line 67 of file modules.c.
References find_module(), hash_create(), HEAP_ALLOC, heap_copy_string(), heap_insert(), input_file_name, NULL, and STRCMP.
void crunch | ( | long | prec, |
long | limit | ||
) |
Definition at line 636 of file parser.c.
References error_psi_term, FALSE, fx, look(), make_life_form(), nop, NULL, parse_ok, parser_stack_index, pop(), push(), xf, and xfx.
long declare_operator | ( | ptr_psi_term | t | ) |
Definition at line 5114 of file built_ins.c.
References wl_node::data, deref_ptr, Errorline(), FALSE, FEATCMP, find(), fx, fx_sym, fy, fy_sym, get_two_args(), integer, wl_definition::keyword, MAX_PRECEDENCE, nop, op_declare(), REAL, sub_type(), wl_keyword::symbol, three, TRUE, wl_psi_term::type, wl_psi_term::value_3, xf, xf_sym, xfx, xfx_sym, xfy, xfy_sym, yf, yf_sym, yfx, and yfx_sym.
ptr_int_list decode | ( | ptr_int_list | c | ) |
Definition at line 1678 of file types.c.
References bit_length(), wl_definition::code, cons(), wl_int_list::next, NULL, STACK_ALLOC, and wl_int_list::value_1.
void delete_attr | ( | char * | s, |
ptr_node * | n | ||
) |
Definition at line 466 of file trees.c.
References wl_node::data, featcmp(), FEATCMP, heap_insert(), wl_node::key, wl_node::left, and wl_node::right.
void deref2_eval | ( | ptr_psi_term | t | ) |
Definition at line 1224 of file lefun.c.
References check_func(), deref_ptr, eval_global_var(), function_it, and global.
void deref2_rec_eval | ( | ptr_psi_term | t | ) |
long deref_args_eval | ( | ptr_psi_term | t, |
long | set | ||
) |
Definition at line 1175 of file lefun.c.
References aim, deref_flag, deref_rec_args_exc(), FALSE, and goal_stack.
long deref_eval | ( | ptr_psi_term | t | ) |
Definition at line 1087 of file lefun.c.
References aim, check_func(), deref_flag, deref_ptr, eval_global_var(), FALSE, function_it, global, goal_stack, heap_pointer, int_ptr, push_ptr_value(), and TRUE.
void deref_rec_args | ( | ptr_node | n | ) |
Definition at line 1159 of file lefun.c.
References deref_ptr, and deref_rec_body().
void deref_rec_args_exc | ( | ptr_node | n, |
long | set | ||
) |
Definition at line 1203 of file lefun.c.
References deref_ptr, deref_rec_body(), and in_set().
void deref_rec_body | ( | ptr_psi_term | t | ) |
Definition at line 1135 of file lefun.c.
References check_func(), deref_flag, deref_ptr, deref_rec_args(), eval_global_var(), function_it, global, heap_pointer, int_ptr, push_ptr_value(), and TRUE.
long deref_rec_eval | ( | ptr_psi_term | t | ) |
Definition at line 1123 of file lefun.c.
References aim, deref_flag, deref_rec_body(), FALSE, and goal_stack.
long disjunct_aim | ( | ) |
void display_couple | ( | ptr_psi_term | u, |
char * | s, | ||
ptr_psi_term | v | ||
) |
Definition at line 1516 of file print.c.
References buffer, check_pointer(), const_quote, end_tab(), FALSE, gen_sym_counter, heap_pointer, indent, indx, insert_variables(), listing_flag, mark_tab(), MAX_PRECEDENCE, new_tab(), NULL, output_stream, pointer_names, pretty_output(), pretty_tag_or_psi_term(), pretty_things, prettyf(), printed_pointers, TRUE, var_tree, work_out_length(), write_canon, and write_resids.
void display_psi | ( | FILE * | s, |
ptr_psi_term | t | ||
) |
void display_psi_stderr | ( | ptr_psi_term | t | ) |
void display_psi_stdout | ( | ptr_psi_term | t | ) |
void display_psi_stream | ( | ptr_psi_term | t | ) |
Definition at line 1449 of file print.c.
References main_display_psi_term(), outfile, and output_stream.
ptr_psi_term distinct_copy | ( | ptr_psi_term | t | ) |
Definition at line 358 of file copy.c.
References wl_psi_term::attr_list, distinct_tree(), global_time_stamp, and STACK_ALLOC.
Definition at line 334 of file copy.c.
References wl_node::data, distinct_tree(), wl_node::key, wl_node::left, NULL, wl_node::right, and STACK_ALLOC.
void do_currying | ( | ) |
Definition at line 359 of file lefun.c.
References wl_goal::aaaa_1, wl_goal::bbbb_1, goal_stack, wl_goal::next, NULL, push_goal(), resid_aim, traceline(), and unify_noeval.
void do_pretty_attr | ( | ptr_node | t, |
ptr_tab_brk | tab, | ||
long * | cnt, | ||
long | two, | ||
long | depth | ||
) |
Definition at line 1109 of file print.c.
References COMMA_PREC, display_modules, extract_module_from_name(), mark_tab(), wl_module::module_name, pretty_tag_or_psi_term(), prettyf(), prettyf_quote(), str_to_int(), and strip_module_name().
long do_residuation | ( | ) |
Definition at line 313 of file lefun.c.
References wl_goal::aaaa_1, deref_ptr, FALSE, wl_resid_list::next, wl_resid_list::othervar, print_resid_message(), resid_aim, resid_vars, residuateGoalOnVar(), trace, traceline(), tracing(), TRUE, and wl_resid_list::var.
long do_residuation_user | ( | ) |
Definition at line 306 of file lefun.c.
References do_residuation(), goal_stack, wl_goal::next, and resid_aim.
int dummy_printf | ( | char * | f, |
char * | s, | ||
char * | t | ||
) |
void encode_types | ( | ) |
Definition at line 1015 of file types.c.
References all_sorts(), built_in, wl_definition::children, clear_coding(), wl_definition::code, cons(), count_sorts(), equalize_codes(), Errorline(), FALSE, heap_alloc(), inherit_always_check(), integer, wl_definition::keyword, least_sorts(), lf_false, lf_true, make_sys_type_links(), make_type_link(), wl_int_list::next, NOT_CODED, nothing, NULL, or_codes(), overlap_type(), wl_definition::parents, perr(), propagate_definitions(), quoted_string, real, wl_keyword::symbol, top, traceline(), TRUE, two_to_the(), type_count, type_cyclicity(), types_done, types_modified, and wl_int_list::value_1.
void end_tab | ( | ) |
Definition at line 497 of file print.c.
References buffer, heap_alloc(), indent, indx, and wl_item::str.
void end_terminal_io | ( | ) |
Definition at line 431 of file token.c.
References inchange, input_state, NULL, old_state, out, outchange, output_stream, and restore_state().
void equalize_codes | ( | int | len | ) |
Definition at line 806 of file types.c.
References assert, wl_definition::code, first_definition, HEAP_ALLOC, wl_int_list::next, wl_definition::next, NULL, wl_definition::type_def, and type_it.
void Errorline | ( | char * | format, |
... | |||
) |
Definition at line 414 of file error.c.
References assert, display_psi(), FALSE, input_file_name, parse_ok, perr_i(), perr_s(), print_code(), print_def_type(), print_operator_kind(), and psi_term_line_number.
long eval_aim | ( | ) |
Definition at line 456 of file lefun.c.
References wl_goal::aaaa_1, wl_pair_list::aaaa_2, aim, wl_goal::bbbb_1, wl_pair_list::bbbb_2, c_rule, can_curry, wl_goal::cccc_1, choice_stack, clear_copy(), curried, deref_ptr, do_currying(), do_residuation(), eval, eval_copy(), eval_cut, FALSE, int_ptr, match, MAX_BUILT_INS, wl_pair_list::next, NULL, push2_ptr_value(), push_choice_point(), push_goal(), quote_copy(), resid_aim, resid_vars, save_resid(), SMASK, STACK, STACK_ALLOC, stack_pointer, wl_psi_term::status, traceline(), TRUE, and unify.
long eval_args | ( | ptr_node | n | ) |
Definition at line 826 of file lefun.c.
References check_out(), and TRUE.
ptr_psi_term eval_copy | ( | ptr_psi_term | t, |
long | heap_flag | ||
) |
void eval_global_var | ( | ptr_psi_term | t | ) |
Definition at line 1291 of file lefun.c.
References wl_stack::aaaa_3, wl_stack::bbbb_3, clear_copy(), deref_ptr, eval_copy(), global, wl_stack::next, NULL, psi_term_ptr, push_psi_ptr_value(), STACK, STACK_ALLOC, traceline(), wl_stack::type, and undo_stack.
ptr_psi_term exact_copy | ( | ptr_psi_term | t, |
long | heap_flag | ||
) |
void exit_if_true | ( | long | exitflag | ) |
void exit_life | ( | long | nl_flag | ) |
Definition at line 2090 of file built_ins.c.
References garbage_time, life_end, NOTQUIET, and open_input_file().
ptr_module extract_module_from_name | ( | char * | str | ) |
Definition at line 111 of file modules.c.
References create_module(), legal_in_name(), and NULL.
long f_check_out | ( | ptr_psi_term | t | ) |
void fail_all | ( | ) |
Definition at line 165 of file memory.c.
References abort_life(), choice_stack, goal_stack, NULL, open_input_file(), output_stream, stdin_cleareof(), TRUE, and undo_stack.
long featcmp | ( | char * | str1, |
char * | str2 | ||
) |
void feature_insert | ( | char * | keystr, |
ptr_node * | tree, | ||
ptr_psi_term | psi | ||
) |
Definition at line 225 of file parser.c.
References FEATCMP, find(), stack_copy_psi_term(), stack_insert_copystr(), and Syntaxerrorline().
void fetch_def | ( | ptr_psi_term | u, |
long | allflag | ||
) |
Definition at line 1128 of file login.c.
References wl_triple_list::aaaa_4, wl_psi_term::attr_list, wl_triple_list::bbbb_4, wl_triple_list::cccc_4, clear_copy(), DEFRULES, deref_ptr, eval_copy(), i_eval_args(), int_ptr, wl_triple_list::next, NULL, prove, push2_ptr_value(), push_goal(), RMASK, SMASK, STACK, wl_psi_term::status, traceline(), and unify.
void fetch_def_lazy | ( | ptr_psi_term | u, |
ptr_definition | old1, | ||
ptr_definition | old2, | ||
ptr_node | old1attr, | ||
ptr_node | old2attr, | ||
long | old1stat, | ||
long | old2stat | ||
) |
Definition at line 1188 of file login.c.
References wl_triple_list::aaaa_4, wl_definition::always_check, wl_psi_term::attr_list, wl_triple_list::bbbb_4, wl_triple_list::cccc_4, clear_copy(), DEFRULES, deref_ptr, eval_copy(), FALSE, i_eval_args(), int_ptr, matches(), wl_triple_list::next, NULL, prove, push_goal(), push_ptr_value(), STACK, wl_psi_term::status, traceline(), and unify.
long file_exists | ( | char * | s | ) |
ptr_psi_term fileptr2stream | ( | FILE * | fp, |
ptr_definition | typ | ||
) |
Definition at line 571 of file sys.c.
References BYTEDATA_DATA, FP_NONE, and make_bytedata().
Definition at line 341 of file trees.c.
References Errorline(), FALSE, featcmp(), FEATCMP, intcmp(), INTCMP, wl_node::left, NULL, wl_node::right, STRCMP, and TRUE.
void find_adults | ( | ) |
Definition at line 516 of file types.c.
References adults, first_definition, HEAP_ALLOC, wl_int_list::next, wl_definition::next, NULL, wl_definition::parents, wl_definition::type_def, type_it, and wl_int_list::value_1.
Definition at line 399 of file trees.c.
References wl_node::data, wl_node::left, NULL, and wl_node::right.
ptr_module find_module | ( | char * | module | ) |
Definition at line 48 of file modules.c.
References wl_node::data, FEATCMP, find(), and NULL.
void forbid_variables | ( | ptr_node | n | ) |
Definition at line 309 of file print.c.
References deref_ptr, heap_insert(), INTCMP, wl_node::key, and printed_pointers.
void garbage | ( | ) |
Definition at line 1430 of file memory.c.
References assert, bounds_undo_stack(), check(), clear_copy(), compress(), FALSE, garbage_time, gc_time, heap_pointer, ignore_eff, last_garbage_time, life_time, mem_base, mem_limit, NULL, other_base, other_limit, pass, pointer_names, print_gc_info(), printed_pointers, stack_info(), stack_pointer, TRUE, and verbose.
ptr_node general_insert | ( | long | comp, |
char * | keystr, | ||
ptr_node * | tree, | ||
GENERIC | info, | ||
long | heapflag, | ||
long | copystr, | ||
long | bkflag | ||
) |
Definition at line 184 of file trees.c.
References Errorline(), FALSE, featcmp(), FEATCMP, HEAP, HEAP_ALLOC, heap_copy_string(), int_ptr, intcmp(), INTCMP, wl_node::key, NULL, push_ptr_value(), push_ptr_value_global(), STACK_ALLOC, STRCMP, and TRUE.
long get_arg | ( | ptr_psi_term | g, |
ptr_psi_term * | arg, | ||
char * | number | ||
) |
Definition at line 20 of file templates.c.
References wl_node::data, FALSE, FEATCMP, find(), and TRUE.
GENERIC get_attr | ( | ptr_psi_term | t, |
char * | attrname | ||
) |
Definition at line 210 of file token.c.
References wl_node::data, FEATCMP, and find().
int get_module | ( | ptr_psi_term | psi, |
ptr_module * | module | ||
) |
Definition at line 1207 of file modules.c.
References deref_ptr, Errorline(), FALSE, find_module(), NULL, overlap_type(), quoted_string, and TRUE.
void get_one_arg | ( | ptr_node | t, |
ptr_psi_term * | a | ||
) |
Definition at line 86 of file login.c.
References wl_node::data, FEATCMP, find(), NULL, and one.
void get_one_arg_addr | ( | ptr_node | t, |
ptr_psi_term ** | a | ||
) |
Definition at line 115 of file login.c.
References wl_node::data, FEATCMP, find(), NULL, and one.
long get_real_value | ( | ptr_psi_term | t, |
REAL * | v, | ||
long * | n | ||
) |
Definition at line 246 of file built_ins.c.
References def_ptr, FALSE, heap_pointer, i_check_out(), int_ptr, matches(), push_ptr_value(), REAL, real, and TRUE.
FILE* get_stream | ( | ptr_psi_term | t | ) |
void get_two_args | ( | ptr_node | t, |
ptr_psi_term * | a, | ||
ptr_psi_term * | b | ||
) |
Definition at line 37 of file login.c.
References wl_node::data, FEATCMP, find(), wl_node::key, NULL, one, wl_node::right, and two.
int GetBoolOption | ( | char * | name | ) |
int GetIntOption | ( | char * | name, |
int | def | ||
) |
long glb | ( | ptr_definition | t1, |
ptr_definition | t2, | ||
ptr_definition * | t3, | ||
ptr_int_list * | c3 | ||
) |
Definition at line 1388 of file types.c.
References wl_definition::code, FALSE, wl_int_list::next, NOT_CODED, nothing, NULL, STACK_ALLOC, top, TRUE, and wl_int_list::value_1.
Definition at line 1263 of file types.c.
References wl_definition::code, FALSE, wl_int_list::next, NOT_CODED, NULL, STACK_ALLOC, top, TRUE, and wl_int_list::value_1.
Definition at line 1206 of file types.c.
References wl_definition::code, FALSE, NULL, quoted_string, REAL, real, sub_CodeType(), and TRUE.
void global_error_check | ( | ptr_node | n, |
int * | error, | ||
int * | eval2 | ||
) |
Definition at line 2428 of file built_ins.c.
References wl_psi_term::attr_list, deref_eval(), deref_ptr, error_psi_term, Errorline(), FALSE, get_two_args(), global, global_error_check(), leftarrowsym, NULL, TRUE, wl_psi_term::type, wl_definition::type_def, undef, and wl_psi_term::value_3.
void global_one | ( | ptr_psi_term | t | ) |
Definition at line 2482 of file built_ins.c.
References clear_copy(), deref_ptr, get_two_args(), global, HEAP, leftarrowsym, quote_copy(), and stack_psi_term().
void global_tree | ( | ptr_node | n | ) |
Definition at line 2466 of file built_ins.c.
References deref_ptr, global_one(), and global_tree().
int global_unify | ( | ptr_psi_term | u, |
ptr_psi_term | v | ||
) |
Definition at line 1035 of file modules.c.
References wl_psi_term::attr_list, c_abort(), deref_ptr, Errorline(), FALSE, glb(), global_unify_attr(), heap_pointer, overlap_type(), push_psi_ptr_value(), quoted_string, REAL, real, release_resid(), traceline(), TRUE, wl_psi_term::type, and wl_psi_term::value_3.
Definition at line 1117 of file modules.c.
References wl_node::data, dummy_printf(), FALSE, featcmp(), global_unify(), wl_node::key, wl_node::left, NULL, wl_node::right, and TRUE.
void go_through | ( | ptr_psi_term | t | ) |
void go_through_tree | ( | ptr_node | t | ) |
ptr_goal GoalFromPsiTerm | ( | ptr_psi_term | psiTerm | ) |
char** group_features | ( | char ** | f, |
ptr_node | n | ||
) |
Definition at line 22 of file lib.c.
References wl_node::key, wl_node::left, NULL, and wl_node::right.
void handle_interrupt | ( | ) |
Definition at line 43 of file interrupt.c.
References abort_life(), DIGIT, EOLN, exit_life(), FALSE, input_state, interrupted, open_input_file(), prompt, quietflag, read_char(), restore_state(), show_count(), stdin_cleareof(), stepcount, stepflag, steptrace, trace, TRUE, and verbose.
long has_non_alpha | ( | char * | s | ) |
long has_rules | ( | ptr_pair_list | r | ) |
int hash_code | ( | ptr_hash_table | table, |
char * | symbol | ||
) |
ptr_hash_table hash_create | ( | int | size | ) |
Definition at line 26 of file hash_table.c.
References NULL, and wl_hash_table::size.
void hash_display | ( | ptr_hash_table | table | ) |
void hash_expand | ( | ptr_hash_table | table, |
int | new_size | ||
) |
Definition at line 48 of file hash_table.c.
References hash_insert(), and NULL.
int hash_find | ( | ptr_hash_table | table, |
char * | symbol | ||
) |
void hash_insert | ( | ptr_hash_table | table, |
char * | symbol, | ||
ptr_keyword | keyword | ||
) |
ptr_keyword hash_lookup | ( | ptr_hash_table | table, |
char * | symbol | ||
) |
void heap_add_int_attr | ( | ptr_psi_term | t, |
char * | attrname, | ||
long | value | ||
) |
Definition at line 58 of file token.c.
References FEATCMP, heap_alloc(), heap_copy_string(), heap_insert(), heap_psi_term(), integer, REAL, wl_psi_term::type, and wl_psi_term::value_3.
void heap_add_psi_attr | ( | ptr_psi_term | t, |
char * | attrname, | ||
ptr_psi_term | g | ||
) |
Definition at line 184 of file token.c.
References FEATCMP, heap_copy_string(), and heap_insert().
void heap_add_str_attr | ( | ptr_psi_term | t, |
char * | attrname, | ||
char * | str | ||
) |
Definition at line 122 of file token.c.
References FEATCMP, heap_copy_string(), heap_insert(), heap_psi_term(), quoted_string, wl_psi_term::type, and wl_psi_term::value_3.
GENERIC heap_alloc | ( | long | s | ) |
Definition at line 1518 of file memory.c.
References ALIGN, Errorline(), heap_pointer, and stack_pointer.
ptr_psi_term heap_copy_psi_term | ( | psi_term | t | ) |
Definition at line 202 of file parser.c.
References global_time_stamp, and HEAP_ALLOC.
char* heap_copy_string | ( | char * | s | ) |
Definition at line 276 of file trees.c.
References FALSE, general_insert(), and HEAP.
Definition at line 245 of file trees.c.
References FEATCMP, general_insert(), HEAP, and TRUE.
void heap_mod_int_attr | ( | ptr_psi_term | t, |
char * | attrname, | ||
long | value | ||
) |
Definition at line 91 of file token.c.
References wl_node::data, FEATCMP, find(), REAL, and wl_psi_term::value_3.
void heap_mod_str_attr | ( | ptr_psi_term | t, |
char * | attrname, | ||
char * | str | ||
) |
Definition at line 153 of file token.c.
References wl_node::data, FEATCMP, find(), heap_copy_string(), and wl_psi_term::value_3.
char* heap_ncopy_string | ( | char * | s, |
int | n | ||
) |
char* heap_nice_name | ( | ) |
Definition at line 55 of file print.c.
References gen_sym_counter, heap_copy_string(), perr(), and STRLEN.
ptr_psi_term heap_psi_term | ( | long | stat | ) |
Definition at line 63 of file lefun.c.
References wl_psi_term::attr_list, wl_psi_term::coref, FALSE, wl_psi_term::flags, global_time_stamp, HEAP_ALLOC, NULL, QUOTED_TRUE, wl_psi_term::resid, wl_psi_term::status, top, wl_psi_term::type, and wl_psi_term::value_3.
long hidden_type | ( | ptr_definition | t | ) |
long i_check_out | ( | ptr_psi_term | t | ) |
long i_eval_args | ( | ptr_node | n | ) |
long in_set | ( | char * | str, |
long | set | ||
) |
ptr_psi_term inc_heap_copy | ( | ptr_psi_term | t | ) |
void infoline | ( | char * | format, |
... | |||
) |
Definition at line 245 of file error.c.
References assert, display_psi(), FALSE, input_file_name, NOTQUIET, parse_ok, perr_i(), perr_s(), print_code(), print_def_type(), print_operator_kind(), and psi_term_line_number.
void inherit_always_check | ( | ) |
void init_built_in_types | ( | ) |
Definition at line 5805 of file built_ins.c.
References aborthooksym, abortsym, add_module1, add_module2, add_module3, alist, all_public_symbols(), and, apply, bi_module, boolpredsym, built_in, c_abort(), c_alias(), c_and(), c_append_file(), c_apply(), c_args(), c_ascii(), c_assert_first(), c_assert_last(), c_bk_assign(), c_boolpred(), c_char(), c_chdir(), c_clause(), c_close(), c_combined_name(), c_concatenate(), c_cond(), c_copy_pointer(), c_copy_term(), c_current_module(), c_declaration(), c_delay_check(), c_deref_length(), c_diff(), c_diff_address(), c_disj(), c_display_modules(), c_display_persistent(), c_dynamic(), c_equal(), c_eval(), c_eval_disjunction(), c_eval_inplace(), c_exist_feature(), c_exists(), c_exists_choice(), c_fail(), c_feature_values(), c_features(), c_get(), c_get_choice(), c_global(), c_global_assign(), c_gt(), c_gtoe(), c_halt(), c_implies(), c_initrandom(), c_int2string(), c_is_function(), c_is_predicate(), c_is_sort(), c_listing(), c_load(), c_lt(), c_ltoe(), c_module_name(), c_non_strict(), c_nonvar(), c_not(), c_not_implemented(), c_op(), c_open_in(), c_open_module(), c_open_out(), c_ops(), c_or(), c_page_width(), c_parse(), c_persistent(), c_print_codes(), c_print_depth(), c_print_variables(), c_private(), c_private_feature(), c_project(), c_psi2string(), c_public(), c_put(), c_put_err(), c_pwrite(), c_pwriteq(), c_random(), c_read_psi(), c_read_token(), c_repeat(), c_replace(), c_retract(), c_rootsort(), c_same_address(), c_set_choice(), c_set_input(), c_set_module(), c_set_output(), c_setq(), c_split_double(), c_static(), c_string2psi(), c_string_address(), c_string_length(), c_strip(), c_sub_string(), c_succeed(), c_such_that(), c_trace_input(), c_undo(), c_unify_func(), c_unify_pred(), c_var(), c_write(), c_write_canonical(), c_write_err(), c_writeq(), c_writeq_err(), c_xor(), call_handlersym, calloncesym, wl_definition::code, colonsym, commasym, comment, constant, cut, day_attr, delay_checksym, disj_nil, disjunction, dynamicsym, encodesym, eof, eqsym, error_psi_term, eval_argsym, final_dot, final_question, funcsym, function_it, functor, fx_sym, fy_sym, hash_lookup(), heap_psi_term(), hour_attr, iff, inputfilesym, insert_math_builtins(), insert_sys_builtins(), insert_system_builtins(), insert_type_builtins(), integer, wl_definition::keyword, leftarrowsym, lf_false, lf_true, life_or, listingsym, loadsym, minus_symbol, minute_attr, month_attr, new_built_in(), nil, no_module, NOT_CODED, nothing, null_psi_term, nullsym, one, opsym, predicate, predsym, wl_keyword::public, quote, quoted_string, real, second_attr, set_current_module(), staticsym, stream, succeed, such_that, wl_keyword::symbol, wl_module::symbol_table, syntax_module, three, timesym, top, tracesym, TRUE, two, wl_psi_term::type, wl_definition::type_def, type_it, typesym, update_symbol(), variable, weekday_attr, xf_sym, xfx_sym, xfy_sym, year_attr, yf_sym, and yfx_sym.
void init_copy | ( | ) |
Definition at line 34 of file copy.c.
References HASHSIZE, hashtable, hashtime, numbuckets, and NUMBUCKETS.
void init_global_vars | ( | ) |
Definition at line 1337 of file lefun.c.
References first_definition, wl_definition::global_value, heap_pointer, wl_definition::next, and NULL.
void init_interrupt | ( | ) |
void init_io | ( | ) |
Definition at line 53 of file lib.c.
References buffer, input_state, NULL, output_stream, stdin_state, stdin_terminal, and TRUE.
void init_memory | ( | ) |
Definition at line 1572 of file memory.c.
References ALIGNUP, alloc_words, buffer, delta, Errorline(), GetIntOption(), heap_pointer, mem_base, mem_limit, mem_size, other_base, other_limit, other_pointer, PRINT_BUFFER, and stack_pointer.
void init_modules | ( | ) |
void init_parse_state | ( | ) |
Definition at line 381 of file token.c.
References eof_flag, FALSE, line_count, NULL, old_saved_char, old_saved_psi_term, saved_char, saved_psi_term, start_of_line, stringparse, and TRUE.
void init_print | ( | ) |
void init_system | ( | ) |
Definition at line 77 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, prompt_buffer, resid_aim, stack_nil(), stack_pointer, undo_stack, user_module, var_tree, x_window_creation, and xevent_list.
void init_trace | ( | ) |
void insert_dbm_builtins | ( | ) |
void insert_math_builtins | ( | ) |
Definition at line 1318 of file bi_math.c.
References bi_module, c_add(), c_bit_and(), c_bit_not(), c_bit_or(), c_ceiling(), c_cos(), c_div(), c_exp(), c_floor(), c_intdiv(), c_log(), c_mod(), c_mult(), c_shift_left(), c_shift_right(), c_sin(), c_sqrt(), c_sub(), c_tan(), function_it, new_built_in(), and syntax_module.
void insert_own_prop | ( | ptr_definition | d | ) |
Definition at line 539 of file types.c.
References wl_pair_list::aaaa_2, wl_pair_list::bbbb_2, children, FALSE, HEAP_ALLOC, wl_int_list::next, wl_pair_list::next, NULL, TRUE, and wl_int_list::value_1.
void insert_prop | ( | ptr_definition | d, |
ptr_triple_list | prop | ||
) |
Definition at line 580 of file types.c.
References wl_triple_list::aaaa_4, wl_triple_list::bbbb_4, wl_triple_list::cccc_4, children, FALSE, HEAP_ALLOC, wl_int_list::next, wl_definition::next, wl_triple_list::next, NULL, TRUE, and wl_int_list::value_1.
void insert_sys_builtins | ( | ) |
Definition at line 1760 of file sys.c.
References bi_module, c_accept(), c_apply1(), c_bind(), c_bitvector_and(), c_bitvector_clear(), c_bitvector_count(), c_bitvector_get(), c_bitvector_not(), c_bitvector_or(), c_bitvector_set(), c_bitvector_xor(), c_call_once(), c_connect(), c_cuserid(), c_errmsg(), c_errno(), c_fclose(), c_fflush(), c_fopen(), c_fork(), c_fseek(), c_ftell(), c_fwrite(), c_get_buffer(), c_get_code(), c_get_record(), c_gethostname(), c_getpid(), c_import_symbol(), c_int2stream(), c_kill(), c_lazy_project(), c_listen(), c_make_bitvector(), c_my_wait_on_feature(), c_regexp_compile(), c_regexp_execute(), c_socket(), c_stream2sys_stream(), c_sys_stream2stream(), c_wait(), c_wait_on_feature(), c_waitpid(), current_module, function_it, insert_dbm_builtins(), new_built_in(), predicate, set_current_module(), sys_bitvector, sys_bytedata, sys_file_stream, sys_module, sys_regexp, sys_socket_stream, sys_stream, and update_symbol().
void insert_system_builtins | ( | ) |
Definition at line 626 of file bi_sys.c.
References bi_module, c_cputime(), c_encode(), c_garbage(), c_getenv(), c_localtime(), c_maxint(), c_mresiduate(), c_quiet(), c_realtime(), c_residList(), c_residuate(), c_statistics(), c_step(), c_system(), c_tprove(), c_trace(), c_verbose(), c_warning(), function_it, new_built_in(), and predicate.
void insert_translation | ( | ptr_psi_term | a, |
ptr_psi_term | b, | ||
long | info | ||
) |
Definition at line 63 of file copy.c.
References hashentry::bucketindex, HASH, hashbuckets, HASHEND, hashfree, hashtable, hashtime, hashbucket::info, hashbucket::new_value, hashbucket::next, numbuckets, hashbucket::old_value, hashentry::timestamp, and traceline().
void insert_type_builtins | ( | ) |
Definition at line 655 of file bi_type.c.
References bi_module, c_children(), c_glb(), c_is_function(), c_is_number(), c_is_persistent(), c_is_predicate(), c_is_sort(), c_is_value(), c_isa_cmp(), c_isa_eq(), c_isa_ge(), c_isa_gt(), c_isa_le(), c_isa_lt(), c_isa_ncmp(), c_isa_neq(), c_isa_nge(), c_isa_ngt(), c_isa_nle(), c_isa_nlt(), c_isa_subsort(), c_lub(), c_parents(), c_smallest(), function_it, new_built_in(), predicate, and syntax_module.
void insert_variables | ( | ptr_node | vars, |
long | force | ||
) |
Definition at line 281 of file print.c.
References wl_node::data, deref_ptr, find(), INTCMP, and pointer_names.
long int_div_warning | ( | ptr_psi_term | arg, |
REAL | val | ||
) |
long intcmp | ( | long | a, |
long | b | ||
) |
void interrupt | ( | ) |
GENERIC intListNext | ( | ptr_int_list | p | ) |
ptr_psi_term intListValue | ( | ptr_int_list | p | ) |
long is_built_in | ( | ptr_pair_list | r | ) |
long is_integer | ( | char * | s | ) |
int is_ipaddr | ( | char * | s | ) |
int isSubTypeValue | ( | ptr_psi_term | arg1, |
ptr_psi_term | arg2 | ||
) |
long isValue | ( | ptr_psi_term | p | ) |
void least_sorts | ( | ) |
Definition at line 700 of file types.c.
References wl_definition::children, cons(), first_definition, wl_definition::next, nothing, NULL, wl_definition::parents, wl_definition::type_def, and type_it.
long legal_in_name | ( | long | c | ) |
void List_Append | ( | RefListHeader | header, |
Ref | atom | ||
) |
long List_Card | ( | RefListHeader | header | ) |
Definition at line 410 of file list.c.
References List_CountAtom(), and List_Enum().
void List_Concat | ( | RefListHeader | header1, |
RefListHeader | header2 | ||
) |
Definition at line 277 of file list.c.
References wl_ListHeader::First, wl_ListHeader::GetLinks, wl_ListHeader::Last, and NULL.
void List_Cut | ( | RefListHeader | header, |
Ref | atom, | ||
RefListHeader | newHeader | ||
) |
Definition at line 429 of file list.c.
References wl_ListHeader::First, wl_ListHeader::Last, List_Last, List_Next, and NULL.
long List_Enum | ( | RefListHeader | header, |
RefListEnumProc | proc, | ||
Ref | closure | ||
) |
Definition at line 341 of file list.c.
References List_EnumFrom().
long List_EnumBack | ( | RefListHeader | header, |
RefListEnumProc | proc, | ||
Ref | closure | ||
) |
Definition at line 389 of file list.c.
References List_EnumBackFrom().
long List_EnumBackFrom | ( | RefListHeader | header, |
Ref | atom, | ||
RefListEnumProc | proc, | ||
Ref | closure | ||
) |
long List_EnumFrom | ( | RefListHeader | header, |
Ref | atom, | ||
RefListEnumProc | proc, | ||
Ref | closure | ||
) |
void List_InsertAfter | ( | RefListHeader | header, |
Ref | atom, | ||
Ref | mark | ||
) |
void List_InsertAhead | ( | RefListHeader | header, |
Ref | atom | ||
) |
void List_InsertBefore | ( | RefListHeader | header, |
Ref | atom, | ||
Ref | mark | ||
) |
long List_IsUnlink | ( | RefListLinks | links | ) |
psi_term list_nil | ( | ptr_definition | type | ) |
Definition at line 255 of file parser.c.
References wl_psi_term::attr_list, wl_psi_term::coref, disj_nil, disjunction, FALSE, wl_psi_term::flags, nil, NULL, wl_psi_term::resid, wl_psi_term::status, wl_psi_term::type, and wl_psi_term::value_3.
void List_Remove | ( | RefListHeader | header, |
Ref | atom | ||
) |
void List_Reverse | ( | RefListHeader | header | ) |
void List_SetLinkProc | ( | RefListHeader | header, |
RefListGetLinksProc | getLinks | ||
) |
void list_special | ( | ptr_psi_term | t | ) |
Definition at line 4820 of file built_ins.c.
References wl_definition::always_check, display_psi_stream(), wl_definition::evaluate_args, FALSE, is_built_in(), output_stream, wl_definition::protected, TRUE, and type_it.
void List_Swap | ( | RefListHeader | header, |
Ref | first, | ||
Ref | second | ||
) |
void listing_pred_write | ( | ptr_node | n, |
long | fflag | ||
) |
Definition at line 1341 of file print.c.
References const_quote, FALSE, func_flag, indent, listing_flag, main_pred_write(), outfile, output_stream, print_depth, PRINT_DEPTH, TRUE, write_canon, write_corefs, write_resids, and write_stderr.
long load_aim | ( | ) |
Definition at line 2104 of file login.c.
References wl_goal::aaaa_1, abort_life(), aim, assert_clause(), assert_first, wl_goal::bbbb_1, wl_goal::cccc_1, choice_stack, CURRENT_MODULE, DEFRULES, encode_types(), eof, FACT, FALSE, file_date, find_module(), general_cut, get_attr(), input_state, input_stream, load, noisy, NULL, open_input_file(), parse(), prove, push_choice_point(), push_goal(), QUERY, restore_state(), save_state(), set_current_module(), stack_copy_psi_term(), TRUE, wl_psi_term::type, var_occurred, and var_tree.
long look | ( | ) |
ptr_int_list lub | ( | ptr_psi_term | a, |
ptr_psi_term | b, | ||
ptr_psi_term * | pp | ||
) |
Definition at line 150 of file lub.c.
References bfs(), wl_definition::code, copyTypeCode(), decode(), isSubTypeValue(), isValue(), makeUnitList(), NULL, or_codes(), stack_alloc(), sub_type(), top, wl_psi_term::type, and type_count.
int main | ( | int | argc, |
char * | argv[] | ||
) |
Definition at line 40 of file life.c.
References arg_c, arg_v, assert, assert_clause(), assert_first, assert_ok, begin_terminal_io(), DEFRULES, encode_types(), end_terminal_io(), env, eof, Errorline(), exit_if_true(), exit_life(), FACT, FALSE, file_date, GetBoolOption(), goal_count, heap_copy_string(), ignore_eff, infoline(), 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, NULL, open_input_file(), other_base, parse(), prove, push_goal(), put_back_char(), QUERY, quietflag, rand_array, read_char(), reset_step(), set_current_module(), stack_copy_psi_term(), stack_pointer, start_chrono(), stdin_cleareof(), title(), TRUE, wl_psi_term::type, undo(), undo_stack, user_module, var_occurred, and what_next.
void main_display_psi_term | ( | ptr_psi_term | t | ) |
Definition at line 1470 of file print.c.
References buffer, const_quote, deref_ptr, end_tab(), FALSE, gen_sym_counter, go_through(), heap_pointer, indent, indx, insert_variables(), listing_flag, mark_tab(), MAX_PRECEDENCE, new_tab(), NULL, pointer_names, pretty_output(), pretty_tag_or_psi_term(), pretty_things, printed_pointers, TRUE, var_tree, work_out_length(), write_canon, and write_resids.
void main_pred_write | ( | ptr_node | n | ) |
Definition at line 1375 of file print.c.
References buffer, check_pointer(), end_tab(), FALSE, gen_sym_counter, go_through_tree(), heap_pointer, indent, indx, insert_variables(), mark_tab(), MAX_PRECEDENCE, new_tab(), NULL, pointer_names, pretty_output(), pretty_tag_or_psi_term(), pretty_things, printed_pointers, var_tree, work_out_length(), write_attributes(), and write_corefs.
void main_prove | ( | ) |
Definition at line 2205 of file login.c.
References wl_goal::aaaa_1, aim, backtrack(), wl_goal::bbbb_1, c_what_next, wl_goal::cccc_1, choice_stack, clause, clause_aim(), clean_trail(), curried, cut_to, del_clause, disj, disjunct_aim(), do_currying(), do_residuation_user(), Errorline(), eval, eval_aim(), eval_cut, fail, FALSE, freeze_cut, function_it, GC_THRESHOLD, general_cut, goal_count, goal_stack, handle_interrupt(), heap_pointer, i_check_out(), implies_cut, infoline(), interrupted, load, load_aim(), main_loop_ok, match, match_aim(), memory_check(), wl_goal::next, NULL, prove, prove_aim(), release_resid(), resid_aim, resid_vars, restore_resid(), retract, show_count(), stack_pointer, stepcount, stepflag, steptrace, traceline(), TRUE, wl_goal::type, type_disj, type_disj_aim(), undo(), unify, unify_aim(), unify_aim_noeval(), unify_noeval, warningline(), what_next, what_next_aim(), xcount, xevent_existing, XEVENTDELAY, and xeventdelay.
ptr_psi_term make_feature_list | ( | ptr_node | tree, |
ptr_psi_term | tail, | ||
ptr_module | module, | ||
int | val | ||
) |
Definition at line 156 of file built_ins.c.
References heap_alloc(), integer, make_feature_list(), REAL, real, stack_cons(), stack_psi_term(), str_to_int(), and update_feature().
int make_feature_private | ( | ptr_psi_term | term | ) |
Definition at line 1239 of file modules.c.
References wl_keyword::combined_name, wl_keyword::definition, deref_ptr, hash_lookup(), wl_definition::keyword, wl_keyword::private_feature, wl_keyword::public, wl_module::symbol_table, TRUE, update_symbol(), and warningline().
psi_term make_life_form | ( | ptr_psi_term | tok, |
ptr_psi_term | arg1, | ||
ptr_psi_term | arg2 | ||
) |
Definition at line 546 of file parser.c.
References wl_psi_term::attr_list, wl_psi_term::coref, deref_ptr, equ_tokch, error_psi_term, FEATCMP, heap_alloc(), integer, minus_symbol, NULL, one, push_psi_ptr_value(), REAL, real, wl_psi_term::resid, stack_copy_psi_term(), stack_insert(), Syntaxerrorline(), top, two, wl_psi_term::type, and wl_psi_term::value_3.
char* make_module_token | ( | ptr_module | module, |
char * | str | ||
) |
Definition at line 185 of file modules.c.
References extract_module_from_name(), and module_buffer.
long make_public | ( | ptr_psi_term | term, |
long | bool | ||
) |
Definition at line 600 of file modules.c.
References wl_keyword::combined_name, wl_keyword::definition, deref_ptr, hash_lookup(), wl_definition::keyword, wl_keyword::module, new_definition(), wl_keyword::public, wl_keyword::symbol, wl_module::symbol_table, TRUE, update_symbol(), and warningline().
void make_sys_type_links | ( | ) |
Definition at line 1726 of file sys.c.
References built_in, make_type_link(), sys_bitvector, sys_bytedata, sys_file_stream, sys_regexp, sys_socket_stream, and sys_stream.
void make_type_link | ( | ptr_definition | t1, |
ptr_definition | t2 | ||
) |
Definition at line 848 of file types.c.
References cons(), wl_definition::parents, top, and type_member().
ptr_goal makeGoal | ( | ptr_psi_term | p | ) |
Definition at line 533 of file bi_sys.c.
References DEFRULES, goal_stack, wl_goal::next, NULL, prove, and push_goal().
ptr_psi_term makePsiList | ( | GENERIC | head, |
ptr_psi_term(*)() | valueFunc, | ||
GENERIC(*)() | nextFunc | ||
) |
Definition at line 480 of file bi_sys.c.
References stack_cons(), and stack_nil().
ptr_psi_term makePsiTerm | ( | ptr_definition | x | ) |
Definition at line 468 of file bi_sys.c.
References stack_psi_term(), and wl_psi_term::type.
void mark_ancestors | ( | ptr_definition | def, |
long * | flags | ||
) |
Definition at line 45 of file lub.c.
References bit_length(), wl_definition::code, wl_int_list::next, and wl_int_list::value_1.
void mark_eval | ( | ptr_psi_term | t | ) |
Definition at line 452 of file copy.c.
References clear_copy(), FALSE, mark_eval_new(), and mark_nonstrict_flag.
void mark_eval_new | ( | ptr_psi_term | t | ) |
Definition at line 479 of file copy.c.
References curr_status, deref_ptr, FALSE, function_it, global, insert_translation(), mark_eval_tree_new(), mark_nonstrict_flag, mark_quote_new(), mark_quote_tree_new(), QUOTED_TRUE, translate(), TRUE, and type_it.
void mark_eval_tree_new | ( | ptr_node | n | ) |
Definition at line 546 of file copy.c.
References mark_eval_new(), and mark_eval_tree_new().
void mark_nonstrict | ( | ptr_psi_term | t | ) |
Definition at line 462 of file copy.c.
References clear_copy(), mark_eval_new(), mark_nonstrict_flag, and TRUE.
void mark_quote | ( | ptr_psi_term | t | ) |
Definition at line 601 of file copy.c.
References mark_quote(), mark_quote_tree(), QUOTED_TRUE, RMASK, and wl_psi_term::status.
void mark_quote_c | ( | ptr_psi_term | t, |
long | heap_flag | ||
) |
Definition at line 396 of file copy.c.
References deref_ptr, EVAL_FLAG, wl_psi_term::flags, insert_translation(), mark_quote_tree_c(), NEW, QUOTE_FLAG, QUOTE_STUB, QUOTED_TRUE, wl_psi_term::status, and translate().
void mark_quote_new | ( | ptr_psi_term | t | ) |
Definition at line 557 of file copy.c.
References deref_ptr, FALSE, insert_translation(), mark_quote_tree_new(), QUOTED_TRUE, translate(), and TRUE.
void mark_quote_new2 | ( | ptr_psi_term | t | ) |
Definition at line 471 of file copy.c.
References clear_copy(), FALSE, mark_nonstrict_flag, and mark_quote_new().
void mark_quote_tree | ( | ptr_node | t | ) |
Definition at line 616 of file copy.c.
References mark_quote(), and mark_quote_tree().
void mark_quote_tree_c | ( | ptr_node | n, |
long | heap_flag | ||
) |
Definition at line 424 of file copy.c.
References mark_quote_c(), and mark_quote_tree_c().
void mark_quote_tree_new | ( | ptr_node | n | ) |
Definition at line 581 of file copy.c.
References mark_quote_new(), and mark_quote_tree_new().
void mark_tab | ( | ptr_tab_brk | t | ) |
long match_aim | ( | ) |
Definition at line 712 of file lefun.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, attr_missing, wl_goal::bbbb_1, can_curry, wl_goal::cccc_1, wl_psi_term::coref, curried, cut, deref_ptr, FALSE, FUNC_ARG, integer, match_attr(), matches(), NULL, overlap_type(), quoted_string, REAL, real, resid_aim, residuate_double(), restore_resid(), save_resid(), sys_bytedata, TRUE, wl_psi_term::type, and wl_psi_term::value_3.
void match_attr | ( | ptr_node * | u, |
ptr_node | v, | ||
ptr_resid_block | rb | ||
) |
void match_attr1 | ( | ptr_node * | u, |
ptr_node | v, | ||
ptr_resid_block | rb | ||
) |
Definition at line 552 of file lefun.c.
References attr_missing, featcmp(), wl_node::left, match, NULL, push_goal(), wl_node::right, and TRUE.
void match_attr2 | ( | ptr_node * | u, |
ptr_node | v, | ||
ptr_resid_block | rb | ||
) |
Definition at line 592 of file lefun.c.
References deref2_rec_eval(), featcmp(), wl_node::left, match_attr1(), NULL, and wl_node::right.
void match_attr3 | ( | ptr_node * | u, |
ptr_node | v, | ||
ptr_resid_block | rb | ||
) |
Definition at line 643 of file lefun.c.
References attr_missing, deref2_eval(), featcmp(), wl_node::left, NULL, wl_node::right, and TRUE.
long matches | ( | ptr_definition | t1, |
ptr_definition | t2, | ||
long * | smaller | ||
) |
Definition at line 1565 of file types.c.
References wl_definition::code, FALSE, wl_int_list::next, NOT_CODED, top, TRUE, and wl_int_list::value_1.
long memory_check | ( | ) |
Definition at line 1622 of file memory.c.
References fail_all(), FALSE, garbage(), GC_THRESHOLD, heap_pointer, stack_pointer, TRUE, and verbose.
Definition at line 833 of file login.c.
References featcmp(), wl_node::left, NULL, push_goal(), wl_node::right, and unify.
Definition at line 884 of file login.c.
References deref2_rec_eval(), featcmp(), wl_node::left, NULL, and wl_node::right.
Definition at line 934 of file login.c.
References deref2_eval(), featcmp(), int_ptr, wl_node::left, more_u_attr, more_v_attr, NULL, push_ptr_value(), wl_node::right, STACK_ALLOC, and TRUE.
long mod_warning | ( | ptr_psi_term | arg, |
REAL | val, | ||
int | zero | ||
) |
void new_built_in | ( | ptr_module | m, |
char * | s, | ||
def_type | t, | ||
long(*)() | r | ||
) |
Definition at line 5054 of file built_ins.c.
References built_in_index, c_rule, current_module, MAX_BUILT_INS, wl_definition::rule, set_current_module(), wl_definition::type_def, and update_symbol().
ptr_definition new_definition | ( | ptr_keyword | key | ) |
Definition at line 215 of file modules.c.
References wl_definition::already_loaded, wl_definition::always_check, wl_definition::children, wl_definition::code, wl_definition::date, wl_definition::evaluate_args, FALSE, first_definition, wl_definition::global_value, HEAP_ALLOC, wl_definition::init_value, wl_definition::keyword, wl_definition::next, NOT_CODED, NULL, wl_definition::op_data, wl_definition::parents, wl_definition::properties, wl_definition::protected, wl_definition::rule, TRUE, wl_definition::type_def, and undef.
ptr_psi_term new_psi_term | ( | long | numargs, |
ptr_definition | typ, | ||
ptr_psi_term ** | a1, | ||
ptr_psi_term ** | a2 | ||
) |
Definition at line 4764 of file built_ins.c.
References wl_psi_term::attr_list, wl_node::data, wl_node::key, wl_node::left, NULL, one, wl_node::right, STACK_ALLOC, stack_psi_term(), two, and wl_psi_term::type.
void new_state | ( | ptr_psi_term * | t | ) |
Definition at line 301 of file token.c.
References current_module, CURRENT_MODULE, eof_flag, EOF_FLAG, heap_add_int_attr(), heap_add_psi_attr(), heap_add_str_attr(), heap_psi_term(), input_file_name, INPUT_FILE_NAME, input_stream, inputfilesym, lf_false, lf_true, line_count, LINE_COUNT, wl_module::module_name, null_psi_term, old_saved_char, OLD_SAVED_CHAR, old_saved_psi_term, OLD_SAVED_PSI_TERM, saved_char, SAVED_CHAR, saved_psi_term, SAVED_PSI_TERM, start_of_line, START_OF_LINE, stream, STREAM, wl_psi_term::type, and wl_psi_term::value_3.
void new_step | ( | long | newstep | ) |
void new_tab | ( | ptr_tab_brk * | t | ) |
Definition at line 525 of file print.c.
References FALSE, and HEAP_ALLOC.
void new_trace | ( | long | newtrace | ) |
long no_choices | ( | ) |
Definition at line 1838 of file login.c.
References choice_stack, wl_choice_point::goal_stack, NULL, wl_goal::type, and what_next.
long no_quote | ( | char * | s | ) |
long nonint_warning | ( | ptr_psi_term | arg, |
REAL | val, | ||
char * | msg | ||
) |
void nonnum_warning | ( | ptr_psi_term | t, |
ptr_psi_term | arg1, | ||
ptr_psi_term | arg2 | ||
) |
Definition at line 796 of file error.c.
References curried, overlap_type(), real, and report_warning().
long num_choices | ( | ) |
Definition at line 1845 of file login.c.
References choice_stack, and wl_choice_point::next.
ptr_node one_attr | ( | ) |
Definition at line 4749 of file built_ins.c.
References wl_node::data, wl_node::key, wl_node::left, NULL, one, wl_node::right, and STACK_ALLOC.
void one_pass_always_check | ( | long * | ch | ) |
Definition at line 976 of file types.c.
References wl_definition::always_check, first_definition, wl_definition::next, propagate_always_check(), wl_definition::type_def, and type_it.
long only_arg1 | ( | ptr_psi_term | t, |
ptr_psi_term * | arg1 | ||
) |
Definition at line 1528 of file built_ins.c.
References wl_node::data, FALSE, featcmp(), wl_node::key, wl_node::left, NULL, one, wl_node::right, and TRUE.
long opcheck | ( | ptr_psi_term | t, |
long * | prec, | ||
long * | type | ||
) |
Definition at line 834 of file print.c.
References check_opargs(), fx, fy, INFIX, wl_operator_data::next, NOTOP, NULL, POSTFIX, wl_operator_data::precedence, PREFIX, xf, xfx, xfy, yf, and yfx.
long open_input_file | ( | char * | file | ) |
Definition at line 504 of file token.c.
References Errorline(), expand_file_name(), FALSE, init_parse_state(), input_file_name, input_state, input_stream, new_state(), noisy, NULL, restore_state(), save_state(), stdin_state, and TRUE.
void open_module_one | ( | ptr_psi_term | t, |
int * | onefailed | ||
) |
Definition at line 550 of file modules.c.
References wl_keyword::combined_name, wl_keyword::definition, Errorline(), FALSE, find_module(), hash_lookup(), HEAP_ALLOC, wl_int_list::next, wl_module::open_modules, wl_keyword::public, string_val(), wl_keyword::symbol, wl_module::symbol_table, TRUE, and wl_int_list::value_1.
void open_module_tree | ( | ptr_node | n, |
int * | onefailed | ||
) |
Definition at line 533 of file modules.c.
References open_module_one().
long open_output_file | ( | char * | file | ) |
void or_codes | ( | ptr_int_list | u, |
ptr_int_list | v | ||
) |
Definition at line 780 of file types.c.
References HEAP_ALLOC, NULL, and wl_int_list::value_1.
void outputline | ( | char * | format, |
... | |||
) |
Definition at line 79 of file error.c.
References assert, display_psi(), FALSE, input_file_name, output_stream, parse_ok, perr_i(), perr_s(), print_code(), print_def_type(), print_operator_kind(), and psi_term_line_number.
long overlap_type | ( | ptr_definition | t1, |
ptr_definition | t2 | ||
) |
Definition at line 1486 of file types.c.
References wl_definition::code, FALSE, wl_int_list::next, NOT_CODED, top, TRUE, and wl_int_list::value_1.
psi_term parse | ( | long * | q | ) |
Definition at line 877 of file parser.c.
References eof, EOLN, ERROR, FACT, FALSE, final_dot, final_question, mark_nonstrict(), NULL, parse_ok, parser_stack_index, prompt, put_back_char(), QUERY, read_char(), read_life_form(), read_token(), saved_char, saved_psi_term, stringparse, Syntaxerrorline(), TRUE, and wl_psi_term::type.
psi_term parse_list | ( | ptr_definition | typ, |
char | e, | ||
char | s | ||
) |
Definition at line 304 of file parser.c.
References wl_psi_term::attr_list, display_psi_stderr(), equ_tokc, equ_tokch, FALSE, FEATCMP, list_nil(), NULL, one, parse_ok, perr(), psi_term_error(), put_back_token(), read_life_form(), read_token(), stack_copy_psi_term(), stack_insert(), stringparse, two, and wl_psi_term::type.
void pchoices | ( | ) |
Definition at line 81 of file memory.c.
References choice_stack, wl_choice_point::next, stack_pointer, and wl_choice_point::stack_top.
void perr | ( | char * | str | ) |
void perr_i | ( | char * | str, |
long | i | ||
) |
void perr_s | ( | char * | s1, |
char * | s2 | ||
) |
void perr_s2 | ( | char * | s1, |
char * | s2, | ||
char * | s3 | ||
) |
void perr_sort | ( | ptr_definition | d | ) |
void perr_sort_cycle | ( | ptr_int_list | anc | ) |
Definition at line 892 of file types.c.
References perr(), perr_sort(), and perr_sort_list().
void perr_sort_list | ( | ptr_int_list | anc | ) |
Definition at line 882 of file types.c.
References perr(), and perr_sort().
void persistent_error_check | ( | ptr_node | n, |
int * | error | ||
) |
Definition at line 2538 of file built_ins.c.
References deref_ptr, error_psi_term, Errorline(), global, persistent_error_check(), TRUE, wl_psi_term::type, wl_definition::type_def, and undef.
void persistent_one | ( | ptr_psi_term | t | ) |
Definition at line 2577 of file built_ins.c.
References global, heap_pointer, heap_psi_term(), wl_psi_term::type, and wl_definition::type_def.
void persistent_tree | ( | ptr_node | n | ) |
Definition at line 2561 of file built_ins.c.
References deref_ptr, persistent_one(), and persistent_tree().
long pop | ( | ptr_psi_term | tok, |
long * | op | ||
) |
Definition at line 115 of file parser.c.
References error_psi_term, FALSE, int_stack, parse_ok, parser_stack_index, and psi_term_stack.
long precedence | ( | psi_term | tok, |
long | typ | ||
) |
Definition at line 159 of file parser.c.
References wl_operator_data::next, NOP, and wl_operator_data::precedence.
long pred_clause | ( | ptr_psi_term | t, |
long | r, | ||
ptr_psi_term | g | ||
) |
Definition at line 2300 of file built_ins.c.
References bk_mark_quote(), clause, del_clause, deref_ptr, Errorline(), FALSE, function_it, get_two_args(), predicate, push_goal(), redefine(), wl_definition::rule, stack_psi_term(), succeed, TRUE, wl_psi_term::type, wl_definition::type_def, and undef.
void pred_write | ( | ptr_node | n | ) |
Definition at line 1365 of file print.c.
References FALSE, listing_flag, main_pred_write(), outfile, output_stream, and write_stderr.
void pretty_attr | ( | ptr_node | t, |
long | depth | ||
) |
Definition at line 1180 of file print.c.
References do_pretty_attr(), new_tab(), prettyf(), and two_or_more().
void pretty_list | ( | ptr_psi_term | t, |
long | depth | ||
) |
Definition at line 661 of file print.c.
References alist, wl_psi_term::attr_list, check_legal_cons(), COMMA_PREC, wl_node::data, deref_ptr, disj_nil, disjunction, DOTDOT, equal_types, FALSE, find(), get_two_args(), INTCMP, wl_definition::keyword, mark_tab(), MAX_PRECEDENCE, new_tab(), nil, overlap_type(), pointer_names, pretty_symbol(), pretty_tag_or_psi_term(), prettyf(), print_depth, TRUE, and wl_psi_term::type.
void pretty_output | ( | ) |
Definition at line 1200 of file print.c.
References wl_tab_brk::broken, wl_tab_brk::column, indx, outfile, wl_tab_brk::printed, wl_item::str, wl_item::tab, and TRUE.
void pretty_psi_term | ( | ptr_psi_term | t, |
long | sprec, | ||
long | depth | ||
) |
Definition at line 972 of file print.c.
References wl_goal::aaaa_1, alist, check_legal_cons(), cut, deref_ptr, disj_nil, disjunction, display_persistent, DOTDOT, eof, equal_types, FALSE, wl_residuation::goal, heap_pointer, integer, wl_definition::keyword, wl_residuation::next, nil, wl_goal::pending, pretty_attr(), pretty_list(), pretty_psi_with_ops(), pretty_quote_symbol(), pretty_symbol(), prettyf(), prettyf_quoted_string(), print_depth, PRINT_POWER, PRINT_SPLIT, quoted_string, REAL, real, seg_format, stream, STRLEN, sub_type(), sys_bytedata, WL_MAXINT, and write_canon.
long pretty_psi_with_ops | ( | ptr_psi_term | t, |
long | sprec, | ||
long | depth | ||
) |
Definition at line 866 of file print.c.
References deref_ptr, FALSE, func_flag, fx, fy, get_two_args(), INFIX, listing_flag, MAX_PRECEDENCE, opcheck(), POSTFIX, PREFIX, pretty_quote_symbol(), pretty_tag_or_psi_term(), prettyf(), TRUE, write_canon, xf, xfx, xfy, yf, and yfx.
void pretty_quote_symbol | ( | ptr_keyword | k | ) |
Definition at line 464 of file modules.c.
References wl_keyword::definition, display_modules, wl_definition::keyword, prettyf(), and prettyf_quote().
void pretty_symbol | ( | ptr_keyword | k | ) |
Definition at line 446 of file modules.c.
References wl_keyword::definition, display_modules, wl_definition::keyword, and prettyf().
void pretty_tag_or_psi_term | ( | ptr_psi_term | p, |
long | sprec, | ||
long | depth | ||
) |
Definition at line 761 of file print.c.
References COLON_PREC, wl_node::data, deref_ptr, DOTDOT, FALSE, find(), heap_insert(), INTCMP, is_top, no_name, NULL, pointer_names, pretty_psi_term(), prettyf(), printed_pointers, and unique_name().
void pretty_variables | ( | ptr_node | n, |
ptr_tab_brk | tab | ||
) |
Definition at line 1221 of file print.c.
References wl_node::data, deref_ptr, eqsym, find(), INTCMP, mark_tab(), MAX_PRECEDENCE, wl_definition::op_data, opcheck(), wl_operator_data::precedence, pretty_psi_term(), prettyf(), and printed_pointers.
void prettyf | ( | char * | s | ) |
void prettyf_inner | ( | char * | s, |
long | q, | ||
char | c | ||
) |
void prettyf_quote | ( | char * | s | ) |
void prettyf_quoted_string | ( | char * | s | ) |
void print_code | ( | FILE * | s, |
ptr_int_list | c | ||
) |
Definition at line 147 of file print.c.
References wl_int_list::next, NOT_CODED, outfile, print_bin(), and wl_int_list::value_1.
void print_codes | ( | ) |
void print_def_type | ( | def_type | t | ) |
void print_gc_info | ( | long | timeflag | ) |
Definition at line 1396 of file memory.c.
References gc_time, heap_pointer, life_time, mem_base, mem_limit, mem_size, and stack_pointer.
void print_operator_kind | ( | FILE * | s, |
long | kind | ||
) |
void print_resid_message | ( | ptr_psi_term | t, |
ptr_resid_list | r | ||
) |
Definition at line 1562 of file print.c.
References buffer, check_pointer(), const_quote, end_tab(), FALSE, gen_sym_counter, heap_pointer, indent, indx, insert_variables(), listing_flag, mark_tab(), MAX_PRECEDENCE, new_tab(), wl_resid_list::next, NULL, outfile, pointer_names, pretty_tag_or_psi_term(), pretty_things, prettyf(), printed_pointers, TRUE, wl_resid_list::var, var_tree, write_canon, and write_resids.
char* print_symbol | ( | ptr_keyword | k | ) |
OBSOLETE ptr_psi_term get_function_value(module,symbol)
ptr_module module; char *symbol;
{ ptr_node n; ptr_definition def; ptr_psi_term result=NULL; ptr_pair_list rule;
n=find(STRCMP,make_module_token(module,symbol),symbol_table); if(n) def=(ptr_definition)n->data; if(def && def->type==function) { rule=def->rule; while (rule && (!rule->aaaa_1 || !rule->bbbb_1)) rule=rule->next; if(rule) { result=(ptr_psi_term)rule->bbbb_1; deref_ptr(result); } } }
if(!result) Errorline("error in definition of '%s'\n",module_buffer);
return result; }
Definition at line 429 of file modules.c.
References wl_keyword::combined_name, wl_keyword::definition, display_modules, and wl_definition::keyword.
void print_undo_stack | ( | ) |
Definition at line 107 of file memory.c.
References wl_stack::aaaa_3, wl_stack::bbbb_3, mem_base, mem_limit, wl_stack::next, wl_stack::type, and undo_stack.
long print_variables | ( | long | printflag | ) |
Definition at line 1272 of file print.c.
References buffer, const_quote, end_tab(), FALSE, forbid_variables(), gen_sym_counter, go_through_tree(), heap_pointer, indent, indx, insert_variables(), listing_flag, mark_tab(), new_tab(), NULL, outfile, output_stream, pointer_names, pretty_output(), pretty_things, pretty_variables(), prettyf(), printed_pointers, TRUE, var_tree, work_out_length(), write_canon, and write_resids.
void propagate_always_check | ( | ptr_definition | d, |
long * | ch | ||
) |
Definition at line 950 of file types.c.
References wl_definition::always_check, FALSE, wl_int_list::next, TRUE, and wl_int_list::value_1.
void propagate_definitions | ( | ) |
Definition at line 622 of file types.c.
References adults, wl_definition::children, children, find_adults(), insert_own_prop(), insert_prop(), wl_int_list::next, NULL, wl_definition::properties, and wl_int_list::value_1.
long prove_aim | ( | ) |
Definition at line 1545 of file login.c.
References wl_goal::aaaa_1, wl_pair_list::aaaa_2, aim, and, wl_psi_term::attr_list, wl_goal::bbbb_1, wl_pair_list::bbbb_2, boolpredsym, c_rule, call_handlersym, can_curry, choice_stack, clean_trail(), clear_copy(), wl_psi_term::coref, curried, cut, cut_to, wl_node::data, DEFRULES, deref_args, deref_ptr, do_currying(), do_residuation_user(), eval_copy(), FALSE, function_it, get_two_args(), goal_count, goal_stack, i_check_out(), i_eval_args(), wl_node::key, wl_node::left, lf_false, lf_true, life_or, MAX_BUILT_INS, merge(), wl_pair_list::next, wl_goal::next, NULL, one, predicate, wl_definition::protected, prove, push_choice_point(), push_goal(), push_psi_ptr_value(), quote_copy(), resid_aim, resid_vars, wl_node::right, wl_definition::rule, set_empty, STACK, stack_add_psi_attr(), STACK_ALLOC, stack_psi_term(), wl_psi_term::status, sub_type(), succeed, traceline(), tracesym, TRUE, wl_psi_term::type, wl_definition::type_def, type_it, undef, and wl_psi_term::value_3.
void psi_term_error | ( | ) |
Definition at line 661 of file token.c.
References FALSE, input_file_name, parse_ok, perr_i(), perr_s(), and psi_term_line_number.
long psi_to_string | ( | ptr_psi_term | t, |
char ** | fn | ||
) |
Definition at line 133 of file built_ins.c.
References equal_types, wl_definition::keyword, quoted_string, wl_keyword::symbol, TRUE, and wl_psi_term::value_3.
void push | ( | psi_term | tok, |
long | prec, | ||
long | op | ||
) |
Definition at line 91 of file parser.c.
References int_stack, parser_stack_index, PARSER_STACK_SIZE, perr(), psi_term_error(), and psi_term_stack.
Definition at line 531 of file login.c.
References wl_stack::aaaa_3, wl_stack::bbbb_3, choice_stack, wl_stack::next, STACK_ALLOC, stack_pointer, wl_stack::type, and undo_stack.
void push_choice_point | ( | goals | t, |
ptr_psi_term | a, | ||
ptr_psi_term | b, | ||
GENERIC | c | ||
) |
Definition at line 591 of file login.c.
References wl_goal::aaaa_1, wl_goal::bbbb_1, wl_goal::cccc_1, choice_stack, FALSE, global_time_stamp, goal_stack, wl_choice_point::goal_stack, wl_goal::next, wl_choice_point::next, wl_goal::pending, STACK_ALLOC, stack_pointer, wl_choice_point::stack_top, wl_choice_point::time_stamp, wl_goal::type, wl_choice_point::undo_point, and undo_stack.
void push_def_ptr_value | ( | ptr_psi_term | q, |
GENERIC * | p | ||
) |
Definition at line 389 of file login.c.
References wl_stack::aaaa_3, assert, wl_stack::bbbb_3, choice_stack, def_ptr, global_time_stamp, heap_pointer, int_ptr, wl_stack::next, push_ptr_value(), STACK_ALLOC, stack_pointer, trail_condition(), wl_stack::type, undo_stack, and VALID_ADDRESS.
void push_goal | ( | goals | t, |
ptr_psi_term | a, | ||
ptr_psi_term | b, | ||
GENERIC | c | ||
) |
Definition at line 555 of file login.c.
References wl_goal::aaaa_1, wl_goal::bbbb_1, wl_goal::cccc_1, FALSE, goal_stack, wl_goal::next, wl_goal::pending, STACK_ALLOC, and wl_goal::type.
void push_psi_ptr_value | ( | ptr_psi_term | q, |
GENERIC * | p | ||
) |
Definition at line 443 of file login.c.
References wl_stack::aaaa_3, assert, wl_stack::bbbb_3, choice_stack, global_time_stamp, int_ptr, wl_stack::next, psi_term_ptr, push_ptr_value(), STACK_ALLOC, stack_pointer, trail_condition(), wl_stack::type, undo_stack, and VALID_ADDRESS.
Definition at line 360 of file login.c.
References wl_stack::aaaa_3, assert, wl_stack::bbbb_3, choice_stack, heap_pointer, wl_stack::next, STACK_ALLOC, stack_pointer, wl_stack::type, undo_stack, and VALID_ADDRESS.
Definition at line 488 of file login.c.
References wl_stack::aaaa_3, assert, wl_stack::bbbb_3, wl_stack::next, STACK_ALLOC, wl_stack::type, undo_stack, and VALID_ADDRESS.
void push_window | ( | long | type, |
long | disp, | ||
long | wind | ||
) |
Definition at line 510 of file login.c.
References wl_stack::aaaa_3, assert, wl_stack::bbbb_3, wl_stack::next, STACK_ALLOC, wl_stack::type, undo_action, and undo_stack.
void put_back_char | ( | long | c | ) |
void put_back_token | ( | psi_term | t | ) |
Definition at line 647 of file token.c.
References Errorline(), NULL, old_saved_psi_term, saved_psi_term, and stack_copy_psi_term().
ptr_psi_term quote_copy | ( | ptr_psi_term | t, |
long | heap_flag | ||
) |
ptr_psi_term quotedStackCopy | ( | psi_term | p | ) |
Definition at line 436 of file bi_sys.c.
References mark_quote(), and stack_copy_psi_term().
void raw_setup_builtins | ( | ) |
Definition at line 327 of file raw.c.
References bi_module, c_begin_raw(), c_end_raw(), c_get_raw(), c_in_raw(), c_put_raw(), c_reset_window_flag(), c_window_flag(), function_it, new_built_in(), and predicate.
long read_char | ( | ) |
Definition at line 587 of file token.c.
References EOLN, FALSE, infoline(), input_stream, line_count, NULL, old_saved_char, prompt, saved_char, start_of_line, stringinput, stringparse, trace_input, and TRUE.
void read_comment | ( | ptr_psi_term | tok | ) |
psi_term read_life_form | ( | char | ch1, |
char | ch2 | ||
) |
Definition at line 700 of file parser.c.
References wl_psi_term::attr_list, bad_psi_term(), crunch(), equ_tokc, equ_tokch, error_psi_term, FALSE, fx, fy, line_count, MAX_PRECEDENCE, nop, NOP, parse_ok, parser_stack_index, pop(), precedence(), push(), put_back_token(), read_psi_term(), read_token(), stringparse, Syntaxerrorline(), TRUE, xf, xfx, xfy, yf, and yfx.
void read_name | ( | ptr_psi_term | tok, |
long | ch, | ||
long(*)() | f, | ||
ptr_definition | typ | ||
) |
void read_number | ( | ptr_psi_term | tok, |
long | c | ||
) |
Definition at line 986 of file token.c.
References DIGIT, heap_alloc(), integer, put_back_char(), read_char(), REAL, and real.
psi_term read_psi_term | ( | ) |
Definition at line 400 of file parser.c.
References add_module1, add_module2, add_module3, alist, apply, wl_psi_term::attr_list, bad_psi_term(), wl_keyword::combined_name, wl_psi_term::coref, current_module, disjunction, eof, equ_tok, equ_tokch, equal_types, error_psi_term, FALSE, FEATCMP, feature_insert(), find(), functor, heap_copy_string(), integer, wl_definition::keyword, wl_module::module_name, NULL, parse_list(), parse_ok, wl_keyword::private_feature, put_back_token(), quoted_string, read_life_form(), read_token(), REAL, wl_psi_term::resid, stack_copy_psi_term(), stack_insert(), stack_psi_term(), stringparse, wl_keyword::symbol, Syntaxerrorline(), TRUE, two, wl_psi_term::type, wl_psi_term::value_3, variable, and wl_const_3.
void read_string | ( | ptr_psi_term | tok, |
long | e | ||
) |
Definition at line 743 of file token.c.
References base2int(), FALSE, heap_copy_string(), isoctal, NULL, put_back_char(), read_char(), read_string_error(), STRLEN, TOKEN_ERROR(), TRUE, update_symbol(), and warningline().
void read_string_error | ( | int | n | ) |
Definition at line 689 of file token.c.
References FALSE, parse_ok, stringparse, and Syntaxerrorline().
void read_token | ( | ptr_psi_term | tok | ) |
void read_token_b | ( | ptr_psi_term | tok | ) |
void read_token_main | ( | ptr_psi_term | tok, |
long | for_parser | ||
) |
Definition at line 1073 of file token.c.
References bk2_stack_insert(), choice_stack, comment, constant, wl_psi_term::coref, current_module, cut, wl_node::data, DIGIT, eof, EOLN, Errorline(), FALSE, final_dot, final_question, find(), legal_in_name(), line_count, LOWER, nothing, NULL, old_saved_psi_term, prompt, psi_term_line_number, put_back_char(), quoted_string, read_char(), read_comment(), read_name(), read_number(), read_string(), read_token(), saved_psi_term, SINGLE, stack_psi_term(), STRCMP, SYMBOL, symbolic(), TOKEN_ERROR(), TRUE, update_symbol(), UPPER, var_occurred, var_tree, and variable.
ptr_psi_term real_stack_psi_term | ( | long | stat, |
REAL | thereal | ||
) |
Definition at line 38 of file lefun.c.
References wl_psi_term::attr_list, wl_psi_term::coref, FALSE, wl_psi_term::flags, global_time_stamp, heap_alloc(), integer, NULL, QUOTED_TRUE, REAL, real, wl_psi_term::resid, STACK_ALLOC, wl_psi_term::status, wl_psi_term::type, and wl_psi_term::value_3.
void rec_replace | ( | ptr_definition | old, |
ptr_definition | new, | ||
ptr_psi_term | term | ||
) |
Definition at line 846 of file modules.c.
References wl_psi_term::attr_list, def_ptr, deref_ptr, insert_translation(), int_ptr, NULL, push_ptr_value(), replace_attr(), translate(), wl_psi_term::type, and wl_psi_term::value_3.
long redefine | ( | ptr_psi_term | t | ) |
Definition at line 91 of file types.c.
References wl_definition::children, wl_keyword::combined_name, wl_definition::date, deref_ptr, Errorline(), FALSE, file_date, wl_definition::keyword, MAX_BUILT_INS, wl_definition::parents, wl_definition::protected, remove_cycles(), wl_definition::rule, wl_keyword::symbol, TRUE, wl_definition::type_def, type_it, undef, warningflag, warningline(), and yes_or_no().
void release_resid | ( | ptr_psi_term | t | ) |
void release_resid_main | ( | ptr_psi_term | t, |
long | trailflag | ||
) |
Definition at line 384 of file lefun.c.
References wl_goal::aaaa_1, FALSE, wl_residuation::goal, goal_ptr, goal_stack, int_ptr, wl_residuation::next, wl_goal::next, NULL, wl_goal::pending, push_ptr_value(), resid_ptr, and traceline().
void release_resid_notrail | ( | ptr_psi_term | t | ) |
void remove_cycles | ( | ptr_definition | d, |
ptr_int_list * | dl | ||
) |
void replace | ( | ptr_definition | old, |
ptr_definition | new, | ||
ptr_psi_term | term | ||
) |
void replace_attr | ( | ptr_node | old_attr, |
ptr_psi_term | term, | ||
ptr_definition | old, | ||
ptr_definition | new | ||
) |
Definition at line 875 of file modules.c.
References wl_psi_term::attr_list, wl_keyword::combined_name, wl_node::data, FEATCMP, wl_node::key, wl_definition::keyword, wl_node::left, wl_keyword::private_feature, rec_replace(), wl_node::right, stack_insert(), and wl_keyword::symbol.
void report_error | ( | ptr_psi_term | g, |
char * | s | ||
) |
void report_error2 | ( | ptr_psi_term | g, |
char * | s | ||
) |
void report_error2_main | ( | ptr_psi_term | g, |
char * | s, | ||
char * | s2 | ||
) |
void report_error_main | ( | ptr_psi_term | g, |
char * | s, | ||
char * | s2 | ||
) |
void report_warning | ( | ptr_psi_term | g, |
char * | s | ||
) |
void report_warning2 | ( | ptr_psi_term | g, |
char * | s | ||
) |
long reportAndAbort | ( | ptr_psi_term | g, |
char * | s | ||
) |
void reset_stacks | ( | ) |
void reset_step | ( | ) |
ptr_psi_term residListGoalQuote | ( | ptr_residuation | p | ) |
Definition at line 451 of file bi_sys.c.
References copyPsiTerm, stack_psi_term(), and wl_psi_term::status.
GENERIC residListNext | ( | ptr_residuation | p | ) |
void residuate | ( | ptr_psi_term | t | ) |
Definition at line 113 of file lefun.c.
References wl_resid_list::next, NULL, wl_resid_list::othervar, resid_vars, STACK_ALLOC, and wl_resid_list::var.
void residuate2 | ( | ptr_psi_term | u, |
ptr_psi_term | v | ||
) |
void residuate3 | ( | ptr_psi_term | u, |
ptr_psi_term | v, | ||
ptr_psi_term | w | ||
) |
void residuate_double | ( | ptr_psi_term | t, |
ptr_psi_term | u | ||
) |
Definition at line 95 of file lefun.c.
References wl_resid_list::next, wl_resid_list::othervar, resid_vars, STACK_ALLOC, and wl_resid_list::var.
long residuateGoalOnVar | ( | ptr_goal | g, |
ptr_psi_term | var, | ||
ptr_psi_term | othervar | ||
) |
Definition at line 172 of file lefun.c.
References code_ptr, def_ptr, Errorline(), FALSE, glb_code(), glb_value(), heap_pointer, int_ptr, NULL, push_ptr_value(), wl_psi_term::resid, resid_ptr, STACK_ALLOC, TRUE, wl_psi_term::type, and wl_psi_term::value_3.
void restore_parse_state | ( | ptr_parse_block | pb | ) |
Definition at line 365 of file token.c.
References eof_flag, line_count, old_saved_char, old_saved_psi_term, saved_char, saved_psi_term, and start_of_line.
void restore_resid | ( | ptr_resid_block | rb, |
ptr_psi_term * | match_date | ||
) |
void restore_state | ( | ptr_psi_term | t | ) |
Definition at line 267 of file token.c.
References eof_flag, EOF_FLAG, get_attr(), input_file_name, INPUT_FILE_NAME, input_stream, lf_true, line_count, LINE_COUNT, NULL, null_psi_term, old_saved_char, OLD_SAVED_CHAR, old_saved_psi_term, OLD_SAVED_PSI_TERM, REAL, saved_char, SAVED_CHAR, saved_psi_term, SAVED_PSI_TERM, start_of_line, START_OF_LINE, and STREAM.
void save_parse_state | ( | ptr_parse_block | pb | ) |
Definition at line 350 of file token.c.
References eof_flag, wl_parse_block::lc, line_count, old_saved_char, old_saved_psi_term, saved_char, saved_psi_term, and start_of_line.
void save_resid | ( | ptr_resid_block | rb, |
ptr_psi_term | match_date | ||
) |
void save_state | ( | ptr_psi_term | t | ) |
Definition at line 230 of file token.c.
References wl_node::data, eof_flag, EOF_FLAG, FEATCMP, find(), heap_add_psi_attr(), heap_mod_int_attr(), heap_mod_str_attr(), heap_psi_term(), input_file_name, INPUT_FILE_NAME, input_stream, lf_false, lf_true, line_count, LINE_COUNT, null_psi_term, old_saved_char, OLD_SAVED_CHAR, old_saved_psi_term, OLD_SAVED_PSI_TERM, saved_char, SAVED_CHAR, saved_psi_term, SAVED_PSI_TERM, start_of_line, START_OF_LINE, STREAM, wl_psi_term::type, and wl_psi_term::value_3.
ptr_module set_current_module | ( | ptr_module | module | ) |
void set_trace_to_prove | ( | ) |
Definition at line 639 of file error.c.
References new_trace().
void setUnitList | ( | GENERIC | x | ) |
long shift_warning | ( | long | dir, |
ptr_psi_term | arg, | ||
REAL | val | ||
) |
void show | ( | long | limit | ) |
Definition at line 52 of file parser.c.
References display_psi_stdout(), fx, int_stack, nop, parser_stack_index, psi_term_stack, xf, and xfx.
void show_count | ( | ) |
Definition at line 1085 of file login.c.
References end_time, goal_count, heap_pointer, mem_base, mem_limit, NOTQUIET, stack_info(), stack_pointer, and verbose.
void stack_add_int_attr | ( | ptr_psi_term | t, |
char * | attrname, | ||
long | value | ||
) |
Definition at line 73 of file token.c.
References FEATCMP, heap_alloc(), heap_copy_string(), integer, REAL, stack_insert(), stack_psi_term(), wl_psi_term::type, and wl_psi_term::value_3.
void stack_add_psi_attr | ( | ptr_psi_term | t, |
char * | attrname, | ||
ptr_psi_term | g | ||
) |
Definition at line 192 of file token.c.
References FEATCMP, heap_copy_string(), and stack_insert().
void stack_add_str_attr | ( | ptr_psi_term | t, |
char * | attrname, | ||
char * | str | ||
) |
Definition at line 136 of file token.c.
References FEATCMP, heap_copy_string(), quoted_string, stack_copy_string(), stack_insert(), stack_psi_term(), wl_psi_term::type, and wl_psi_term::value_3.
GENERIC stack_alloc | ( | long | s | ) |
Definition at line 1542 of file memory.c.
References ALIGN, Errorline(), heap_pointer, and stack_pointer.
ptr_psi_term stack_bytes | ( | char * | s, |
int | n | ||
) |
Definition at line 117 of file built_ins.c.
References heap_ncopy_string(), quoted_string, stack_psi_term(), wl_psi_term::type, and wl_psi_term::value_3.
ptr_psi_term stack_cons | ( | ptr_psi_term | head, |
ptr_psi_term | tail | ||
) |
Definition at line 47 of file built_ins.c.
References alist, wl_psi_term::attr_list, cons(), FEATCMP, one, stack_insert(), stack_psi_term(), two, and wl_psi_term::type.
ptr_psi_term stack_copy_psi_term | ( | psi_term | t | ) |
Definition at line 183 of file parser.c.
References global_time_stamp, and STACK_ALLOC.
char* stack_copy_string | ( | char * | s | ) |
void stack_info | ( | FILE * | outfile | ) |
Definition at line 291 of file trees.c.
References FALSE, general_insert(), and STACK.
Definition at line 260 of file trees.c.
References FEATCMP, general_insert(), STACK, and TRUE.
ptr_psi_term stack_int | ( | long | n | ) |
Definition at line 87 of file built_ins.c.
References heap_alloc(), integer, REAL, stack_psi_term(), wl_psi_term::type, and wl_psi_term::value_3.
ptr_psi_term stack_nil | ( | ) |
Definition at line 29 of file built_ins.c.
References nil, stack_psi_term(), and wl_psi_term::type.
ptr_psi_term stack_pair | ( | ptr_psi_term | left, |
ptr_psi_term | right | ||
) |
Definition at line 67 of file built_ins.c.
References and, wl_psi_term::attr_list, FEATCMP, one, stack_insert(), stack_psi_term(), two, and wl_psi_term::type.
ptr_psi_term stack_psi_term | ( | long | stat | ) |
Definition at line 15 of file lefun.c.
References wl_psi_term::attr_list, wl_psi_term::coref, FALSE, wl_psi_term::flags, global_time_stamp, NULL, QUOTED_TRUE, wl_psi_term::resid, STACK_ALLOC, wl_psi_term::status, top, wl_psi_term::type, and wl_psi_term::value_3.
ptr_psi_term stack_string | ( | char * | s | ) |
Definition at line 102 of file built_ins.c.
References heap_copy_string(), quoted_string, stack_psi_term(), wl_psi_term::type, and wl_psi_term::value_3.
void start_chrono | ( | ) |
long starts_nonlower | ( | char * | s | ) |
void stdin_cleareof | ( | ) |
Definition at line 42 of file token.c.
References eof_flag, FALSE, NULL, old_saved_char, old_saved_psi_term, saved_char, saved_psi_term, start_of_line, stdin_terminal, and TRUE.
char* str_conc | ( | char * | s1, |
char * | s2 | ||
) |
long strict_matches | ( | ptr_psi_term | t1, |
ptr_psi_term | t2, | ||
long * | smaller | ||
) |
Definition at line 1608 of file types.c.
References FALSE, matches(), NULL, TRUE, wl_psi_term::type, and wl_psi_term::value_3.
char* string_val | ( | ptr_psi_term | term | ) |
char* strip_module_name | ( | char * | str | ) |
long strpos | ( | long | pos, |
char * | str | ||
) |
long sub_CodeType | ( | ptr_int_list | c1, |
ptr_int_list | c2 | ||
) |
Definition at line 1522 of file types.c.
References FALSE, wl_int_list::next, NOT_CODED, TRUE, and wl_int_list::value_1.
char* sub_str | ( | char * | s, |
long | p, | ||
long | n | ||
) |
long sub_type | ( | ptr_definition | t1, |
ptr_definition | t2 | ||
) |
Definition at line 1544 of file types.c.
References wl_definition::code, FALSE, sub_CodeType(), top, and TRUE.
long symbolic | ( | long | c | ) |
void Syntaxerrorline | ( | char * | format, |
... | |||
) |
Definition at line 498 of file error.c.
References assert, display_psi(), FALSE, input_file_name, parse_ok, perr_i(), perr_s(), print_code(), print_def_type(), print_operator_kind(), and psi_term_line_number.
char* text_buffer_cmp | ( | struct text_buffer * | buf, |
int | idx, | ||
char * | str | ||
) |
void text_buffer_free | ( | struct text_buffer * | buf | ) |
int text_buffer_next | ( | struct text_buffer * | buf, |
int | idx, | ||
char | c, | ||
struct text_buffer ** | rbuf, | ||
int * | ridx | ||
) |
void text_buffer_push | ( | struct text_buffer ** | buf, |
char | c | ||
) |
Definition at line 773 of file sys.c.
References text_buffer::data, and TEXTBUFSIZE.
void title | ( | ) |
Definition at line 31 of file info.c.
References PARSER_STACK_SIZE, pnf(), quietflag, REAL, and STRLEN.
void toggle_step | ( | ) |
void toggle_trace | ( | ) |
void TOKEN_ERROR | ( | ptr_psi_term | p | ) |
Definition at line 30 of file token.c.
References error_psi_term, Syntaxerrorline(), and wl_psi_term::type.
ptr_choice_point topmost_what_next | ( | ) |
Definition at line 1907 of file login.c.
References choice_stack, wl_choice_point::goal_stack, wl_choice_point::next, NULL, wl_goal::type, and what_next.
void traceline | ( | char * | format, |
... | |||
) |
Definition at line 157 of file error.c.
References assert, display_psi(), FALSE, input_file_name, parse_ok, perr_i(), perr_s(), print_code(), print_def_type(), print_operator_kind(), psi_term_line_number, trace, and tracing().
void tracing | ( | ) |
Definition at line 604 of file error.c.
References depth_cs(), depth_gs(), goal_count, MAX_TRACE_INDENT, steptrace, and TRUE.
long trail_condition | ( | psi_term * | Q | ) |
ptr_psi_term translate | ( | ptr_psi_term | a, |
long ** | infoptr | ||
) |
Definition at line 101 of file copy.c.
References hashentry::bucketindex, HASH, HASHEND, hashtable, hashtime, hashbucket::info, hashbucket::new_value, hashbucket::next, NULL, and hashbucket::old_value.
void traverse_tree | ( | ptr_node | n, |
int | flag | ||
) |
Definition at line 640 of file modules.c.
References deref_ptr, FALSE, MAKE_FEATURE_PRIVATE, make_feature_private(), MAKE_PRIVATE, make_public(), MAKE_PUBLIC, and TRUE.
ptr_int_list two_to_the | ( | long | p | ) |
Definition at line 731 of file types.c.
References HEAP_ALLOC, INT_SIZE, wl_int_list::next, NULL, and wl_int_list::value_1.
long type_cyclicity | ( | ptr_definition | d, |
ptr_int_list | anc | ||
) |
Definition at line 907 of file types.c.
References wl_definition::code, Errorline(), exit_life(), FALSE, wl_int_list::next, NOT_CODED, perr(), perr_sort_cycle(), TRUE, type_member(), and wl_int_list::value_1.
void type_disj_aim | ( | ) |
Definition at line 1744 of file login.c.
References wl_goal::aaaa_1, aim, wl_definition::always_check, wl_psi_term::attr_list, wl_goal::bbbb_1, def_ptr, FALSE, fetch_def(), wl_definition::keyword, wl_int_list::next, NULL, push_choice_point(), push_ptr_value(), wl_psi_term::status, wl_keyword::symbol, traceline(), wl_psi_term::type, type_disj, and wl_int_list::value_1.
long type_member | ( | ptr_definition | t, |
ptr_int_list | tlst | ||
) |
Definition at line 864 of file types.c.
References FALSE, wl_int_list::next, TRUE, and wl_int_list::value_1.
void undo | ( | ptr_stack | limit | ) |
Definition at line 646 of file login.c.
References wl_stack::aaaa_3, wl_stack::bbbb_3, destroy_window, hide_subwindow, hide_window, wl_stack::next, show_subwindow, show_window, wl_stack::type, undo_action, and undo_stack.
void undo_actions | ( | ) |
long unify_aim | ( | ) |
long unify_aim_noeval | ( | ) |
long unify_body | ( | long | eval_flag | ) |
Definition at line 1269 of file login.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, wl_goal::bbbb_1, wl_psi_term::coref, cut, cut_ptr, decode(), def_ptr, deref, deref_ptr, equal_types, Errorline(), FALSE, fetch_def_lazy(), wl_psi_term::flags, function_it, glb(), global_unify(), heap_pointer, int_ptr, integer, wl_definition::keyword, merge(), more_u_attr, more_v_attr, new_stat, wl_int_list::next, NULL, overlap_type(), push_choice_point(), push_psi_ptr_value(), push_ptr_value(), quoted_string, QUOTED_TRUE, REAL, real, release_resid(), wl_psi_term::resid, wl_psi_term::status, sub_type(), wl_keyword::symbol, sys_bytedata, traceline(), TRUE, wl_psi_term::type, wl_definition::type_def, type_disj, type_it, u_func, v_func, wl_int_list::value_1, wl_psi_term::value_3, and warningline().
void unify_bool_result | ( | ptr_psi_term | t, |
long | v | ||
) |
Definition at line 329 of file built_ins.c.
References lf_false, lf_true, NULL, push_goal(), stack_psi_term(), wl_psi_term::type, and unify.
long unify_real_result | ( | ptr_psi_term | t, |
REAL | v | ||
) |
Definition at line 371 of file built_ins.c.
References assert, def_ptr, deref_ptr, FALSE, heap_alloc(), heap_pointer, i_check_out(), int_ptr, integer, matches(), NULL, push_ptr_value(), REAL, release_resid(), TRUE, and warningline().
GENERIC unique_name | ( | ) |
GENERIC unitListNext | ( | ) |
ptr_psi_term unitListValue | ( | ) |
ptr_definition update_feature | ( | ptr_module | module, |
char * | feature | ||
) |
Definition at line 1315 of file modules.c.
References current_module, wl_keyword::definition, extract_module_from_name(), hash_lookup(), NULL, wl_keyword::private_feature, and update_symbol().
ptr_definition update_symbol | ( | ptr_module | module, |
char * | symbol | ||
) |
Definition at line 264 of file modules.c.
References wl_keyword::combined_name, current_module, wl_keyword::definition, error_psi_term, Errorline(), extract_module_from_name(), FALSE, hash_insert(), hash_lookup(), HEAP_ALLOC, heap_copy_string(), make_module_token(), wl_keyword::module, new_definition(), wl_int_list::next, NULL, wl_keyword::private_feature, wl_keyword::public, strip_module_name(), wl_keyword::symbol, wl_module::symbol_table, wl_psi_term::type, wl_int_list::value_1, and warningline().
void vinfoline | ( | char * | format, |
FILE * | outfile, | ||
... | |||
) |
long warning | ( | ) |
void warningline | ( | char * | format, |
... | |||
) |
Definition at line 327 of file error.c.
References assert, display_psi(), FALSE, input_file_name, parse_ok, perr_i(), perr_s(), print_code(), print_def_type(), print_operator_kind(), psi_term_line_number, quietflag, and warningflag.
long warningx | ( | ) |
int WFFeatureCount | ( | ptr_psi_term | psi | ) |
char** WFFeatures | ( | ptr_psi_term | psi | ) |
Definition at line 364 of file lib.c.
References deref_ptr, group_features(), NULL, and WFfeature_count_loop().
double WFGetDouble | ( | ptr_psi_term | psi, |
int * | ok | ||
) |
PsiTerm WFGetFeature | ( | ptr_psi_term | ps, |
char * | feature | ||
) |
Definition at line 433 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 410 of file lib.c.
References deref_ptr, FALSE, NULL, quoted_string, sub_type(), and TRUE.
PsiTerm WFGetVar | ( | char * | name | ) |
Definition at line 297 of file lib.c.
References wl_node::data, deref_ptr, find(), NULL, STRCMP, and var_tree.
void WFInit | ( | long | argc, |
char ** | argv | ||
) |
int WFInput | ( | char * | query | ) |
Definition at line 210 of file lib.c.
References wl_goal::aaaa_1, 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 | ) |
long what_next_aim | ( | ) |
Definition at line 1942 of file login.c.
References wl_goal::aaaa_1, aborthooksym, aim, assert_clause(), assert_first, wl_goal::bbbb_1, begin_terminal_io(), wl_goal::cccc_1, current_module, DEFRULES, encode_types(), end_terminal_io(), eof, EOLN, FACT, FALSE, function_it, infoline(), MAX_LEVEL, wl_module::module_name, no_choices(), NOTQUIET, NULL, parse(), print_variables(), prompt, PROMPT, prompt_buffer, prove, push_choice_point(), push_goal(), put_back_char(), QUERY, read_char(), release_resid(), reset_stacks(), reset_step(), show_count(), stack_copy_psi_term(), start_chrono(), stdin_cleareof(), TRUE, TRUEMASK, wl_psi_term::type, wl_definition::type_def, undo(), undo_stack, user_module, var_occurred, what_next, what_next_cut(), x_window_creation, and xevent_existing.
long what_next_cut | ( | ) |
Definition at line 1872 of file login.c.
References backtrack(), choice_stack, FALSE, goal_stack, NULL, TRUE, wl_goal::type, undo(), and what_next.
void work_out_length | ( | ) |
Definition at line 557 of file print.c.
References wl_tab_brk::broken, wl_tab_brk::column, FALSE, indx, NULL, page_width, wl_tab_brk::printed, wl_item::str, strpos(), wl_item::tab, and TRUE.
void write_attributes | ( | ptr_node | n, |
ptr_tab_brk | tab | ||
) |
Definition at line 1321 of file print.c.
References mark_tab(), MAX_PRECEDENCE, and pretty_tag_or_psi_term().
long yes_or_no | ( | ) |
Definition at line 44 of file types.c.
References EOLN, input_state, open_input_file(), perr(), prompt, read_char(), and restore_state().