home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Environments / SmallEiffel 0.3.3 / SmallEiffel PPC / lib_msg / bad_generic2.h < prev    next >
Encoding:
C/C++ Source or Header  |  1996-06-13  |  8.9 KB  |  307 lines  |  [TEXT/KAHL]
  1. /* ANSI C code generated by SmallEiffel. */
  2. /*
  3. -- SmallEiffel  -- Release (- 0.94 Beta)    --      FRANCE
  4. -- Copyright (C), 1994 - Dominique COLNET and Suzanne COLLIN 
  5. -- University Henri Poincare' - Nancy 1 - email colnet@loria.fr 
  6. -- CRIN (Centre de Recherche en Informatique de Nancy)
  7. -- FRANCE 
  8. */
  9. #include <stdio.h>
  10. #include <string.h>
  11. #include <stdlib.h>
  12. #include <signal.h>
  13. #include <stddef.h>
  14. #include <stdarg.h>
  15. #include <limits.h>
  16. #include <float.h>
  17. typedef struct sT0 T0;
  18. struct sT0{int id;};
  19. typedef struct sTstring Tstring;
  20. struct sTstring{int id;int _count;char *_storage;int _capacity;};
  21. typedef struct sTarray Tarray;
  22. struct sTarray{int id;int _capacity;int _lower;int _upper;T0**_storage;};
  23. T0 *se_new(int id);
  24. #define Tgeneral T1
  25. #define generalId 1
  26. #define integerId 2
  27. #define characterId 3
  28. #define booleanId 6
  29. #define realId 4
  30. #define doubleId 5
  31. #define pointerId 8
  32. #define expandedId 10
  33. #define referenceId 11
  34. #define linkId 12
  35. #define featureTagId 13
  36. #define nameId 14
  37. #define columnId 15
  38. #define lineId 16
  39. #define pathId 17
  40. #define doingWhatId 18
  41. #define doingInvariantId 19
  42. extern char tag_pos_1[];
  43. extern char tag_pos_2[];
  44. extern char tag_pos_3[];
  45. extern char tag_pos_4[];
  46. extern char tag_pos_5[];
  47. extern char tag_pos_6[];
  48. extern char Current[];
  49. extern char Result[];
  50. extern void **rs_bot;
  51. extern void **rs;
  52. extern void **rs_lb;
  53. extern void **rs_top;
  54. void rs_need(int size);
  55. void rs_link(char *tag);
  56. void rs_unlink(void);
  57. void rs_pPOS(char* tp,int l,int c,int f);
  58. int rs_pop_int(int e);
  59. void rs_pINT(int *i,char *n);
  60. void rs_pCHA(char *c,char *n);
  61. void rs_pBOO(int *b,char *n);
  62. void rs_pREA(float *r,char *n);
  63. void rs_pDOU(double *d,char *n);
  64. void rs_pPOI(void*p,char *n);
  65. void rs_pREF(void **r,char *n);
  66. void rs_pEXP(void *e,char *n);
  67. extern int req_last_chance;
  68. extern int req_last_result;
  69. extern int af_req;
  70. void ac_req(int v);
  71. #define AF_REQ_1 af_req=1;
  72. #define AF_REQ_0 af_req=0;
  73. extern int af_ens;
  74. void ac_ens(int v);
  75. #define AF_ENS_1 af_ens=1;
  76. #define AF_ENS_0 af_ens=0;
  77. extern int af_inv;
  78. void ac_inv(int v);
  79. #define AF_INV_1 af_inv=1;
  80. #define AF_INV_0 af_inv=0;
  81. extern int af_liv;
  82. void ac_liv(int v);
  83. int lvc(int lc,int lv1,int lv2);
  84. #define AF_LIV_1 af_liv=1;
  85. #define AF_LIV_0 af_liv=0;
  86. extern int af_civ;
  87. void ac_civ(int v);
  88. #define AF_CIV_1 af_civ=1;
  89. #define AF_CIV_0 af_civ=0;
  90. #define AF_1 AF_CIV_1 AF_LIV_1 AF_INV_1 AF_ENS_1 AF_REQ_1
  91. #define AF_0 AF_CIV_0 AF_LIV_0 AF_INV_0 AF_ENS_0 AF_REQ_0
  92. typedef struct sT35 T35;
  93. typedef void * T8;
  94. typedef struct sT26 T26;
  95. typedef struct sT38 T38;
  96. typedef struct sTstring T7;
  97. typedef struct sT36 T36;
  98. typedef int T6;
  99. typedef int T2;
  100. typedef struct sT31 T31;
  101. typedef struct sT32 T32;
  102. typedef struct sT37 T37;
  103. typedef char T3;
  104. struct sT35{int id;void * _item;};
  105. struct sT26{int id;};
  106. struct sT38{int id;T0* _path;void * _output_stream;};
  107. struct sT36{int id;int _item;};
  108. struct sT31{int id;int _item;};
  109. struct sT32{int id;T0* _path;void * _output_stream;};
  110. struct sT37{int id;char _item;};
  111. extern char trT35out_in_tagged_out_memory[];
  112. void rT35out_in_tagged_out_memory(T35 *C);
  113. extern char trT35object_id[];
  114. int rT35object_id(T35 *C);
  115. extern char trT35fill_tagged_out_memory[];
  116. void rT35fill_tagged_out_memory(/*C*/void);
  117. extern T0*oRBC1tagged_out_memory;
  118. extern char trT35print_on[];
  119. void rT35print_on(T35 *C,T0* a1);
  120. extern char trT35print[];
  121. void rT35print(/*C*/T0* a1);
  122. extern T0*oRBC1std_output;
  123. extern char trT26out_in_tagged_out_memory[];
  124. void rT26out_in_tagged_out_memory(T26 *C);
  125. extern char trT26object_id[];
  126. int rT26object_id(T26 *C);
  127. extern char trT26fill_tagged_out_memory[];
  128. void rT26fill_tagged_out_memory(/*C*/void);
  129. extern char trT26print_on[];
  130. void rT26print_on(T26 *C,T0* a1);
  131. extern char trT26print[];
  132. void rT26print(/*C*/T0* a1);
  133. extern char trT26make[];
  134. void rT26make(/*C*/void);
  135. extern char trT38out_in_tagged_out_memory[];
  136. void rT38out_in_tagged_out_memory(T38 *C);
  137. extern char trT38object_id[];
  138. int rT38object_id(T38 *C);
  139. extern char trT38fill_tagged_out_memory[];
  140. void rT38fill_tagged_out_memory(/*C*/void);
  141. extern char trT38die_with_code[];
  142. void rT38die_with_code(/*C*/int a1);
  143. extern char trT38put_string[];
  144. void rT38put_string(T38 *C,T0* a1);
  145. extern char trT38print_on[];
  146. void rT38print_on(T38 *C,T0* a1);
  147. extern char trT38print[];
  148. void rT38print(/*C*/T0* a1);
  149. extern char trT38is_connected[];
  150. int rT38is_connected(T38 *C);
  151. extern T0*oRBC1std_error;
  152. extern char trT38crash[];
  153. void rT38crash(/*C*/void);
  154. extern char trT38put_character[];
  155. void rT38put_character(T38 *C,char a1);
  156. extern char trT38make[];
  157. void rT38make(T38 *C);
  158. extern char trT7out_in_tagged_out_memory[];
  159. void rT7out_in_tagged_out_memory(T7 *C);
  160. extern char trT7object_id[];
  161. int rT7object_id(T7 *C);
  162. extern char trT7extend[];
  163. void rT7extend(T7 *C,char a1);
  164. extern char trT7fill_tagged_out_memory[];
  165. void rT7fill_tagged_out_memory(T7 *C);
  166. extern char trT7clear[];
  167. void rT7clear(T7 *C);
  168. extern char trT7print_on[];
  169. void rT7print_on(T7 *C,T0* a1);
  170. extern char trT7print[];
  171. void rT7print(/*C*/T0* a1);
  172. extern char trT7item[];
  173. char rT7item(T7 *C,int a1);
  174. extern char trT7realloc[];
  175. char * rT7realloc(/*C*/char * a1,int a2);
  176. extern char trT7valid_index[];
  177. int rT7valid_index(T7 *C,int a1);
  178. extern char trT7append[];
  179. void rT7append(T7 *C,T0* a1);
  180. extern char trT7malloc[];
  181. char * rT7malloc(/*C*/int a1);
  182. extern char trT7index_of[];
  183. int rT7index_of(T7 *C,char a1);
  184. extern char trT7put[];
  185. void rT7put(T7 *C,char a1,int a2);
  186. extern char trT7swap[];
  187. void rT7swap(T7 *C,int a1,int a2);
  188. extern char trT7has[];
  189. int rT7has(T7 *C,char a1);
  190. extern char trT7make[];
  191. void rT7make(T7 *C,int a1);
  192. T7 *ivT7(T7 *C);
  193. extern char trT36out_in_tagged_out_memory[];
  194. void rT36out_in_tagged_out_memory(T36 *C);
  195. extern char trT36object_id[];
  196. int rT36object_id(T36 *C);
  197. extern char trT36fill_tagged_out_memory[];
  198. void rT36fill_tagged_out_memory(T36 *C);
  199. extern char trT36print_on[];
  200. void rT36print_on(T36 *C,T0* a1);
  201. extern char trT36print[];
  202. void rT36print(/*C*/T0* a1);
  203. extern char trT6_ix111114[];
  204. int rT6_ix111114(T6 C,int a1);
  205. extern char trT6_px110111116[];
  206. int rT6_px110111116(T6 C);
  207. extern char trT6_ix97110100[];
  208. int rT6_ix97110100(T6 C,int a1);
  209. extern char trT2digit[];
  210. char rT2digit(T2 C);
  211. extern char trT2append_in[];
  212. void rT2append_in(T2 C,T0* a1);
  213. extern char trT31out_in_tagged_out_memory[];
  214. void rT31out_in_tagged_out_memory(T31 *C);
  215. extern char trT31object_id[];
  216. int rT31object_id(T31 *C);
  217. extern char trT31fill_tagged_out_memory[];
  218. void rT31fill_tagged_out_memory(/*C*/void);
  219. extern char trT31print_on[];
  220. void rT31print_on(T31 *C,T0* a1);
  221. extern char trT31print[];
  222. void rT31print(/*C*/T0* a1);
  223. extern char trT31make[];
  224. void rT31make(T31 *C,int a1);
  225. extern char trT32out_in_tagged_out_memory[];
  226. void rT32out_in_tagged_out_memory(T32 *C);
  227. extern char trT32object_id[];
  228. int rT32object_id(T32 *C);
  229. extern char trT32fill_tagged_out_memory[];
  230. void rT32fill_tagged_out_memory(/*C*/void);
  231. extern char trT32die_with_code[];
  232. void rT32die_with_code(/*C*/int a1);
  233. extern char trT32put_string[];
  234. void rT32put_string(T32 *C,T0* a1);
  235. extern char trT32print_on[];
  236. void rT32print_on(T32 *C,T0* a1);
  237. extern char trT32print[];
  238. void rT32print(/*C*/T0* a1);
  239. extern char trT32is_connected[];
  240. int rT32is_connected(T32 *C);
  241. extern char trT32crash[];
  242. void rT32crash(/*C*/void);
  243. extern char trT32put_character[];
  244. void rT32put_character(T32 *C,char a1);
  245. extern char trT32make[];
  246. void rT32make(T32 *C);
  247. extern char trT37out_in_tagged_out_memory[];
  248. void rT37out_in_tagged_out_memory(T37 *C);
  249. extern char trT37object_id[];
  250. int rT37object_id(T37 *C);
  251. extern char trT37fill_tagged_out_memory[];
  252. void rT37fill_tagged_out_memory(T37 *C);
  253. extern char trT37print_on[];
  254. void rT37print_on(T37 *C,T0* a1);
  255. extern char trT37print[];
  256. void rT37print(/*C*/T0* a1);
  257. extern char trT3fill_tagged_out_memory[];
  258. void rT3fill_tagged_out_memory(T3 C);
  259. extern char trT3is_digit[];
  260. int rT3is_digit(T3 C);
  261. extern char trT3is_equal[];
  262. int rT3is_equal(T3 C,char a1);
  263. extern char trT3_ix6061[];
  264. int rT3_ix6061(T3 C,char a1);
  265. extern char trT3standard_is_equal[];
  266. int rT3standard_is_equal(T3 C,char a1);
  267. extern char trT3_ix60[];
  268. int rT3_ix60(T3 C,char a1);
  269. extern char trT3value[];
  270. int rT3value(T3 C);
  271. /* Cecil prototypes : */
  272. void ANYprint(void *C,void *a1);
  273. /* Cecil End */
  274. extern int se_argc;
  275. extern char **se_argv;
  276. extern Tstring *ms19;
  277. extern Tstring *ms18;
  278. extern Tstring *ms17;
  279. extern Tstring *ms16;
  280. extern Tstring *ms15;
  281. extern Tstring *ms14;
  282. extern Tstring *ms13;
  283. extern Tstring *ms12;
  284. extern Tstring *ms11;
  285. extern Tstring *ms10;
  286. extern Tstring *ms5;
  287. extern Tstring *ms1;
  288. void se_manifest_strings(void);
  289. char *s2e(Tstring *s);
  290. Tstring *e2s(char *e);
  291. void rsp(void);
  292. void error0(char *m);
  293. void error1(char *m,int l,int c,int f);
  294. void error2(T0 *o,int l,int c,int f);
  295. T0 *vc(void *o,int l,int c,int f);
  296. T0 *ci(int id,void *o,int l,int c,int f);
  297. void evobt(void *o,int l,int c,int f);
  298. void sigrsp(int sig);
  299. void  XrT1print_on(int l,int c,int f, void *C,T0* a1);
  300. void  XrT27print(int l,int c,int f, void *C,T0* a1);
  301. void  XrT33put_string(int l,int c,int f, void *C,T0* a1);
  302. extern size_t s[];
  303. extern Tstring * gt[];
  304. extern Tstring * g[];
  305. extern char * p[];
  306. void se_sz_initialize(void);
  307.