/[eiffelstudio]/trunk/eweasel/tests/ccomp053/test.e
ViewVC logotype

Contents of /trunk/eweasel/tests/ccomp053/test.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 103061 - (show annotations)
Sun Apr 7 06:55:59 2019 UTC (5 months, 1 week ago) by alexk
File size: 98919 byte(s)
Updated ECFs to enable class removal optimization when a test involves finalization.
Updated source code to use contemporary routine type declarations.

1 class TEST
2
3 create
4 make
5
6 feature {NONE} -- Creation
7
8 make is
9 -- Run tests.
10 local
11 q: FUNCTION [INTEGER]
12 do
13 -- Section 1: constants
14
15 -- Manifest string
16 io.put_integer (("%
17 %01. This line ends at 0050-th character of string.%
18 %02. This line ends at 0100-th character of string.%
19 %03. This line ends at 0150-th character of string.%
20 %04. This line ends at 0200-th character of string.%
21 %05. This line ends at 0250-th character of string.%
22 %06. This line ends at 0300-th character of string.%
23 %07. This line ends at 0350-th character of string.%
24 %08. This line ends at 0400-th character of string.%
25 %09. This line ends at 0450-th character of string.%
26 %10. This line ends at 0500-th character of string.%
27 %11. This line ends at 0550-th character of string.%
28 %12. This line ends at 0600-th character of string.%
29 %13. This line ends at 0650-th character of string.%
30 %14. This line ends at 0700-th character of string.%
31 %15. This line ends at 0750-th character of string.%
32 %16. This line ends at 0800-th character of string.%
33 %17. This line ends at 0850-th character of string.%
34 %18. This line ends at 0900-th character of string.%
35 %19. This line ends at 0950-th character of string.%
36 %20. This line ends at 1000-th character of string.%
37 %21. This line ends at 1050-th character of string.%
38 %22. This line ends at 1100-th character of string.%
39 %23. This line ends at 1150-th character of string.%
40 %24. This line ends at 1200-th character of string.%
41 %25. This line ends at 1250-th character of string.%
42 %26. This line ends at 1300-th character of string.%
43 %27. This line ends at 1350-th character of string.%
44 %28. This line ends at 1400-th character of string.%
45 %29. This line ends at 1450-th character of string.%
46 %30. This line ends at 1500-th character of string.%
47 %31. This line ends at 1550-th character of string.%
48 %32. This line ends at 1600-th character of string.%
49 %33. This line ends at 1650-th character of string.%
50 %34. This line ends at 1700-th character of string.%
51 %35. This line ends at 1750-th character of string.%
52 %36. This line ends at 1800-th character of string.%
53 %37. This line ends at 1850-th character of string.%
54 %38. This line ends at 1900-th character of string.%
55 %39. This line ends at 1950-th character of string.%
56 %40. This line ends at 2000-th character of string.%
57 %41. This line ends at 2050-th character of string.%
58 %42. This line ends at 2100-th character of string.%
59 %43. This line ends at 2150-th character of string.%
60 %44. This line ends at 2200-th character of string.%
61 %45. This line ends at 2250-th character of string.%
62 %46. This line ends at 2300-th character of string.%
63 %47. This line ends at 2350-th character of string.%
64 %48. This line ends at 2400-th character of string.%
65 %49. This line ends at 2450-th character of string.%
66 %50. This line ends at 2500-th character of string.%
67 %51. This line ends at 2550-th character of string.%
68 %52. This line ends at 2600-th character of string.%
69 %53. This line ends at 2650-th character of string.%
70 %54. This line ends at 2700-th character of string.%
71 %55. This line ends at 2750-th character of string.%
72 %56. This line ends at 2800-th character of string.%
73 %57. This line ends at 2850-th character of string.%
74 %58. This line ends at 2900-th character of string.%
75 %59. This line ends at 2950-th character of string.%
76 %60. This line ends at 3000-th character of string.%
77 %61. This line ends at 3050-th character of string.%
78 %62. This line ends at 3100-th character of string.%
79 %63. This line ends at 3150-th character of string.%
80 %64. This line ends at 3200-th character of string.%
81 %65. This line ends at 3250-th character of string.%
82 %66. This line ends at 3300-th character of string.%
83 %67. This line ends at 3350-th character of string.%
84 %68. This line ends at 3400-th character of string.%
85 %69. This line ends at 3450-th character of string.%
86 %70. This line ends at 3500-th character of string.%
87 %71. This line ends at 3550-th character of string.%
88 %72. This line ends at 3600-th character of string.%
89 %73. This line ends at 3650-th character of string.%
90 %74. This line ends at 3700-th character of string.%
91 %75. This line ends at 3750-th character of string.%
92 %76. This line ends at 3800-th character of string.%
93 %77. This line ends at 3850-th character of string.%
94 %78. This line ends at 3900-th character of string.%
95 %79. This line ends at 3950-th character of string.%
96 %80. This line ends at 4000-th character of string.%
97 %81. This line ends at 4050-th character of string.%
98 %82. This line ends at 4100-th character of string.%
99 %83. This line ends at 4150-th character of string.%
100 %84. This line ends at 4200-th character of string.%
101 %85. This line ends at 4250-th character of string.%
102 %86. This line ends at 4300-th character of string.%
103 %87. This line ends at 4350-th character of string.%
104 %88. This line ends at 4400-th character of string.%
105 %89. This line ends at 4450-th character of string.%
106 %90. This line ends at 4500-th character of string.%
107 %91. This line ends at 4550-th character of string.%
108 %92. This line ends at 4600-th character of string.%
109 %93. This line ends at 4650-th character of string.%
110 %94. This line ends at 4700-th character of string.%
111 %95. This line ends at 4750-th character of string.%
112 %96. This line ends at 4800-th character of string.%
113 %97. This line ends at 4850-th character of string.%
114 %98. This line ends at 4900-th character of string.%
115 %99. This line ends at 4950-th character of string.%
116 %00. This line ends at 5000-th character of string.%
117 %").count)
118 io.put_new_line
119 -- Once manifest string
120 io.put_integer ((once "%
121 %01. This line ends at 0050-th character of string.%
122 %02. This line ends at 0100-th character of string.%
123 %03. This line ends at 0150-th character of string.%
124 %04. This line ends at 0200-th character of string.%
125 %05. This line ends at 0250-th character of string.%
126 %06. This line ends at 0300-th character of string.%
127 %07. This line ends at 0350-th character of string.%
128 %08. This line ends at 0400-th character of string.%
129 %09. This line ends at 0450-th character of string.%
130 %10. This line ends at 0500-th character of string.%
131 %11. This line ends at 0550-th character of string.%
132 %12. This line ends at 0600-th character of string.%
133 %13. This line ends at 0650-th character of string.%
134 %14. This line ends at 0700-th character of string.%
135 %15. This line ends at 0750-th character of string.%
136 %16. This line ends at 0800-th character of string.%
137 %17. This line ends at 0850-th character of string.%
138 %18. This line ends at 0900-th character of string.%
139 %19. This line ends at 0950-th character of string.%
140 %20. This line ends at 1000-th character of string.%
141 %21. This line ends at 1050-th character of string.%
142 %22. This line ends at 1100-th character of string.%
143 %23. This line ends at 1150-th character of string.%
144 %24. This line ends at 1200-th character of string.%
145 %25. This line ends at 1250-th character of string.%
146 %26. This line ends at 1300-th character of string.%
147 %27. This line ends at 1350-th character of string.%
148 %28. This line ends at 1400-th character of string.%
149 %29. This line ends at 1450-th character of string.%
150 %30. This line ends at 1500-th character of string.%
151 %31. This line ends at 1550-th character of string.%
152 %32. This line ends at 1600-th character of string.%
153 %33. This line ends at 1650-th character of string.%
154 %34. This line ends at 1700-th character of string.%
155 %35. This line ends at 1750-th character of string.%
156 %36. This line ends at 1800-th character of string.%
157 %37. This line ends at 1850-th character of string.%
158 %38. This line ends at 1900-th character of string.%
159 %39. This line ends at 1950-th character of string.%
160 %40. This line ends at 2000-th character of string.%
161 %41. This line ends at 2050-th character of string.%
162 %42. This line ends at 2100-th character of string.%
163 %43. This line ends at 2150-th character of string.%
164 %44. This line ends at 2200-th character of string.%
165 %45. This line ends at 2250-th character of string.%
166 %46. This line ends at 2300-th character of string.%
167 %47. This line ends at 2350-th character of string.%
168 %48. This line ends at 2400-th character of string.%
169 %49. This line ends at 2450-th character of string.%
170 %50. This line ends at 2500-th character of string.%
171 %51. This line ends at 2550-th character of string.%
172 %52. This line ends at 2600-th character of string.%
173 %53. This line ends at 2650-th character of string.%
174 %54. This line ends at 2700-th character of string.%
175 %55. This line ends at 2750-th character of string.%
176 %56. This line ends at 2800-th character of string.%
177 %57. This line ends at 2850-th character of string.%
178 %58. This line ends at 2900-th character of string.%
179 %59. This line ends at 2950-th character of string.%
180 %60. This line ends at 3000-th character of string.%
181 %61. This line ends at 3050-th character of string.%
182 %62. This line ends at 3100-th character of string.%
183 %63. This line ends at 3150-th character of string.%
184 %64. This line ends at 3200-th character of string.%
185 %65. This line ends at 3250-th character of string.%
186 %66. This line ends at 3300-th character of string.%
187 %67. This line ends at 3350-th character of string.%
188 %68. This line ends at 3400-th character of string.%
189 %69. This line ends at 3450-th character of string.%
190 %70. This line ends at 3500-th character of string.%
191 %71. This line ends at 3550-th character of string.%
192 %72. This line ends at 3600-th character of string.%
193 %73. This line ends at 3650-th character of string.%
194 %74. This line ends at 3700-th character of string.%
195 %75. This line ends at 3750-th character of string.%
196 %76. This line ends at 3800-th character of string.%
197 %77. This line ends at 3850-th character of string.%
198 %78. This line ends at 3900-th character of string.%
199 %79. This line ends at 3950-th character of string.%
200 %80. This line ends at 4000-th character of string.%
201 %81. This line ends at 4050-th character of string.%
202 %82. This line ends at 4100-th character of string.%
203 %83. This line ends at 4150-th character of string.%
204 %84. This line ends at 4200-th character of string.%
205 %85. This line ends at 4250-th character of string.%
206 %86. This line ends at 4300-th character of string.%
207 %87. This line ends at 4350-th character of string.%
208 %88. This line ends at 4400-th character of string.%
209 %89. This line ends at 4450-th character of string.%
210 %90. This line ends at 4500-th character of string.%
211 %91. This line ends at 4550-th character of string.%
212 %92. This line ends at 4600-th character of string.%
213 %93. This line ends at 4650-th character of string.%
214 %94. This line ends at 4700-th character of string.%
215 %95. This line ends at 4750-th character of string.%
216 %96. This line ends at 4800-th character of string.%
217 %97. This line ends at 4850-th character of string.%
218 %98. This line ends at 4900-th character of string.%
219 %99. This line ends at 4950-th character of string.%
220 %00. This line ends at 5000-th character of string.%
221 %").count)
222 io.put_new_line
223 -- Constant string attribute
224 io.put_integer (s.count)
225 io.put_new_line
226
227 -- Section 2: feature names
228
229 -- Unqualified attribute name
230 if part_01_of_attribute_name_ends_on_character_0050thpart_02_of_attribute_name_ends_on_character_0100thpart_03_of_attribute_name_ends_on_character_0150thpart_04_of_attribute_name_ends_on_character_0200thpart_05_of_attribute_name_ends_on_character_0250thpart_06_of_attribute_name_ends_on_character_0300thpart_07_of_attribute_name_ends_on_character_0350thpart_08_of_attribute_name_ends_on_character_0400thpart_09_of_attribute_name_ends_on_character_0450thpart_10_of_attribute_name_ends_on_character_0500thpart_11_of_attribute_name_ends_on_character_0550thpart_12_of_attribute_name_ends_on_character_0600thpart_13_of_attribute_name_ends_on_character_0650thpart_14_of_attribute_name_ends_on_character_0700thpart_15_of_attribute_name_ends_on_character_0750thpart_16_of_attribute_name_ends_on_character_0800thpart_17_of_attribute_name_ends_on_character_0850thpart_18_of_attribute_name_ends_on_character_0900thpart_19_of_attribute_name_ends_on_character_0950thpart_20_of_attribute_name_ends_on_character_1000thpart_21_of_attribute_name_ends_on_character_1050thpart_22_of_attribute_name_ends_on_character_1100thpart_23_of_attribute_name_ends_on_character_1150thpart_24_of_attribute_name_ends_on_character_1200thpart_25_of_attribute_name_ends_on_character_1250thpart_26_of_attribute_name_ends_on_character_1300thpart_27_of_attribute_name_ends_on_character_1350thpart_28_of_attribute_name_ends_on_character_1400thpart_29_of_attribute_name_ends_on_character_1450thpart_30_of_attribute_name_ends_on_character_1500thpart_31_of_attribute_name_ends_on_character_1550thpart_32_of_attribute_name_ends_on_character_1600thpart_33_of_attribute_name_ends_on_character_1650thpart_34_of_attribute_name_ends_on_character_1700thpart_35_of_attribute_name_ends_on_character_1750thpart_36_of_attribute_name_ends_on_character_1800thpart_37_of_attribute_name_ends_on_character_1850thpart_38_of_attribute_name_ends_on_character_1900thpart_39_of_attribute_name_ends_on_character_1950thpart_40_of_attribute_name_ends_on_character_2000thpart_41_of_attribute_name_ends_on_character_2050thpart_42_of_attribute_name_ends_on_character_2100thpart_43_of_attribute_name_ends_on_character_2150thpart_44_of_attribute_name_ends_on_character_2200thpart_45_of_attribute_name_ends_on_character_2250thpart_46_of_attribute_name_ends_on_character_2300thpart_47_of_attribute_name_ends_on_character_2350thpart_48_of_attribute_name_ends_on_character_2400thpart_49_of_attribute_name_ends_on_character_2450thpart_50_of_attribute_name_ends_on_character_2500thpart_51_of_attribute_name_ends_on_character_2550thpart_52_of_attribute_name_ends_on_character_2600thpart_53_of_attribute_name_ends_on_character_2650thpart_54_of_attribute_name_ends_on_character_2700thpart_55_of_attribute_name_ends_on_character_2750thpart_56_of_attribute_name_ends_on_character_2800thpart_57_of_attribute_name_ends_on_character_2850thpart_58_of_attribute_name_ends_on_character_2900thpart_59_of_attribute_name_ends_on_character_2950thpart_60_of_attribute_name_ends_on_character_3000thpart_61_of_attribute_name_ends_on_character_3050thpart_62_of_attribute_name_ends_on_character_3100thpart_63_of_attribute_name_ends_on_character_3150thpart_64_of_attribute_name_ends_on_character_3200thpart_65_of_attribute_name_ends_on_character_3250thpart_66_of_attribute_name_ends_on_character_3300thpart_67_of_attribute_name_ends_on_character_3350thpart_68_of_attribute_name_ends_on_character_3400thpart_69_of_attribute_name_ends_on_character_3450thpart_70_of_attribute_name_ends_on_character_3500thpart_71_of_attribute_name_ends_on_character_3550thpart_72_of_attribute_name_ends_on_character_3600thpart_73_of_attribute_name_ends_on_character_3650thpart_74_of_attribute_name_ends_on_character_3700thpart_75_of_attribute_name_ends_on_character_3750thpart_76_of_attribute_name_ends_on_character_3800thpart_77_of_attribute_name_ends_on_character_3850thpart_78_of_attribute_name_ends_on_character_3900thpart_79_of_attribute_name_ends_on_character_3950thpart_80_of_attribute_name_ends_on_character_4000thpart_81_of_attribute_name_ends_on_character_4050thpart_82_of_attribute_name_ends_on_character_4100thpart_83_of_attribute_name_ends_on_character_4150thpart_84_of_attribute_name_ends_on_character_4200thpart_85_of_attribute_name_ends_on_character_4250thpart_86_of_attribute_name_ends_on_character_4300thpart_87_of_attribute_name_ends_on_character_4350thpart_88_of_attribute_name_ends_on_character_4400thpart_89_of_attribute_name_ends_on_character_4450thpart_90_of_attribute_name_ends_on_character_4500thpart_91_of_attribute_name_ends_on_character_4550thpart_92_of_attribute_name_ends_on_character_4600thpart_93_of_attribute_name_ends_on_character_4650thpart_94_of_attribute_name_ends_on_character_4700thpart_95_of_attribute_name_ends_on_character_4750thpart_96_of_attribute_name_ends_on_character_4800thpart_97_of_attribute_name_ends_on_character_4850thpart_98_of_attribute_name_ends_on_character_4900thpart_99_of_attribute_name_ends_on_character_4950thpart_00_of_attribute_name_ends_on_character_5000th = Void then
231 io.put_integer (5000)
232 io.put_new_line
233 end
234 -- Unqualified internal routine name
235 io.put_integer (part_01_of_internal_routine_name_ends_on_ch_0050thpart_02_of_internal_routine_name_ends_on_ch_0100thpart_03_of_internal_routine_name_ends_on_ch_0150thpart_04_of_internal_routine_name_ends_on_ch_0200thpart_05_of_internal_routine_name_ends_on_ch_0250thpart_06_of_internal_routine_name_ends_on_ch_0300thpart_07_of_internal_routine_name_ends_on_ch_0350thpart_08_of_internal_routine_name_ends_on_ch_0400thpart_09_of_internal_routine_name_ends_on_ch_0450thpart_10_of_internal_routine_name_ends_on_ch_0500thpart_11_of_internal_routine_name_ends_on_ch_0550thpart_12_of_internal_routine_name_ends_on_ch_0600thpart_13_of_internal_routine_name_ends_on_ch_0650thpart_14_of_internal_routine_name_ends_on_ch_0700thpart_15_of_internal_routine_name_ends_on_ch_0750thpart_16_of_internal_routine_name_ends_on_ch_0800thpart_17_of_internal_routine_name_ends_on_ch_0850thpart_18_of_internal_routine_name_ends_on_ch_0900thpart_19_of_internal_routine_name_ends_on_ch_0950thpart_20_of_internal_routine_name_ends_on_ch_1000thpart_21_of_internal_routine_name_ends_on_ch_1050thpart_22_of_internal_routine_name_ends_on_ch_1100thpart_23_of_internal_routine_name_ends_on_ch_1150thpart_24_of_internal_routine_name_ends_on_ch_1200thpart_25_of_internal_routine_name_ends_on_ch_1250thpart_26_of_internal_routine_name_ends_on_ch_1300thpart_27_of_internal_routine_name_ends_on_ch_1350thpart_28_of_internal_routine_name_ends_on_ch_1400thpart_29_of_internal_routine_name_ends_on_ch_1450thpart_30_of_internal_routine_name_ends_on_ch_1500thpart_31_of_internal_routine_name_ends_on_ch_1550thpart_32_of_internal_routine_name_ends_on_ch_1600thpart_33_of_internal_routine_name_ends_on_ch_1650thpart_34_of_internal_routine_name_ends_on_ch_1700thpart_35_of_internal_routine_name_ends_on_ch_1750thpart_36_of_internal_routine_name_ends_on_ch_1800thpart_37_of_internal_routine_name_ends_on_ch_1850thpart_38_of_internal_routine_name_ends_on_ch_1900thpart_39_of_internal_routine_name_ends_on_ch_1950thpart_40_of_internal_routine_name_ends_on_ch_2000thpart_41_of_internal_routine_name_ends_on_ch_2050thpart_42_of_internal_routine_name_ends_on_ch_2100thpart_43_of_internal_routine_name_ends_on_ch_2150thpart_44_of_internal_routine_name_ends_on_ch_2200thpart_45_of_internal_routine_name_ends_on_ch_2250thpart_46_of_internal_routine_name_ends_on_ch_2300thpart_47_of_internal_routine_name_ends_on_ch_2350thpart_48_of_internal_routine_name_ends_on_ch_2400thpart_49_of_internal_routine_name_ends_on_ch_2450thpart_50_of_internal_routine_name_ends_on_ch_2500thpart_51_of_internal_routine_name_ends_on_ch_2550thpart_52_of_internal_routine_name_ends_on_ch_2600thpart_53_of_internal_routine_name_ends_on_ch_2650thpart_54_of_internal_routine_name_ends_on_ch_2700thpart_55_of_internal_routine_name_ends_on_ch_2750thpart_56_of_internal_routine_name_ends_on_ch_2800thpart_57_of_internal_routine_name_ends_on_ch_2850thpart_58_of_internal_routine_name_ends_on_ch_2900thpart_59_of_internal_routine_name_ends_on_ch_2950thpart_60_of_internal_routine_name_ends_on_ch_3000thpart_61_of_internal_routine_name_ends_on_ch_3050thpart_62_of_internal_routine_name_ends_on_ch_3100thpart_63_of_internal_routine_name_ends_on_ch_3150thpart_64_of_internal_routine_name_ends_on_ch_3200thpart_65_of_internal_routine_name_ends_on_ch_3250thpart_66_of_internal_routine_name_ends_on_ch_3300thpart_67_of_internal_routine_name_ends_on_ch_3350thpart_68_of_internal_routine_name_ends_on_ch_3400thpart_69_of_internal_routine_name_ends_on_ch_3450thpart_70_of_internal_routine_name_ends_on_ch_3500thpart_71_of_internal_routine_name_ends_on_ch_3550thpart_72_of_internal_routine_name_ends_on_ch_3600thpart_73_of_internal_routine_name_ends_on_ch_3650thpart_74_of_internal_routine_name_ends_on_ch_3700thpart_75_of_internal_routine_name_ends_on_ch_3750thpart_76_of_internal_routine_name_ends_on_ch_3800thpart_77_of_internal_routine_name_ends_on_ch_3850thpart_78_of_internal_routine_name_ends_on_ch_3900thpart_79_of_internal_routine_name_ends_on_ch_3950thpart_80_of_internal_routine_name_ends_on_ch_4000thpart_81_of_internal_routine_name_ends_on_ch_4050thpart_82_of_internal_routine_name_ends_on_ch_4100thpart_83_of_internal_routine_name_ends_on_ch_4150thpart_84_of_internal_routine_name_ends_on_ch_4200thpart_85_of_internal_routine_name_ends_on_ch_4250thpart_86_of_internal_routine_name_ends_on_ch_4300thpart_87_of_internal_routine_name_ends_on_ch_4350thpart_88_of_internal_routine_name_ends_on_ch_4400thpart_89_of_internal_routine_name_ends_on_ch_4450thpart_90_of_internal_routine_name_ends_on_ch_4500thpart_91_of_internal_routine_name_ends_on_ch_4550thpart_92_of_internal_routine_name_ends_on_ch_4600thpart_93_of_internal_routine_name_ends_on_ch_4650thpart_94_of_internal_routine_name_ends_on_ch_4700thpart_95_of_internal_routine_name_ends_on_ch_4750thpart_96_of_internal_routine_name_ends_on_ch_4800thpart_97_of_internal_routine_name_ends_on_ch_4850thpart_98_of_internal_routine_name_ends_on_ch_4900thpart_99_of_internal_routine_name_ends_on_ch_4950thpart_00_of_internal_routine_name_ends_on_ch_5000th)
236 io.put_new_line
237 -- Unqualified external routine name
238 io.put_integer (part_01_of_external_routine_name_ends_on_ch_0050thpart_02_of_external_routine_name_ends_on_ch_0100thpart_03_of_external_routine_name_ends_on_ch_0150thpart_04_of_external_routine_name_ends_on_ch_0200thpart_05_of_external_routine_name_ends_on_ch_0250thpart_06_of_external_routine_name_ends_on_ch_0300thpart_07_of_external_routine_name_ends_on_ch_0350thpart_08_of_external_routine_name_ends_on_ch_0400thpart_09_of_external_routine_name_ends_on_ch_0450thpart_10_of_external_routine_name_ends_on_ch_0500thpart_11_of_external_routine_name_ends_on_ch_0550thpart_12_of_external_routine_name_ends_on_ch_0600thpart_13_of_external_routine_name_ends_on_ch_0650thpart_14_of_external_routine_name_ends_on_ch_0700thpart_15_of_external_routine_name_ends_on_ch_0750thpart_16_of_external_routine_name_ends_on_ch_0800thpart_17_of_external_routine_name_ends_on_ch_0850thpart_18_of_external_routine_name_ends_on_ch_0900thpart_19_of_external_routine_name_ends_on_ch_0950thpart_20_of_external_routine_name_ends_on_ch_1000thpart_21_of_external_routine_name_ends_on_ch_1050thpart_22_of_external_routine_name_ends_on_ch_1100thpart_23_of_external_routine_name_ends_on_ch_1150thpart_24_of_external_routine_name_ends_on_ch_1200thpart_25_of_external_routine_name_ends_on_ch_1250thpart_26_of_external_routine_name_ends_on_ch_1300thpart_27_of_external_routine_name_ends_on_ch_1350thpart_28_of_external_routine_name_ends_on_ch_1400thpart_29_of_external_routine_name_ends_on_ch_1450thpart_30_of_external_routine_name_ends_on_ch_1500thpart_31_of_external_routine_name_ends_on_ch_1550thpart_32_of_external_routine_name_ends_on_ch_1600thpart_33_of_external_routine_name_ends_on_ch_1650thpart_34_of_external_routine_name_ends_on_ch_1700thpart_35_of_external_routine_name_ends_on_ch_1750thpart_36_of_external_routine_name_ends_on_ch_1800thpart_37_of_external_routine_name_ends_on_ch_1850thpart_38_of_external_routine_name_ends_on_ch_1900thpart_39_of_external_routine_name_ends_on_ch_1950thpart_40_of_external_routine_name_ends_on_ch_2000thpart_41_of_external_routine_name_ends_on_ch_2050thpart_42_of_external_routine_name_ends_on_ch_2100thpart_43_of_external_routine_name_ends_on_ch_2150thpart_44_of_external_routine_name_ends_on_ch_2200thpart_45_of_external_routine_name_ends_on_ch_2250thpart_46_of_external_routine_name_ends_on_ch_2300thpart_47_of_external_routine_name_ends_on_ch_2350thpart_48_of_external_routine_name_ends_on_ch_2400thpart_49_of_external_routine_name_ends_on_ch_2450thpart_50_of_external_routine_name_ends_on_ch_2500thpart_51_of_external_routine_name_ends_on_ch_2550thpart_52_of_external_routine_name_ends_on_ch_2600thpart_53_of_external_routine_name_ends_on_ch_2650thpart_54_of_external_routine_name_ends_on_ch_2700thpart_55_of_external_routine_name_ends_on_ch_2750thpart_56_of_external_routine_name_ends_on_ch_2800thpart_57_of_external_routine_name_ends_on_ch_2850thpart_58_of_external_routine_name_ends_on_ch_2900thpart_59_of_external_routine_name_ends_on_ch_2950thpart_60_of_external_routine_name_ends_on_ch_3000thpart_61_of_external_routine_name_ends_on_ch_3050thpart_62_of_external_routine_name_ends_on_ch_3100thpart_63_of_external_routine_name_ends_on_ch_3150thpart_64_of_external_routine_name_ends_on_ch_3200thpart_65_of_external_routine_name_ends_on_ch_3250thpart_66_of_external_routine_name_ends_on_ch_3300thpart_67_of_external_routine_name_ends_on_ch_3350thpart_68_of_external_routine_name_ends_on_ch_3400thpart_69_of_external_routine_name_ends_on_ch_3450thpart_70_of_external_routine_name_ends_on_ch_3500thpart_71_of_external_routine_name_ends_on_ch_3550thpart_72_of_external_routine_name_ends_on_ch_3600thpart_73_of_external_routine_name_ends_on_ch_3650thpart_74_of_external_routine_name_ends_on_ch_3700thpart_75_of_external_routine_name_ends_on_ch_3750thpart_76_of_external_routine_name_ends_on_ch_3800thpart_77_of_external_routine_name_ends_on_ch_3850thpart_78_of_external_routine_name_ends_on_ch_3900thpart_79_of_external_routine_name_ends_on_ch_3950thpart_80_of_external_routine_name_ends_on_ch_4000thpart_81_of_external_routine_name_ends_on_ch_4050thpart_82_of_external_routine_name_ends_on_ch_4100thpart_83_of_external_routine_name_ends_on_ch_4150thpart_84_of_external_routine_name_ends_on_ch_4200thpart_85_of_external_routine_name_ends_on_ch_4250thpart_86_of_external_routine_name_ends_on_ch_4300thpart_87_of_external_routine_name_ends_on_ch_4350thpart_88_of_external_routine_name_ends_on_ch_4400thpart_89_of_external_routine_name_ends_on_ch_4450thpart_90_of_external_routine_name_ends_on_ch_4500thpart_91_of_external_routine_name_ends_on_ch_4550thpart_92_of_external_routine_name_ends_on_ch_4600thpart_93_of_external_routine_name_ends_on_ch_4650thpart_94_of_external_routine_name_ends_on_ch_4700thpart_95_of_external_routine_name_ends_on_ch_4750thpart_96_of_external_routine_name_ends_on_ch_4800thpart_97_of_external_routine_name_ends_on_ch_4850thpart_98_of_external_routine_name_ends_on_ch_4900thpart_99_of_external_routine_name_ends_on_ch_4950thpart_00_of_external_routine_name_ends_on_ch_5000th)
239 io.put_new_line
240
241 -- Qualified attribute name
242 if Current.part_01_of_attribute_name_ends_on_character_0050thpart_02_of_attribute_name_ends_on_character_0100thpart_03_of_attribute_name_ends_on_character_0150thpart_04_of_attribute_name_ends_on_character_0200thpart_05_of_attribute_name_ends_on_character_0250thpart_06_of_attribute_name_ends_on_character_0300thpart_07_of_attribute_name_ends_on_character_0350thpart_08_of_attribute_name_ends_on_character_0400thpart_09_of_attribute_name_ends_on_character_0450thpart_10_of_attribute_name_ends_on_character_0500thpart_11_of_attribute_name_ends_on_character_0550thpart_12_of_attribute_name_ends_on_character_0600thpart_13_of_attribute_name_ends_on_character_0650thpart_14_of_attribute_name_ends_on_character_0700thpart_15_of_attribute_name_ends_on_character_0750thpart_16_of_attribute_name_ends_on_character_0800thpart_17_of_attribute_name_ends_on_character_0850thpart_18_of_attribute_name_ends_on_character_0900thpart_19_of_attribute_name_ends_on_character_0950thpart_20_of_attribute_name_ends_on_character_1000thpart_21_of_attribute_name_ends_on_character_1050thpart_22_of_attribute_name_ends_on_character_1100thpart_23_of_attribute_name_ends_on_character_1150thpart_24_of_attribute_name_ends_on_character_1200thpart_25_of_attribute_name_ends_on_character_1250thpart_26_of_attribute_name_ends_on_character_1300thpart_27_of_attribute_name_ends_on_character_1350thpart_28_of_attribute_name_ends_on_character_1400thpart_29_of_attribute_name_ends_on_character_1450thpart_30_of_attribute_name_ends_on_character_1500thpart_31_of_attribute_name_ends_on_character_1550thpart_32_of_attribute_name_ends_on_character_1600thpart_33_of_attribute_name_ends_on_character_1650thpart_34_of_attribute_name_ends_on_character_1700thpart_35_of_attribute_name_ends_on_character_1750thpart_36_of_attribute_name_ends_on_character_1800thpart_37_of_attribute_name_ends_on_character_1850thpart_38_of_attribute_name_ends_on_character_1900thpart_39_of_attribute_name_ends_on_character_1950thpart_40_of_attribute_name_ends_on_character_2000thpart_41_of_attribute_name_ends_on_character_2050thpart_42_of_attribute_name_ends_on_character_2100thpart_43_of_attribute_name_ends_on_character_2150thpart_44_of_attribute_name_ends_on_character_2200thpart_45_of_attribute_name_ends_on_character_2250thpart_46_of_attribute_name_ends_on_character_2300thpart_47_of_attribute_name_ends_on_character_2350thpart_48_of_attribute_name_ends_on_character_2400thpart_49_of_attribute_name_ends_on_character_2450thpart_50_of_attribute_name_ends_on_character_2500thpart_51_of_attribute_name_ends_on_character_2550thpart_52_of_attribute_name_ends_on_character_2600thpart_53_of_attribute_name_ends_on_character_2650thpart_54_of_attribute_name_ends_on_character_2700thpart_55_of_attribute_name_ends_on_character_2750thpart_56_of_attribute_name_ends_on_character_2800thpart_57_of_attribute_name_ends_on_character_2850thpart_58_of_attribute_name_ends_on_character_2900thpart_59_of_attribute_name_ends_on_character_2950thpart_60_of_attribute_name_ends_on_character_3000thpart_61_of_attribute_name_ends_on_character_3050thpart_62_of_attribute_name_ends_on_character_3100thpart_63_of_attribute_name_ends_on_character_3150thpart_64_of_attribute_name_ends_on_character_3200thpart_65_of_attribute_name_ends_on_character_3250thpart_66_of_attribute_name_ends_on_character_3300thpart_67_of_attribute_name_ends_on_character_3350thpart_68_of_attribute_name_ends_on_character_3400thpart_69_of_attribute_name_ends_on_character_3450thpart_70_of_attribute_name_ends_on_character_3500thpart_71_of_attribute_name_ends_on_character_3550thpart_72_of_attribute_name_ends_on_character_3600thpart_73_of_attribute_name_ends_on_character_3650thpart_74_of_attribute_name_ends_on_character_3700thpart_75_of_attribute_name_ends_on_character_3750thpart_76_of_attribute_name_ends_on_character_3800thpart_77_of_attribute_name_ends_on_character_3850thpart_78_of_attribute_name_ends_on_character_3900thpart_79_of_attribute_name_ends_on_character_3950thpart_80_of_attribute_name_ends_on_character_4000thpart_81_of_attribute_name_ends_on_character_4050thpart_82_of_attribute_name_ends_on_character_4100thpart_83_of_attribute_name_ends_on_character_4150thpart_84_of_attribute_name_ends_on_character_4200thpart_85_of_attribute_name_ends_on_character_4250thpart_86_of_attribute_name_ends_on_character_4300thpart_87_of_attribute_name_ends_on_character_4350thpart_88_of_attribute_name_ends_on_character_4400thpart_89_of_attribute_name_ends_on_character_4450thpart_90_of_attribute_name_ends_on_character_4500thpart_91_of_attribute_name_ends_on_character_4550thpart_92_of_attribute_name_ends_on_character_4600thpart_93_of_attribute_name_ends_on_character_4650thpart_94_of_attribute_name_ends_on_character_4700thpart_95_of_attribute_name_ends_on_character_4750thpart_96_of_attribute_name_ends_on_character_4800thpart_97_of_attribute_name_ends_on_character_4850thpart_98_of_attribute_name_ends_on_character_4900thpart_99_of_attribute_name_ends_on_character_4950thpart_00_of_attribute_name_ends_on_character_5000th = Void then
243 io.put_integer (5000)
244 io.put_new_line
245 end
246 -- Qualified internal routine name
247 io.put_integer (Current.part_01_of_internal_routine_name_ends_on_ch_0050thpart_02_of_internal_routine_name_ends_on_ch_0100thpart_03_of_internal_routine_name_ends_on_ch_0150thpart_04_of_internal_routine_name_ends_on_ch_0200thpart_05_of_internal_routine_name_ends_on_ch_0250thpart_06_of_internal_routine_name_ends_on_ch_0300thpart_07_of_internal_routine_name_ends_on_ch_0350thpart_08_of_internal_routine_name_ends_on_ch_0400thpart_09_of_internal_routine_name_ends_on_ch_0450thpart_10_of_internal_routine_name_ends_on_ch_0500thpart_11_of_internal_routine_name_ends_on_ch_0550thpart_12_of_internal_routine_name_ends_on_ch_0600thpart_13_of_internal_routine_name_ends_on_ch_0650thpart_14_of_internal_routine_name_ends_on_ch_0700thpart_15_of_internal_routine_name_ends_on_ch_0750thpart_16_of_internal_routine_name_ends_on_ch_0800thpart_17_of_internal_routine_name_ends_on_ch_0850thpart_18_of_internal_routine_name_ends_on_ch_0900thpart_19_of_internal_routine_name_ends_on_ch_0950thpart_20_of_internal_routine_name_ends_on_ch_1000thpart_21_of_internal_routine_name_ends_on_ch_1050thpart_22_of_internal_routine_name_ends_on_ch_1100thpart_23_of_internal_routine_name_ends_on_ch_1150thpart_24_of_internal_routine_name_ends_on_ch_1200thpart_25_of_internal_routine_name_ends_on_ch_1250thpart_26_of_internal_routine_name_ends_on_ch_1300thpart_27_of_internal_routine_name_ends_on_ch_1350thpart_28_of_internal_routine_name_ends_on_ch_1400thpart_29_of_internal_routine_name_ends_on_ch_1450thpart_30_of_internal_routine_name_ends_on_ch_1500thpart_31_of_internal_routine_name_ends_on_ch_1550thpart_32_of_internal_routine_name_ends_on_ch_1600thpart_33_of_internal_routine_name_ends_on_ch_1650thpart_34_of_internal_routine_name_ends_on_ch_1700thpart_35_of_internal_routine_name_ends_on_ch_1750thpart_36_of_internal_routine_name_ends_on_ch_1800thpart_37_of_internal_routine_name_ends_on_ch_1850thpart_38_of_internal_routine_name_ends_on_ch_1900thpart_39_of_internal_routine_name_ends_on_ch_1950thpart_40_of_internal_routine_name_ends_on_ch_2000thpart_41_of_internal_routine_name_ends_on_ch_2050thpart_42_of_internal_routine_name_ends_on_ch_2100thpart_43_of_internal_routine_name_ends_on_ch_2150thpart_44_of_internal_routine_name_ends_on_ch_2200thpart_45_of_internal_routine_name_ends_on_ch_2250thpart_46_of_internal_routine_name_ends_on_ch_2300thpart_47_of_internal_routine_name_ends_on_ch_2350thpart_48_of_internal_routine_name_ends_on_ch_2400thpart_49_of_internal_routine_name_ends_on_ch_2450thpart_50_of_internal_routine_name_ends_on_ch_2500thpart_51_of_internal_routine_name_ends_on_ch_2550thpart_52_of_internal_routine_name_ends_on_ch_2600thpart_53_of_internal_routine_name_ends_on_ch_2650thpart_54_of_internal_routine_name_ends_on_ch_2700thpart_55_of_internal_routine_name_ends_on_ch_2750thpart_56_of_internal_routine_name_ends_on_ch_2800thpart_57_of_internal_routine_name_ends_on_ch_2850thpart_58_of_internal_routine_name_ends_on_ch_2900thpart_59_of_internal_routine_name_ends_on_ch_2950thpart_60_of_internal_routine_name_ends_on_ch_3000thpart_61_of_internal_routine_name_ends_on_ch_3050thpart_62_of_internal_routine_name_ends_on_ch_3100thpart_63_of_internal_routine_name_ends_on_ch_3150thpart_64_of_internal_routine_name_ends_on_ch_3200thpart_65_of_internal_routine_name_ends_on_ch_3250thpart_66_of_internal_routine_name_ends_on_ch_3300thpart_67_of_internal_routine_name_ends_on_ch_3350thpart_68_of_internal_routine_name_ends_on_ch_3400thpart_69_of_internal_routine_name_ends_on_ch_3450thpart_70_of_internal_routine_name_ends_on_ch_3500thpart_71_of_internal_routine_name_ends_on_ch_3550thpart_72_of_internal_routine_name_ends_on_ch_3600thpart_73_of_internal_routine_name_ends_on_ch_3650thpart_74_of_internal_routine_name_ends_on_ch_3700thpart_75_of_internal_routine_name_ends_on_ch_3750thpart_76_of_internal_routine_name_ends_on_ch_3800thpart_77_of_internal_routine_name_ends_on_ch_3850thpart_78_of_internal_routine_name_ends_on_ch_3900thpart_79_of_internal_routine_name_ends_on_ch_3950thpart_80_of_internal_routine_name_ends_on_ch_4000thpart_81_of_internal_routine_name_ends_on_ch_4050thpart_82_of_internal_routine_name_ends_on_ch_4100thpart_83_of_internal_routine_name_ends_on_ch_4150thpart_84_of_internal_routine_name_ends_on_ch_4200thpart_85_of_internal_routine_name_ends_on_ch_4250thpart_86_of_internal_routine_name_ends_on_ch_4300thpart_87_of_internal_routine_name_ends_on_ch_4350thpart_88_of_internal_routine_name_ends_on_ch_4400thpart_89_of_internal_routine_name_ends_on_ch_4450thpart_90_of_internal_routine_name_ends_on_ch_4500thpart_91_of_internal_routine_name_ends_on_ch_4550thpart_92_of_internal_routine_name_ends_on_ch_4600thpart_93_of_internal_routine_name_ends_on_ch_4650thpart_94_of_internal_routine_name_ends_on_ch_4700thpart_95_of_internal_routine_name_ends_on_ch_4750thpart_96_of_internal_routine_name_ends_on_ch_4800thpart_97_of_internal_routine_name_ends_on_ch_4850thpart_98_of_internal_routine_name_ends_on_ch_4900thpart_99_of_internal_routine_name_ends_on_ch_4950thpart_00_of_internal_routine_name_ends_on_ch_5000th)
248 io.put_new_line
249 -- Qualified external routine name
250 io.put_integer (Current.part_01_of_external_routine_name_ends_on_ch_0050thpart_02_of_external_routine_name_ends_on_ch_0100thpart_03_of_external_routine_name_ends_on_ch_0150thpart_04_of_external_routine_name_ends_on_ch_0200thpart_05_of_external_routine_name_ends_on_ch_0250thpart_06_of_external_routine_name_ends_on_ch_0300thpart_07_of_external_routine_name_ends_on_ch_0350thpart_08_of_external_routine_name_ends_on_ch_0400thpart_09_of_external_routine_name_ends_on_ch_0450thpart_10_of_external_routine_name_ends_on_ch_0500thpart_11_of_external_routine_name_ends_on_ch_0550thpart_12_of_external_routine_name_ends_on_ch_0600thpart_13_of_external_routine_name_ends_on_ch_0650thpart_14_of_external_routine_name_ends_on_ch_0700thpart_15_of_external_routine_name_ends_on_ch_0750thpart_16_of_external_routine_name_ends_on_ch_0800thpart_17_of_external_routine_name_ends_on_ch_0850thpart_18_of_external_routine_name_ends_on_ch_0900thpart_19_of_external_routine_name_ends_on_ch_0950thpart_20_of_external_routine_name_ends_on_ch_1000thpart_21_of_external_routine_name_ends_on_ch_1050thpart_22_of_external_routine_name_ends_on_ch_1100thpart_23_of_external_routine_name_ends_on_ch_1150thpart_24_of_external_routine_name_ends_on_ch_1200thpart_25_of_external_routine_name_ends_on_ch_1250thpart_26_of_external_routine_name_ends_on_ch_1300thpart_27_of_external_routine_name_ends_on_ch_1350thpart_28_of_external_routine_name_ends_on_ch_1400thpart_29_of_external_routine_name_ends_on_ch_1450thpart_30_of_external_routine_name_ends_on_ch_1500thpart_31_of_external_routine_name_ends_on_ch_1550thpart_32_of_external_routine_name_ends_on_ch_1600thpart_33_of_external_routine_name_ends_on_ch_1650thpart_34_of_external_routine_name_ends_on_ch_1700thpart_35_of_external_routine_name_ends_on_ch_1750thpart_36_of_external_routine_name_ends_on_ch_1800thpart_37_of_external_routine_name_ends_on_ch_1850thpart_38_of_external_routine_name_ends_on_ch_1900thpart_39_of_external_routine_name_ends_on_ch_1950thpart_40_of_external_routine_name_ends_on_ch_2000thpart_41_of_external_routine_name_ends_on_ch_2050thpart_42_of_external_routine_name_ends_on_ch_2100thpart_43_of_external_routine_name_ends_on_ch_2150thpart_44_of_external_routine_name_ends_on_ch_2200thpart_45_of_external_routine_name_ends_on_ch_2250thpart_46_of_external_routine_name_ends_on_ch_2300thpart_47_of_external_routine_name_ends_on_ch_2350thpart_48_of_external_routine_name_ends_on_ch_2400thpart_49_of_external_routine_name_ends_on_ch_2450thpart_50_of_external_routine_name_ends_on_ch_2500thpart_51_of_external_routine_name_ends_on_ch_2550thpart_52_of_external_routine_name_ends_on_ch_2600thpart_53_of_external_routine_name_ends_on_ch_2650thpart_54_of_external_routine_name_ends_on_ch_2700thpart_55_of_external_routine_name_ends_on_ch_2750thpart_56_of_external_routine_name_ends_on_ch_2800thpart_57_of_external_routine_name_ends_on_ch_2850thpart_58_of_external_routine_name_ends_on_ch_2900thpart_59_of_external_routine_name_ends_on_ch_2950thpart_60_of_external_routine_name_ends_on_ch_3000thpart_61_of_external_routine_name_ends_on_ch_3050thpart_62_of_external_routine_name_ends_on_ch_3100thpart_63_of_external_routine_name_ends_on_ch_3150thpart_64_of_external_routine_name_ends_on_ch_3200thpart_65_of_external_routine_name_ends_on_ch_3250thpart_66_of_external_routine_name_ends_on_ch_3300thpart_67_of_external_routine_name_ends_on_ch_3350thpart_68_of_external_routine_name_ends_on_ch_3400thpart_69_of_external_routine_name_ends_on_ch_3450thpart_70_of_external_routine_name_ends_on_ch_3500thpart_71_of_external_routine_name_ends_on_ch_3550thpart_72_of_external_routine_name_ends_on_ch_3600thpart_73_of_external_routine_name_ends_on_ch_3650thpart_74_of_external_routine_name_ends_on_ch_3700thpart_75_of_external_routine_name_ends_on_ch_3750thpart_76_of_external_routine_name_ends_on_ch_3800thpart_77_of_external_routine_name_ends_on_ch_3850thpart_78_of_external_routine_name_ends_on_ch_3900thpart_79_of_external_routine_name_ends_on_ch_3950thpart_80_of_external_routine_name_ends_on_ch_4000thpart_81_of_external_routine_name_ends_on_ch_4050thpart_82_of_external_routine_name_ends_on_ch_4100thpart_83_of_external_routine_name_ends_on_ch_4150thpart_84_of_external_routine_name_ends_on_ch_4200thpart_85_of_external_routine_name_ends_on_ch_4250thpart_86_of_external_routine_name_ends_on_ch_4300thpart_87_of_external_routine_name_ends_on_ch_4350thpart_88_of_external_routine_name_ends_on_ch_4400thpart_89_of_external_routine_name_ends_on_ch_4450thpart_90_of_external_routine_name_ends_on_ch_4500thpart_91_of_external_routine_name_ends_on_ch_4550thpart_92_of_external_routine_name_ends_on_ch_4600thpart_93_of_external_routine_name_ends_on_ch_4650thpart_94_of_external_routine_name_ends_on_ch_4700thpart_95_of_external_routine_name_ends_on_ch_4750thpart_96_of_external_routine_name_ends_on_ch_4800thpart_97_of_external_routine_name_ends_on_ch_4850thpart_98_of_external_routine_name_ends_on_ch_4900thpart_99_of_external_routine_name_ends_on_ch_4950thpart_00_of_external_routine_name_ends_on_ch_5000th)
251 io.put_new_line
252
253 -- Agent on attribute name: not supported
254 -- q := agent part_01_of_attribute_name_ends_on_character_0050thpart_02_of_attribute_name_ends_on_character_0100thpart_03_of_attribute_name_ends_on_character_0150thpart_04_of_attribute_name_ends_on_character_0200thpart_05_of_attribute_name_ends_on_character_0250thpart_06_of_attribute_name_ends_on_character_0300thpart_07_of_attribute_name_ends_on_character_0350thpart_08_of_attribute_name_ends_on_character_0400thpart_09_of_attribute_name_ends_on_character_0450thpart_10_of_attribute_name_ends_on_character_0500thpart_11_of_attribute_name_ends_on_character_0550thpart_12_of_attribute_name_ends_on_character_0600thpart_13_of_attribute_name_ends_on_character_0650thpart_14_of_attribute_name_ends_on_character_0700thpart_15_of_attribute_name_ends_on_character_0750thpart_16_of_attribute_name_ends_on_character_0800thpart_17_of_attribute_name_ends_on_character_0850thpart_18_of_attribute_name_ends_on_character_0900thpart_19_of_attribute_name_ends_on_character_0950thpart_20_of_attribute_name_ends_on_character_1000thpart_21_of_attribute_name_ends_on_character_1050thpart_22_of_attribute_name_ends_on_character_1100thpart_23_of_attribute_name_ends_on_character_1150thpart_24_of_attribute_name_ends_on_character_1200thpart_25_of_attribute_name_ends_on_character_1250thpart_26_of_attribute_name_ends_on_character_1300thpart_27_of_attribute_name_ends_on_character_1350thpart_28_of_attribute_name_ends_on_character_1400thpart_29_of_attribute_name_ends_on_character_1450thpart_30_of_attribute_name_ends_on_character_1500thpart_31_of_attribute_name_ends_on_character_1550thpart_32_of_attribute_name_ends_on_character_1600thpart_33_of_attribute_name_ends_on_character_1650thpart_34_of_attribute_name_ends_on_character_1700thpart_35_of_attribute_name_ends_on_character_1750thpart_36_of_attribute_name_ends_on_character_1800thpart_37_of_attribute_name_ends_on_character_1850thpart_38_of_attribute_name_ends_on_character_1900thpart_39_of_attribute_name_ends_on_character_1950thpart_40_of_attribute_name_ends_on_character_2000thpart_41_of_attribute_name_ends_on_character_2050thpart_42_of_attribute_name_ends_on_character_2100thpart_43_of_attribute_name_ends_on_character_2150thpart_44_of_attribute_name_ends_on_character_2200thpart_45_of_attribute_name_ends_on_character_2250thpart_46_of_attribute_name_ends_on_character_2300thpart_47_of_attribute_name_ends_on_character_2350thpart_48_of_attribute_name_ends_on_character_2400thpart_49_of_attribute_name_ends_on_character_2450thpart_50_of_attribute_name_ends_on_character_2500thpart_51_of_attribute_name_ends_on_character_2550thpart_52_of_attribute_name_ends_on_character_2600thpart_53_of_attribute_name_ends_on_character_2650thpart_54_of_attribute_name_ends_on_character_2700thpart_55_of_attribute_name_ends_on_character_2750thpart_56_of_attribute_name_ends_on_character_2800thpart_57_of_attribute_name_ends_on_character_2850thpart_58_of_attribute_name_ends_on_character_2900thpart_59_of_attribute_name_ends_on_character_2950thpart_60_of_attribute_name_ends_on_character_3000thpart_61_of_attribute_name_ends_on_character_3050thpart_62_of_attribute_name_ends_on_character_3100thpart_63_of_attribute_name_ends_on_character_3150thpart_64_of_attribute_name_ends_on_character_3200thpart_65_of_attribute_name_ends_on_character_3250thpart_66_of_attribute_name_ends_on_character_3300thpart_67_of_attribute_name_ends_on_character_3350thpart_68_of_attribute_name_ends_on_character_3400thpart_69_of_attribute_name_ends_on_character_3450thpart_70_of_attribute_name_ends_on_character_3500thpart_71_of_attribute_name_ends_on_character_3550thpart_72_of_attribute_name_ends_on_character_3600thpart_73_of_attribute_name_ends_on_character_3650thpart_74_of_attribute_name_ends_on_character_3700thpart_75_of_attribute_name_ends_on_character_3750thpart_76_of_attribute_name_ends_on_character_3800thpart_77_of_attribute_name_ends_on_character_3850thpart_78_of_attribute_name_ends_on_character_3900thpart_79_of_attribute_name_ends_on_character_3950thpart_80_of_attribute_name_ends_on_character_4000thpart_81_of_attribute_name_ends_on_character_4050thpart_82_of_attribute_name_ends_on_character_4100thpart_83_of_attribute_name_ends_on_character_4150thpart_84_of_attribute_name_ends_on_character_4200thpart_85_of_attribute_name_ends_on_character_4250thpart_86_of_attribute_name_ends_on_character_4300thpart_87_of_attribute_name_ends_on_character_4350thpart_88_of_attribute_name_ends_on_character_4400thpart_89_of_attribute_name_ends_on_character_4450thpart_90_of_attribute_name_ends_on_character_4500thpart_91_of_attribute_name_ends_on_character_4550thpart_92_of_attribute_name_ends_on_character_4600thpart_93_of_attribute_name_ends_on_character_4650thpart_94_of_attribute_name_ends_on_character_4700thpart_95_of_attribute_name_ends_on_character_4750thpart_96_of_attribute_name_ends_on_character_4800thpart_97_of_attribute_name_ends_on_character_4850thpart_98_of_attribute_name_ends_on_character_4900thpart_99_of_attribute_name_ends_on_character_4950thpart_00_of_attribute_name_ends_on_character_5000th
255 -- q.call (Void)
256 -- io.put_integer (q.last_result)
257 -- io.put_new_line
258 -- Agent on internal routine name
259 q := agent part_01_of_internal_routine_name_ends_on_ch_0050thpart_02_of_internal_routine_name_ends_on_ch_0100thpart_03_of_internal_routine_name_ends_on_ch_0150thpart_04_of_internal_routine_name_ends_on_ch_0200thpart_05_of_internal_routine_name_ends_on_ch_0250thpart_06_of_internal_routine_name_ends_on_ch_0300thpart_07_of_internal_routine_name_ends_on_ch_0350thpart_08_of_internal_routine_name_ends_on_ch_0400thpart_09_of_internal_routine_name_ends_on_ch_0450thpart_10_of_internal_routine_name_ends_on_ch_0500thpart_11_of_internal_routine_name_ends_on_ch_0550thpart_12_of_internal_routine_name_ends_on_ch_0600thpart_13_of_internal_routine_name_ends_on_ch_0650thpart_14_of_internal_routine_name_ends_on_ch_0700thpart_15_of_internal_routine_name_ends_on_ch_0750thpart_16_of_internal_routine_name_ends_on_ch_0800thpart_17_of_internal_routine_name_ends_on_ch_0850thpart_18_of_internal_routine_name_ends_on_ch_0900thpart_19_of_internal_routine_name_ends_on_ch_0950thpart_20_of_internal_routine_name_ends_on_ch_1000thpart_21_of_internal_routine_name_ends_on_ch_1050thpart_22_of_internal_routine_name_ends_on_ch_1100thpart_23_of_internal_routine_name_ends_on_ch_1150thpart_24_of_internal_routine_name_ends_on_ch_1200thpart_25_of_internal_routine_name_ends_on_ch_1250thpart_26_of_internal_routine_name_ends_on_ch_1300thpart_27_of_internal_routine_name_ends_on_ch_1350thpart_28_of_internal_routine_name_ends_on_ch_1400thpart_29_of_internal_routine_name_ends_on_ch_1450thpart_30_of_internal_routine_name_ends_on_ch_1500thpart_31_of_internal_routine_name_ends_on_ch_1550thpart_32_of_internal_routine_name_ends_on_ch_1600thpart_33_of_internal_routine_name_ends_on_ch_1650thpart_34_of_internal_routine_name_ends_on_ch_1700thpart_35_of_internal_routine_name_ends_on_ch_1750thpart_36_of_internal_routine_name_ends_on_ch_1800thpart_37_of_internal_routine_name_ends_on_ch_1850thpart_38_of_internal_routine_name_ends_on_ch_1900thpart_39_of_internal_routine_name_ends_on_ch_1950thpart_40_of_internal_routine_name_ends_on_ch_2000thpart_41_of_internal_routine_name_ends_on_ch_2050thpart_42_of_internal_routine_name_ends_on_ch_2100thpart_43_of_internal_routine_name_ends_on_ch_2150thpart_44_of_internal_routine_name_ends_on_ch_2200thpart_45_of_internal_routine_name_ends_on_ch_2250thpart_46_of_internal_routine_name_ends_on_ch_2300thpart_47_of_internal_routine_name_ends_on_ch_2350thpart_48_of_internal_routine_name_ends_on_ch_2400thpart_49_of_internal_routine_name_ends_on_ch_2450thpart_50_of_internal_routine_name_ends_on_ch_2500thpart_51_of_internal_routine_name_ends_on_ch_2550thpart_52_of_internal_routine_name_ends_on_ch_2600thpart_53_of_internal_routine_name_ends_on_ch_2650thpart_54_of_internal_routine_name_ends_on_ch_2700thpart_55_of_internal_routine_name_ends_on_ch_2750thpart_56_of_internal_routine_name_ends_on_ch_2800thpart_57_of_internal_routine_name_ends_on_ch_2850thpart_58_of_internal_routine_name_ends_on_ch_2900thpart_59_of_internal_routine_name_ends_on_ch_2950thpart_60_of_internal_routine_name_ends_on_ch_3000thpart_61_of_internal_routine_name_ends_on_ch_3050thpart_62_of_internal_routine_name_ends_on_ch_3100thpart_63_of_internal_routine_name_ends_on_ch_3150thpart_64_of_internal_routine_name_ends_on_ch_3200thpart_65_of_internal_routine_name_ends_on_ch_3250thpart_66_of_internal_routine_name_ends_on_ch_3300thpart_67_of_internal_routine_name_ends_on_ch_3350thpart_68_of_internal_routine_name_ends_on_ch_3400thpart_69_of_internal_routine_name_ends_on_ch_3450thpart_70_of_internal_routine_name_ends_on_ch_3500thpart_71_of_internal_routine_name_ends_on_ch_3550thpart_72_of_internal_routine_name_ends_on_ch_3600thpart_73_of_internal_routine_name_ends_on_ch_3650thpart_74_of_internal_routine_name_ends_on_ch_3700thpart_75_of_internal_routine_name_ends_on_ch_3750thpart_76_of_internal_routine_name_ends_on_ch_3800thpart_77_of_internal_routine_name_ends_on_ch_3850thpart_78_of_internal_routine_name_ends_on_ch_3900thpart_79_of_internal_routine_name_ends_on_ch_3950thpart_80_of_internal_routine_name_ends_on_ch_4000thpart_81_of_internal_routine_name_ends_on_ch_4050thpart_82_of_internal_routine_name_ends_on_ch_4100thpart_83_of_internal_routine_name_ends_on_ch_4150thpart_84_of_internal_routine_name_ends_on_ch_4200thpart_85_of_internal_routine_name_ends_on_ch_4250thpart_86_of_internal_routine_name_ends_on_ch_4300thpart_87_of_internal_routine_name_ends_on_ch_4350thpart_88_of_internal_routine_name_ends_on_ch_4400thpart_89_of_internal_routine_name_ends_on_ch_4450thpart_90_of_internal_routine_name_ends_on_ch_4500thpart_91_of_internal_routine_name_ends_on_ch_4550thpart_92_of_internal_routine_name_ends_on_ch_4600thpart_93_of_internal_routine_name_ends_on_ch_4650thpart_94_of_internal_routine_name_ends_on_ch_4700thpart_95_of_internal_routine_name_ends_on_ch_4750thpart_96_of_internal_routine_name_ends_on_ch_4800thpart_97_of_internal_routine_name_ends_on_ch_4850thpart_98_of_internal_routine_name_ends_on_ch_4900thpart_99_of_internal_routine_name_ends_on_ch_4950thpart_00_of_internal_routine_name_ends_on_ch_5000th
260 q.call (Void)
261 io.put_integer (q.last_result)
262 io.put_new_line
263 -- Agent on external routine name: not supported
264 -- q := agent part_01_of_external_routine_name_ends_on_ch_0050thpart_02_of_external_routine_name_ends_on_ch_0100thpart_03_of_external_routine_name_ends_on_ch_0150thpart_04_of_external_routine_name_ends_on_ch_0200thpart_05_of_external_routine_name_ends_on_ch_0250thpart_06_of_external_routine_name_ends_on_ch_0300thpart_07_of_external_routine_name_ends_on_ch_0350thpart_08_of_external_routine_name_ends_on_ch_0400thpart_09_of_external_routine_name_ends_on_ch_0450thpart_10_of_external_routine_name_ends_on_ch_0500thpart_11_of_external_routine_name_ends_on_ch_0550thpart_12_of_external_routine_name_ends_on_ch_0600thpart_13_of_external_routine_name_ends_on_ch_0650thpart_14_of_external_routine_name_ends_on_ch_0700thpart_15_of_external_routine_name_ends_on_ch_0750thpart_16_of_external_routine_name_ends_on_ch_0800thpart_17_of_external_routine_name_ends_on_ch_0850thpart_18_of_external_routine_name_ends_on_ch_0900thpart_19_of_external_routine_name_ends_on_ch_0950thpart_20_of_external_routine_name_ends_on_ch_1000thpart_21_of_external_routine_name_ends_on_ch_1050thpart_22_of_external_routine_name_ends_on_ch_1100thpart_23_of_external_routine_name_ends_on_ch_1150thpart_24_of_external_routine_name_ends_on_ch_1200thpart_25_of_external_routine_name_ends_on_ch_1250thpart_26_of_external_routine_name_ends_on_ch_1300thpart_27_of_external_routine_name_ends_on_ch_1350thpart_28_of_external_routine_name_ends_on_ch_1400thpart_29_of_external_routine_name_ends_on_ch_1450thpart_30_of_external_routine_name_ends_on_ch_1500thpart_31_of_external_routine_name_ends_on_ch_1550thpart_32_of_external_routine_name_ends_on_ch_1600thpart_33_of_external_routine_name_ends_on_ch_1650thpart_34_of_external_routine_name_ends_on_ch_1700thpart_35_of_external_routine_name_ends_on_ch_1750thpart_36_of_external_routine_name_ends_on_ch_1800thpart_37_of_external_routine_name_ends_on_ch_1850thpart_38_of_external_routine_name_ends_on_ch_1900thpart_39_of_external_routine_name_ends_on_ch_1950thpart_40_of_external_routine_name_ends_on_ch_2000thpart_41_of_external_routine_name_ends_on_ch_2050thpart_42_of_external_routine_name_ends_on_ch_2100thpart_43_of_external_routine_name_ends_on_ch_2150thpart_44_of_external_routine_name_ends_on_ch_2200thpart_45_of_external_routine_name_ends_on_ch_2250thpart_46_of_external_routine_name_ends_on_ch_2300thpart_47_of_external_routine_name_ends_on_ch_2350thpart_48_of_external_routine_name_ends_on_ch_2400thpart_49_of_external_routine_name_ends_on_ch_2450thpart_50_of_external_routine_name_ends_on_ch_2500thpart_51_of_external_routine_name_ends_on_ch_2550thpart_52_of_external_routine_name_ends_on_ch_2600thpart_53_of_external_routine_name_ends_on_ch_2650thpart_54_of_external_routine_name_ends_on_ch_2700thpart_55_of_external_routine_name_ends_on_ch_2750thpart_56_of_external_routine_name_ends_on_ch_2800thpart_57_of_external_routine_name_ends_on_ch_2850thpart_58_of_external_routine_name_ends_on_ch_2900thpart_59_of_external_routine_name_ends_on_ch_2950thpart_60_of_external_routine_name_ends_on_ch_3000thpart_61_of_external_routine_name_ends_on_ch_3050thpart_62_of_external_routine_name_ends_on_ch_3100thpart_63_of_external_routine_name_ends_on_ch_3150thpart_64_of_external_routine_name_ends_on_ch_3200thpart_65_of_external_routine_name_ends_on_ch_3250thpart_66_of_external_routine_name_ends_on_ch_3300thpart_67_of_external_routine_name_ends_on_ch_3350thpart_68_of_external_routine_name_ends_on_ch_3400thpart_69_of_external_routine_name_ends_on_ch_3450thpart_70_of_external_routine_name_ends_on_ch_3500thpart_71_of_external_routine_name_ends_on_ch_3550thpart_72_of_external_routine_name_ends_on_ch_3600thpart_73_of_external_routine_name_ends_on_ch_3650thpart_74_of_external_routine_name_ends_on_ch_3700thpart_75_of_external_routine_name_ends_on_ch_3750thpart_76_of_external_routine_name_ends_on_ch_3800thpart_77_of_external_routine_name_ends_on_ch_3850thpart_78_of_external_routine_name_ends_on_ch_3900thpart_79_of_external_routine_name_ends_on_ch_3950thpart_80_of_external_routine_name_ends_on_ch_4000thpart_81_of_external_routine_name_ends_on_ch_4050thpart_82_of_external_routine_name_ends_on_ch_4100thpart_83_of_external_routine_name_ends_on_ch_4150thpart_84_of_external_routine_name_ends_on_ch_4200thpart_85_of_external_routine_name_ends_on_ch_4250thpart_86_of_external_routine_name_ends_on_ch_4300thpart_87_of_external_routine_name_ends_on_ch_4350thpart_88_of_external_routine_name_ends_on_ch_4400thpart_89_of_external_routine_name_ends_on_ch_4450thpart_90_of_external_routine_name_ends_on_ch_4500thpart_91_of_external_routine_name_ends_on_ch_4550thpart_92_of_external_routine_name_ends_on_ch_4600thpart_93_of_external_routine_name_ends_on_ch_4650thpart_94_of_external_routine_name_ends_on_ch_4700thpart_95_of_external_routine_name_ends_on_ch_4750thpart_96_of_external_routine_name_ends_on_ch_4800thpart_97_of_external_routine_name_ends_on_ch_4850thpart_98_of_external_routine_name_ends_on_ch_4900thpart_99_of_external_routine_name_ends_on_ch_4950thpart_00_of_external_routine_name_ends_on_ch_5000th
265 -- q.call (Void)
266 -- io.put_integer (q.last_result)
267 -- io.put_new_line
268
269 -- Address on attribute name
270 io.put_boolean (default_pointer.is_equal ($part_01_of_attribute_name_ends_on_character_0050thpart_02_of_attribute_name_ends_on_character_0100thpart_03_of_attribute_name_ends_on_character_0150thpart_04_of_attribute_name_ends_on_character_0200thpart_05_of_attribute_name_ends_on_character_0250thpart_06_of_attribute_name_ends_on_character_0300thpart_07_of_attribute_name_ends_on_character_0350thpart_08_of_attribute_name_ends_on_character_0400thpart_09_of_attribute_name_ends_on_character_0450thpart_10_of_attribute_name_ends_on_character_0500thpart_11_of_attribute_name_ends_on_character_0550thpart_12_of_attribute_name_ends_on_character_0600thpart_13_of_attribute_name_ends_on_character_0650thpart_14_of_attribute_name_ends_on_character_0700thpart_15_of_attribute_name_ends_on_character_0750thpart_16_of_attribute_name_ends_on_character_0800thpart_17_of_attribute_name_ends_on_character_0850thpart_18_of_attribute_name_ends_on_character_0900thpart_19_of_attribute_name_ends_on_character_0950thpart_20_of_attribute_name_ends_on_character_1000thpart_21_of_attribute_name_ends_on_character_1050thpart_22_of_attribute_name_ends_on_character_1100thpart_23_of_attribute_name_ends_on_character_1150thpart_24_of_attribute_name_ends_on_character_1200thpart_25_of_attribute_name_ends_on_character_1250thpart_26_of_attribute_name_ends_on_character_1300thpart_27_of_attribute_name_ends_on_character_1350thpart_28_of_attribute_name_ends_on_character_1400thpart_29_of_attribute_name_ends_on_character_1450thpart_30_of_attribute_name_ends_on_character_1500thpart_31_of_attribute_name_ends_on_character_1550thpart_32_of_attribute_name_ends_on_character_1600thpart_33_of_attribute_name_ends_on_character_1650thpart_34_of_attribute_name_ends_on_character_1700thpart_35_of_attribute_name_ends_on_character_1750thpart_36_of_attribute_name_ends_on_character_1800thpart_37_of_attribute_name_ends_on_character_1850thpart_38_of_attribute_name_ends_on_character_1900thpart_39_of_attribute_name_ends_on_character_1950thpart_40_of_attribute_name_ends_on_character_2000thpart_41_of_attribute_name_ends_on_character_2050thpart_42_of_attribute_name_ends_on_character_2100thpart_43_of_attribute_name_ends_on_character_2150thpart_44_of_attribute_name_ends_on_character_2200thpart_45_of_attribute_name_ends_on_character_2250thpart_46_of_attribute_name_ends_on_character_2300thpart_47_of_attribute_name_ends_on_character_2350thpart_48_of_attribute_name_ends_on_character_2400thpart_49_of_attribute_name_ends_on_character_2450thpart_50_of_attribute_name_ends_on_character_2500thpart_51_of_attribute_name_ends_on_character_2550thpart_52_of_attribute_name_ends_on_character_2600thpart_53_of_attribute_name_ends_on_character_2650thpart_54_of_attribute_name_ends_on_character_2700thpart_55_of_attribute_name_ends_on_character_2750thpart_56_of_attribute_name_ends_on_character_2800thpart_57_of_attribute_name_ends_on_character_2850thpart_58_of_attribute_name_ends_on_character_2900thpart_59_of_attribute_name_ends_on_character_2950thpart_60_of_attribute_name_ends_on_character_3000thpart_61_of_attribute_name_ends_on_character_3050thpart_62_of_attribute_name_ends_on_character_3100thpart_63_of_attribute_name_ends_on_character_3150thpart_64_of_attribute_name_ends_on_character_3200thpart_65_of_attribute_name_ends_on_character_3250thpart_66_of_attribute_name_ends_on_character_3300thpart_67_of_attribute_name_ends_on_character_3350thpart_68_of_attribute_name_ends_on_character_3400thpart_69_of_attribute_name_ends_on_character_3450thpart_70_of_attribute_name_ends_on_character_3500thpart_71_of_attribute_name_ends_on_character_3550thpart_72_of_attribute_name_ends_on_character_3600thpart_73_of_attribute_name_ends_on_character_3650thpart_74_of_attribute_name_ends_on_character_3700thpart_75_of_attribute_name_ends_on_character_3750thpart_76_of_attribute_name_ends_on_character_3800thpart_77_of_attribute_name_ends_on_character_3850thpart_78_of_attribute_name_ends_on_character_3900thpart_79_of_attribute_name_ends_on_character_3950thpart_80_of_attribute_name_ends_on_character_4000thpart_81_of_attribute_name_ends_on_character_4050thpart_82_of_attribute_name_ends_on_character_4100thpart_83_of_attribute_name_ends_on_character_4150thpart_84_of_attribute_name_ends_on_character_4200thpart_85_of_attribute_name_ends_on_character_4250thpart_86_of_attribute_name_ends_on_character_4300thpart_87_of_attribute_name_ends_on_character_4350thpart_88_of_attribute_name_ends_on_character_4400thpart_89_of_attribute_name_ends_on_character_4450thpart_90_of_attribute_name_ends_on_character_4500thpart_91_of_attribute_name_ends_on_character_4550thpart_92_of_attribute_name_ends_on_character_4600thpart_93_of_attribute_name_ends_on_character_4650thpart_94_of_attribute_name_ends_on_character_4700thpart_95_of_attribute_name_ends_on_character_4750thpart_96_of_attribute_name_ends_on_character_4800thpart_97_of_attribute_name_ends_on_character_4850thpart_98_of_attribute_name_ends_on_character_4900thpart_99_of_attribute_name_ends_on_character_4950thpart_00_of_attribute_name_ends_on_character_5000th))
271 io.put_new_line
272 -- Address on internal routine name
273 io.put_boolean (default_pointer.is_equal ($part_01_of_internal_routine_name_ends_on_ch_0050thpart_02_of_internal_routine_name_ends_on_ch_0100thpart_03_of_internal_routine_name_ends_on_ch_0150thpart_04_of_internal_routine_name_ends_on_ch_0200thpart_05_of_internal_routine_name_ends_on_ch_0250thpart_06_of_internal_routine_name_ends_on_ch_0300thpart_07_of_internal_routine_name_ends_on_ch_0350thpart_08_of_internal_routine_name_ends_on_ch_0400thpart_09_of_internal_routine_name_ends_on_ch_0450thpart_10_of_internal_routine_name_ends_on_ch_0500thpart_11_of_internal_routine_name_ends_on_ch_0550thpart_12_of_internal_routine_name_ends_on_ch_0600thpart_13_of_internal_routine_name_ends_on_ch_0650thpart_14_of_internal_routine_name_ends_on_ch_0700thpart_15_of_internal_routine_name_ends_on_ch_0750thpart_16_of_internal_routine_name_ends_on_ch_0800thpart_17_of_internal_routine_name_ends_on_ch_0850thpart_18_of_internal_routine_name_ends_on_ch_0900thpart_19_of_internal_routine_name_ends_on_ch_0950thpart_20_of_internal_routine_name_ends_on_ch_1000thpart_21_of_internal_routine_name_ends_on_ch_1050thpart_22_of_internal_routine_name_ends_on_ch_1100thpart_23_of_internal_routine_name_ends_on_ch_1150thpart_24_of_internal_routine_name_ends_on_ch_1200thpart_25_of_internal_routine_name_ends_on_ch_1250thpart_26_of_internal_routine_name_ends_on_ch_1300thpart_27_of_internal_routine_name_ends_on_ch_1350thpart_28_of_internal_routine_name_ends_on_ch_1400thpart_29_of_internal_routine_name_ends_on_ch_1450thpart_30_of_internal_routine_name_ends_on_ch_1500thpart_31_of_internal_routine_name_ends_on_ch_1550thpart_32_of_internal_routine_name_ends_on_ch_1600thpart_33_of_internal_routine_name_ends_on_ch_1650thpart_34_of_internal_routine_name_ends_on_ch_1700thpart_35_of_internal_routine_name_ends_on_ch_1750thpart_36_of_internal_routine_name_ends_on_ch_1800thpart_37_of_internal_routine_name_ends_on_ch_1850thpart_38_of_internal_routine_name_ends_on_ch_1900thpart_39_of_internal_routine_name_ends_on_ch_1950thpart_40_of_internal_routine_name_ends_on_ch_2000thpart_41_of_internal_routine_name_ends_on_ch_2050thpart_42_of_internal_routine_name_ends_on_ch_2100thpart_43_of_internal_routine_name_ends_on_ch_2150thpart_44_of_internal_routine_name_ends_on_ch_2200thpart_45_of_internal_routine_name_ends_on_ch_2250thpart_46_of_internal_routine_name_ends_on_ch_2300thpart_47_of_internal_routine_name_ends_on_ch_2350thpart_48_of_internal_routine_name_ends_on_ch_2400thpart_49_of_internal_routine_name_ends_on_ch_2450thpart_50_of_internal_routine_name_ends_on_ch_2500thpart_51_of_internal_routine_name_ends_on_ch_2550thpart_52_of_internal_routine_name_ends_on_ch_2600thpart_53_of_internal_routine_name_ends_on_ch_2650thpart_54_of_internal_routine_name_ends_on_ch_2700thpart_55_of_internal_routine_name_ends_on_ch_2750thpart_56_of_internal_routine_name_ends_on_ch_2800thpart_57_of_internal_routine_name_ends_on_ch_2850thpart_58_of_internal_routine_name_ends_on_ch_2900thpart_59_of_internal_routine_name_ends_on_ch_2950thpart_60_of_internal_routine_name_ends_on_ch_3000thpart_61_of_internal_routine_name_ends_on_ch_3050thpart_62_of_internal_routine_name_ends_on_ch_3100thpart_63_of_internal_routine_name_ends_on_ch_3150thpart_64_of_internal_routine_name_ends_on_ch_3200thpart_65_of_internal_routine_name_ends_on_ch_3250thpart_66_of_internal_routine_name_ends_on_ch_3300thpart_67_of_internal_routine_name_ends_on_ch_3350thpart_68_of_internal_routine_name_ends_on_ch_3400thpart_69_of_internal_routine_name_ends_on_ch_3450thpart_70_of_internal_routine_name_ends_on_ch_3500thpart_71_of_internal_routine_name_ends_on_ch_3550thpart_72_of_internal_routine_name_ends_on_ch_3600thpart_73_of_internal_routine_name_ends_on_ch_3650thpart_74_of_internal_routine_name_ends_on_ch_3700thpart_75_of_internal_routine_name_ends_on_ch_3750thpart_76_of_internal_routine_name_ends_on_ch_3800thpart_77_of_internal_routine_name_ends_on_ch_3850thpart_78_of_internal_routine_name_ends_on_ch_3900thpart_79_of_internal_routine_name_ends_on_ch_3950thpart_80_of_internal_routine_name_ends_on_ch_4000thpart_81_of_internal_routine_name_ends_on_ch_4050thpart_82_of_internal_routine_name_ends_on_ch_4100thpart_83_of_internal_routine_name_ends_on_ch_4150thpart_84_of_internal_routine_name_ends_on_ch_4200thpart_85_of_internal_routine_name_ends_on_ch_4250thpart_86_of_internal_routine_name_ends_on_ch_4300thpart_87_of_internal_routine_name_ends_on_ch_4350thpart_88_of_internal_routine_name_ends_on_ch_4400thpart_89_of_internal_routine_name_ends_on_ch_4450thpart_90_of_internal_routine_name_ends_on_ch_4500thpart_91_of_internal_routine_name_ends_on_ch_4550thpart_92_of_internal_routine_name_ends_on_ch_4600thpart_93_of_internal_routine_name_ends_on_ch_4650thpart_94_of_internal_routine_name_ends_on_ch_4700thpart_95_of_internal_routine_name_ends_on_ch_4750thpart_96_of_internal_routine_name_ends_on_ch_4800thpart_97_of_internal_routine_name_ends_on_ch_4850thpart_98_of_internal_routine_name_ends_on_ch_4900thpart_99_of_internal_routine_name_ends_on_ch_4950thpart_00_of_internal_routine_name_ends_on_ch_5000th))
274 io.put_new_line
275 -- Address on external routine name: not supported
276 -- io.put_boolean (default_pointer.is_equal ($part_01_of_external_routine_name_ends_on_ch_0050thpart_02_of_external_routine_name_ends_on_ch_0100thpart_03_of_external_routine_name_ends_on_ch_0150thpart_04_of_external_routine_name_ends_on_ch_0200thpart_05_of_external_routine_name_ends_on_ch_0250thpart_06_of_external_routine_name_ends_on_ch_0300thpart_07_of_external_routine_name_ends_on_ch_0350thpart_08_of_external_routine_name_ends_on_ch_0400thpart_09_of_external_routine_name_ends_on_ch_0450thpart_10_of_external_routine_name_ends_on_ch_0500thpart_11_of_external_routine_name_ends_on_ch_0550thpart_12_of_external_routine_name_ends_on_ch_0600thpart_13_of_external_routine_name_ends_on_ch_0650thpart_14_of_external_routine_name_ends_on_ch_0700thpart_15_of_external_routine_name_ends_on_ch_0750thpart_16_of_external_routine_name_ends_on_ch_0800thpart_17_of_external_routine_name_ends_on_ch_0850thpart_18_of_external_routine_name_ends_on_ch_0900thpart_19_of_external_routine_name_ends_on_ch_0950thpart_20_of_external_routine_name_ends_on_ch_1000thpart_21_of_external_routine_name_ends_on_ch_1050thpart_22_of_external_routine_name_ends_on_ch_1100thpart_23_of_external_routine_name_ends_on_ch_1150thpart_24_of_external_routine_name_ends_on_ch_1200thpart_25_of_external_routine_name_ends_on_ch_1250thpart_26_of_external_routine_name_ends_on_ch_1300thpart_27_of_external_routine_name_ends_on_ch_1350thpart_28_of_external_routine_name_ends_on_ch_1400thpart_29_of_external_routine_name_ends_on_ch_1450thpart_30_of_external_routine_name_ends_on_ch_1500thpart_31_of_external_routine_name_ends_on_ch_1550thpart_32_of_external_routine_name_ends_on_ch_1600thpart_33_of_external_routine_name_ends_on_ch_1650thpart_34_of_external_routine_name_ends_on_ch_1700thpart_35_of_external_routine_name_ends_on_ch_1750thpart_36_of_external_routine_name_ends_on_ch_1800thpart_37_of_external_routine_name_ends_on_ch_1850thpart_38_of_external_routine_name_ends_on_ch_1900thpart_39_of_external_routine_name_ends_on_ch_1950thpart_40_of_external_routine_name_ends_on_ch_2000thpart_41_of_external_routine_name_ends_on_ch_2050thpart_42_of_external_routine_name_ends_on_ch_2100thpart_43_of_external_routine_name_ends_on_ch_2150thpart_44_of_external_routine_name_ends_on_ch_2200thpart_45_of_external_routine_name_ends_on_ch_2250thpart_46_of_external_routine_name_ends_on_ch_2300thpart_47_of_external_routine_name_ends_on_ch_2350thpart_48_of_external_routine_name_ends_on_ch_2400thpart_49_of_external_routine_name_ends_on_ch_2450thpart_50_of_external_routine_name_ends_on_ch_2500thpart_51_of_external_routine_name_ends_on_ch_2550thpart_52_of_external_routine_name_ends_on_ch_2600thpart_53_of_external_routine_name_ends_on_ch_2650thpart_54_of_external_routine_name_ends_on_ch_2700thpart_55_of_external_routine_name_ends_on_ch_2750thpart_56_of_external_routine_name_ends_on_ch_2800thpart_57_of_external_routine_name_ends_on_ch_2850thpart_58_of_external_routine_name_ends_on_ch_2900thpart_59_of_external_routine_name_ends_on_ch_2950thpart_60_of_external_routine_name_ends_on_ch_3000thpart_61_of_external_routine_name_ends_on_ch_3050thpart_62_of_external_routine_name_ends_on_ch_3100thpart_63_of_external_routine_name_ends_on_ch_3150thpart_64_of_external_routine_name_ends_on_ch_3200thpart_65_of_external_routine_name_ends_on_ch_3250thpart_66_of_external_routine_name_ends_on_ch_3300thpart_67_of_external_routine_name_ends_on_ch_3350thpart_68_of_external_routine_name_ends_on_ch_3400thpart_69_of_external_routine_name_ends_on_ch_3450thpart_70_of_external_routine_name_ends_on_ch_3500thpart_71_of_external_routine_name_ends_on_ch_3550thpart_72_of_external_routine_name_ends_on_ch_3600thpart_73_of_external_routine_name_ends_on_ch_3650thpart_74_of_external_routine_name_ends_on_ch_3700thpart_75_of_external_routine_name_ends_on_ch_3750thpart_76_of_external_routine_name_ends_on_ch_3800thpart_77_of_external_routine_name_ends_on_ch_3850thpart_78_of_external_routine_name_ends_on_ch_3900thpart_79_of_external_routine_name_ends_on_ch_3950thpart_80_of_external_routine_name_ends_on_ch_4000thpart_81_of_external_routine_name_ends_on_ch_4050thpart_82_of_external_routine_name_ends_on_ch_4100thpart_83_of_external_routine_name_ends_on_ch_4150thpart_84_of_external_routine_name_ends_on_ch_4200thpart_85_of_external_routine_name_ends_on_ch_4250thpart_86_of_external_routine_name_ends_on_ch_4300thpart_87_of_external_routine_name_ends_on_ch_4350thpart_88_of_external_routine_name_ends_on_ch_4400thpart_89_of_external_routine_name_ends_on_ch_4450thpart_90_of_external_routine_name_ends_on_ch_4500thpart_91_of_external_routine_name_ends_on_ch_4550thpart_92_of_external_routine_name_ends_on_ch_4600thpart_93_of_external_routine_name_ends_on_ch_4650thpart_94_of_external_routine_name_ends_on_ch_4700thpart_95_of_external_routine_name_ends_on_ch_4750thpart_96_of_external_routine_name_ends_on_ch_4800thpart_97_of_external_routine_name_ends_on_ch_4850thpart_98_of_external_routine_name_ends_on_ch_4900thpart_99_of_external_routine_name_ends_on_ch_4950thpart_00_of_external_routine_name_ends_on_ch_5000th))
277 -- io.put_new_line
278 end
279
280 feature -- Tests
281
282 s: STRING is "%
283 %01. This line ends at 0050-th character of string.%
284 %02. This line ends at 0100-th character of string.%
285 %03. This line ends at 0150-th character of string.%
286 %04. This line ends at 0200-th character of string.%
287 %05. This line ends at 0250-th character of string.%
288 %06. This line ends at 0300-th character of string.%
289 %07. This line ends at 0350-th character of string.%
290 %08. This line ends at 0400-th character of string.%
291 %09. This line ends at 0450-th character of string.%
292 %10. This line ends at 0500-th character of string.%
293 %11. This line ends at 0550-th character of string.%
294 %12. This line ends at 0600-th character of string.%
295 %13. This line ends at 0650-th character of string.%
296 %14. This line ends at 0700-th character of string.%
297 %15. This line ends at 0750-th character of string.%
298 %16. This line ends at 0800-th character of string.%
299 %17. This line ends at 0850-th character of string.%
300 %18. This line ends at 0900-th character of string.%
301 %19. This line ends at 0950-th character of string.%
302 %20. This line ends at 1000-th character of string.%
303 %21. This line ends at 1050-th character of string.%
304 %22. This line ends at 1100-th character of string.%
305 %23. This line ends at 1150-th character of string.%
306 %24. This line ends at 1200-th character of string.%
307 %25. This line ends at 1250-th character of string.%
308 %26. This line ends at 1300-th character of string.%
309 %27. This line ends at 1350-th character of string.%
310 %28. This line ends at 1400-th character of string.%
311 %29. This line ends at 1450-th character of string.%
312 %30. This line ends at 1500-th character of string.%
313 %31. This line ends at 1550-th character of string.%
314 %32. This line ends at 1600-th character of string.%
315 %33. This line ends at 1650-th character of string.%
316 %34. This line ends at 1700-th character of string.%
317 %35. This line ends at 1750-th character of string.%
318 %36. This line ends at 1800-th character of string.%
319 %37. This line ends at 1850-th character of string.%
320 %38. This line ends at 1900-th character of string.%
321 %39. This line ends at 1950-th character of string.%
322 %40. This line ends at 2000-th character of string.%
323 %41. This line ends at 2050-th character of string.%
324 %42. This line ends at 2100-th character of string.%
325 %43. This line ends at 2150-th character of string.%
326 %44. This line ends at 2200-th character of string.%
327 %45. This line ends at 2250-th character of string.%
328 %46. This line ends at 2300-th character of string.%
329 %47. This line ends at 2350-th character of string.%
330 %48. This line ends at 2400-th character of string.%
331 %49. This line ends at 2450-th character of string.%
332 %50. This line ends at 2500-th character of string.%
333 %51. This line ends at 2550-th character of string.%
334 %52. This line ends at 2600-th character of string.%
335 %53. This line ends at 2650-th character of string.%
336 %54. This line ends at 2700-th character of string.%
337 %55. This line ends at 2750-th character of string.%
338 %56. This line ends at 2800-th character of string.%
339 %57. This line ends at 2850-th character of string.%
340 %58. This line ends at 2900-th character of string.%
341 %59. This line ends at 2950-th character of string.%
342 %60. This line ends at 3000-th character of string.%
343 %61. This line ends at 3050-th character of string.%
344 %62. This line ends at 3100-th character of string.%
345 %63. This line ends at 3150-th character of string.%
346 %64. This line ends at 3200-th character of string.%
347 %65. This line ends at 3250-th character of string.%
348 %66. This line ends at 3300-th character of string.%
349 %67. This line ends at 3350-th character of string.%
350 %68. This line ends at 3400-th character of string.%
351 %69. This line ends at 3450-th character of string.%
352 %70. This line ends at 3500-th character of string.%
353 %71. This line ends at 3550-th character of string.%
354 %72. This line ends at 3600-th character of string.%
355 %73. This line ends at 3650-th character of string.%
356 %74. This line ends at 3700-th character of string.%
357 %75. This line ends at 3750-th character of string.%
358 %76. This line ends at 3800-th character of string.%
359 %77. This line ends at 3850-th character of string.%
360 %78. This line ends at 3900-th character of string.%
361 %79. This line ends at 3950-th character of string.%
362 %80. This line ends at 4000-th character of string.%
363 %81. This line ends at 4050-th character of string.%
364 %82. This line ends at 4100-th character of string.%
365 %83. This line ends at 4150-th character of string.%
366 %84. This line ends at 4200-th character of string.%
367 %85. This line ends at 4250-th character of string.%
368 %86. This line ends at 4300-th character of string.%
369 %87. This line ends at 4350-th character of string.%
370 %88. This line ends at 4400-th character of string.%
371 %89. This line ends at 4450-th character of string.%
372 %90. This line ends at 4500-th character of string.%
373 %91. This line ends at 4550-th character of string.%
374 %92. This line ends at 4600-th character of string.%
375 %93. This line ends at 4650-th character of string.%
376 %94. This line ends at 4700-th character of string.%
377 %95. This line ends at 4750-th character of string.%
378 %96. This line ends at 4800-th character of string.%
379 %97. This line ends at 4850-th character of string.%
380 %98. This line ends at 4900-th character of string.%
381 %99. This line ends at 4950-th character of string.%
382 %00. This line ends at 5000-th character of string.%
383 %"
384
385 part_01_of_attribute_name_ends_on_character_0050thpart_02_of_attribute_name_ends_on_character_0100thpart_03_of_attribute_name_ends_on_character_0150thpart_04_of_attribute_name_ends_on_character_0200thpart_05_of_attribute_name_ends_on_character_0250thpart_06_of_attribute_name_ends_on_character_0300thpart_07_of_attribute_name_ends_on_character_0350thpart_08_of_attribute_name_ends_on_character_0400thpart_09_of_attribute_name_ends_on_character_0450thpart_10_of_attribute_name_ends_on_character_0500thpart_11_of_attribute_name_ends_on_character_0550thpart_12_of_attribute_name_ends_on_character_0600thpart_13_of_attribute_name_ends_on_character_0650thpart_14_of_attribute_name_ends_on_character_0700thpart_15_of_attribute_name_ends_on_character_0750thpart_16_of_attribute_name_ends_on_character_0800thpart_17_of_attribute_name_ends_on_character_0850thpart_18_of_attribute_name_ends_on_character_0900thpart_19_of_attribute_name_ends_on_character_0950thpart_20_of_attribute_name_ends_on_character_1000thpart_21_of_attribute_name_ends_on_character_1050thpart_22_of_attribute_name_ends_on_character_1100thpart_23_of_attribute_name_ends_on_character_1150thpart_24_of_attribute_name_ends_on_character_1200thpart_25_of_attribute_name_ends_on_character_1250thpart_26_of_attribute_name_ends_on_character_1300thpart_27_of_attribute_name_ends_on_character_1350thpart_28_of_attribute_name_ends_on_character_1400thpart_29_of_attribute_name_ends_on_character_1450thpart_30_of_attribute_name_ends_on_character_1500thpart_31_of_attribute_name_ends_on_character_1550thpart_32_of_attribute_name_ends_on_character_1600thpart_33_of_attribute_name_ends_on_character_1650thpart_34_of_attribute_name_ends_on_character_1700thpart_35_of_attribute_name_ends_on_character_1750thpart_36_of_attribute_name_ends_on_character_1800thpart_37_of_attribute_name_ends_on_character_1850thpart_38_of_attribute_name_ends_on_character_1900thpart_39_of_attribute_name_ends_on_character_1950thpart_40_of_attribute_name_ends_on_character_2000thpart_41_of_attribute_name_ends_on_character_2050thpart_42_of_attribute_name_ends_on_character_2100thpart_43_of_attribute_name_ends_on_character_2150thpart_44_of_attribute_name_ends_on_character_2200thpart_45_of_attribute_name_ends_on_character_2250thpart_46_of_attribute_name_ends_on_character_2300thpart_47_of_attribute_name_ends_on_character_2350thpart_48_of_attribute_name_ends_on_character_2400thpart_49_of_attribute_name_ends_on_character_2450thpart_50_of_attribute_name_ends_on_character_2500thpart_51_of_attribute_name_ends_on_character_2550thpart_52_of_attribute_name_ends_on_character_2600thpart_53_of_attribute_name_ends_on_character_2650thpart_54_of_attribute_name_ends_on_character_2700thpart_55_of_attribute_name_ends_on_character_2750thpart_56_of_attribute_name_ends_on_character_2800thpart_57_of_attribute_name_ends_on_character_2850thpart_58_of_attribute_name_ends_on_character_2900thpart_59_of_attribute_name_ends_on_character_2950thpart_60_of_attribute_name_ends_on_character_3000thpart_61_of_attribute_name_ends_on_character_3050thpart_62_of_attribute_name_ends_on_character_3100thpart_63_of_attribute_name_ends_on_character_3150thpart_64_of_attribute_name_ends_on_character_3200thpart_65_of_attribute_name_ends_on_character_3250thpart_66_of_attribute_name_ends_on_character_3300thpart_67_of_attribute_name_ends_on_character_3350thpart_68_of_attribute_name_ends_on_character_3400thpart_69_of_attribute_name_ends_on_character_3450thpart_70_of_attribute_name_ends_on_character_3500thpart_71_of_attribute_name_ends_on_character_3550thpart_72_of_attribute_name_ends_on_character_3600thpart_73_of_attribute_name_ends_on_character_3650thpart_74_of_attribute_name_ends_on_character_3700thpart_75_of_attribute_name_ends_on_character_3750thpart_76_of_attribute_name_ends_on_character_3800thpart_77_of_attribute_name_ends_on_character_3850thpart_78_of_attribute_name_ends_on_character_3900thpart_79_of_attribute_name_ends_on_character_3950thpart_80_of_attribute_name_ends_on_character_4000thpart_81_of_attribute_name_ends_on_character_4050thpart_82_of_attribute_name_ends_on_character_4100thpart_83_of_attribute_name_ends_on_character_4150thpart_84_of_attribute_name_ends_on_character_4200thpart_85_of_attribute_name_ends_on_character_4250thpart_86_of_attribute_name_ends_on_character_4300thpart_87_of_attribute_name_ends_on_character_4350thpart_88_of_attribute_name_ends_on_character_4400thpart_89_of_attribute_name_ends_on_character_4450thpart_90_of_attribute_name_ends_on_character_4500thpart_91_of_attribute_name_ends_on_character_4550thpart_92_of_attribute_name_ends_on_character_4600thpart_93_of_attribute_name_ends_on_character_4650thpart_94_of_attribute_name_ends_on_character_4700thpart_95_of_attribute_name_ends_on_character_4750thpart_96_of_attribute_name_ends_on_character_4800thpart_97_of_attribute_name_ends_on_character_4850thpart_98_of_attribute_name_ends_on_character_4900thpart_99_of_attribute_name_ends_on_character_4950thpart_00_of_attribute_name_ends_on_character_5000th: ARRAY [STRING]
386 -- Attribute should be a generic derivation to reproduce error
387
388 part_01_of_internal_routine_name_ends_on_ch_0050thpart_02_of_internal_routine_name_ends_on_ch_0100thpart_03_of_internal_routine_name_ends_on_ch_0150thpart_04_of_internal_routine_name_ends_on_ch_0200thpart_05_of_internal_routine_name_ends_on_ch_0250thpart_06_of_internal_routine_name_ends_on_ch_0300thpart_07_of_internal_routine_name_ends_on_ch_0350thpart_08_of_internal_routine_name_ends_on_ch_0400thpart_09_of_internal_routine_name_ends_on_ch_0450thpart_10_of_internal_routine_name_ends_on_ch_0500thpart_11_of_internal_routine_name_ends_on_ch_0550thpart_12_of_internal_routine_name_ends_on_ch_0600thpart_13_of_internal_routine_name_ends_on_ch_0650thpart_14_of_internal_routine_name_ends_on_ch_0700thpart_15_of_internal_routine_name_ends_on_ch_0750thpart_16_of_internal_routine_name_ends_on_ch_0800thpart_17_of_internal_routine_name_ends_on_ch_0850thpart_18_of_internal_routine_name_ends_on_ch_0900thpart_19_of_internal_routine_name_ends_on_ch_0950thpart_20_of_internal_routine_name_ends_on_ch_1000thpart_21_of_internal_routine_name_ends_on_ch_1050thpart_22_of_internal_routine_name_ends_on_ch_1100thpart_23_of_internal_routine_name_ends_on_ch_1150thpart_24_of_internal_routine_name_ends_on_ch_1200thpart_25_of_internal_routine_name_ends_on_ch_1250thpart_26_of_internal_routine_name_ends_on_ch_1300thpart_27_of_internal_routine_name_ends_on_ch_1350thpart_28_of_internal_routine_name_ends_on_ch_1400thpart_29_of_internal_routine_name_ends_on_ch_1450thpart_30_of_internal_routine_name_ends_on_ch_1500thpart_31_of_internal_routine_name_ends_on_ch_1550thpart_32_of_internal_routine_name_ends_on_ch_1600thpart_33_of_internal_routine_name_ends_on_ch_1650thpart_34_of_internal_routine_name_ends_on_ch_1700thpart_35_of_internal_routine_name_ends_on_ch_1750thpart_36_of_internal_routine_name_ends_on_ch_1800thpart_37_of_internal_routine_name_ends_on_ch_1850thpart_38_of_internal_routine_name_ends_on_ch_1900thpart_39_of_internal_routine_name_ends_on_ch_1950thpart_40_of_internal_routine_name_ends_on_ch_2000thpart_41_of_internal_routine_name_ends_on_ch_2050thpart_42_of_internal_routine_name_ends_on_ch_2100thpart_43_of_internal_routine_name_ends_on_ch_2150thpart_44_of_internal_routine_name_ends_on_ch_2200thpart_45_of_internal_routine_name_ends_on_ch_2250thpart_46_of_internal_routine_name_ends_on_ch_2300thpart_47_of_internal_routine_name_ends_on_ch_2350thpart_48_of_internal_routine_name_ends_on_ch_2400thpart_49_of_internal_routine_name_ends_on_ch_2450thpart_50_of_internal_routine_name_ends_on_ch_2500thpart_51_of_internal_routine_name_ends_on_ch_2550thpart_52_of_internal_routine_name_ends_on_ch_2600thpart_53_of_internal_routine_name_ends_on_ch_2650thpart_54_of_internal_routine_name_ends_on_ch_2700thpart_55_of_internal_routine_name_ends_on_ch_2750thpart_56_of_internal_routine_name_ends_on_ch_2800thpart_57_of_internal_routine_name_ends_on_ch_2850thpart_58_of_internal_routine_name_ends_on_ch_2900thpart_59_of_internal_routine_name_ends_on_ch_2950thpart_60_of_internal_routine_name_ends_on_ch_3000thpart_61_of_internal_routine_name_ends_on_ch_3050thpart_62_of_internal_routine_name_ends_on_ch_3100thpart_63_of_internal_routine_name_ends_on_ch_3150thpart_64_of_internal_routine_name_ends_on_ch_3200thpart_65_of_internal_routine_name_ends_on_ch_3250thpart_66_of_internal_routine_name_ends_on_ch_3300thpart_67_of_internal_routine_name_ends_on_ch_3350thpart_68_of_internal_routine_name_ends_on_ch_3400thpart_69_of_internal_routine_name_ends_on_ch_3450thpart_70_of_internal_routine_name_ends_on_ch_3500thpart_71_of_internal_routine_name_ends_on_ch_3550thpart_72_of_internal_routine_name_ends_on_ch_3600thpart_73_of_internal_routine_name_ends_on_ch_3650thpart_74_of_internal_routine_name_ends_on_ch_3700thpart_75_of_internal_routine_name_ends_on_ch_3750thpart_76_of_internal_routine_name_ends_on_ch_3800thpart_77_of_internal_routine_name_ends_on_ch_3850thpart_78_of_internal_routine_name_ends_on_ch_3900thpart_79_of_internal_routine_name_ends_on_ch_3950thpart_80_of_internal_routine_name_ends_on_ch_4000thpart_81_of_internal_routine_name_ends_on_ch_4050thpart_82_of_internal_routine_name_ends_on_ch_4100thpart_83_of_internal_routine_name_ends_on_ch_4150thpart_84_of_internal_routine_name_ends_on_ch_4200thpart_85_of_internal_routine_name_ends_on_ch_4250thpart_86_of_internal_routine_name_ends_on_ch_4300thpart_87_of_internal_routine_name_ends_on_ch_4350thpart_88_of_internal_routine_name_ends_on_ch_4400thpart_89_of_internal_routine_name_ends_on_ch_4450thpart_90_of_internal_routine_name_ends_on_ch_4500thpart_91_of_internal_routine_name_ends_on_ch_4550thpart_92_of_internal_routine_name_ends_on_ch_4600thpart_93_of_internal_routine_name_ends_on_ch_4650thpart_94_of_internal_routine_name_ends_on_ch_4700thpart_95_of_internal_routine_name_ends_on_ch_4750thpart_96_of_internal_routine_name_ends_on_ch_4800thpart_97_of_internal_routine_name_ends_on_ch_4850thpart_98_of_internal_routine_name_ends_on_ch_4900thpart_99_of_internal_routine_name_ends_on_ch_4950thpart_00_of_internal_routine_name_ends_on_ch_5000th: INTEGER is
389 do
390 Result := 5000
391 end
392
393 part_01_of_external_routine_name_ends_on_ch_0050thpart_02_of_external_routine_name_ends_on_ch_0100thpart_03_of_external_routine_name_ends_on_ch_0150thpart_04_of_external_routine_name_ends_on_ch_0200thpart_05_of_external_routine_name_ends_on_ch_0250thpart_06_of_external_routine_name_ends_on_ch_0300thpart_07_of_external_routine_name_ends_on_ch_0350thpart_08_of_external_routine_name_ends_on_ch_0400thpart_09_of_external_routine_name_ends_on_ch_0450thpart_10_of_external_routine_name_ends_on_ch_0500thpart_11_of_external_routine_name_ends_on_ch_0550thpart_12_of_external_routine_name_ends_on_ch_0600thpart_13_of_external_routine_name_ends_on_ch_0650thpart_14_of_external_routine_name_ends_on_ch_0700thpart_15_of_external_routine_name_ends_on_ch_0750thpart_16_of_external_routine_name_ends_on_ch_0800thpart_17_of_external_routine_name_ends_on_ch_0850thpart_18_of_external_routine_name_ends_on_ch_0900thpart_19_of_external_routine_name_ends_on_ch_0950thpart_20_of_external_routine_name_ends_on_ch_1000thpart_21_of_external_routine_name_ends_on_ch_1050thpart_22_of_external_routine_name_ends_on_ch_1100thpart_23_of_external_routine_name_ends_on_ch_1150thpart_24_of_external_routine_name_ends_on_ch_1200thpart_25_of_external_routine_name_ends_on_ch_1250thpart_26_of_external_routine_name_ends_on_ch_1300thpart_27_of_external_routine_name_ends_on_ch_1350thpart_28_of_external_routine_name_ends_on_ch_1400thpart_29_of_external_routine_name_ends_on_ch_1450thpart_30_of_external_routine_name_ends_on_ch_1500thpart_31_of_external_routine_name_ends_on_ch_1550thpart_32_of_external_routine_name_ends_on_ch_1600thpart_33_of_external_routine_name_ends_on_ch_1650thpart_34_of_external_routine_name_ends_on_ch_1700thpart_35_of_external_routine_name_ends_on_ch_1750thpart_36_of_external_routine_name_ends_on_ch_1800thpart_37_of_external_routine_name_ends_on_ch_1850thpart_38_of_external_routine_name_ends_on_ch_1900thpart_39_of_external_routine_name_ends_on_ch_1950thpart_40_of_external_routine_name_ends_on_ch_2000thpart_41_of_external_routine_name_ends_on_ch_2050thpart_42_of_external_routine_name_ends_on_ch_2100thpart_43_of_external_routine_name_ends_on_ch_2150thpart_44_of_external_routine_name_ends_on_ch_2200thpart_45_of_external_routine_name_ends_on_ch_2250thpart_46_of_external_routine_name_ends_on_ch_2300thpart_47_of_external_routine_name_ends_on_ch_2350thpart_48_of_external_routine_name_ends_on_ch_2400thpart_49_of_external_routine_name_ends_on_ch_2450thpart_50_of_external_routine_name_ends_on_ch_2500thpart_51_of_external_routine_name_ends_on_ch_2550thpart_52_of_external_routine_name_ends_on_ch_2600thpart_53_of_external_routine_name_ends_on_ch_2650thpart_54_of_external_routine_name_ends_on_ch_2700thpart_55_of_external_routine_name_ends_on_ch_2750thpart_56_of_external_routine_name_ends_on_ch_2800thpart_57_of_external_routine_name_ends_on_ch_2850thpart_58_of_external_routine_name_ends_on_ch_2900thpart_59_of_external_routine_name_ends_on_ch_2950thpart_60_of_external_routine_name_ends_on_ch_3000thpart_61_of_external_routine_name_ends_on_ch_3050thpart_62_of_external_routine_name_ends_on_ch_3100thpart_63_of_external_routine_name_ends_on_ch_3150thpart_64_of_external_routine_name_ends_on_ch_3200thpart_65_of_external_routine_name_ends_on_ch_3250thpart_66_of_external_routine_name_ends_on_ch_3300thpart_67_of_external_routine_name_ends_on_ch_3350thpart_68_of_external_routine_name_ends_on_ch_3400thpart_69_of_external_routine_name_ends_on_ch_3450thpart_70_of_external_routine_name_ends_on_ch_3500thpart_71_of_external_routine_name_ends_on_ch_3550thpart_72_of_external_routine_name_ends_on_ch_3600thpart_73_of_external_routine_name_ends_on_ch_3650thpart_74_of_external_routine_name_ends_on_ch_3700thpart_75_of_external_routine_name_ends_on_ch_3750thpart_76_of_external_routine_name_ends_on_ch_3800thpart_77_of_external_routine_name_ends_on_ch_3850thpart_78_of_external_routine_name_ends_on_ch_3900thpart_79_of_external_routine_name_ends_on_ch_3950thpart_80_of_external_routine_name_ends_on_ch_4000thpart_81_of_external_routine_name_ends_on_ch_4050thpart_82_of_external_routine_name_ends_on_ch_4100thpart_83_of_external_routine_name_ends_on_ch_4150thpart_84_of_external_routine_name_ends_on_ch_4200thpart_85_of_external_routine_name_ends_on_ch_4250thpart_86_of_external_routine_name_ends_on_ch_4300thpart_87_of_external_routine_name_ends_on_ch_4350thpart_88_of_external_routine_name_ends_on_ch_4400thpart_89_of_external_routine_name_ends_on_ch_4450thpart_90_of_external_routine_name_ends_on_ch_4500thpart_91_of_external_routine_name_ends_on_ch_4550thpart_92_of_external_routine_name_ends_on_ch_4600thpart_93_of_external_routine_name_ends_on_ch_4650thpart_94_of_external_routine_name_ends_on_ch_4700thpart_95_of_external_routine_name_ends_on_ch_4750thpart_96_of_external_routine_name_ends_on_ch_4800thpart_97_of_external_routine_name_ends_on_ch_4850thpart_98_of_external_routine_name_ends_on_ch_4900thpart_99_of_external_routine_name_ends_on_ch_4950thpart_00_of_external_routine_name_ends_on_ch_5000th: INTEGER is
394 external "C inline"
395 alias "5000"
396 end
397
398 feature -- Section 3: type names
399
400 c: PART_01_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0050THPART_02_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0100THPART_03_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0150THPART_04_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0200THPART_05_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0250THPART_06_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0300THPART_07_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0350THPART_08_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0400THPART_09_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0450THPART_10_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0500THPART_11_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0550THPART_12_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0600THPART_13_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0650THPART_14_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0700THPART_15_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0750THPART_16_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0800THPART_17_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0850THPART_18_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0900THPART_19_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_0950THPART_20_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1000THPART_21_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1050THPART_22_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1100THPART_23_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1150THPART_24_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1200THPART_25_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1250THPART_26_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1300THPART_27_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1350THPART_28_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1400THPART_29_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1450THPART_30_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1500THPART_31_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1550THPART_32_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1600THPART_33_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1650THPART_34_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1700THPART_35_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1750THPART_36_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1800THPART_37_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1850THPART_38_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1900THPART_39_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_1950THPART_40_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2000THPART_41_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2050THPART_42_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2100THPART_43_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2150THPART_44_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2200THPART_45_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2250THPART_46_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2300THPART_47_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2350THPART_48_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2400THPART_49_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2450THPART_50_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2500THPART_51_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2550THPART_52_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2600THPART_53_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2650THPART_54_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2700THPART_55_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2750THPART_56_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2800THPART_57_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2850THPART_58_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2900THPART_59_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_2950THPART_60_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3000THPART_61_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3050THPART_62_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3100THPART_63_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3150THPART_64_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3200THPART_65_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3250THPART_66_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3300THPART_67_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3350THPART_68_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3400THPART_69_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3450THPART_70_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3500THPART_71_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3550THPART_72_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3600THPART_73_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3650THPART_74_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3700THPART_75_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3750THPART_76_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3800THPART_77_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3850THPART_78_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3900THPART_79_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_3950THPART_80_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4000THPART_81_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4050THPART_82_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4100THPART_83_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4150THPART_84_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4200THPART_85_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4250THPART_86_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4300THPART_87_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4350THPART_88_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4400THPART_89_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4450THPART_90_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4500THPART_91_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4550THPART_92_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4600THPART_93_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4650THPART_94_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4700THPART_95_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4750THPART_96_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4800THPART_97_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4850THPART_98_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4900THPART_99_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_4950THPART_00_OF_THE_CLASS_NAME_ENDS_ON_CHARACTER_5000TH
401
402 end

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.23