ast_comparator/test/student_data/handout/shlab-handout/cases/reference_22_tsh.c
/*
 * Requires:
 *   "jobs" points to an array of MAXJOBS job structures.
 *
 * Effects:
 *   Initializes the jobs list to an empty state.
 */
"jobs" points to an array of MAXJOBS job structures.

Initializes the jobs list to an empty state.
" jobs " points to an array of MAXJOBS job structures . Initializes the jobs list to an empty state .
static void
initjobs(JobP jobs)
{
	int i;
	for (i = 0; i < MAXJOBS; i++)
		clearjob(&jobs[i]);
}
static void initjobs ( JobP jobs ) { int i ; for ( i = 0 ; i < MAXJOBS ; i ++ ) clearjob ( & jobs [ i ] ) ; }
Requires:
   "jobs" points to an array of MAXJOBS job structures.
Requires : " jobs " points to an array of MAXJOBS job structures .