Go to the source code of this file.
Macros | |
#define | LONELY 1 |
#define | assert(N) |
#define | UNCHECKED(P) (! *((GENERIC)(P)+delta)) |
Variables | |
static long | delta |
static long | pass |
static struct tms | last_garbage_time |
static float | gc_time |
static float | life_time |
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.
|
static |
Definition at line 1208 of file memory.c.
References aborthooksym, abortsym, add_module1, add_module2, add_module3, aim, alist, and, apply, assert, bi_module, boolpredsym, bounds_undo_stack(), built_in, call_handlersym, check_choice(), check_choice_structs(), check_definition(), check_definition_list(), check_gamma_code(), check_gamma_rest(), check_goal_stack(), check_module(), check_module_tree(), check_psi_term(), check_resid_list(), check_special_addresses(), check_string(), check_sys_definitions(), check_undo_stack(), check_var(), choice_stack, colonsym, commasym, comment, constant, current_module, cut, day_attr, delay_checksym, disj_nil, disjunction, dynamicsym, encodesym, eof, eqsym, error_psi_term, eval_argsym, final_dot, final_question, funcsym, functor, fx_sym, fy_sym, goal_stack, hour_attr, iff, input_state, inputfilesym, integer, lf_false, lf_true, life_or, listingsym, loadsym, minus_symbol, minute_attr, module_table, month_attr, nil, no_module, nothing, null_psi_term, nullsym, old_saved_psi_term, old_state, one, opsym, pass, predsym, quote, quoted_string, real, resid_aim, resid_vars, saved_psi_term, second_attr, staticsym, stdin_state, stream, succeed, such_that, syntax_module, sys_module, three, timesym, top, tracesym, TRUE, two, typesym, undo_stack, user_module, var_tree, variable, weekday_attr, x_module, xbutton_event, xconfigure_event, xdestroy_event, xdisplay, xdisplaylist, xdrawable, xenter_event, xevent, xevent_existing, xevent_list, xexpose_event, xf_sym, xfx_sym, xfy_sym, xgc, xkeyboard_event, xleave_event, xmisc_event, xmotion_event, xpixmap, xwindow, year_attr, yf_sym, and yfx_sym.
void check_attr | ( | ptr_node * | n | ) |
Definition at line 985 of file memory.c.
References check_psi_term(), check_string(), and unchecked().
|
static |
|
static |
|
static |
Definition at line 1102 of file memory.c.
References check_goal_stack(), and check_undo_stack().
|
static |
|
static |
|
static |
Definition at line 667 of file memory.c.
References check_code(), and unchecked().
|
static |
Definition at line 682 of file memory.c.
References check_keyword(), check_kids(), check_operator_data(), check_pair_list(), check_triple_list(), and type_it.
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_gamma_code | ( | ) |
Definition at line 1008 of file memory.c.
References check_def_code(), gamma_table, type_count, and unchecked().
|
static |
|
static |
Definition at line 739 of file memory.c.
References check_pair_list(), check_psi_term(), check_resid_block(), check_string(), check_type_disj(), choice_stack, clause, DEFRULES, del_clause, disj, Errorline(), eval, eval_cut, fail, freeze_cut, general_cut, implies_cut, load, LONELY, match, pass, prove, retract, type_disj, unchecked(), unify, unify_noeval, and what_next.
void check_hash_table | ( | ) |
void check_hash_table | ( | ptr_hash_table | table | ) |
|
static |
|
static |
Definition at line 593 of file memory.c.
References check_definition(), check_module(), check_string(), and unchecked().
|
static |
Definition at line 492 of file memory.c.
References check_definition(), and unchecked().
|
static |
|
static |
Definition at line 556 of file memory.c.
References check_hash_table(), check_module_list(), check_string(), and unchecked().
|
static |
Definition at line 525 of file memory.c.
References check_module(), and unchecked().
|
static |
Definition at line 539 of file memory.c.
References check_module(), check_string(), and unchecked().
|
static |
|
static |
Definition at line 460 of file memory.c.
References check_psi_term(), and unchecked().
|
static |
|
static |
Definition at line 1149 of file memory.c.
References check_psi_term(), and unchecked().
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.
|
static |
Definition at line 851 of file memory.c.
References alist, check_bytedata(), check_code(), check_definition(), check_goal_stack(), check_string(), choice_stack, wl_definition::code, cut, LONELY, pass, quoted_string, REAL, real, sub_CodeType(), sys_bytedata, unchecked(), and variable.
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().
|
static |
|
static |
Definition at line 1164 of file memory.c.
References check_psi_term(), and unchecked().
|
static |
Definition at line 1119 of file memory.c.
References wl_stack::aaaa_3, wl_stack::bbbb_3, choice_stack, cut_ptr, LONELY, wl_stack::next, wl_choice_point::next, wl_choice_point::stack_top, wl_stack::type, unchecked(), undo_action, undo_stack, and VALID_RANGE.
|
static |
Definition at line 375 of file memory.c.
References delta, LONELY, MAX_BUILT_INS, pass, and unchecked().
|
static |
Definition at line 707 of file memory.c.
References check_keyword(), check_string(), and unchecked().
|
static |
Definition at line 476 of file memory.c.
References check_definition(), check_psi_term(), and unchecked().
|
static |
Definition at line 723 of file memory.c.
References check_definition(), and unchecked().
|
static |
|
static |
Definition at line 1038 of file memory.c.
References check_code(), check_definition(), check_goal_stack(), check_psi_term(), check_resid(), code_ptr, cut_ptr, def_ptr, destroy_window, goal_ptr, hide_window, int_ptr, psi_term_ptr, resid_ptr, show_window, and unchecked().
|
static |
Definition at line 1180 of file memory.c.
References check_psi_term(), check_string(), and unchecked().
|
static |
Definition at line 195 of file memory.c.
References ALIGN, assert, delta, heap_pointer, LONELY, mem_base, mem_limit, other_pointer, stack_pointer, TRUE, and VALID_ADDRESS.
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.
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.
int GetBoolOption | ( | char * | name | ) |
int GetIntOption | ( | char * | name, |
int | def | ||
) |
GENERIC heap_alloc | ( | long | s | ) |
Definition at line 1518 of file memory.c.
References ALIGN, Errorline(), heap_pointer, and stack_pointer.
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.
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.
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 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_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.
GENERIC stack_alloc | ( | long | s | ) |
Definition at line 1542 of file memory.c.
References ALIGN, Errorline(), heap_pointer, and stack_pointer.
|
static |
Definition at line 309 of file memory.c.
References assert, delta, Errorline(), FALSE, LONELY, MAX_BUILT_INS, pass, TRUE, and VALID_ADDRESS.