ack/util/ego/cs/cs_kill.h
2015-06-24 23:41:45 +01:00

30 lines
827 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".
*/
void kill_call(proc_p pp);
/* Kill all entities that might have an other value
* after execution of the procedure in pp.
*/
void kill_much();
/* Kill all killable entities except those for which
* a register message was generated.
* Constants, addresses, etc are not killable.
*/
void kill_indir(entity_p enp);
/* Kill all entities that might have an other value
* after indirect assignment to the entity in enp.
*/
void kill_direct(entity_p enp);
/* Kill all entities that might have an other value
* after direct assignment to the entity in enp.
*/
void kill_all();
/* Kill all entities.
*/