1 |
/* |
/**< |
2 |
* Set Instance Output Routine |
* Set Instance Output Routine |
3 |
* by Tom Epperly |
* by Tom Epperly |
4 |
* Created: 2/15/90 |
* Created: 2/15/90 |
26 |
* Mass Ave, Cambridge, MA 02139 USA. Check the file named COPYING. |
* Mass Ave, Cambridge, MA 02139 USA. Check the file named COPYING. |
27 |
*/ |
*/ |
28 |
|
|
29 |
/* |
/**< |
30 |
* When #including setinst_io.h, make sure these files are #included first: |
* When #including setinst_io.h, make sure these files are #included first: |
31 |
* #include "compiler.h" |
* #include "compiler.h" |
32 |
* #include "setinstval.h" |
* #include "setinstval.h" |
35 |
|
|
36 |
#ifndef __SETINST_IO_H_SEEN__ |
#ifndef __SETINST_IO_H_SEEN__ |
37 |
#define __SETINST_IO_H_SEEN__ |
#define __SETINST_IO_H_SEEN__ |
38 |
/* requires |
/**< requires |
39 |
# #include<stdio.h> |
# #include<stdio.h> |
40 |
# #include"compiler.h" |
# #include"compiler.h" |
41 |
# #include"setinstval.h" |
# #include"setinstval.h" |
42 |
*/ |
*/ |
43 |
|
|
44 |
extern void WriteInstSet(FILE *,CONST struct set_t *); |
extern void WriteInstSet(FILE *,CONST struct set_t *); |
45 |
/* |
/**< |
46 |
* void WriteInstSet(f,s) |
* void WriteInstSet(f,s) |
47 |
* FILE *f; |
* FILE *f; |
48 |
* const struct set_t *s; |
* const struct set_t *s; |
49 |
*/ |
*/ |
50 |
#endif /* __SETINST_IO_H_SEEN__ */ |
#endif /**< __SETINST_IO_H_SEEN__ */ |