generic/compiler/setinst_io.h

/*
 *  Set Instance Output Routine
 *  by Tom Epperly
 *  Created: 2/15/90
 *  Version: $Revision: 1.5 $
 *  Version control file: $RCSfile: setinst_io.h,v $
 *  Date last modified: $Date: 1997/07/18 12:34:41 $
 *  Last modified by: $Author: mthomas $
 *
 *  This file is part of the Ascend Language Interpreter.
 *
 *  Copyright (C) 1990, 1993, 1994 Thomas Guthrie Epperly
 *
 *  The Ascend Language Interpreter is free software; you can redistribute
 *  it and/or modify it under the terms of the GNU General Public License as
 *  published by the Free Software Foundation; either version 2 of the
 *  License, or (at your option) any later version.
 *
 *  The Ascend Language Interpreter is distributed in hope that it will be
 *  useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 *  General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License along
 *  with the program; if not, write to the Free Software Foundation, Inc., 675
 *  Mass Ave, Cambridge, MA 02139 USA.  Check the file named COPYING.
 */

/** @file
 *  Set Instance Output Routine.
 *  <pre>
 *  When #including setinst_io.h, make sure these files are #included first:
 *         #include <stdio.h>
 *         #include "utilities/ascConfig.h"
 *         #include "compiler.h"
 *         #include "setinstval.h"
 *  </pre>
 */

#ifndef __SETINST_IO_H_SEEN__
#define __SETINST_IO_H_SEEN__

extern void WriteInstSet(FILE *f, CONST struct set_t *s);
/**<
 *  <!--  void WriteInstSet(f,s)                                       -->
 *  <!--  FILE *f;                                                     -->
 *  <!--  const struct set_t *s;                                       -->
 *  Write set instance s to file f.
 */

#endif  /* __SETINST_IO_H_SEEN__ */

1	jds	54	/*
2	aw0a	1	* Set Instance Output Routine
3			* by Tom Epperly
4			* Created: 2/15/90
5			* Version: $Revision: 1.5 $
6			* Version control file: $RCSfile: setinst_io.h,v $
7			* Date last modified: $Date: 1997/07/18 12:34:41 $
8			* Last modified by: $Author: mthomas $
9			*
10			* This file is part of the Ascend Language Interpreter.
11			*
12			* Copyright (C) 1990, 1993, 1994 Thomas Guthrie Epperly
13			*
14			* The Ascend Language Interpreter is free software; you can redistribute
15			* it and/or modify it under the terms of the GNU General Public License as
16			* published by the Free Software Foundation; either version 2 of the
17			* License, or (at your option) any later version.
18			*
19			* The Ascend Language Interpreter is distributed in hope that it will be
20			* useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
21			* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
22			* General Public License for more details.
23			*
24			* You should have received a copy of the GNU General Public License along
25			* with the program; if not, write to the Free Software Foundation, Inc., 675
26			* Mass Ave, Cambridge, MA 02139 USA. Check the file named COPYING.
27			*/
28
29	jds	54	/** @file
30			* Set Instance Output Routine.
31			* <pre>
32	aw0a	1	* When #including setinst_io.h, make sure these files are #included first:
33	jds	54	* #include <stdio.h>
34			* #include "utilities/ascConfig.h"
35	aw0a	1	* #include "compiler.h"
36			* #include "setinstval.h"
37	jds	54	* </pre>
38	aw0a	1	*/
39
40			#ifndef __SETINST_IO_H_SEEN__
41			#define __SETINST_IO_H_SEEN__
42
43	jds	54	extern void WriteInstSet(FILE f, CONST struct set_t s);
44			/**<
45			* <!-- void WriteInstSet(f,s) -->
46			* <!-- FILE *f; -->
47			* <!-- const struct set_t *s; -->
48			* Write set instance s to file f.
49	aw0a	1	*/
50	jds	54
51			#endif /* __SETINST_IO_H_SEEN__ */
52