home *** CD-ROM | disk | FTP | other *** search
/ Amiga ACS 1998 #4 / amigaacscoverdisc1998-041998.iso / utilities / shareware / dev / ppcsmalleiffel / source.lha / bin_c / pretty31.c < prev    next >
Encoding:
C/C++ Source or Header  |  1998-01-16  |  50.0 KB  |  2,150 lines
  1. /*
  2. -- ANSI C code generated by :
  3. -- SmallEiffel The GNU Eiffel Compiler -- Release (- 0.82)      --
  4. -- Copyright (C), 1994-98 - LORIA - UHP - CRIN - INRIA - FRANCE --
  5. -- Dominique COLNET and Suzanne COLLIN -    colnet@loria.fr     --
  6. --                 http://www.loria.fr/SmallEiffel              --
  7. */
  8. #include "pretty.h"
  9. int se_argc;
  10. char**se_argv;
  11. int main(int argc,char*argv[]){
  12. se_initialize();
  13. {
  14. T943*n=malloc(sizeof(*n));
  15. *n=M943;
  16. se_argc=argc; se_argv=argv;
  17. #ifdef SIGINT
  18. signal(SIGINT,sigrsp);
  19. #endif
  20. #ifdef SIGQUIT
  21. signal(SIGQUIT,sigrsp);
  22. #endif
  23. #ifdef SIGTERM
  24. signal(SIGTERM,sigrsp);
  25. #endif
  26. #ifdef SIGBREAK
  27. signal(SIGBREAK,sigrsp);
  28. #endif
  29. #ifdef SIGKILL
  30. signal(SIGKILL,sigrsp);
  31. #endif
  32. se_msi1();
  33. se_msi2();
  34. se_msi3();
  35. se_msi4();
  36. se_msi5();
  37. se_msi6();
  38. se_msi7();
  39. se_msi8();
  40. se_msi9();
  41. se_msi10();
  42. se_msi11();
  43. se_msi12();
  44. se_msi13();
  45. se_msi14();
  46. se_msi15();
  47. se_msi16();
  48. se_msi17();
  49. se_msi18();
  50. se_msi19();
  51. se_msi20();
  52. se_msi21();
  53. se_msi22();
  54. se_msi23();
  55. se_msi24();
  56. se_msi25();
  57. se_msi26();
  58. se_msi27();
  59. se_msi28();
  60. se_msi29();
  61. se_msi30();
  62. se_msi31();
  63. se_msi32();
  64. se_msi33();
  65. se_msi34();
  66. se_msi35();
  67. se_msi36();
  68. se_msi37();
  69. se_msi38();
  70. {T0* R=NULL;
  71. {T604*n=malloc(sizeof(*n));
  72. *n=M604;
  73. /*[IRF3.1make*//*]*/
  74. R=(T0*)n;
  75. }
  76. oBC364small_eiffel=R;}/*PCO*/
  77. {T0* R=NULL;
  78. {T818*n=malloc(sizeof(*n));
  79. *n=M818;
  80. /*[IRF3.1make*//*]*/
  81. R=(T0*)n;
  82. }
  83. oBC364eiffel_parser=R;}/*PCO*/
  84. {T0* R=NULL;
  85. {T441*n=malloc(1);
  86. /*[IRF3.1make*//*]*/
  87. R=(T0*)n;
  88. }
  89. oBC1std_error=R;}/*PCO*/
  90. {T0* R=NULL;
  91. {T675*n=malloc(sizeof(*n));
  92. *n=M675;
  93. /*[IRF3.1make*//*]*/
  94. R=(T0*)n;
  95. }
  96. oBC364tmp_file_read=R;}/*PCO*/
  97. {T0* R=NULL;
  98. {T683*n=malloc(sizeof(*n));
  99. *n=M683;
  100. /*[IRF3.1make*//*]*/
  101. R=(T0*)n;
  102. }
  103. oBC364eh=R;}/*PCO*/
  104. {T0* R=NULL;
  105. {T238*n=malloc(sizeof(*n));
  106. *n=M238;
  107. /*[IRF3.1make*//*]*/
  108. R=(T0*)n;
  109. }
  110. oBC364fmt=R;}/*PCO*/
  111. {T0* R=NULL;
  112. {T7*n=malloc(sizeof(*n));
  113. *n=M7;
  114. r7make(n,512);
  115. R=(T0*)n;
  116. }
  117. oBC817tmp_string=R;}/*PCO*/
  118. {T0* R=NULL;
  119. {T675*n=malloc(sizeof(*n));
  120. *n=M675;
  121. /*[IRF3.1make*//*]*/
  122. R=(T0*)n;
  123. }
  124. oBC817tmp_file_read=R;}/*PCO*/
  125. {int R=0;
  126. oBC364switch_collection=R;}/*PCO*/
  127. {T0* R=NULL;
  128. {T226*n=malloc(sizeof(*n));
  129. *n=M226;
  130. r226with_capacity(n,4);
  131. R=(T0*)n;
  132. }
  133. oBC609mem_ref_nb=R;}/*PCO*/
  134. {T0* R=NULL;
  135. {T41*n=malloc(sizeof(*n));
  136. *n=M41;
  137. r41with_capacity(n,4);
  138. R=(T0*)n;
  139. }
  140. oBC609mem_type_bit_ref=R;}/*PCO*/
  141. {T0* R=NULL;
  142. {T7*n=malloc(sizeof(*n));
  143. *n=M7;
  144. r7make(n,256);
  145. R=(T0*)n;
  146. }
  147. oBC291tmp_string=R;}/*PCO*/
  148. {T0* R=NULL;
  149. {T902*n=malloc(1);
  150. /*[IRF3.1make*//*]*/
  151. R=(T0*)n;
  152. }
  153. oBC364unique_string=R;}/*PCO*/
  154. {T0* R=NULL;
  155. {T522*n=malloc(sizeof(*n));
  156. *n=M522;
  157. r522make(n,1,10);
  158. R=(T0*)n;
  159. }
  160. oBC359require_collector=R;}/*PCO*/
  161. {T0* R=NULL;
  162. {T56*n=malloc(sizeof(*n));
  163. *n=M56;
  164. R=(T0*)n;
  165. }
  166. oBC359header_comment_memory=R;}/*PCO*/
  167. {T0* R=NULL;
  168. {T608*n=malloc(sizeof(*n));
  169. *n=M608;
  170. r608make(n,1,10);
  171. R=(T0*)n;
  172. }
  173. oBC359assertion_collector=R;}/*PCO*/
  174. {T0* R=NULL;
  175. {T907*n=malloc(sizeof(*n));
  176. *n=M907;
  177. r907with_capacity(n,4);
  178. R=(T0*)n;
  179. }
  180. oBC646visited=R;}/*PCO*/
  181. {T0* R=NULL;
  182. {T7*n=malloc(sizeof(*n));
  183. *n=M7;
  184. r7make(n,64);
  185. R=(T0*)n;
  186. }
  187. oBC646tmp_written_mark=R;}/*PCO*/
  188. {T0* R=NULL;
  189. {T916*n=malloc(1);
  190. R=(T0*)n;
  191. }
  192. oBC364once_routine_pool=R;}/*PCO*/
  193. {T0* R=NULL;
  194. {T590*n=malloc(sizeof(*n));
  195. *n=M590;
  196. /*[IRF3.1make*//*]*/
  197. R=(T0*)n;
  198. }
  199. oBC364run_control=R;}/*PCO*/
  200. {T0* R=NULL;
  201. {T7*n=malloc(sizeof(*n));
  202. *n=M7;
  203. r7blank(n,256);
  204. R=(T0*)n;
  205. }
  206. oBC238tmp_string=R;}/*PCO*/
  207. {T0* R=NULL;
  208. R=se_ma52(5,((T0*)ms38_470),((T0*)ms39_470),((T0*)ms40_470),((T0*)ms41_470),((T0*)ms42_470));
  209. oBC511keyword_r=R;}/*PCO*/
  210. {T0* R=NULL;
  211. R=se_ma52(4,((T0*)ms1_470),((T0*)ms2_470),((T0*)ms27_473),((T0*)ms3_470));
  212. oBC511keyword_a=R;}/*PCO*/
  213. {T0* R=NULL;
  214. R=se_ma52(4,((T0*)ms33_470),((T0*)ms34_470),((T0*)ms35_470),((T0*)ms41_473));
  215. oBC511keyword_o=R;}/*PCO*/
  216. {T0* R=NULL;
  217. R=se_ma52(3,((T0*)ms30_470),((T0*)ms31_470),((T0*)ms32_470));
  218. oBC511keyword_l=R;}/*PCO*/
  219. {T0* R=NULL;
  220. {T7*n=malloc(sizeof(*n));
  221. *n=M7;
  222. r7make(n,256);
  223. R=(T0*)n;
  224. }
  225. oBC511tmp_string=R;}/*PCO*/
  226. {T0* R=NULL;
  227. R=se_ma52(8,((T0*)ms21_470),((T0*)ms34_473),((T0*)ms22_470),((T0*)ms23_470),((T0*)ms24_470),((T0*)ms25_470),((T0*)ms26_470),((T0*)ms27_470));
  228. oBC511keyword_i=R;}/*PCO*/
  229. {T0* R=NULL;
  230. R=se_ma52(4,((T0*)ms17_470),((T0*)ms18_470),((T0*)ms19_470),((T0*)ms20_470));
  231. oBC511keyword_f=R;}/*PCO*/
  232. {T0* R=NULL;
  233. R=se_ma52(7,((T0*)ms10_470),((T0*)ms11_470),((T0*)ms12_470),((T0*)ms13_470),((T0*)ms14_470),((T0*)ms15_470),((T0*)ms16_470));
  234. oBC511keyword_e=R;}/*PCO*/
  235. {T0* R=NULL;
  236. R=se_ma52(3,((T0*)ms48_470),((T0*)ms49_470),((T0*)ms50_470));
  237. oBC511keyword_u=R;}/*PCO*/
  238. {T0* R=NULL;
  239. R=se_ma52(3,((T0*)ms7_470),((T0*)ms8_470),((T0*)ms9_470));
  240. oBC511keyword_d=R;}/*PCO*/
  241. {T0* R=NULL;
  242. R=se_ma52(2,((T0*)ms46_470),((T0*)ms47_470));
  243. oBC511keyword_t=R;}/*PCO*/
  244. {T0* R=NULL;
  245. R=se_ma52(3,((T0*)ms4_470),((T0*)ms5_470),((T0*)ms6_470));
  246. oBC511keyword_c=R;}/*PCO*/
  247. {T0* R=NULL;
  248. R=se_ma52(3,((T0*)ms43_470),((T0*)ms44_470),((T0*)ms45_470));
  249. oBC511keyword_s=R;}/*PCO*/
  250. {T0* R=NULL;
  251. {T338*n=malloc(sizeof(*n));
  252. *n=M338;
  253. r338make(n);
  254. R=(T0*)n;
  255. }
  256. oBC576dictionary=R;}/*PCO*/
  257. {T0* R=NULL;
  258. {T7*n=malloc(sizeof(*n));
  259. *n=M7;
  260. r7make(n,256);
  261. R=(T0*)n;
  262. }
  263. oBC943backup=R;}/*PCO*/
  264. {T0* R=NULL;
  265. {T7*n=malloc(sizeof(*n));
  266. *n=M7;
  267. r7make(n,256);
  268. R=(T0*)n;
  269. }
  270. oBC364tmp_path=R;}/*PCO*/
  271. {T0* R=NULL;
  272. R=se_ma52(7,((T0*)ms13_364),((T0*)ms14_364),((T0*)ms15_364),((T0*)ms16_364),((T0*)ms17_364),((T0*)ms18_364),((T0*)ms19_364));
  273. oBC364system_list=R;}/*PCO*/
  274. {T0* R=NULL;
  275. {T306*n=malloc(sizeof(*n));
  276. *n=M306;
  277. /*[IRF3.1make*//*]*/
  278. R=(T0*)n;
  279. }
  280. oBC364echo=R;}/*PCO*/
  281. {T0* R=NULL;
  282. {T830*n=malloc(1);
  283. /*[IRF3.1make*//*]*/
  284. R=(T0*)n;
  285. }
  286. oBC1std_output=R;}/*PCO*/
  287. {int R=0;
  288. oBC1file_tools=R;}/*PCO*/
  289. {T0* R=NULL;
  290. {T7*n=malloc(sizeof(*n));
  291. *n=M7;
  292. r7make(n,256);
  293. R=(T0*)n;
  294. }
  295. oBC943path=R;}/*PCO*/
  296. {T0* R=NULL;
  297. {T544*n=malloc(sizeof(*n));
  298. *n=M544;
  299. /*[IRF3.1make*//*]*/
  300. R=(T0*)n;
  301. }
  302. oBC943new_file=R;}/*PCO*/
  303. {T0* R=NULL;
  304. {T7*n=malloc(sizeof(*n));
  305. *n=M7;
  306. r7make(n,256);
  307. R=(T0*)n;
  308. }
  309. oBC364help_file_name=R;}/*PCO*/
  310. {T0* R=NULL;
  311. {T340*n=malloc(1);
  312. R=(T0*)n;
  313. }
  314. oBC364manifest_string_pool=R;}/*PCO*/
  315. {T0* R=NULL;
  316. {T7*n=malloc(sizeof(*n));
  317. *n=M7;
  318. r7make(n,8);
  319. R=(T0*)n;
  320. }
  321. oBC805tmp_string=R;}/*PCO*/
  322. {T0* R=NULL;
  323. {T7*n=malloc(sizeof(*n));
  324. *n=M7;
  325. r7make(n,64);
  326. R=(T0*)n;
  327. }
  328. oBC523tmp_written_mark=R;}/*PCO*/
  329. {T0* R=NULL;
  330. {T855*n=malloc(sizeof(*n));
  331. *n=M855;
  332. r855make(n,1,5);
  333. R=(T0*)n;
  334. }
  335. oBC505names=R;}/*PCO*/
  336. {T0* R=NULL;
  337. {T417*n=malloc(sizeof(*n));
  338. *n=M417;
  339. R=(T0*)n;
  340. }
  341. oBC664id_counter=R;}/*PCO*/
  342. {T0* R=NULL;
  343. {T7*n=malloc(sizeof(*n));
  344. *n=M7;
  345. r7make(n,128);
  346. R=(T0*)n;
  347. }
  348. oBC709tmp_written_mark=R;}/*PCO*/
  349. {T0* R=NULL;
  350. {T256*n=malloc(sizeof(*n));
  351. *n=M256;
  352. r256with_capacity(n,2048);
  353. R=(T0*)n;
  354. }
  355. oBC340ms_list=R;}/*PCO*/
  356. {T0* R=NULL;
  357. {T7*n=malloc(sizeof(*n));
  358. *n=M7;
  359. r7make(n,16);
  360. R=(T0*)n;
  361. }
  362. oBC720tmp_mark=R;}/*PCO*/
  363. {T0* R=NULL;
  364. {T675*n=malloc(sizeof(*n));
  365. *n=M675;
  366. /*[IRF3.1make*//*]*/
  367. R=(T0*)n;
  368. }
  369. oBC670std_fr1=R;}/*PCO*/
  370. {T0* R=NULL;
  371. R=se_ma52(9,((T0*)ms19_473),((T0*)ms6_473),((T0*)ms15_473),((T0*)ms8_473),((T0*)ms23_473),((T0*)ms11_473),((T0*)ms3_473),((T0*)ms21_473),((T0*)ms18_473));
  372. oBC877forbidden_parent_list=R;}/*PCO*/
  373. {T0* R=NULL;
  374. {T863*n=malloc(sizeof(*n));
  375. *n=M863;
  376. r863make(n,1,0);
  377. R=(T0*)n;
  378. }
  379. oBC657check_memory=R;}/*PCO*/
  380. {T0* R=NULL;
  381. {T38*n=malloc(sizeof(*n));
  382. *n=M38;
  383. r38with_capacity(n,5,1);
  384. R=(T0*)n;
  385. }
  386. oBC683positions=R;}/*PCO*/
  387. {T0* R=NULL;
  388. {T7*n=malloc(sizeof(*n));
  389. *n=M7;
  390. r7make(n,1024);
  391. R=(T0*)n;
  392. }
  393. oBC683explanation=R;}/*PCO*/
  394. {T0* R=NULL;
  395. {T927*n=malloc(sizeof(*n));
  396. *n=M927;
  397. r927with_capacity(n,2048);
  398. R=(T0*)n;
  399. }
  400. oBC676text=R;}/*PCO*/
  401. {T0* R=NULL;
  402. {T7*n=malloc(sizeof(*n));
  403. *n=M7;
  404. r7make(n,256);
  405. R=(T0*)n;
  406. }
  407. oBC762last_string=R;}/*PCO*/
  408. {T0* R=NULL;
  409. {T608*n=malloc(sizeof(*n));
  410. *n=M608;
  411. r608make(n,1,10);
  412. R=(T0*)n;
  413. }
  414. oBC368ci_collector=R;}/*PCO*/
  415. {T0* R=NULL;
  416. {T863*n=malloc(sizeof(*n));
  417. *n=M863;
  418. r863make(n,1,20);
  419. R=(T0*)n;
  420. }
  421. oBC605visited=R;}/*PCO*/
  422. {T0* R=NULL;
  423. {T854*n=malloc(sizeof(*n));
  424. *n=M854;
  425. r854with_capacity(n,8);
  426. R=(T0*)n;
  427. }
  428. oBC605going_up_trace=R;}/*PCO*/
  429. {T0* R=NULL;
  430. {T676*n=malloc(sizeof(*n));
  431. *n=M676;
  432. /*[IRF3.1make*//*]*/
  433. R=(T0*)n;
  434. }
  435. oBC364parser_buffer=R;}/*PCO*/
  436. {T0* R=NULL;
  437. {T7*n=malloc(sizeof(*n));
  438. *n=M7;
  439. r7make(n,32);
  440. R=(T0*)n;
  441. }
  442. oBC933tmp_str=R;}/*PCO*/
  443. {T0* R=NULL;
  444. {T718*n=malloc(sizeof(*n));
  445. *n=M718;
  446. r718make(n);
  447. R=(T0*)n;
  448. }
  449. oBC604base_class_dictionary=R;}/*PCO*/
  450. {T0* R=NULL;
  451. {T7*n=malloc(sizeof(*n));
  452. *n=M7;
  453. r7make(n,256);
  454. R=(T0*)n;
  455. }
  456. oBC604parser_buffer_path=R;}/*PCO*/
  457. {T0* R=NULL;
  458. {T7*n=malloc(sizeof(*n));
  459. *n=M7;
  460. r7make(n,64);
  461. R=(T0*)n;
  462. }
  463. oBC604tmp_tail=R;}/*PCO*/
  464. {T0* R=NULL;
  465. {T477*n=malloc(sizeof(*n));
  466. *n=M477;
  467. r477make(n,1,50);
  468. R=(T0*)n;
  469. }
  470. oBC604stack_rf=R;}/*PCO*/
  471. {T0* R=NULL;
  472. {T250*n=malloc(sizeof(*n));
  473. *n=M250;
  474. r250make(n);
  475. R=(T0*)n;
  476. }
  477. oBC604run_class_dictionary=R;}/*PCO*/
  478. {T0* R=NULL;
  479. R=se_ma52(1,((T0*)ms19_473));
  480. oBC818forbidden_class=R;}/*PCO*/
  481. {T0* R=NULL;
  482. {T352*n=malloc(sizeof(*n));
  483. *n=M352;
  484. r352with_capacity(n,256);
  485. R=(T0*)n;
  486. }
  487. oBC818faof=R;}/*PCO*/
  488. {T0* R=NULL;
  489. {T511*n=malloc(sizeof(*n));
  490. *n=M511;
  491. /*[IRF3.1make*//*]*/
  492. R=(T0*)n;
  493. }
  494. oBC818tmp_name=R;}/*PCO*/
  495. {T0* R=NULL;
  496. {T7*n=malloc(sizeof(*n));
  497. *n=M7;
  498. r7make(n,80);
  499. R=(T0*)n;
  500. }
  501. oBC818lcs=R;}/*PCO*/
  502. {T0* R=NULL;
  503. {T7*n=malloc(sizeof(*n));
  504. *n=M7;
  505. r7make(n,80);
  506. R=(T0*)n;
  507. }
  508. oBC818tmp_string=R;}/*PCO*/
  509. {T0* R=NULL;
  510. {T505*n=malloc(sizeof(*n));
  511. *n=M505;
  512. R=(T0*)n;
  513. }
  514. oBC818tmp_feature=R;}/*PCO*/
  515. {T0* R=NULL;
  516. {T794*n=malloc(sizeof(*n));
  517. *n=M794;
  518. r794with_capacity(n,4096);
  519. R=(T0*)n;
  520. }
  521. oBC902memory=R;}/*PCO*/
  522. {T0* R=NULL;
  523. {T7*n=malloc(sizeof(*n));
  524. *n=M7;
  525. r7make(n,16);
  526. R=(T0*)n;
  527. }
  528. oBC902pfx_ifx=R;}/*PCO*/
  529. {T0* R=NULL;
  530. {T185*n=malloc(sizeof(*n));
  531. *n=M185;
  532. r185with_capacity(n,32);
  533. R=(T0*)n;
  534. }
  535. oBC916procedure_list=R;}/*PCO*/
  536. {T0* R=NULL;
  537. {T222*n=malloc(sizeof(*n));
  538. *n=M222;
  539. r222with_capacity(n,32);
  540. R=(T0*)n;
  541. }
  542. oBC916function_list=R;}/*PCO*/
  543. {T0* R=NULL;
  544. {T226*n=malloc(sizeof(*n));
  545. *n=M226;
  546. r226with_capacity(n,512);
  547. R=(T0*)n;
  548. }
  549. oBC672tmp_buckets=R;}/*PCO*/
  550. r943make(n);
  551. exit(0);}}
  552. T7*ms1_284;
  553. T7*ms1_84;
  554. T7*ms8_605;
  555. T7*ms7_605;
  556. T7*ms9_605;
  557. T7*ms1_669;
  558. T7*ms58_470;
  559. T7*ms8_843;
  560. T7*ms60_470;
  561. T7*ms9_843;
  562. T7*ms10_843;
  563. T7*ms12_126;
  564. T7*ms13_126;
  565. T7*ms14_126;
  566. T7*ms15_126;
  567. T7*ms16_126;
  568. T7*ms62_470;
  569. T7*ms63_470;
  570. T7*ms2_629;
  571. T7*ms4_662;
  572. T7*ms5_629;
  573. T7*ms3_629;
  574. T7*ms4_629;
  575. T7*ms1_394;
  576. T7*ms5_394;
  577. T7*ms2_394;
  578. T7*ms3_394;
  579. T7*ms4_394;
  580. T7*ms1_432;
  581. T7*ms2_432;
  582. T7*ms1_747;
  583. T7*ms2_747;
  584. T7*ms3_747;
  585. T7*ms4_747;
  586. T7*ms5_747;
  587. T7*ms1_334;
  588. T7*ms2_334;
  589. T7*ms3_334;
  590. T7*ms4_880;
  591. T7*ms5_880;
  592. T7*ms2_856;
  593. T7*ms1_856;
  594. T7*ms6_880;
  595. T7*ms8_880;
  596. T7*ms7_880;
  597. T7*ms9_880;
  598. T7*ms2_270;
  599. T7*ms3_270;
  600. T7*ms12_843;
  601. T7*ms11_843;
  602. T7*ms1_377;
  603. T7*ms5_270;
  604. T7*ms9_809;
  605. T7*ms8_809;
  606. T7*ms1_46;
  607. T7*ms1_292;
  608. T7*ms1_173;
  609. T7*ms1_268;
  610. T7*ms8_868;
  611. T7*ms7_868;
  612. T7*ms1_447;
  613. T7*ms1_592;
  614. T7*ms2_592;
  615. T7*ms7_355;
  616. T7*ms3_535;
  617. T7*ms1_873;
  618. T7*ms27_605;
  619. T7*ms1_308;
  620. T7*ms1_963;
  621. T7*ms2_963;
  622. T7*ms1_609;
  623. T7*ms1_900;
  624. T7*ms18_605;
  625. T7*ms4_877;
  626. T7*ms1_720;
  627. T7*ms71_470;
  628. T7*ms1_372;
  629. T7*ms5_361;
  630. T7*ms6_361;
  631. T7*ms1_841;
  632. T7*ms6_841;
  633. T7*ms5_841;
  634. T7*ms9_841;
  635. T7*ms10_841;
  636. T7*ms11_841;
  637. T7*ms4_841;
  638. T7*ms3_841;
  639. T7*ms2_841;
  640. T7*ms7_841;
  641. T7*ms8_841;
  642. T7*ms1_664;
  643. T7*ms56_470;
  644. T7*ms5_431;
  645. T7*ms55_470;
  646. T7*ms14_431;
  647. T7*ms4_431;
  648. T7*ms12_431;
  649. T7*ms3_431;
  650. T7*ms13_431;
  651. T7*ms2_431;
  652. T7*ms2_708;
  653. T7*ms3_446;
  654. T7*ms2_446;
  655. T7*ms4_446;
  656. T7*ms2_420;
  657. T7*ms2_135;
  658. T7*ms3_368;
  659. T7*ms2_605;
  660. T7*ms3_605;
  661. T7*ms4_605;
  662. T7*ms6_368;
  663. T7*ms7_368;
  664. T7*ms4_368;
  665. T7*ms5_368;
  666. T7*ms4_636;
  667. T7*ms1_295;
  668. T7*ms1_752;
  669. T7*ms1_436;
  670. T7*ms1_723;
  671. T7*ms1_64;
  672. T7*ms2_64;
  673. T7*ms12_291;
  674. T7*ms1_283;
  675. T7*ms2_283;
  676. T7*ms1_558;
  677. T7*ms74_470;
  678. T7*ms1_523;
  679. T7*ms2_491;
  680. T7*ms1_209;
  681. T7*ms3_900;
  682. T7*ms1_788;
  683. T7*ms1_388;
  684. T7*ms1_252;
  685. T7*ms1_707;
  686. T7*ms59_470;
  687. T7*ms2_669;
  688. T7*ms2_648;
  689. T7*ms1_648;
  690. T7*ms54_470;
  691. T7*ms61_470;
  692. T7*ms2_720;
  693. T7*ms1_368;
  694. T7*ms2_368;
  695. T7*ms72_470;
  696. T7*ms1_605;
  697. T7*ms6_583;
  698. T7*ms7_583;
  699. T7*ms8_583;
  700. T7*ms9_583;
  701. T7*ms65_470;
  702. T7*ms10_583;
  703. T7*ms12_364;
  704. T7*ms73_470;
  705. T7*ms57_470;
  706. T7*ms143_470;
  707. T7*ms3_877;
  708. T7*ms1_776;
  709. T7*ms34_605;
  710. T7*ms35_605;
  711. T7*ms36_605;
  712. T7*ms2_673;
  713. T7*ms70_470;
  714. T7*ms2_359;
  715. T7*ms4_359;
  716. T7*ms3_359;
  717. T7*ms12_359;
  718. T7*ms22_605;
  719. T7*ms23_605;
  720. T7*ms24_605;
  721. T7*ms5_359;
  722. T7*ms7_359;
  723. T7*ms6_359;
  724. T7*ms13_359;
  725. T7*ms8_31;
  726. T7*ms9_31;
  727. T7*ms25_605;
  728. T7*ms26_605;
  729. T7*ms9_368;
  730. T7*ms10_368;
  731. T7*ms11_368;
  732. T7*ms1_158;
  733. T7*ms17_126;
  734. T7*ms6_629;
  735. T7*ms1_390;
  736. T7*ms1_362;
  737. T7*ms1_213;
  738. T7*ms10_880;
  739. T7*ms4_270;
  740. T7*ms2_526;
  741. T7*ms6_530;
  742. T7*ms7_809;
  743. T7*ms1_712;
  744. T7*ms7_530;
  745. T7*ms8_530;
  746. T7*ms9_530;
  747. T7*ms1_347;
  748. T7*ms2_347;
  749. T7*ms3_347;
  750. T7*ms2_292;
  751. T7*ms3_292;
  752. T7*ms1_238;
  753. T7*ms1_620;
  754. T7*ms1_706;
  755. T7*ms1_279;
  756. T7*ms2_279;
  757. T7*ms1_31;
  758. T7*ms1_355;
  759. T7*ms2_355;
  760. T7*ms2_343;
  761. T7*ms1_343;
  762. T7*ms1_249;
  763. T7*ms2_633;
  764. T7*ms1_633;
  765. T7*ms3_355;
  766. T7*ms4_355;
  767. T7*ms5_355;
  768. T7*ms1_418;
  769. T7*ms9_359;
  770. T7*ms10_359;
  771. T7*ms8_359;
  772. T7*ms1_398;
  773. T7*ms3_708;
  774. T7*ms2_796;
  775. T7*ms2_664;
  776. T7*ms3_420;
  777. T7*ms4_420;
  778. T7*ms95_470;
  779. T7*ms96_470;
  780. T7*ms2_535;
  781. T7*ms142_470;
  782. T7*ms7_943;
  783. T7*ms6_943;
  784. T7*ms5_943;
  785. T7*ms10_943;
  786. T7*ms11_943;
  787. T7*ms4_943;
  788. T7*ms3_943;
  789. T7*ms38_364;
  790. T7*ms14_943;
  791. T7*ms15_943;
  792. T7*ms16_943;
  793. T7*ms17_943;
  794. T7*ms8_364;
  795. T7*ms6_364;
  796. T7*ms7_364;
  797. T7*ms1_688;
  798. T7*ms1_782;
  799. T7*ms2_782;
  800. T7*ms134_470;
  801. T7*ms29_605;
  802. T7*ms30_605;
  803. T7*ms1_59;
  804. T7*ms2_881;
  805. T7*ms31_605;
  806. T7*ms2_805;
  807. T7*ms7_805;
  808. T7*ms1_673;
  809. T7*ms1_644;
  810. T7*ms2_498;
  811. T7*ms2_644;
  812. T7*ms1_671;
  813. T7*ms1_542;
  814. T7*ms5_877;
  815. T7*ms6_877;
  816. T7*ms7_877;
  817. T7*ms8_877;
  818. T7*ms1_583;
  819. T7*ms2_953;
  820. T7*ms2_33;
  821. T7*ms3_636;
  822. T7*ms2_636;
  823. T7*ms1_636;
  824. T7*ms1_348;
  825. T7*ms2_348;
  826. T7*ms32_605;
  827. T7*ms9_393;
  828. T7*ms18_943;
  829. T7*ms19_943;
  830. T7*ms9_604;
  831. T7*ms8_604;
  832. T7*ms12_943;
  833. T7*ms13_943;
  834. T7*ms9_943;
  835. T7*ms8_943;
  836. T7*ms3_683;
  837. T7*ms6_683;
  838. T7*ms3_627;
  839. T7*ms4_627;
  840. T7*ms5_627;
  841. T7*ms6_627;
  842. T7*ms7_627;
  843. T7*ms1_818;
  844. T7*ms3_451;
  845. T7*ms141_818;
  846. T7*ms50_818;
  847. T7*ms154_818;
  848. T7*ms25_818;
  849. T7*ms94_818;
  850. T7*ms1_881;
  851. T7*ms95_818;
  852. T7*ms51_818;
  853. T7*ms1_877;
  854. T7*ms2_877;
  855. T7*ms113_818;
  856. T7*ms1_498;
  857. T7*ms108_818;
  858. T7*ms109_818;
  859. T7*ms93_818;
  860. T7*ms92_818;
  861. T7*ms13_818;
  862. T7*ms64_470;
  863. T7*ms15_818;
  864. T7*ms14_818;
  865. T7*ms2_505;
  866. T7*ms1_505;
  867. T7*ms114_818;
  868. T7*ms19_818;
  869. T7*ms18_818;
  870. T7*ms17_818;
  871. T7*ms151_818;
  872. T7*ms16_818;
  873. T7*ms20_818;
  874. T7*ms118_818;
  875. T7*ms117_818;
  876. T7*ms116_818;
  877. T7*ms90_818;
  878. T7*ms29_470;
  879. T7*ms28_470;
  880. T7*ms89_818;
  881. T7*ms88_818;
  882. T7*ms87_818;
  883. T7*ms86_818;
  884. T7*ms85_818;
  885. T7*ms84_818;
  886. T7*ms83_818;
  887. T7*ms82_818;
  888. T7*ms136_818;
  889. T7*ms137_818;
  890. T7*ms138_818;
  891. T7*ms81_818;
  892. T7*ms91_470;
  893. T7*ms99_470;
  894. T7*ms90_470;
  895. T7*ms98_470;
  896. T7*ms157_818;
  897. T7*ms91_818;
  898. T7*ms33_605;
  899. T7*ms115_818;
  900. T7*ms39_818;
  901. T7*ms38_818;
  902. T7*ms37_818;
  903. T7*ms36_818;
  904. T7*ms35_818;
  905. T7*ms68_818;
  906. T7*ms67_818;
  907. T7*ms66_818;
  908. T7*ms65_818;
  909. T7*ms64_818;
  910. T7*ms63_818;
  911. T7*ms62_818;
  912. T7*ms131_818;
  913. T7*ms78_470;
  914. T7*ms130_818;
  915. T7*ms55_818;
  916. T7*ms54_818;
  917. T7*ms156_818;
  918. T7*ms43_818;
  919. T7*ms44_818;
  920. T7*ms42_818;
  921. T7*ms41_818;
  922. T7*ms40_818;
  923. T7*ms129_818;
  924. T7*ms113_470;
  925. T7*ms102_818;
  926. T7*ms103_818;
  927. T7*ms105_818;
  928. T7*ms104_818;
  929. T7*ms106_818;
  930. T7*ms107_818;
  931. T7*ms99_818;
  932. T7*ms134_818;
  933. T7*ms133_818;
  934. T7*ms142_818;
  935. T7*ms132_818;
  936. T7*ms101_818;
  937. T7*ms100_818;
  938. T7*ms30_818;
  939. T7*ms126_818;
  940. T7*ms125_818;
  941. T7*ms127_818;
  942. T7*ms128_818;
  943. T7*ms144_818;
  944. T7*ms61_818;
  945. T7*ms60_818;
  946. T7*ms69_818;
  947. T7*ms70_818;
  948. T7*ms71_818;
  949. T7*ms48_818;
  950. T7*ms49_818;
  951. T7*ms57_818;
  952. T7*ms58_818;
  953. T7*ms59_818;
  954. T7*ms6_355;
  955. T7*ms7_505;
  956. T7*ms6_505;
  957. T7*ms9_505;
  958. T7*ms8_505;
  959. T7*ms4_505;
  960. T7*ms10_505;
  961. T7*ms5_505;
  962. T7*ms3_505;
  963. T7*ms11_505;
  964. T7*ms12_505;
  965. T7*ms149_818;
  966. T7*ms56_818;
  967. T7*ms153_818;
  968. T7*ms1_33;
  969. T7*ms119_818;
  970. T7*ms1_517;
  971. T7*ms121_818;
  972. T7*ms1_453;
  973. T7*ms120_818;
  974. T7*ms1_460;
  975. T7*ms122_818;
  976. T7*ms1_618;
  977. T7*ms76_818;
  978. T7*ms77_818;
  979. T7*ms80_818;
  980. T7*ms69_470;
  981. T7*ms158_818;
  982. T7*ms29_818;
  983. T7*ms139_818;
  984. T7*ms147_818;
  985. T7*ms185_470;
  986. T7*ms28_818;
  987. T7*ms27_818;
  988. T7*ms26_818;
  989. T7*ms146_818;
  990. T7*ms1_805;
  991. T7*ms24_818;
  992. T7*ms21_818;
  993. T7*ms23_818;
  994. T7*ms22_818;
  995. T7*ms148_818;
  996. T7*ms79_818;
  997. T7*ms78_818;
  998. T7*ms135_818;
  999. T7*ms34_818;
  1000. T7*ms33_818;
  1001. T7*ms155_818;
  1002. T7*ms152_818;
  1003. T7*ms31_818;
  1004. T7*ms32_818;
  1005. T7*ms124_818;
  1006. T7*ms140_818;
  1007. T7*ms150_818;
  1008. T7*ms143_818;
  1009. T7*ms145_818;
  1010. T7*ms96_818;
  1011. T7*ms97_818;
  1012. T7*ms47_818;
  1013. T7*ms46_818;
  1014. T7*ms45_818;
  1015. T7*ms2_902;
  1016. T7*ms98_818;
  1017. T7*ms110_818;
  1018. T7*ms111_818;
  1019. T7*ms112_818;
  1020. T7*ms1_953;
  1021. T7*ms123_818;
  1022. T7*ms75_818;
  1023. T7*ms74_818;
  1024. T7*ms73_818;
  1025. T7*ms11_818;
  1026. T7*ms12_818;
  1027. T7*ms1_902;
  1028. T7*ms72_818;
  1029. T7*ms159_818;
  1030. T7*ms52_470;
  1031. T7*ms51_470;
  1032. T7*ms48_470;
  1033. T7*ms49_470;
  1034. T7*ms50_470;
  1035. T7*ms46_470;
  1036. T7*ms47_470;
  1037. T7*ms43_470;
  1038. T7*ms44_470;
  1039. T7*ms45_470;
  1040. T7*ms38_470;
  1041. T7*ms39_470;
  1042. T7*ms40_470;
  1043. T7*ms41_470;
  1044. T7*ms42_470;
  1045. T7*ms37_470;
  1046. T7*ms33_470;
  1047. T7*ms34_470;
  1048. T7*ms35_470;
  1049. T7*ms30_470;
  1050. T7*ms31_470;
  1051. T7*ms32_470;
  1052. T7*ms21_470;
  1053. T7*ms22_470;
  1054. T7*ms23_470;
  1055. T7*ms24_470;
  1056. T7*ms25_470;
  1057. T7*ms27_470;
  1058. T7*ms17_470;
  1059. T7*ms18_470;
  1060. T7*ms19_470;
  1061. T7*ms20_470;
  1062. T7*ms10_470;
  1063. T7*ms11_470;
  1064. T7*ms13_470;
  1065. T7*ms14_470;
  1066. T7*ms15_470;
  1067. T7*ms16_470;
  1068. T7*ms7_470;
  1069. T7*ms8_470;
  1070. T7*ms9_470;
  1071. T7*ms4_470;
  1072. T7*ms5_470;
  1073. T7*ms6_470;
  1074. T7*ms1_470;
  1075. T7*ms2_470;
  1076. T7*ms3_470;
  1077. T7*ms26_470;
  1078. T7*ms53_818;
  1079. T7*ms68_470;
  1080. T7*ms52_818;
  1081. T7*ms12_470;
  1082. T7*ms9_818;
  1083. T7*ms10_818;
  1084. T7*ms4_818;
  1085. T7*ms5_818;
  1086. T7*ms135_470;
  1087. T7*ms6_818;
  1088. T7*ms2_627;
  1089. T7*ms1_627;
  1090. T7*ms11_359;
  1091. T7*ms3_644;
  1092. T7*ms4_644;
  1093. T7*ms9_877;
  1094. T7*ms10_877;
  1095. T7*ms11_877;
  1096. T7*ms16_877;
  1097. T7*ms15_877;
  1098. T7*ms14_877;
  1099. T7*ms2_473;
  1100. T7*ms3_473;
  1101. T7*ms4_473;
  1102. T7*ms5_473;
  1103. T7*ms6_473;
  1104. T7*ms7_473;
  1105. T7*ms8_473;
  1106. T7*ms9_473;
  1107. T7*ms10_473;
  1108. T7*ms11_473;
  1109. T7*ms12_473;
  1110. T7*ms13_473;
  1111. T7*ms14_473;
  1112. T7*ms15_473;
  1113. T7*ms16_473;
  1114. T7*ms17_473;
  1115. T7*ms18_473;
  1116. T7*ms19_473;
  1117. T7*ms20_473;
  1118. T7*ms21_473;
  1119. T7*ms22_473;
  1120. T7*ms23_473;
  1121. T7*ms24_473;
  1122. T7*ms25_473;
  1123. T7*ms26_473;
  1124. T7*ms27_473;
  1125. T7*ms28_473;
  1126. T7*ms29_473;
  1127. T7*ms30_473;
  1128. T7*ms31_473;
  1129. T7*ms32_473;
  1130. T7*ms33_473;
  1131. T7*ms34_473;
  1132. T7*ms35_473;
  1133. T7*ms36_473;
  1134. T7*ms37_473;
  1135. T7*ms38_473;
  1136. T7*ms39_473;
  1137. T7*ms40_473;
  1138. T7*ms41_473;
  1139. T7*ms42_473;
  1140. T7*ms43_473;
  1141. T7*ms44_473;
  1142. T7*ms45_473;
  1143. T7*ms46_473;
  1144. T7*ms47_473;
  1145. T7*ms48_473;
  1146. T7*ms49_473;
  1147. T7*ms50_473;
  1148. T7*ms51_473;
  1149. T7*ms52_473;
  1150. T7*ms53_473;
  1151. T7*ms54_473;
  1152. T7*ms55_473;
  1153. T7*ms56_473;
  1154. T7*ms57_473;
  1155. T7*ms58_473;
  1156. T7*ms59_473;
  1157. T7*ms60_473;
  1158. T7*ms61_473;
  1159. T7*ms62_473;
  1160. T7*ms63_473;
  1161. T7*ms64_473;
  1162. T7*ms65_473;
  1163. T7*ms66_473;
  1164. T7*ms67_473;
  1165. T7*ms68_473;
  1166. T7*ms69_473;
  1167. T7*ms70_473;
  1168. T7*ms71_473;
  1169. T7*ms72_473;
  1170. T7*ms73_473;
  1171. T7*ms74_473;
  1172. T7*ms75_473;
  1173. T7*ms76_473;
  1174. T7*ms77_473;
  1175. T7*ms78_473;
  1176. T7*ms79_473;
  1177. T7*ms80_473;
  1178. T7*ms81_473;
  1179. T7*ms82_473;
  1180. T7*ms83_473;
  1181. T7*ms84_473;
  1182. T7*ms85_473;
  1183. T7*ms86_473;
  1184. T7*ms87_473;
  1185. T7*ms88_473;
  1186. T7*ms89_473;
  1187. T7*ms90_473;
  1188. T7*ms91_473;
  1189. T7*ms92_473;
  1190. T7*ms93_473;
  1191. T7*ms94_473;
  1192. T7*ms95_473;
  1193. T7*ms96_473;
  1194. T7*ms97_473;
  1195. T7*ms98_473;
  1196. T7*ms99_473;
  1197. T7*ms100_473;
  1198. T7*ms101_473;
  1199. T7*ms102_473;
  1200. T7*ms103_473;
  1201. T7*ms104_473;
  1202. T7*ms105_473;
  1203. T7*ms106_473;
  1204. T7*ms107_473;
  1205. T7*ms108_473;
  1206. T7*ms109_473;
  1207. T7*ms110_473;
  1208. T7*ms111_473;
  1209. T7*ms112_473;
  1210. T7*ms113_473;
  1211. T7*ms114_473;
  1212. T7*ms115_473;
  1213. T7*ms116_473;
  1214. T7*ms117_473;
  1215. T7*ms118_473;
  1216. T7*ms119_473;
  1217. T7*ms120_473;
  1218. T7*ms121_473;
  1219. T7*ms122_473;
  1220. T7*ms123_473;
  1221. T7*ms124_473;
  1222. T7*ms125_473;
  1223. T7*ms126_473;
  1224. T7*ms127_473;
  1225. T7*ms128_473;
  1226. T7*ms129_473;
  1227. T7*ms130_473;
  1228. T7*ms131_473;
  1229. T7*ms132_473;
  1230. T7*ms133_473;
  1231. T7*ms134_473;
  1232. T7*ms135_473;
  1233. T7*ms136_473;
  1234. T7*ms137_473;
  1235. T7*ms138_473;
  1236. T7*ms139_473;
  1237. T7*ms140_473;
  1238. T7*ms141_473;
  1239. T7*ms142_473;
  1240. T7*ms143_473;
  1241. T7*ms144_473;
  1242. T7*ms145_473;
  1243. T7*ms146_473;
  1244. T7*ms147_473;
  1245. T7*ms1_473;
  1246. T7*ms10_393;
  1247. T7*ms3_291;
  1248. T7*ms67_470;
  1249. T7*ms1_683;
  1250. T7*ms19_605;
  1251. T7*ms20_605;
  1252. T7*ms21_605;
  1253. T7*ms66_470;
  1254. T7*ms6_605;
  1255. T7*ms2_683;
  1256. T7*ms10_604;
  1257. T7*ms137_470;
  1258. T7*ms13_604;
  1259. T7*ms14_604;
  1260. T7*ms15_604;
  1261. T7*ms16_604;
  1262. T7*ms17_604;
  1263. T7*ms25_364;
  1264. T7*ms11_604;
  1265. T7*ms12_604;
  1266. T7*ms62_604;
  1267. T7*ms2_604;
  1268. T7*ms3_604;
  1269. T7*ms4_604;
  1270. T7*ms5_604;
  1271. T7*ms63_604;
  1272. T7*ms64_604;
  1273. T7*ms66_604;
  1274. T7*ms67_604;
  1275. T7*ms65_604;
  1276. T7*ms7_604;
  1277. T7*ms6_604;
  1278. T7*ms4_683;
  1279. T7*ms9_627;
  1280. T7*ms10_627;
  1281. T7*ms8_627;
  1282. T7*ms7_683;
  1283. T7*ms75_470;
  1284. T7*ms5_683;
  1285. T7*ms1_943;
  1286. T7*ms2_943;
  1287. T7*ms2_364;
  1288. T7*ms126_470;
  1289. T7*ms3_306;
  1290. T7*ms4_306;
  1291. T7*ms20_364;
  1292. T7*ms127_470;
  1293. T7*ms21_364;
  1294. T7*ms121_470;
  1295. T7*ms1_364;
  1296. T7*ms24_364;
  1297. T7*ms22_364;
  1298. T7*ms23_364;
  1299. T7*ms13_364;
  1300. T7*ms14_364;
  1301. T7*ms15_364;
  1302. T7*ms16_364;
  1303. T7*ms18_364;
  1304. T7*ms19_364;
  1305. T7*ms17_364;
  1306. T7*ms39_364;
  1307. T7*ms3_364;
  1308. T7*ms242_470;
  1309. void se_msi1(void){
  1310. ms1_284=se_ms(21,"No creation for NONE.");
  1311. ms1_84=se_ms(42,"Such a simple Type has no creation clause.");
  1312. ms8_605=se_ms(42,"\" does not belong to a creation clause of ");
  1313. ms7_605=se_ms(24," has no creation clause.");
  1314. ms9_605=se_ms(26,"Creation Call not allowed.");
  1315. ms1_669=se_ms(20,"No creation for ANY.");
  1316. ms58_470=se_ms(20,"Bad CHARACTER value.");
  1317. ms8_843=se_ms(17,"Not a good slice.");
  1318. ms60_470=se_ms(18,"Bad INTEGER value.");
  1319. ms9_843=se_ms(34,"Second occurrence for this value (");
  1320. ms10_843=se_ms(22,") in the same inspect.");
  1321. ms12_126=se_ms(6," is a ");
  1322. ms13_126=se_ms(30,". Simple assignment is allowed");
  1323. ms14_126=se_ms(25," (\"?=\" is not necessary).");
  1324. ms15_126=se_ms(25," is not a reference Type.");
  1325. ms16_126=se_ms(35," Invalid reverse assignment (VJRV).");
  1326. ms62_470=se_ms(33,"Bad left hand side of assignment.");
  1327. ms63_470=se_ms(34,"Bad right hand side of assignment.");
  1328. ms2_629=se_ms(16," Bad assignment.");
  1329. ms4_662=se_ms(15," Type mismatch.");
  1330. }
  1331. void se_msi2(void){
  1332. ms5_629=se_ms(31,"ASSIGNMENT/Not Yet Implemented.");
  1333. ms3_629=se_ms(66,"Void may not be assigned to an expanded entity. Left hand side is ");
  1334. ms4_629=se_ms(1,".");
  1335. ms1_394=se_ms(22,"\" not found for type \"");
  1336. ms5_394=se_ms(29,"Creation procedure not found.");
  1337. ms2_394=se_ms(32," is not in the creation list of ");
  1338. ms3_394=se_ms(33,"Feature found is not a procedure.");
  1339. ms4_394=se_ms(32,"Procedure found has argument(s).");
  1340. ms1_432=se_ms(22,"Invalid explicit type.");
  1341. ms2_432=se_ms(24," Bad explicit type mark.");
  1342. ms1_747=se_ms(33,"Bad writable target for creation.");
  1343. ms2_747=se_ms(14," is deferred. ");
  1344. ms3_747=se_ms(21,"Cannot create object.");
  1345. ms4_747=se_ms(38,"Creation call on formal generic type (");
  1346. ms5_747=se_ms(2,").");
  1347. ms1_334=se_ms(27,"Creation clause exists for ");
  1348. ms2_334=se_ms(2,". ");
  1349. ms3_334=se_ms(27,"You must use a constructor.");
  1350. ms4_880=se_ms(24,"Bad initialisation part.");
  1351. ms5_880=se_ms(14,"Bad invariant.");
  1352. }
  1353. void se_msi3(void){
  1354. ms2_856=se_ms(38,"Expression of variant must be INTEGER.");
  1355. ms1_856=se_ms(17,"Bad loop variant.");
  1356. ms6_880=se_ms(26,"Bad variant for this loop.");
  1357. ms8_880=se_ms(36,"This loop has an invalid expression.");
  1358. ms7_880=se_ms(36,"Expression of until must be BOOLEAN.");
  1359. ms9_880=se_ms(18,"Invalid loop body.");
  1360. ms2_270=se_ms(40,"Expression must be INTEGER or CHARACTER.");
  1361. ms3_270=se_ms(16," is not allowed.");
  1362. ms12_843=se_ms(29,"Empty when clause in inspect.");
  1363. ms11_843=se_ms(16,"Bad when clause.");
  1364. ms1_377=se_ms(14,"Bad when list.");
  1365. ms5_270=se_ms(12,"Bad inspect.");
  1366. ms9_809=se_ms(41,"Expression of if/elseif must be BOOLEAN. ");
  1367. ms8_809=se_ms(23,"Bad BOOLEAN expression.");
  1368. ms1_46=se_ms(16,"Bad instruction.");
  1369. ms1_292=se_ms(15,"Bad check list.");
  1370. ms1_173=se_ms(33,"Feature found is not a procedure.");
  1371. ms1_268=se_ms(30,"Feature found has argument(s).");
  1372. ms8_868=se_ms(78,"Result type of a once function must not be a formal generic argument (VFFD.7).");
  1373. ms7_868=se_ms(61,"Result type of a once function must not be anchored (VFFD.7).");
  1374. }
  1375. void se_msi4(void){
  1376. ms1_447=se_ms(43,"Conflict between local/feature name (VRLE).");
  1377. ms1_592=se_ms(37,"Bad instruction (when interpreted in ");
  1378. ms2_592=se_ms(2,").");
  1379. ms7_355=se_ms(28,"This feature is obsolete :\n\"");
  1380. ms3_535=se_ms(16,"Bad declaration.");
  1381. ms1_873=se_ms(46,"Conflict between argument/feature name (VRFA).");
  1382. ms27_605=se_ms(7,"foo :-)");
  1383. ms1_308=se_ms(42,"An attribute must not be undefined (VDUS).");
  1384. ms1_963=se_ms(4,"BIT ");
  1385. ms2_963=se_ms(4," REF");
  1386. ms1_609=se_ms(10," (VNCB.2).");
  1387. ms1_900=se_ms(21," does not match with ");
  1388. ms18_605=se_ms(33,"BASE_CLASS / does_not_understand.");
  1389. ms4_877=se_ms(32,"Bad number of generic arguments.");
  1390. ms1_720=se_ms(16," (TYPE_GENERIC).");
  1391. ms71_470=se_ms(18," is not a kind of ");
  1392. ms1_372=se_ms(2,"..");
  1393. ms5_361=se_ms(13,"Bad argument.");
  1394. ms6_361=se_ms(19,"Bad local variable.");
  1395. ms1_841=se_ms(11,"Bad target.");
  1396. }
  1397. void se_msi5(void){
  1398. ms6_841=se_ms(18,"Expanded/Reference");
  1399. ms5_841=se_ms(17,"Expanded/Expanded");
  1400. ms9_841=se_ms(19,"Comparison between ");
  1401. ms10_841=se_ms(5," and ");
  1402. ms11_841=se_ms(87," is not yet implemented (you can work arround doing an assignment in a local variable).");
  1403. ms4_841=se_ms(17,"Expanded/Expanded");
  1404. ms3_841=se_ms(18,"Reference/Expanded");
  1405. ms2_841=se_ms(19,"Reference/Reference");
  1406. ms7_841=se_ms(12," Comparison ");
  1407. ms8_841=se_ms(47," Not Valid. Context of Types interpretation is ");
  1408. ms1_664=se_ms(19,"Bad old expression.");
  1409. ms56_470=se_ms(14,"Bad arguments.");
  1410. ms5_431=se_ms(15,"Bad expression.");
  1411. ms55_470=se_ms(13,"Bad argument.");
  1412. ms14_431=se_ms(24,"Bad number of arguments.");
  1413. ms4_431=se_ms(34,"Real/Formal argument mismatch (3).");
  1414. ms12_431=se_ms(27," It is not Like <argument>.");
  1415. ms3_431=se_ms(26," It is not Like <feature>.");
  1416. ms13_431=se_ms(24," It is not Like Current.");
  1417. ms2_431=se_ms(39,"Cannot pass Void for expanded argument.");
  1418. }
  1419. void se_msi6(void){
  1420. ms2_708=se_ms(18,"Feature not found.");
  1421. ms3_446=se_ms(30,"Feature found is not writable.");
  1422. ms2_446=se_ms(18,"Feature not found.");
  1423. ms4_446=se_ms(17,"Bad feature name.");
  1424. ms2_420=se_ms(29,"strip is not yet implemented.");
  1425. ms2_135=se_ms(11,"Bad target.");
  1426. ms3_368=se_ms(32,"Constraint genericity violation.");
  1427. ms2_605=se_ms(8,"\" from \"");
  1428. ms3_605=se_ms(16,"\" not found in \"");
  1429. ms4_605=se_ms(2,"\".");
  1430. ms6_368=se_ms(8,"Feature ");
  1431. ms7_368=se_ms(38," not found when starting look up from ");
  1432. ms4_368=se_ms(21," Cannot use feature \"");
  1433. ms5_368=se_ms(7,"\" here.");
  1434. ms4_636=se_ms(31," is not allowed to use feature.");
  1435. ms1_295=se_ms(28,"Feature found has no result.");
  1436. ms1_752=se_ms(28,"Feature found has arguments.");
  1437. ms1_436=se_ms(33,"Bad expression in manifest array.");
  1438. ms1_723=se_ms(2,": ");
  1439. ms1_64=se_ms(2,", ");
  1440. }
  1441. void se_msi7(void){
  1442. ms2_64=se_ms(2,": ");
  1443. ms12_291=se_ms(19," is (not) generic ?");
  1444. ms1_283=se_ms(16," is the context.");
  1445. ms2_283=se_ms(28,"Unable to compute this type.");
  1446. ms1_558=se_ms(27,"Must be a positive INTEGER.");
  1447. ms74_470=se_ms(11," Not found.");
  1448. ms1_523=se_ms(26,"Bad outside expanded type.");
  1449. ms2_491=se_ms(28,"STRING must not be expanded.");
  1450. ms1_209=se_ms(22,"REAL must be expanded.");
  1451. ms3_900=se_ms(25,"POINTER must be expanded.");
  1452. ms1_788=se_ms(25,"INTEGER must be expanded.");
  1453. ms1_388=se_ms(24,"DOUBLE must be expanded.");
  1454. ms1_252=se_ms(27,"CHARACTER must be expanded.");
  1455. ms1_707=se_ms(25,"BOOLEAN must be expanded.");
  1456. ms59_470=se_ms(21,"Bad generic argument.");
  1457. ms2_669=se_ms(25,"ANY must not be expanded.");
  1458. ms2_648=se_ms(46,"Bad anchor. Feature found cannot be an anchor.");
  1459. ms1_648=se_ms(30,"Bad anchor. Feature not found.");
  1460. ms54_470=se_ms(11,"Bad anchor.");
  1461. ms61_470=se_ms(32,"Bad number of generic arguments.");
  1462. }
  1463. void se_msi8(void){
  1464. ms2_720=se_ms(24," is not a generic class.");
  1465. ms1_368=se_ms(33,"Internal Warning #1 in RUN_CLASS.");
  1466. ms2_368=se_ms(33,"Internal Warning #2 in RUN_CLASS.");
  1467. ms72_470=se_ms(12," is invalid.");
  1468. ms1_605=se_ms(48," A deferred class must not be expanded (VTEC.1).");
  1469. ms6_583=se_ms(50,"Cannot create a class with an empty creation list.");
  1470. ms7_583=se_ms(23,"Creation procedure for ");
  1471. ms8_583=se_ms(11," not found.");
  1472. ms9_583=se_ms(33,"Feature found is not a procedure.");
  1473. ms65_470=se_ms(21," cannot be expanded. ");
  1474. ms10_583=se_ms(31,"Procedure found has arguments. ");
  1475. ms12_364=se_ms(106,"Expanded class must have no creation procedure, or only one creation procedure with no arguments (VTEC.2).");
  1476. ms73_470=se_ms(16," is not BOOLEAN.");
  1477. ms57_470=se_ms(14,"Bad Assertion.");
  1478. ms143_470=se_ms(9,"Feature \"");
  1479. ms3_877=se_ms(33,"\" is not a feature of the parent.");
  1480. ms1_776=se_ms(46,"A frozen feature must not be undefined (VDUS).");
  1481. ms34_605=se_ms(26,"Problem with undefine of \"");
  1482. ms35_605=se_ms(6,"\" in \"");
  1483. ms36_605=se_ms(2,"\".");
  1484. }
  1485. void se_msi9(void){
  1486. ms2_673=se_ms(18,"Inheritance clash.");
  1487. ms70_470=se_ms(22,"Incompatible headings.");
  1488. ms2_359=se_ms(33,"One has Result but not the other.");
  1489. ms4_359=se_ms(33,"Incompatible number of arguments.");
  1490. ms3_359=se_ms(38,"One has argument(s) but not the other.");
  1491. ms12_359=se_ms(30," Cannot merge thoses features.");
  1492. ms22_605=se_ms(37,"Constant feature cannot be redefined.");
  1493. ms23_605=se_ms(33,"Cannot redefine a frozen feature.");
  1494. ms24_605=se_ms(39,"Incompatible headings for redefinition.");
  1495. ms5_359=se_ms(33,"One has Result but not the other.");
  1496. ms7_359=se_ms(33,"Incompatible number of arguments.");
  1497. ms6_359=se_ms(38,"One has argument(s) but not the other.");
  1498. ms13_359=se_ms(35," Cannot inherit thoses features in ");
  1499. ms8_31=se_ms(24,"Bad number of arguments.");
  1500. ms9_31=se_ms(22,"Incompatible types in ");
  1501. ms25_605=se_ms(24,"Invalid redefinition in ");
  1502. ms26_605=se_ms(20,". Missing redefine ?");
  1503. ms9_368=se_ms(16,"Current type is ");
  1504. ms10_368=se_ms(22,". There is no feature ");
  1505. ms11_368=se_ms(10," in class ");
  1506. }
  1507. void se_msi10(void){
  1508. ms1_158=se_ms(2,": ");
  1509. ms17_126=se_ms(2,"?=");
  1510. ms6_629=se_ms(2,":=");
  1511. ms1_390=se_ms(2,"!!");
  1512. ms1_362=se_ms(2,"!!");
  1513. ms1_213=se_ms(9,"invariant");
  1514. ms10_880=se_ms(4,"end;");
  1515. ms4_270=se_ms(4,"end;");
  1516. ms2_526=se_ms(5,"retry");
  1517. ms6_530=se_ms(2,"if");
  1518. ms7_809=se_ms(4,"then");
  1519. ms1_712=se_ms(6,"elseif");
  1520. ms7_530=se_ms(4,"else");
  1521. ms8_530=se_ms(4,"end;");
  1522. ms9_530=se_ms(2,"if");
  1523. ms1_347=se_ms(5,"debug");
  1524. ms2_347=se_ms(4,"end;");
  1525. ms3_347=se_ms(5,"debug");
  1526. ms2_292=se_ms(4,"end;");
  1527. ms3_292=se_ms(5,"check");
  1528. }
  1529. void se_msi11(void){
  1530. ms1_238=se_ms(3,"-- ");
  1531. ms1_620=se_ms(5,"local");
  1532. ms1_706=se_ms(2,"do");
  1533. ms1_279=se_ms(8,"external");
  1534. ms2_279=se_ms(5,"alias");
  1535. ms1_31=se_ms(2,"; ");
  1536. ms1_355=se_ms(2,"is");
  1537. ms2_355=se_ms(8,"obsolete");
  1538. ms2_343=se_ms(7,"require");
  1539. ms1_343=se_ms(12,"require else");
  1540. ms1_249=se_ms(10,"\ndeferred\n");
  1541. ms2_633=se_ms(6,"ensure");
  1542. ms1_633=se_ms(11,"ensure then");
  1543. ms3_355=se_ms(6,"rescue");
  1544. ms4_355=se_ms(4,"end;");
  1545. ms5_355=se_ms(3,"-- ");
  1546. ms1_418=se_ms(4," is ");
  1547. ms9_359=se_ms(2,", ");
  1548. ms10_359=se_ms(6,"frozen");
  1549. ms8_359=se_ms(2,": ");
  1550. }
  1551. void se_msi12(void){
  1552. ms1_398=se_ms(10," is unique");
  1553. ms3_708=se_ms(30,"ADDRESS_OF/does_not_understand");
  1554. ms2_796=se_ms(28,"Internal Error #1 in E_VOID.");
  1555. ms2_664=se_ms(4,"old ");
  1556. ms3_420=se_ms(7,"strip (");
  1557. ms4_420=se_ms(1,")");
  1558. ms95_470=se_ms(2,"<<");
  1559. ms96_470=se_ms(2,">>");
  1560. ms2_535=se_ms(24,"Same name appears twice.");
  1561. ms142_470=se_ms(15,"Unknown flag : ");
  1562. ms7_943=se_ms(7,"-parano");
  1563. ms6_943=se_ms(4,"-end");
  1564. ms5_943=se_ms(4,"-zen");
  1565. ms10_943=se_ms(39,"pretty: format style is already set to ");
  1566. ms11_943=se_ms(11,". Bad flag ");
  1567. ms4_943=se_ms(8,"-default");
  1568. ms3_943=se_ms(11,"-no_warning");
  1569. ms38_364=se_ms(4,".bak");
  1570. ms14_943=se_ms(17,"Old backup file \"");
  1571. ms15_943=se_ms(17,"\" already exists.");
  1572. }
  1573. void se_msi13(void){
  1574. ms16_943=se_ms(15,"Cannot rename \"");
  1575. ms17_943=se_ms(2,"\".");
  1576. ms8_364=se_ms(19,"Cannot write file \"");
  1577. ms6_364=se_ms(9,"Writing \"");
  1578. ms7_364=se_ms(8,"\" file.\n");
  1579. ms1_688=se_ms(8,"indexing");
  1580. ms1_782=se_ms(2,": ");
  1581. ms2_782=se_ms(2,", ");
  1582. ms134_470=se_ms(2,";\n");
  1583. ms29_605=se_ms(8,"deferred");
  1584. ms30_605=se_ms(5,"class");
  1585. ms1_59=se_ms(2,"->");
  1586. ms2_881=se_ms(1,",");
  1587. ms31_605=se_ms(8,"obsolete");
  1588. ms2_805=se_ms(2,"%\n");
  1589. ms7_805=se_ms(2,"%/");
  1590. ms1_673=se_ms(7,"inherit");
  1591. ms1_644=se_ms(6,"rename");
  1592. ms2_498=se_ms(2,"as");
  1593. ms2_644=se_ms(2,", ");
  1594. }
  1595. void se_msi14(void){
  1596. ms1_671=se_ms(6,"export");
  1597. ms1_542=se_ms(3,"all");
  1598. ms5_877=se_ms(8,"undefine");
  1599. ms6_877=se_ms(8,"redefine");
  1600. ms7_877=se_ms(6,"select");
  1601. ms8_877=se_ms(4,"end;");
  1602. ms1_583=se_ms(8,"creation");
  1603. ms2_953=se_ms(2,", ");
  1604. ms2_33=se_ms(2,", ");
  1605. ms3_636=se_ms(6,"\173""NONE\175""");
  1606. ms2_636=se_ms(2,"\173""\175""");
  1607. ms1_636=se_ms(5,"\173""ANY\175""");
  1608. ms1_348=se_ms(2,": ");
  1609. ms2_348=se_ms(2,"; ");
  1610. ms32_605=se_ms(9,"-- class ");
  1611. ms9_393=se_ms(2,"--");
  1612. ms18_943=se_ms(71,"Error during `pretty\' printing.\nCannot parse output of pretty.\nBackup \"");
  1613. ms19_943=se_ms(14,"\" not removed.");
  1614. ms9_604=se_ms(18,"Cannot find class.");
  1615. ms8_604=se_ms(18,"Cannot load class.");
  1616. }
  1617. void se_msi15(void){
  1618. ms12_943=se_ms(29,"No pretty printing done for \"");
  1619. ms13_943=se_ms(2,"\".");
  1620. ms9_943=se_ms(25,"No Class to Pretty Print.");
  1621. ms8_943=se_ms(24,"No pretty printing done.");
  1622. ms3_683=se_ms(5,"Error");
  1623. ms6_683=se_ms(3," : ");
  1624. ms3_627=se_ms(5,"Line ");
  1625. ms4_627=se_ms(8," column ");
  1626. ms5_627=se_ms(4," in ");
  1627. ms6_627=se_ms(2," (");
  1628. ms7_627=se_ms(3," :\n");
  1629. ms1_818=se_ms(32,"Correct previous error(s) first.");
  1630. ms3_451=se_ms(3,"FOO");
  1631. ms141_818=se_ms(38,"Index value expected (\"indexing ...\").");
  1632. ms50_818=se_ms(25,"Keyword \"class\" expected.");
  1633. ms154_818=se_ms(35,"Name of the current class expected.");
  1634. ms25_818=se_ms(26,"Cannot write such a class.");
  1635. ms94_818=se_ms(31,"Constraint Class name expected.");
  1636. ms1_881=se_ms(57,"Class name appears twice in formal generic list (VCFG-2).");
  1637. ms95_818=se_ms(36,"Empty formal generic list (deleted).");
  1638. }
  1639. void se_msi16(void){
  1640. ms51_818=se_ms(47,"Manifest string expected for \"obsolete\" clause.");
  1641. ms1_877=se_ms(20,"You cannot inherit \"");
  1642. ms2_877=se_ms(24,"\" (not yet implemented).");
  1643. ms113_818=se_ms(46,"Second identifier of a \"rename\" pair expected.");
  1644. ms1_498=se_ms(40,"New name and old name must be different.");
  1645. ms108_818=se_ms(34,"Unexpected \";\" to end rename list.");
  1646. ms109_818=se_ms(115,"Inheritance option not at a good place. The good order is: \"rename... export... undefine... redefine... select...\".");
  1647. ms93_818=se_ms(30,"Synonym feature name expected.");
  1648. ms92_818=se_ms(37,"Frozen feature name synonym expected.");
  1649. ms13_818=se_ms(20,"Substitute with \";\".");
  1650. ms64_470=se_ms(27,"Cyclic anchored definition.");
  1651. ms15_818=se_ms(37,"Empty formal argument list (deleted).");
  1652. ms14_818=se_ms(25,"Bad formal aguments list.");
  1653. ms2_505=se_ms(41,"Attribute must not have formal arguments.");
  1654. ms1_505=se_ms(23,"Bad feature definition.");
  1655. ms114_818=se_ms(34,"Obsolete manifest string expected.");
  1656. ms19_818=se_ms(20,"Substitute with \";\".");
  1657. ms18_818=se_ms(45,"Same identifier appears twice (local/formal).");
  1658. ms17_818=se_ms(20,"Substitute with \",\".");
  1659. ms151_818=se_ms(24,"Deleted extra separator.");
  1660. }
  1661. void se_msi17(void){
  1662. ms16_818=se_ms(45,"Same identifier appears twice (local/formal).");
  1663. ms20_818=se_ms(24,"Bad local variable list.");
  1664. ms118_818=se_ms(22,"Routine body expected.");
  1665. ms117_818=se_ms(17,"once routine body");
  1666. ms116_818=se_ms(12,"routine body");
  1667. ms90_818=se_ms(170,"Unkown external specification. Currently supported  keywords are : \"C_WithCurrent\", \"C_InlineWithCurrent\", \"C_WithoutCurrent\", \"C_InlineWithoutCurrent\" and \"SmallEiffel\".");
  1668. ms29_470=se_ms(17,"JVM_invokevirtual");
  1669. ms28_470=se_ms(16,"JVM_invokestatic");
  1670. ms89_818=se_ms(2,"IC");
  1671. ms88_818=se_ms(2,"IC");
  1672. ms87_818=se_ms(1,"C");
  1673. ms86_818=se_ms(4,"ICWC");
  1674. ms85_818=se_ms(4,"ICWC");
  1675. ms84_818=se_ms(3,"CWC");
  1676. ms83_818=se_ms(3,"CWC");
  1677. ms82_818=se_ms(3,"CSE");
  1678. ms136_818=se_ms(30,"For readability, the keyword \"");
  1679. ms137_818=se_ms(10,"\" is now \"");
  1680. ms138_818=se_ms(42,"\". You should update your Eiffel code now.");
  1681. ms81_818=se_ms(3,"CSE");
  1682. }
  1683. void se_msi18(void){
  1684. ms91_470=se_ms(22,"C_InlineWithoutCurrent");
  1685. ms99_470=se_ms(16,"C_WithoutCurrent");
  1686. ms90_470=se_ms(19,"C_InlineWithCurrent");
  1687. ms98_470=se_ms(13,"C_WithCurrent");
  1688. ms157_818=se_ms(13,"Added \" here.");
  1689. ms91_818=se_ms(32,"Alias name of external expected.");
  1690. ms33_605=se_ms(49,"A class cannot be expanded and deferred (VTEC.1).");
  1691. ms115_818=se_ms(35,"A routine must be ended with \"end\".");
  1692. ms39_818=se_ms(51,"Right hand side expression expected for assignment.");
  1693. ms38_818=se_ms(34,"Must not affect a formal argument.");
  1694. ms37_818=se_ms(23,"Must not affect `Void\'.");
  1695. ms36_818=se_ms(26,"Must not affect `Current\'.");
  1696. ms35_818=se_ms(13,"\')\' expected.");
  1697. ms68_818=se_ms(39,"Bad creation (procedure name expected).");
  1698. ms67_818=se_ms(33,"Bad creation (writable expected).");
  1699. ms66_818=se_ms(45,"A formal argument is not a writable variable.");
  1700. ms65_818=se_ms(35,"Current is not a writable variable.");
  1701. ms64_818=se_ms(28,"Bad creation (\'!\' expected).");
  1702. ms63_818=se_ms(36,"Bad creation (type or \'!\' expected).");
  1703. ms62_818=se_ms(49,"Explicit creation type mark must not be anchored.");
  1704. }
  1705. void se_msi19(void){
  1706. ms131_818=se_ms(45,"Expected constant for BIT_N type declaration.");
  1707. ms78_470=se_ms(4,"BIT ");
  1708. ms130_818=se_ms(40,"Must find a class type after \"expanded\".");
  1709. ms55_818=se_ms(17,"Bad generic list.");
  1710. ms54_818=se_ms(29,"Empty generic list (deleted).");
  1711. ms156_818=se_ms(19,"Type mark expected.");
  1712. ms43_818=se_ms(35,"Bad use of predefined type C_ARRAY.");
  1713. ms44_818=se_ms(53,"For Java compatibility, the new name is NATIVE_ARRAY.");
  1714. ms42_818=se_ms(7,"C_ARRAY");
  1715. ms41_818=se_ms(40,"Bad use of predefined type NATIVE_ARRAY.");
  1716. ms40_818=se_ms(33,"Bad use of predefined type ARRAY.");
  1717. ms129_818=se_ms(82,"Anchor expected. An anchor could be `Current\', a feature name or an argument name.");
  1718. ms113_470=se_ms(5,"like ");
  1719. ms102_818=se_ms(19,"from part of a loop");
  1720. ms103_818=se_ms(38,"Variant (INTEGER) Expression Expected.");
  1721. ms105_818=se_ms(37,"Keyword \"until\" expected (in a loop).");
  1722. ms104_818=se_ms(36,"Boolean expression expected (until).");
  1723. ms106_818=se_ms(36,"Keyword \"loop\" expected (in a loop).");
  1724. ms107_818=se_ms(9,"loop body");
  1725. ms99_818=se_ms(37,"Expression expected (\"inspect ... \").");
  1726. }
  1727. void se_msi20(void){
  1728. ms134_818=se_ms(9,"when item");
  1729. ms133_818=se_ms(9,"when item");
  1730. ms142_818=se_ms(17,"Error in inspect.");
  1731. ms132_818=se_ms(9,"when item");
  1732. ms101_818=se_ms(36,"Added \"end\" for inspect instruction.");
  1733. ms100_818=se_ms(15,"else of inspect");
  1734. ms30_818=se_ms(45,"\"retry\" cannot be outside of a rescue clause.");
  1735. ms126_818=se_ms(25,"In \"elseif ... then ...\".");
  1736. ms125_818=se_ms(21,"In \"if ... then ...\".");
  1737. ms127_818=se_ms(13,"Added \"then\".");
  1738. ms128_818=se_ms(9,"then part");
  1739. ms144_818=se_ms(10,"Added \";\".");
  1740. ms61_818=se_ms(20,"Keyword \"end\" added.");
  1741. ms60_818=se_ms(9,"else part");
  1742. ms69_818=se_ms(31,"Empty debug key list (deleted).");
  1743. ms70_818=se_ms(38,"\")\" expected to end debug string list.");
  1744. ms71_818=se_ms(5,"debug");
  1745. ms48_818=se_ms(32,"Empty check instruction removed.");
  1746. ms49_818=se_ms(50,"Keyword \"end\" expected at the end of check clause.");
  1747. ms57_818=se_ms(13,"In compound (");
  1748. }
  1749. void se_msi21(void){
  1750. ms58_818=se_ms(27,"). Instruction or keyword \"");
  1751. ms59_818=se_ms(11,"\" expected.");
  1752. ms6_355=se_ms(47,"Deferred feature must not have rescue compound.");
  1753. ms7_505=se_ms(58,"This constant feature should have a result type (INTEGER).");
  1754. ms6_505=se_ms(61,"The type of this constant feature should be INTEGER  or REAL.");
  1755. ms9_505=se_ms(55,"This constant feature should have a result type (REAL).");
  1756. ms8_505=se_ms(49,"The type of this constant feature should be REAL.");
  1757. ms4_505=se_ms(48,"The type of this constant feature should be BIT.");
  1758. ms10_505=se_ms(51,"The type of this constant feature should be STRING.");
  1759. ms5_505=se_ms(54,"The type of this constant feature should be CHARACTER.");
  1760. ms3_505=se_ms(52,"The type of this constant feature should be BOOLEAN.");
  1761. ms11_505=se_ms(39,"Unique feature must have a result type.");
  1762. ms12_505=se_ms(38,"Unique feature must have INTEGER type.");
  1763. ms149_818=se_ms(17,"Bad clients list.");
  1764. ms56_818=se_ms(19,"Unexpected bracket.");
  1765. ms153_818=se_ms(45,"Class name should use only uppercase letters.");
  1766. ms1_33=se_ms(30,"Same Class Name appears twice.");
  1767. ms119_818=se_ms(36,"Expression expected after \'implies\'.");
  1768. ms1_517=se_ms(2,"/=");
  1769. ms121_818=se_ms(2,"\\\\");
  1770. }
  1771. void se_msi22(void){
  1772. ms1_453=se_ms(2,"\\\\");
  1773. ms120_818=se_ms(2,"//");
  1774. ms1_460=se_ms(2,"//");
  1775. ms122_818=se_ms(1,"^");
  1776. ms1_618=se_ms(13,"Syntax Error.");
  1777. ms76_818=se_ms(51,"Expression \"old\" can be used in ensure clause only.");
  1778. ms77_818=se_ms(32,"Expression expected after \"old\".");
  1779. ms80_818=se_ms(48,"Added brackets for manifest constant before dot.");
  1780. ms69_470=se_ms(27,"It is not an integer value.");
  1781. ms158_818=se_ms(21,"Unexpected character.");
  1782. ms29_818=se_ms(34,"Exponent of a real value expected.");
  1783. ms139_818=se_ms(51,"Underscore in fractionnal part must group 3 digits.");
  1784. ms147_818=se_ms(41,"Underscore in number must group 3 digits.");
  1785. ms185_470=se_ms(2,"0.");
  1786. ms28_818=se_ms(62,"In extended form of manifest string. Bad character before \'%\'.");
  1787. ms27_818=se_ms(60,"In extended form of manifest string.Bad character after \'%\'.");
  1788. ms26_818=se_ms(26,"Unknown special character.");
  1789. ms146_818=se_ms(39,"Unexpected new line in manifest string.");
  1790. ms1_805=se_ms(2,"ms");
  1791. ms24_818=se_ms(26,"Unknown special character.");
  1792. }
  1793. void se_msi23(void){
  1794. ms21_818=se_ms(35,"Unexpected character in ascii code.");
  1795. ms23_818=se_ms(41,"Three digit is enought for an ascii code.");
  1796. ms22_818=se_ms(25,"Bad (empty ?) ascii code.");
  1797. ms148_818=se_ms(23,"Bad character constant.");
  1798. ms79_818=se_ms(20,"Expression expected.");
  1799. ms78_818=se_ms(27,"\')\' expected in expression.");
  1800. ms135_818=se_ms(61,"An expression has a result value. This is not an instruction.");
  1801. ms34_818=se_ms(32,"Identifier expected after a dot.");
  1802. ms33_818=se_ms(38,"This name must not appear after a dot.");
  1803. ms155_818=se_ms(41,"Feature name expected after \'$\' (VUAR.4).");
  1804. ms152_818=se_ms(45,"`Result\' must only be used inside a function.");
  1805. ms31_818=se_ms(30,"Empty argument list (deleted).");
  1806. ms32_818=se_ms(35,"\')\' expected to end arguments list.");
  1807. ms124_818=se_ms(35,"\'(\' expected to begin a strip list.");
  1808. ms140_818=se_ms(22,"Feature name expected.");
  1809. ms150_818=se_ms(19,"Deleted extra coma.");
  1810. ms143_818=se_ms(10,"Added \",\".");
  1811. ms145_818=se_ms(27,"Unexpected comma (deleted).");
  1812. ms96_818=se_ms(38,"Character \'%\"\' inserted after \"infix\".");
  1813. ms97_818=se_ms(29,"Infix operator name expected.");
  1814. }
  1815. void se_msi24(void){
  1816. ms47_818=se_ms(1,"^");
  1817. ms46_818=se_ms(2,"\\\\");
  1818. ms45_818=se_ms(2,"//");
  1819. ms2_902=se_ms(4,"_px_");
  1820. ms98_818=se_ms(24,"Character \'%\"\' inserted.");
  1821. ms110_818=se_ms(39,"Character \'%\"\' inserted after \"prefix\".");
  1822. ms111_818=se_ms(30,"Prefix operator name expected.");
  1823. ms112_818=se_ms(24,"Character \'%\"\' inserted.");
  1824. ms1_953=se_ms(32,"Same feature name appears twice.");
  1825. ms123_818=se_ms(39,"\')\' expected to end a strip expression.");
  1826. ms75_818=se_ms(28,"Bad use of prefix operator. ");
  1827. ms74_818=se_ms(10,"- (prefix)");
  1828. ms73_818=se_ms(10,"+ (prefix)");
  1829. ms11_818=se_ms(31,"Right hand side expression of \"");
  1830. ms12_818=se_ms(11,"\" expected.");
  1831. ms1_902=se_ms(4,"_ix_");
  1832. ms72_818=se_ms(31,"End of manifest array expected.");
  1833. ms159_818=se_ms(45,"Identifier should use only lowercase letters.");
  1834. ms52_470=se_ms(4,"when");
  1835. ms51_470=se_ms(7,"variant");
  1836. }
  1837. void se_msi25(void){
  1838. ms48_470=se_ms(8,"undefine");
  1839. ms49_470=se_ms(6,"unique");
  1840. ms50_470=se_ms(5,"until");
  1841. ms46_470=se_ms(4,"then");
  1842. ms47_470=se_ms(4,"true");
  1843. ms43_470=se_ms(6,"select");
  1844. ms44_470=se_ms(8,"separate");
  1845. ms45_470=se_ms(5,"strip");
  1846. ms38_470=se_ms(8,"redefine");
  1847. ms39_470=se_ms(6,"rename");
  1848. ms40_470=se_ms(7,"require");
  1849. ms41_470=se_ms(6,"rescue");
  1850. ms42_470=se_ms(5,"retry");
  1851. ms37_470=se_ms(6,"prefix");
  1852. ms33_470=se_ms(8,"obsolete");
  1853. ms34_470=se_ms(3,"old");
  1854. ms35_470=se_ms(4,"once");
  1855. ms30_470=se_ms(4,"like");
  1856. ms31_470=se_ms(5,"local");
  1857. ms32_470=se_ms(4,"loop");
  1858. }
  1859. void se_msi26(void){
  1860. ms21_470=se_ms(2,"if");
  1861. ms22_470=se_ms(8,"indexing");
  1862. ms23_470=se_ms(5,"infix");
  1863. ms24_470=se_ms(7,"inherit");
  1864. ms25_470=se_ms(7,"inspect");
  1865. ms27_470=se_ms(2,"is");
  1866. ms17_470=se_ms(5,"false");
  1867. ms18_470=se_ms(7,"feature");
  1868. ms19_470=se_ms(4,"from");
  1869. ms20_470=se_ms(6,"frozen");
  1870. ms10_470=se_ms(4,"else");
  1871. ms11_470=se_ms(6,"elseif");
  1872. ms13_470=se_ms(6,"ensure");
  1873. ms14_470=se_ms(8,"expanded");
  1874. ms15_470=se_ms(6,"export");
  1875. ms16_470=se_ms(8,"external");
  1876. ms7_470=se_ms(5,"debug");
  1877. ms8_470=se_ms(8,"deferred");
  1878. ms9_470=se_ms(2,"do");
  1879. ms4_470=se_ms(5,"check");
  1880. }
  1881. void se_msi27(void){
  1882. ms5_470=se_ms(5,"class");
  1883. ms6_470=se_ms(8,"creation");
  1884. ms1_470=se_ms(5,"alias");
  1885. ms2_470=se_ms(3,"all");
  1886. ms3_470=se_ms(2,"as");
  1887. ms26_470=se_ms(9,"invariant");
  1888. ms53_818=se_ms(45,"Keyword \"end\" expected at the end of a class.");
  1889. ms68_470=se_ms(25,"Deleted extra semi-colon.");
  1890. ms52_818=se_ms(21,"End of text expected.");
  1891. ms12_470=se_ms(3,"end");
  1892. ms9_818=se_ms(13," warning(s).\n");
  1893. ms10_818=se_ms(11," error(s).\n");
  1894. ms4_818=se_ms(12,"Load class \"");
  1895. ms5_818=se_ms(11,"\" aborted.\n");
  1896. ms135_470=se_ms(6,"File \"");
  1897. ms6_818=se_ms(27,"\" does not contains class \"");
  1898. ms2_627=se_ms(30,"Internal Error #2 in POSITION.");
  1899. ms1_627=se_ms(30,"Internal Error #1 in POSITION.");
  1900. ms11_359=se_ms(29,"Double definition of feature ");
  1901. ms3_644=se_ms(42,"Cannot rename inexistant feature (VHRC.1).");
  1902. }
  1903. void se_msi28(void){
  1904. ms4_644=se_ms(46,"Multiple rename for the same feature (VHRC.2).");
  1905. ms9_877=se_ms(44,"Cannot undefine unexistant feature (VDUS.1).");
  1906. ms10_877=se_ms(23,"Redefinition not found.");
  1907. ms11_877=se_ms(44,"Cannot redefine unexistant feature (VDRS.1).");
  1908. ms16_877=se_ms(40,"Cannot select unexistant feature (VMSS).");
  1909. ms15_877=se_ms(41,"Missing select clause for those features.");
  1910. ms14_877=se_ms(35,"Select conflict for those features.");
  1911. ms2_473=se_ms(5,"ARRAY");
  1912. ms3_473=se_ms(3,"BIT");
  1913. ms4_473=se_ms(5,"BIT_N");
  1914. ms5_473=se_ms(9,"BIT_N_REF");
  1915. ms6_473=se_ms(7,"BOOLEAN");
  1916. ms7_473=se_ms(11,"BOOLEAN_REF");
  1917. ms8_473=se_ms(9,"CHARACTER");
  1918. ms9_473=se_ms(13,"CHARACTER_REF");
  1919. ms10_473=se_ms(10,"DICTIONARY");
  1920. ms11_473=se_ms(6,"DOUBLE");
  1921. ms12_473=se_ms(10,"DOUBLE_REF");
  1922. ms13_473=se_ms(11,"FIXED_ARRAY");
  1923. ms14_473=se_ms(7,"GENERAL");
  1924. }
  1925. void se_msi29(void){
  1926. ms15_473=se_ms(7,"INTEGER");
  1927. ms16_473=se_ms(11,"INTEGER_REF");
  1928. ms17_473=se_ms(6,"MEMORY");
  1929. ms18_473=se_ms(12,"NATIVE_ARRAY");
  1930. ms19_473=se_ms(4,"NONE");
  1931. ms20_473=se_ms(8,"PLATFORM");
  1932. ms21_473=se_ms(7,"POINTER");
  1933. ms22_473=se_ms(11,"POINTER_REF");
  1934. ms23_473=se_ms(4,"REAL");
  1935. ms24_473=se_ms(8,"REAL_REF");
  1936. ms25_473=se_ms(6,"STRING");
  1937. ms26_473=se_ms(13,"STD_FILE_READ");
  1938. ms27_473=se_ms(3,"and");
  1939. ms28_473=se_ms(8,"and then");
  1940. ms29_473=se_ms(1,"@");
  1941. ms30_473=se_ms(2,"\\\\");
  1942. ms31_473=se_ms(1,"=");
  1943. ms32_473=se_ms(2,">=");
  1944. ms33_473=se_ms(1,">");
  1945. ms34_473=se_ms(7,"implies");
  1946. }
  1947. void se_msi30(void){
  1948. ms35_473=se_ms(2,"<=");
  1949. ms36_473=se_ms(1,"<");
  1950. ms37_473=se_ms(1,"-");
  1951. ms38_473=se_ms(1,"*");
  1952. ms39_473=se_ms(2,"/=");
  1953. ms40_473=se_ms(3,"not");
  1954. ms41_473=se_ms(2,"or");
  1955. ms42_473=se_ms(7,"or else");
  1956. ms43_473=se_ms(1,"+");
  1957. ms44_473=se_ms(1,"^");
  1958. ms45_473=se_ms(3,"@<<");
  1959. ms46_473=se_ms(3,"@>>");
  1960. ms47_473=se_ms(1,"/");
  1961. ms48_473=se_ms(2,"//");
  1962. ms49_473=se_ms(1,"#");
  1963. ms50_473=se_ms(3,"xor");
  1964. ms51_473=se_ms(5,"blank");
  1965. ms52_473=se_ms(5,"bit_n");
  1966. ms53_473=se_ms(12,"Boolean_bits");
  1967. ms54_473=se_ms(6,"calloc");
  1968. }
  1969. void se_msi31(void){
  1970. ms55_473=se_ms(8,"capacity");
  1971. ms56_473=se_ms(14,"Character_bits");
  1972. ms57_473=se_ms(9,"clear_all");
  1973. ms58_473=se_ms(12,"compile_to_c");
  1974. ms59_473=se_ms(14,"compile_to_jvm");
  1975. ms60_473=se_ms(5,"count");
  1976. ms61_473=se_ms(5,"crash");
  1977. ms62_473=se_ms(4,"code");
  1978. ms63_473=se_ms(11,"conforms_to");
  1979. ms64_473=se_ms(4,"copy");
  1980. ms65_473=se_ms(10,"c_inline_c");
  1981. ms66_473=se_ms(10,"c_inline_h");
  1982. ms67_473=se_ms(11,"Double_bits");
  1983. ms68_473=se_ms(12,"double_floor");
  1984. ms69_473=se_ms(13,"die_with_code");
  1985. ms70_473=se_ms(14,"element_sizeof");
  1986. ms71_473=se_ms(8,"eof_code");
  1987. ms72_473=se_ms(6,"fclose");
  1988. ms73_473=se_ms(4,"feof");
  1989. ms74_473=se_ms(5,"floor");
  1990. }
  1991. void se_msi32(void){
  1992. ms75_473=se_ms(12,"flush_stream");
  1993. ms76_473=se_ms(4,"free");
  1994. ms77_473=se_ms(12,"from_pointer");
  1995. ms78_473=se_ms(15,"generating_type");
  1996. ms79_473=se_ms(9,"generator");
  1997. ms80_473=se_ms(2,"io");
  1998. ms81_473=se_ms(12,"Integer_bits");
  1999. ms82_473=se_ms(22,"is_basic_expanded_type");
  2000. ms83_473=se_ms(16,"is_expanded_type");
  2001. ms84_473=se_ms(8,"is_equal");
  2002. ms85_473=se_ms(11,"is_not_void");
  2003. ms86_473=se_ms(4,"item");
  2004. ms87_473=se_ms(5,"lower");
  2005. ms88_473=se_ms(6,"malloc");
  2006. ms89_473=se_ms(4,"make");
  2007. ms90_473=se_ms(22,"Minimum_character_code");
  2008. ms91_473=se_ms(14,"Minimum_double");
  2009. ms92_473=se_ms(15,"Minimum_integer");
  2010. ms93_473=se_ms(12,"Minimum_real");
  2011. ms94_473=se_ms(22,"Maximum_character_code");
  2012. }
  2013. void se_msi33(void){
  2014. ms95_473=se_ms(14,"Maximum_double");
  2015. ms96_473=se_ms(15,"Maximum_integer");
  2016. ms97_473=se_ms(12,"Maximum_real");
  2017. ms98_473=se_ms(11,"object_size");
  2018. ms99_473=se_ms(12,"Pointer_bits");
  2019. ms100_473=se_ms(12,"pointer_size");
  2020. ms101_473=se_ms(5,"print");
  2021. ms102_473=se_ms(8,"print_on");
  2022. ms103_473=se_ms(20,"print_run_time_stack");
  2023. ms104_473=se_ms(3,"put");
  2024. ms105_473=se_ms(5,"put_0");
  2025. ms106_473=se_ms(5,"put_1");
  2026. ms107_473=se_ms(9,"read_byte");
  2027. ms108_473=se_ms(9,"Real_bits");
  2028. ms109_473=se_ms(7,"realloc");
  2029. ms110_473=se_ms(7,"se_argc");
  2030. ms111_473=se_ms(7,"se_argv");
  2031. ms112_473=se_ms(9,"se_getenv");
  2032. ms113_473=se_ms(9,"se_remove");
  2033. ms114_473=se_ms(9,"se_rename");
  2034. }
  2035. void se_msi34(void){
  2036. ms115_473=se_ms(16,"se_string2double");
  2037. ms116_473=se_ms(9,"se_system");
  2038. ms117_473=se_ms(8,"sfr_open");
  2039. ms118_473=se_ms(8,"sfw_open");
  2040. ms119_473=se_ms(14,"sprintf_double");
  2041. ms120_473=se_ms(15,"sprintf_pointer");
  2042. ms121_473=se_ms(13,"standard_copy");
  2043. ms122_473=se_ms(17,"standard_is_equal");
  2044. ms123_473=se_ms(13,"standard_twin");
  2045. ms124_473=se_ms(6,"stderr");
  2046. ms125_473=se_ms(5,"stdin");
  2047. ms126_473=se_ms(6,"stdout");
  2048. ms127_473=se_ms(9,"std_error");
  2049. ms128_473=se_ms(9,"std_input");
  2050. ms129_473=se_ms(10,"std_output");
  2051. ms130_473=se_ms(7,"storage");
  2052. ms131_473=se_ms(6,"to_bit");
  2053. ms132_473=se_ms(12,"to_character");
  2054. ms133_473=se_ms(9,"to_double");
  2055. ms134_473=se_ms(10,"to_integer");
  2056. }
  2057. void se_msi35(void){
  2058. ms135_473=se_ms(10,"to_pointer");
  2059. ms136_473=se_ms(7,"to_real");
  2060. ms137_473=se_ms(12,"trace_switch");
  2061. ms138_473=se_ms(20,"truncated_to_integer");
  2062. ms139_473=se_ms(4,"twin");
  2063. ms140_473=se_ms(5,"upper");
  2064. ms141_473=se_ms(13,"with_capacity");
  2065. ms142_473=se_ms(10,"write_byte");
  2066. ms143_473=se_ms(7,"Current");
  2067. ms144_473=se_ms(23,"NATIVE_ARRAY[CHARACTER]");
  2068. ms145_473=se_ms(12,"like Current");
  2069. ms146_473=se_ms(6,"Result");
  2070. ms147_473=se_ms(4,"Void");
  2071. ms1_473=se_ms(3,"ANY");
  2072. ms10_393=se_ms(27,"Bad comment to end a class.");
  2073. ms3_291=se_ms(27,"Cannot find Base Class for ");
  2074. ms67_470=se_ms(1,".");
  2075. ms1_683=se_ms(5,"Type ");
  2076. ms19_605=se_ms(27,"Cyclic inheritance graph : ");
  2077. ms20_605=se_ms(2,", ");
  2078. }
  2079. void se_msi36(void){
  2080. ms21_605=se_ms(5,", ...");
  2081. ms66_470=se_ms(16,"Class not found.");
  2082. ms6_605=se_ms(56,"Deferred class should not have creation clause (VGCP.1).");
  2083. ms2_683=se_ms(7,"Warning");
  2084. ms10_604=se_ms(35,"Bad \"rename.se\" file.\nCannot open \"");
  2085. ms137_470=se_ms(2,"\".");
  2086. ms13_604=se_ms(9,"rename.se");
  2087. ms14_604=se_ms(20,"Multiple entry for \"");
  2088. ms15_604=se_ms(36,"\" in \"rename.se\" files.\nClash for \n\"");
  2089. ms16_604=se_ms(8,"\" and \n\"");
  2090. ms17_604=se_ms(2,".\n");
  2091. ms25_364=se_ms(2,".e");
  2092. ms11_604=se_ms(31,"Unable to find file for class \"");
  2093. ms12_604=se_ms(3,"\". ");
  2094. ms62_604=se_ms(19,"\nLoading path is :\n");
  2095. ms2_604=se_ms(11,"loadpath.se");
  2096. ms3_604=se_ms(9,"loadpath.");
  2097. ms4_604=se_ms(23,"No default path (file \"");
  2098. ms5_604=se_ms(14,"\" not found).\n");
  2099. }
  2100. void se_msi37(void){
  2101. ms63_604=se_ms(22,"Environment Variable \"");
  2102. ms64_604=se_ms(5,"\" is\n");
  2103. ms66_604=se_ms(8,"set to \"");
  2104. ms67_604=se_ms(3,"\". ");
  2105. ms65_604=se_ms(9,"not set. ");
  2106. ms7_604=se_ms(21,"Unable to load class.");
  2107. ms6_604=se_ms(34,"Internal Error #1 in SMALL_EIFFEL.");
  2108. ms4_683=se_ms(11,"Fatal Error");
  2109. ms9_627=se_ms(37,"SmallEiffel cannot load base class : ");
  2110. ms10_627=se_ms(1,"\n");
  2111. ms8_627=se_ms(2,"^\n");
  2112. ms7_683=se_ms(7,"------\n");
  2113. ms75_470=se_ms(7,"****** ");
  2114. ms5_683=se_ms(17,"Too many errors.\n");
  2115. ms1_943=se_ms(29,"Bad use of command `pretty\'.\n");
  2116. ms2_943=se_ms(6,"pretty");
  2117. ms2_364=se_ms(3,"man");
  2118. ms126_470=se_ms(3,"sys");
  2119. ms3_306=se_ms(18,"Try to read file \"");
  2120. ms4_306=se_ms(3,"\".\n");
  2121. }
  2122. void se_msi38(void){
  2123. ms20_364=se_ms(21,"Unable to find file\n\"");
  2124. ms127_470=se_ms(9,"system.se");
  2125. ms21_364=se_ms(14,"\" using path \"");
  2126. ms121_470=se_ms(11,"SmallEiffel");
  2127. ms1_364=se_ms(31,"/usr/local/logiciel/SmallEiffel");
  2128. ms24_364=se_ms(11,"System is \"");
  2129. ms22_364=se_ms(29,"Unknown system name in file\n\"");
  2130. ms23_364=se_ms(36,"\".\nCurrently handled system names :\n");
  2131. ms13_364=se_ms(5,"Amiga");
  2132. ms14_364=se_ms(3,"DOS");
  2133. ms15_364=se_ms(9,"Macintosh");
  2134. ms16_364=se_ms(3,"OS2");
  2135. ms18_364=se_ms(3,"VMS");
  2136. ms19_364=se_ms(7,"Windows");
  2137. ms17_364=se_ms(4,"UNIX");
  2138. ms39_364=se_ms(4,".txt");
  2139. ms3_364=se_ms(26,"Unable to find help file \"");
  2140. ms242_470=se_ms(3,"\".\n");
  2141. }
  2142. T7*se_ms(int c,char*e){
  2143. T7*s=malloc(sizeof(T7));
  2144. s->_count=c;
  2145. s->_capacity=c+1;
  2146. s->_storage=malloc(c+1);
  2147. memcpy(s->_storage,e,c);
  2148. return s;}
  2149.  
  2150.