# include # include "control.h" static char *sccs_h_id = CONTROL_SCCS_ID; static char *sccs_id = "@(#)control.c 1.1 8/10/95"; control (code,ctrl_entry,ctrl_exit,stmt_entry,stmt_exit,else_entry, else_exit) int code,ctrl_entry,ctrl_exit,stmt_entry,stmt_exit,else_entry, else_exit; { if (!ctrl_file) return; if (code == IF_THEN_ELSE_CTRL) fprintf (ctrl_file, "%d(%d,%d,%d,%d,%d,%d)\n", code,ctrl_entry,ctrl_exit,stmt_entry,stmt_exit, else_entry,else_exit); else fprintf (ctrl_file,"%d(%d,%d,%d,%d)\n", code,ctrl_entry,ctrl_exit,stmt_entry,stmt_exit); } open_control (base) char *base; { char name[2000]; if (!base) return; if (strlen(base) == 0) return; strcpy (name,base); name[strlen(base) - 1] = 'O'; /* Not yet implemented ctrl_file = fopen(name,"w"); */ ctrl_file = NULL; }