/*
 * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
 * See the copyright notice in the ACK home directory, in the file "Copyright".
 */
/* $Id$ */
/*	DATAFLOW ANALYSIS ON C PROGRAMS	*/

/*	Compile the C compiler with flag DATAFLOW.
	Use the compiler option --d.
*/

#include	"parameters.h"	/* UF */

#ifdef	DATAFLOW
char *CurrentFunction = 0;
int NumberOfCalls;

DfaStartFunction(nm)
	char *nm;
{
	CurrentFunction = nm;
	NumberOfCalls = 0;
}

DfaEndFunction()
{
	if (NumberOfCalls == 0)
		print("DFA: %s: --none--\n", CurrentFunction);
}

DfaCallFunction(s)
	char *s;
{
	print("DFA: %s: %s\n", CurrentFunction, s);
	++NumberOfCalls;
}
#endif	/* DATAFLOW */