ack/util/ego/cs/cs_kill.h
2018-02-05 16:09:30 -05:00

35 lines
900 B
C

/* $Id$ */
/*
* (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
* See the copyright notice in the ACK home directory, in the file "Copyright".
*/
extern void kill_call(proc_p pp);
/*
* Kill all entities that might have an other value
* after execution of the procedure in pp.
*/
extern void kill_much(void);
/*
* Kill all killable entities except those for which
* a register message was generated.
* Constants, addresses, etc are not killable.
*/
extern void kill_indir(entity_p enp);
/*
* Kill all entities that might have an other value
* after indirect assignment to the entity in enp.
*/
extern void kill_direct(entity_p enp);
/*
* Kill all entities that might have an other value
* after direct assignment to the entity in enp.
*/
extern void kill_all(void);
/*
* Kill all entities.
*/