/*
 * (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 */
#include    "dataflow.h"
#include    "print.h"

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

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

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

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