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

Go to the source code of this file.

Functions
GENERIC	heap_alloc ()
GENERIC	stack_alloc ()
void	garbage ()
long	memory_check ()
void	fail_all ()
char *	GetStrOption ()
int	GetBoolOption ()
int	GetIntOption ()

---

Function Documentation

void fail_all

(

)

Definition at line 195 of file memory.c.

References abort_life(), choice_stack, goal_stack, NULL, open_input_file(), output_stream, stdin_cleareof(), TRUE, and undo_stack.

Referenced by memory_check().

void garbage

(

)

Definition at line 1466 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.

Referenced by memory_check().

int GetBoolOption

(

)

int GetIntOption

(

)

char* GetStrOption

(

)

GENERIC heap_alloc

(

)

long memory_check

(

)

Definition at line 1666 of file memory.c.

References fail_all(), FALSE, garbage(), GC_THRESHOLD, heap_pointer, stack_pointer, TRUE, and verbose.

Referenced by init_system(), and main_prove().

GENERIC stack_alloc

(

)

---