home *** CD-ROM | disk | FTP | other *** search
/ AmigActive 3 / AACD03.BIN / AACD / Programming / sofa / archive / SmallEiffel.lha / SmallEiffel / short / html2 / HOOKS.SH < prev    next >
Linux/UNIX/POSIX Shell Script  |  1999-06-05  |  25KB  |  761 lines
  1. #! /bin/sh
  2. #
  3. # Edit and run this file to change hooks of this directory.
  4. #
  5.  
  6. chmod a+w *
  7.  
  8. # test if echo command interprets -n option
  9. xxx=`echo -n`
  10.  
  11. if [ -z "$xxx" ]
  12.   then
  13.     eopt=-n
  14.     eend=
  15.   else
  16.     eopt=
  17.     eend="""\c"""
  18. fi
  19.  
  20. # ---------------------------------------------------------------------------
  21. # "hook000" - If this hook file exists, the contents of this file is
  22. # printed very first.
  23. cat >hook000 <<END
  24. <!DOCTYPE HTML SYSTEM>
  25. <!-- Generated by SmallEiffel short -html2 style hooks -->
  26. <HTML>
  27. <HEAD>
  28. <TITLE>
  29. END
  30.  
  31. # "hook002" - If this hook file exists, the contents of this file is
  32. # printed after an extra class name.
  33. cat >hook002 <<END
  34. : Eiffel class interface</TITLE>
  35. </HEAD>
  36. <BODY BGCOLOR="#FFFFFF">
  37. <PRE>
  38. END
  39.  
  40. # "hook010" - If this hook file exists, and if the processed class is
  41. # an expanded one, the contents of this file is printed before the
  42. # class name to replace the default string "expanded class interface
  43. # ".
  44. echo $eopt '<STRONG>expanded class interface</STRONG> '$eend > hook010
  45.  
  46. # "hook011" - If this hook file exists, and if the processed class is
  47. # an deferred one, the contents of this file is printed before the
  48. # class name to replace the default string "deferred class interface
  49. # ".
  50. echo $eopt '<STRONG>deferred class interface</STRONG> '$eend > hook011
  51.  
  52. # "hook012" - If this hook file exists, and if the processed class is
  53. # an ordinary one (not deferred nor expanded) the contents of this
  54. # file is printed before the class name to replace the default string
  55. # "class interface ".
  56. echo $eopt '<STRONG>class interface</STRONG> '$eend > hook012
  57.  
  58. # "hook013" _ If this hook file exists, the contents of this file is
  59. # printed before the class name whatever the kind of class (expanded,
  60. # deferred or ordinary) to replace the default empty string "".
  61. rm -f hook013
  62.  
  63. # "hook014" - If this hook exists, the contents of the file is printed
  64. # after the class name to replace the default string "%N".
  65. rm -f hook014
  66.  
  67. # "hook015" - If this hook file exists, and if a class header comment
  68. # is present, this file is printed once before the heading class
  69. # comment.
  70. echo $eopt '<EM><FONT COLOR="#008F00">'$eend > hook015
  71.  
  72. # "hook016" - If this hook file exists, and if an heading comment is
  73. # present, the contents of this file is printed to replace the default
  74. # string " -- " at the beginning of each comment line.
  75. rm -f hook016
  76.  
  77. # "hook017" - If this hook file exists, and if an heading comment is
  78. # present, the contents of this file is printed to replace the default
  79. # string "%N" at the end of each comment line.
  80. rm -f hook017
  81.  
  82. # "hook018" - If this hook file exists, and if a class heading comment
  83. # is present, the contents of this file is printed once after the
  84. # heading comment.
  85. echo $eopt '</FONT></EM>
  86. '$eend > hook018
  87.  
  88. # "hook019" - If this hook file exists, and if the processed class has
  89. # no heading comment, this file is printed once.
  90. echo $eopt '
  91. '$eend > hook019
  92.  
  93. # ---------------------------------------------------------------------------
  94. # 2.2. Changing output of the creation list
  95.  
  96. # "hook100" - If it exists, this file is printed before the creation
  97. # list to replace the default string "creation%N".
  98. echo $eopt '<STRONG>creation</STRONG>
  99. '$eend > hook100
  100.  
  101. # "hook101" - If it exists, this file is printed after the creation
  102. # list to replace the default empty string "".
  103. rm -f hook101
  104.  
  105. # "hook102" - If it exists, this file is printed when class has no
  106. # creation list.
  107. rm -f hook102
  108.  
  109. # ---------------------------------------------------------------------------
  110. # 2.3. Changing output of the feature list
  111.  
  112. # "hook200" - If exists, printed before the feature list when option
  113. # -sort is selected to replace the default string "feature(s)%N".
  114. echo $eopt '<STRONG>feature(s)</STRONG>
  115. '$eend > hook200
  116.  
  117. # "hook201" - If exists, printed after the feature list when option
  118. # -sort is selected to replace the default empty string "".
  119. echo $eopt '
  120. '$eend > hook201
  121.  
  122. # "hook202" - If exists, printed before each feature list with no
  123. # heading comment to replace the default string "feature(s) from ".
  124. echo $eopt '<STRONG>feature(s) from </STRONG>'$eend > hook202
  125.  
  126. # "hook203" - If exists, printed after the class name of "hook202" to
  127. # replace the default string "%N".
  128. rm -f hook203
  129.  
  130. # "hook204" - If exists, printed before a feature list with a heading
  131. # comment to replace the default string "feature(s) from ".
  132. echo $eopt '<STRONG>feature(s) from </STRONG>'$eend > hook204
  133.  
  134. # "hook205" - If exists, printed after the class name introduced at
  135. # "hook204" to replace the default string "%N".
  136. echo $eopt '
  137. <EM><FONT COLOR="#008F00">'$eend > hook205
  138.  
  139. # "hook206" - If exists, printed before each line of the feature list
  140. # comment to replace the default string " -- ".
  141. rm -f hook206
  142.  
  143. # "hook207" - If exists, printed after each line of the feature list
  144. # comment to replace the default string "%N".
  145. rm -f hook207
  146.  
  147. # "hook208" - If exists, printed after a feature list comment to
  148. # replace the default empty string "".
  149. echo $eopt '</FONT></EM>
  150. '$eend > hook208
  151.  
  152. # ---------------------------------------------------------------------------
  153. # 2.4. Changing output of a feature signature
  154.  
  155. # "hook300" - If this hook exists, the contents of this file is
  156. # printed before each feature to replace the default string " ".
  157. rm -f hook300
  158.  
  159. # "hook301" - If this hook exists, the contents of this file is
  160. # printed once when the feature has no arguments to replace the
  161. # default empty string "".
  162. rm -f hook301
  163.  
  164. # "hook302" - If this hook exists, the contents of this file is
  165. # printed once when the feature has arguments to replace the default
  166. # string " (".
  167. rm -f hook302
  168.  
  169. # "hook303" - If this hook exists, the contents of this file is
  170. # printed when the feature has arguments to replace the default string
  171. # " ;".
  172. rm -f hook303
  173.  
  174. # "hook304" - If this hook exists, the contents of this file is
  175. # printed when the feature has arguments to replace the default string
  176. # ", ".
  177. rm -f hook304
  178.  
  179. # "hook305" - If this hook exists, the contents of this file is
  180. # printed when the feature has arguments to replace the default string
  181. # ": ".
  182. rm -f hook305
  183.  
  184. # "hook306" - If this hook exists, the contents of this file is
  185. # printed once when the feature has arguments to replace the default
  186. # string ")".
  187. rm -f hook306
  188.  
  189. # "hook307" - If this hook exists, the contents of this file is
  190. # printed once when the feature has no result to replace the default
  191. # string "%N".
  192. rm -f hook307
  193.  
  194. # "hook308" - If this hook exists, the contents of this file is
  195. # printed once before the result type of the feature to replace the
  196. # default string ": ".
  197. rm -f hook308
  198.  
  199. # "hook309" - If this hook exists, the contents of this file is
  200. # printed once after the result type of the feature to replace the
  201. # default string "%N".
  202. rm -f hook309
  203.  
  204. # ---------------------------------------------------------------------------
  205. # 2.5. Changing output of a feature comment
  206.  
  207. # "hook310" - If this hook file exists, and if a feature has a heading
  208. # comment, this file is printed once before the comment.
  209. echo $eopt '<FONT COLOR="#008F00"><EM>'$eend > hook310
  210.  
  211. # "hook311" - If this hook file exists, and if a feature has a heading
  212. # comment, the contents of this file is printed to replace the default
  213. # string " -- " at the beginning of each comment line.
  214. rm -f hook311
  215.  
  216. # "hook312" - If this hook file exists, and if a feature has a heading
  217. # comment, the contents of this file is printed to replace the default
  218. # string "%N" at the end of each comment line.
  219. rm -f hook312
  220.  
  221. # "hook313" - If this hook file exists, and if a feature has a heading
  222. # comment, the contents of this file is printed once after this
  223. # comment.
  224. echo $eopt '</EM></FONT>'$eend > hook313
  225.  
  226. # "hook314" - If this hook file exists, and if a feature has no
  227. # heading comment, the contents of this file is printed.
  228. rm -f hook314
  229.  
  230. # ---------------------------------------------------------------------------
  231. # 2.6. Changing output of require clauses
  232. # 2.6.1. For the header of a require clause
  233.  
  234. # "hook400" - If this hook file exists, and if a feature has no
  235. # require assertion, the contents of this file is printed to replace
  236. # the default empty string "".
  237. rm -f hook400
  238.  
  239. # "hook401" - If this hook file exists, and if a feature has one
  240. # require assertion, the contents of this file is printed before the
  241. # latest inherited assertion to replace the default string "require%N".
  242. echo $eopt '      <STRONG><FONT COLOR="#000080">require</FONT></STRONG>
  243. '$eend > hook401
  244.  
  245. # "hook402" - If this hook file exists, and if a feature has more than
  246. # one require assertion, the contents of this file is printed before
  247. # the require assertion to replace the default string " require else%N".
  248. echo $eopt '      <STRONG><FONT COLOR="#000080">require else</FONT></STRONG>
  249. '$eend > hook402
  250.  
  251. # "hook403" - If this hook file exists, and if a feature has at least
  252. # one require assertion, the contents of this file is printed to
  253. # finish the job (once after the last printed require assertion) to
  254. # replace the default empty string "".
  255. rm -f hook403
  256.  
  257. # "hook412" - If exists, printed when a require clause has no heading
  258. # comment to replace the default empty string "".
  259. rm -f hook412
  260.  
  261. # "hook413" - If exists, printed once before the require clause
  262. # heading comment to replace the default empty string "".
  263. echo $eopt '<EM>'$eend > hook413
  264.  
  265. # "hook414" - If exists, printed before each line of the heading
  266. # comment to replace the default string " -- ".
  267. rm -f hook414
  268.  
  269. # "hook415" - If exists, printed after each line of the heading
  270. # comment to replace the default string "%N".
  271. rm -f hook415
  272.  
  273. # "hook416" - If exists, printed once after the require clause heading
  274. # comment.
  275. echo $eopt '</EM>'$eend > hook416
  276.  
  277. # "hook417" - If exists, printed when a require clause has no
  278. # assertion to replace the default empty string "".
  279. rm -f hook417
  280.  
  281. # "hook418" - If exists, printed once before the first assertion of a
  282. # require clause to replace the default empty string "".
  283. rm -f hook418
  284.  
  285. # "hook433" - If exists, printed once after the last assertion of a
  286. # require clause to replace the default empty string "".
  287. rm -f hook433
  288.  
  289. # "hook434" - If exists, printed to finish a require clause to replace
  290. # the default empty string "".
  291. rm -f hook434
  292.  
  293. # 2.6.2. For each assertion in a require clause
  294.  
  295. # "hook419" - If exists, printed before each assertion of a require
  296. # clause to replace the default string " ".
  297. rm -f hook419
  298.  
  299. # "hook420" - If exists, printed when an assertion has no tag to
  300. # replace the default empty string "".
  301. rm -f hook420
  302.  
  303. # "hook421" - If exists, printed before a tag to replace the default
  304. # empty string "".
  305. rm -f hook421
  306.  
  307. # "hook422" - If exists, printed after a tag to replace the default
  308. # string ": ".
  309. rm -f hook422
  310.  
  311. # "hook423" - If exists, printed when the assertion has no expression
  312. # to replace the default empty string "".
  313. rm -f hook423
  314.  
  315. # "hook424" - If exists, printed before the expression to replace the
  316. # default empty string "".
  317. rm -f hook424
  318.  
  319. # "hook425" - If exists, printed after the expression (except for the
  320. # last assertion) to replace the default string ";".
  321. rm -f hook425
  322.  
  323. # "hook426" - If exists, printed when an assertion has no comment to
  324. # replace the default string "%N".
  325. rm -f hook426
  326.  
  327. # "hook427" - If exists, printed once before the assertion comment to
  328. # replace the default empty string "".
  329. echo $eopt '<EM>'$eend > hook427
  330.  
  331. # "hook428" - If exists, printed before each line oqf the expression
  332. # comment to replace the default string " -- ".
  333. rm -f hook428
  334.  
  335. # "hook429" - If exists, printed after each line of the expression
  336. # comment to replace the default string "%N".
  337. rm -f hook429
  338.  
  339. # "hook430" - If exists, printed once after the assertion's comment to
  340. # replace the default string "".
  341. echo $eopt '</EM>'$eend > hook430
  342.  
  343. # "hook431" - If exists, printed after the assertion to replace the
  344. # default empty string "".
  345. rm -f hook431
  346.  
  347. # 2.6.3. For the last assertion in a require clause Same hook file
  348. # list as described in section 2.6.2 except "hook425" which becomes :
  349.  
  350. # "hook432" - If exists, printed after the last expresion to replace
  351. # the default empty string "".
  352. rm -f hook432
  353.  
  354. # ---------------------------------------------------------------------------
  355. # 2.7. Changing output of ensure clauses
  356. # 2.7.1. For the header of the ensure clause
  357.  
  358. # "hook500" - If this hook file exists, and a feature has no ensure
  359. # clause, the contents of this file is printed to replace the default
  360. # empty string "".
  361. rm -f hook500
  362.  
  363. # "hook511" - If this hook file exists, the contents of this file is
  364. # printed before each ensure clause to replace the default string "ensure%N".
  365. echo $eopt '      <STRONG><FONT COLOR="#000080">ensure</FONT></STRONG>
  366. '$eend > hook511
  367.  
  368. # "hook512" - If exists, printed when ensure clause has no heading
  369. # comment to replace default empty string "".
  370. rm -f hook512
  371.  
  372. # "hook513" - If exists, printed once before the ensure clause heading
  373. # comment to replace the default empty string "".
  374. echo $eopt '<EM>'$eend > hook513
  375.  
  376. # "hook514" - If exists, printed before each line of the heading
  377. # comment to replace the default string " -- ".
  378. rm -f hook514
  379.  
  380. # "hook515" - If exists, printed after each line of the heading
  381. # comment to replace the default string "%N".
  382. rm -f hook515
  383.  
  384. # "hook516" - If exists, printed once after the ensure clause heading
  385. # comment.
  386. echo $eopt '</EM>'$eend > hook516
  387.  
  388. # "hook517" - If exists, printed when an ensure clause has no
  389. # assertion to replace the default empty string "".
  390. rm -f hook517
  391.  
  392. # "hook518" - If exists, printed once before the first assertion of
  393. # the ensure clause to replace the default empty string "".
  394. rm -f hook518
  395.  
  396. # "hook533" - If exists, printed once after the last assertion of the
  397. # ensure clause to replace the default empty string "".
  398. rm -f hook533
  399.  
  400. # "hook534" - If exists, printed to finish the ensure clause to
  401. # replace the default empty string "".
  402. rm -f hook534
  403.  
  404. # 2.7.2. For each assertion in the ensure assertion
  405.  
  406. # "hook519" - If exists, printed before each assertion of the ensure
  407. # clause to replace the default string " ".
  408. rm -f hook519
  409.  
  410. # "hook520" - If exists, printed when an assertion has no tag to
  411. # replace the default empty string "".
  412. rm -f hook520
  413.  
  414. # "hook521" - If exists, printed before a tag to replace the default
  415. # empty string "".
  416. rm -f hook521
  417.  
  418. # "hook522" - If exists, printed after a tag to replace the default
  419. # string ": ".
  420. rm -f hook522
  421.  
  422. # "hook523" - If exists, printed when the assertion has no expression
  423. # to replace the default empty string "".
  424. rm -f hook523
  425.  
  426. # "hook524" - If exists, printed before the expression to replace the
  427. # default empty string "".
  428. rm -f hook524
  429.  
  430. # "hook525" - If exists, printed after the expresion (except for the
  431. # last assertion) to replace the default string ";".
  432. rm -f hook525
  433.  
  434. # "hook526" - If exists, printed when an assertion has no comment to
  435. # replace the default string "%N".
  436. rm -f hook526
  437.  
  438. # "hook527" - If exists, printed once before the assertion comment to
  439. # replace the default empty string "".
  440. echo $eopt '<EM>'$eend > hook527
  441.  
  442. # "hook528" - If exists, printed before each line of the expression comment to replace the default string " -- ".
  443. rm -f hook528
  444.  
  445. # "hook529" - If exists, printed after each line of the expression
  446. # comment to replace the default string "%N".
  447. rm -f hook529
  448.  
  449. # "hook530" - If exists, printed once after the assertion's comment to
  450. # replace the default string "".
  451. echo $eopt '</EM>'$eend > hook530
  452.  
  453. # "hook531" - If exists, printed after the assertion to replace the
  454. # default empty string "".
  455. rm -f hook531
  456.  
  457. # 2.7.3. For the last assertion in the ensure clause Same hook files
  458. # list as described in section 2.7.2 except "hook525" which becomes:
  459.  
  460. # "hook532" - If exists, printed after the last expresion to replace
  461. # the default empty string "".
  462. rm -f hook532
  463.  
  464. # ---------------------------------------------------------------------------
  465. # 2.8. Changing output after each feature
  466.  
  467. # "hook599" - If exists, printed after each feature to replace the
  468. # default empty string "".
  469. echo $eopt '
  470. '$eend > hook599
  471.  
  472. # ---------------------------------------------------------------------------
  473. # 2.9. Changing output of the class invariant
  474. # 2.9.1. For the header of the class invariant
  475.  
  476. # "hook800" - If this hook file exists, and when no class invariant
  477. # exists, the contents of this file is printed to replace the default
  478. # empty string "".
  479. rm -f hook800
  480.  
  481. # "hook811" - If this hook file exists, the contents of this file is
  482. # printed before the class invariant to replace the default string
  483. # "invariant%N".
  484. echo $eopt '<STRONG><FONT COLOR="#000080">invariant</FONT></STRONG>
  485. '$eend > hook811
  486.  
  487. # "hook812" - If exists, printed when class invariant has no heading
  488. # comment to replace default empty string "".
  489. rm -f hook812
  490.  
  491. # "hook813" - If exists, printed once before the invariant heading
  492. # comment to replace the default empty string "".
  493. echo $eopt '<EM><FONT COLOR="#008F00">'$eend > hook813
  494.  
  495. # "hook814" - If exists, printed before each line of the heading
  496. # comment to replace the default string " -- ".
  497. rm -f hook814
  498.  
  499. # "hook855" - If exists, printed after each line of the heading
  500. # comment to replace the default string "%N".
  501. rm -f hook855
  502.  
  503. # "hook816" - If exists, printed once after the invariant heading
  504. # comment.
  505. echo $eopt '</FONT></EM>'$eend > hook816
  506.  
  507. # "hook817" - If exists, printed when class invariant has no assertion
  508. # to replace the default empty string "".
  509. rm -f hook817
  510.  
  511. # "hook818" - If exists, printed once before the first assertion of
  512. # the class invariant to replace the default empty string "".
  513. rm -f hook818
  514.  
  515. # "hook833" - If exists, printed once after the last assertion of the
  516. # class invariant to replace the default empty string "".
  517. rm -f hook833
  518.  
  519. # "hook834" - If exists, printed to finish the class invariant to
  520. # replace the default empty string "".
  521. rm -f hook834
  522.  
  523. # 2.9.2. For each assertion in the class invariant
  524.  
  525. # "hook819" - If exists, printed before each assertion of the class
  526. # invariant to replace the default string " ".
  527. echo $eopt '
  528.     '$eend > hook819
  529.  
  530. # "hook820" - If exists, printed when an assertion has no tag to
  531. # replace the default empty string "".
  532. rm -f hook820
  533.  
  534. # "hook821" - If exists, printed before a tag to replace the default
  535. # empty string "".
  536. rm -f hook821
  537.  
  538. # "hook822" - If exists, printed after a tag to replace the default
  539. # string ": ".
  540. rm -f hook822
  541.  
  542. # "hook823" - If exists, printed when the assertion has no expression
  543. # to replace the default empty string "".
  544. rm -f hook823
  545.  
  546. # "hook824" - If exists, printed before the expression to replace the
  547. # default empty string "".
  548. rm -f hook824
  549.  
  550. # "hook825" - If exists, printed after the expresion (except for the
  551. # last assertion) to replace the default string ";".
  552. rm -f hook825
  553.  
  554. # "hook826" - If exists, printed when an assertion has no comment to
  555. # replace the default string "%N".
  556. rm -f hook826
  557.  
  558. # "hook827" - If exists, printed once before the assertion comment to
  559. # replace the default empty string "".
  560. echo $eopt '<EM>'$eend > hook827
  561.  
  562. # "hook828" - If exists, printed before each line of the expression
  563. # comment to replace the default string " -- ".
  564. rm -f hook828
  565.  
  566. # "hook829" - If exists, printed after each line of the expression
  567. # comment to replace the default string "%N".
  568. rm -f hook829
  569.  
  570. # "hook830" - If exists, printed once after the assertion's comment to
  571. # replace the default string "".
  572. echo $eopt '</EM>'$eend > hook830
  573.  
  574. # "hook831" - If exists, printed after the assertion to replace the
  575. # default empty string "".
  576. rm -f hook831
  577.  
  578. # 2.9.3. For the last assertion in the class invariant Same hook
  579. # files list as described in section 2.9.2 except "hook825" which
  580. # becomes :
  581.  
  582. # "hook832" - If exists, printed after the last expresion to replace
  583. # the default string ";".
  584. rm -f hook832
  585.  
  586. # ---------------------------------------------------------------------------
  587. # 2.10. Changing output of the class interface footer
  588.  
  589. # "hook900" - When exists, printed once before class footer to replace
  590. # the default empty string "".
  591. echo $eopt '
  592. <STRONG>'$eend > hook900
  593.  
  594. # "hook901" - When exists, printed once at the end of an expanded
  595. # class before the class name to replace the default "end of expanded".
  596. rm -f hook901
  597.  
  598. # "hook902" - When exists, printed once at the end of a deferred class
  599. # before the class name to replace the default "end of deferred ".
  600. rm -f hook902
  601.  
  602. # "hook903" - When exists, printed once at the end of an ordinary (not
  603. # expanded nor deferred) class, before the class name to replace the
  604. # default string "end of ".
  605. rm -f hook903
  606.  
  607. # "hook904" - When exist, printed just before the class name to
  608. # replace the default empty string "".
  609. rm -f hook904
  610.  
  611. # "hook905" - When exists, the contents of this file is printed after
  612. # the class name to replace the default string "%N".
  613. echo $eopt '</STRONG>'$eend > hook905
  614.  
  615. # "hook999" - If this hook file exists, the contents of this file is
  616. # printed once to finish the job.
  617. cat >hook999 <<END
  618. </pre>
  619. </body>
  620. </html>
  621. END
  622.  
  623. # ---------------------------------------------------------------------------
  624. # 2.11. Changing the output of class names
  625.  
  626. # "Bcn" - When exists, printed Before each class name.
  627. echo $eopt '<a href="'$eend > Bcn
  628.  
  629. # "Mcn" - When exists, the corresponding class name is printed one more 
  630. #       time (using lower case letters) just before the contents of this 
  631. #       hook file. 
  632. echo $eopt '.html">'$eend> Mcn
  633.  
  634. # "Acn" - When exists, printed After each class name.
  635. echo $eopt '</a>'$eend > Acn
  636.  
  637. # "Ucn" - To replace the Underscore character in a class name.
  638. rm -f Ucn
  639.  
  640. # ---------------------------------------------------------------------------
  641. # 2.12. Changing the output of a type mark
  642.  
  643. # "Btm" - When exists, printed Before each type mark.
  644. # echo $eopt '<EM>'$eend > Btm
  645. rm -f Btm
  646.  
  647. # "Atm" - When exists, printed After each type mark.
  648. # echo $eopt '</EM>'$eend > Atm
  649. rm -f Atm
  650.  
  651. # "open_sb" - To replace the opening square bracket (default "[").
  652. rm -f open_sb
  653.  
  654. # "close_sb" - To replace the closing square bracket (default "]").
  655. rm -f close_sb
  656.  
  657. # "fgl_sep" - To replace the default comma "," in a formal generic argument list.
  658. rm -f fgl_sep
  659.  
  660. # "tm_blank" - To replace a blank character in a type mark.
  661. rm -f tm_blank
  662.  
  663. # "tm_sep" - To replace default string "," as a separator in a generic list.
  664. rm -f tm_sep
  665.  
  666. # "like" - To replace the default string "like ".
  667. echo $eopt '<STRONG>like </STRONG>'$eend> like
  668.  
  669.  
  670. # "expanded" - To replace the default string "expanded ".
  671. rm -f expanded
  672.  
  673. # ---------------------------------------------------------------------------
  674. #  2.14. Changing the output of an argument name
  675.  
  676. # "Ban" - When exists, printed Before each argument name.
  677. # echo $eopt '<tt>'$eend > Ban
  678. rm -f Ban
  679.  
  680. # "Aan" - When exists, printed after each argument name.
  681. # echo $eopt '</tt>'$eend > Aan
  682. rm -f Aan
  683.  
  684. # "Uan" - To replace the Underscore character in an argument name.
  685. rm -f Uan
  686.  
  687. # ---------------------------------------------------------------------------
  688. # 2.15. Changing the output of tag name
  689.  
  690. # "Btag" - When exists, printed Before each tag name.
  691. rm -f Btag
  692.  
  693. # "Atag" - When exists, printed after each tag name.
  694. rm -f Atag
  695.  
  696. # "Utag" - To replace the Underscore character in a tag name.
  697. rm -f Utag
  698.  
  699. # ---------------------------------------------------------------------------
  700. # 2.19. Changing the output of comments line
  701.  
  702. # "BECL" - Before Each Comment Line. This hook is applied to all
  703. # comments whatever the kind of comment. If exists, printed before the
  704. # contents of each line of each comment (usually after the default
  705. # string "-- ").
  706. rm -f BECL
  707.  
  708. # "AECL" - After Each Comment Line. This hook is applied to all
  709. # comments whatever the kind of comment. If exits, printed after the
  710. # contents of each line of each comment (usually, printed before the
  711. # default "%N").
  712. rm -f AECL
  713.  
  714. # "Ucomment" - To replace the Underscore character in a comment.
  715. rm -f Ucomment
  716.  
  717. # "op_quote" - To replace the default opening quote mark "`".
  718. echo $eopt '</EM></FONT><FONT COLOR="#000000">'$eend > op_quote
  719.  
  720. # "cl_quote" - To close an "op_quote" to replace the closing quote mark "'".
  721. echo $eopt '</FONT><EM><FONT COLOR="#008F00">'$eend > cl_quote
  722.  
  723. # ---------------------------------------------------------------------------
  724. # 2.20. Miscellaneous tuning 
  725.  
  726. # "open_b" - To replace the default opening bracket "(" in expressions. 
  727. rm -f open_b
  728.  
  729. # "close_b" - To replace the default closing bracket ")" in expressions. 
  730. rm -f close_b
  731.  
  732. # "arrow" - To replace the default string "->" in a formal generic list. 
  733. rm -f arrow
  734.  
  735. # "dot" - To replace the default string "." in an expression. 
  736. rm -f dot
  737.  
  738. # "Result" - To replace the default string "Result". 
  739. echo $eopt '<FONT COLOR="#900090">Result</FONT>'$eend > Result
  740.  
  741. # "old" - To replace the default string "old " in ensure clauses. 
  742. echo $eopt '<STRONG>old </STRONG>'$eend > old
  743.  
  744. # "op_strip" - To replace the default string "strip (". 
  745. echo $eopt '<STRONG>strip</STRONG> ('$eend > op_strip
  746.  
  747. # "cl_strip" - To replace default string ")" which closes "op_strip". 
  748. rm -f cl_strip
  749.  
  750. # "fnl_sep" - To replace the default string ", " in a feature name list. 
  751. rm -f fnl_sep
  752.  
  753. # "Current" - To replace the default string "Current". 
  754. echo $eopt '<FONT COLOR="#900090">Current</FONT>'$eend > Current
  755.  
  756. # "Void" - To replace the default string "Void". 
  757. echo $eopt '<FONT COLOR="#900090">Void</FONT>'$eend > Void
  758.  
  759. chmod a-w *
  760. chmod a=rwx $0
  761.