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	/*
2	* 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	/** @file
30	* Set Instance Output Routine.
31	* <pre>
32	* When #including setinst_io.h, make sure these files are #included first:
33	* #include <stdio.h>
34	* #include "utilities/ascConfig.h"
35	* #include "compiler.h"
36	* #include "setinstval.h"
37	* </pre>
38	*/
39
40	#ifndef __SETINST_IO_H_SEEN__
41	#define __SETINST_IO_H_SEEN__
42
43	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	*/
50
51	#endif /* __SETINST_IO_H_SEEN__ */
52