/[eiffelstudio]/vendor/gobosoft.com/gobo/4.0d/library/tools/src/eiffel/ast/misc/et_token_constants.e
ViewVC logotype

Contents of /vendor/gobosoft.com/gobo/4.0d/library/tools/src/eiffel/ast/misc/et_token_constants.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 98698 - (show annotations)
Mon May 9 13:53:54 2016 UTC (3 years, 5 months ago) by manus
File size: 126995 byte(s)
Update 4.0d version with changes in Gobo from 2016/05/09

1 note
2
3 description:
4
5 "Eiffel token and symbol constants"
6
7 library: "Gobo Eiffel Tools Library"
8 copyright: "Copyright (c) 2004-2016, Eric Bezault and others"
9 license: "MIT License"
10 date: "$Date$"
11 revision: "$Revision$"
12
13 class ET_TOKEN_CONSTANTS
14
15 inherit
16
17 ET_TOKEN_CODES
18
19 feature -- Class names
20
21 any_class_name: ET_CLASS_NAME
22 -- "ANY" class name
23 once
24 create {ET_IDENTIFIER} Result.make (capitalized_any_name)
25 ensure
26 any_class_name_not_void: Result /= Void
27 end
28
29 arguments_32_class_name: ET_CLASS_NAME
30 -- "ARGUMENTS_32" class name
31 once
32 create {ET_IDENTIFIER} Result.make (capitalized_arguments_32_name)
33 ensure
34 arguments_32_class_name_not_void: Result /= Void
35 end
36
37 array_class_name: ET_CLASS_NAME
38 -- "ARRAY" class name
39 once
40 create {ET_IDENTIFIER} Result.make (capitalized_array_name)
41 ensure
42 array_class_name_not_void: Result /= Void
43 end
44
45 boolean_class_name: ET_CLASS_NAME
46 -- "BOOLEAN" class name
47 once
48 create {ET_IDENTIFIER} Result.make (capitalized_boolean_name)
49 ensure
50 boolean_class_name_not_void: Result /= Void
51 end
52
53 character_class_name: ET_CLASS_NAME
54 -- "CHARACTER" class name
55 once
56 create {ET_IDENTIFIER} Result.make (capitalized_character_name)
57 ensure
58 character_class_name_not_void: Result /= Void
59 end
60
61 character_8_class_name: ET_CLASS_NAME
62 -- "CHARACTER_8" class name
63 once
64 create {ET_IDENTIFIER} Result.make (capitalized_character_8_name)
65 ensure
66 character_8_class_name_not_void: Result /= Void
67 end
68
69 character_32_class_name: ET_CLASS_NAME
70 -- "CHARACTER_32" class name
71 once
72 create {ET_IDENTIFIER} Result.make (capitalized_character_32_name)
73 ensure
74 character_32_class_name_not_void: Result /= Void
75 end
76
77 com_failure_class_name: ET_CLASS_NAME
78 -- "COM_FAILURE" class name
79 once
80 create {ET_IDENTIFIER} Result.make (capitalized_com_failure_name)
81 ensure
82 com_failure_class_name_not_void: Result /= Void
83 end
84
85 disposable_class_name: ET_CLASS_NAME
86 -- "DISPOSABLE" class name
87 once
88 create {ET_IDENTIFIER} Result.make (capitalized_disposable_name)
89 ensure
90 disposable_class_name_not_void: Result /= Void
91 end
92
93 double_class_name: ET_CLASS_NAME
94 -- "DOUBLE" class name
95 once
96 create {ET_IDENTIFIER} Result.make (capitalized_double_name)
97 ensure
98 double_class_name_not_void: Result /= Void
99 end
100
101 exception_class_name: ET_CLASS_NAME
102 -- "EXCEPTION" class name
103 once
104 create {ET_IDENTIFIER} Result.make (capitalized_exception_name)
105 ensure
106 exception_class_name_not_void: Result /= Void
107 end
108
109 exception_manager_class_name: ET_CLASS_NAME
110 -- "EXCEPTION_MANAGER" class name
111 once
112 create {ET_IDENTIFIER} Result.make (capitalized_exception_manager_name)
113 ensure
114 exception_manager_class_name_not_void: Result /= Void
115 end
116
117 exception_manager_factory_class_name: ET_CLASS_NAME
118 -- "EXCEPTION_MANAGER_FACTORY" class name
119 once
120 create {ET_IDENTIFIER} Result.make (capitalized_exception_manager_factory_name)
121 ensure
122 exception_manager_factory_class_name_not_void: Result /= Void
123 end
124
125 function_class_name: ET_CLASS_NAME
126 -- "FUNCTION" class name
127 once
128 create {ET_IDENTIFIER} Result.make (capitalized_function_name)
129 ensure
130 function_class_name_not_void: Result /= Void
131 end
132
133 identified_routines_class_name: ET_CLASS_NAME
134 -- "IDENTIFIED_ROUTINES" class name
135 once
136 create {ET_IDENTIFIER} Result.make (capitalized_identified_routines_name)
137 ensure
138 identified_routines_class_name_not_void: Result /= Void
139 end
140
141 integer_class_name: ET_CLASS_NAME
142 -- "INTEGER" class name
143 once
144 create {ET_IDENTIFIER} Result.make (capitalized_integer_name)
145 ensure
146 integer_class_name_not_void: Result /= Void
147 end
148
149 integer_8_class_name: ET_CLASS_NAME
150 -- "INTEGER_8" class name
151 once
152 create {ET_IDENTIFIER} Result.make (capitalized_integer_8_name)
153 ensure
154 integer_8_class_name_not_void: Result /= Void
155 end
156
157 integer_16_class_name: ET_CLASS_NAME
158 -- "INTEGER_16" class name
159 once
160 create {ET_IDENTIFIER} Result.make (capitalized_integer_16_name)
161 ensure
162 integer_16_class_name_not_void: Result /= Void
163 end
164
165 integer_32_class_name: ET_CLASS_NAME
166 -- "INTEGER_32" class name
167 once
168 create {ET_IDENTIFIER} Result.make (capitalized_integer_32_name)
169 ensure
170 integer_32_class_name_not_void: Result /= Void
171 end
172
173 integer_64_class_name: ET_CLASS_NAME
174 -- "INTEGER_64" class name
175 once
176 create {ET_IDENTIFIER} Result.make (capitalized_integer_64_name)
177 ensure
178 integer_64_class_name_not_void: Result /= Void
179 end
180
181 internal_class_name: ET_CLASS_NAME
182 -- "INTERNAL" class name
183 once
184 create {ET_IDENTIFIER} Result.make (capitalized_internal_name)
185 ensure
186 internal_class_name_not_void: Result /= Void
187 end
188
189 ise_exception_manager_class_name: ET_CLASS_NAME
190 -- "ISE_EXCEPTION_MANAGER" class name
191 once
192 create {ET_IDENTIFIER} Result.make (capitalized_ise_exception_manager_name)
193 ensure
194 ise_exception_manager_class_name_not_void: Result /= Void
195 end
196
197 iterable_class_name: ET_CLASS_NAME
198 -- "ITERABLE" class name
199 once
200 create {ET_IDENTIFIER} Result.make (capitalized_iterable_name)
201 ensure
202 iterable_class_name_not_void: Result /= Void
203 end
204
205 iteration_cursor_class_name: ET_CLASS_NAME
206 -- "ITERATION_CURSOR" class name
207 once
208 create {ET_IDENTIFIER} Result.make (capitalized_iteration_cursor_name)
209 ensure
210 iteration_cursor_class_name_not_void: Result /= Void
211 end
212
213 memory_class_name: ET_CLASS_NAME
214 -- "MEMORY" class name
215 once
216 create {ET_IDENTIFIER} Result.make (capitalized_memory_name)
217 ensure
218 memory_class_name_not_void: Result /= Void
219 end
220
221 native_array_class_name: ET_CLASS_NAME
222 -- "NATIVE_ARRAY" class name
223 once
224 create {ET_IDENTIFIER} Result.make (capitalized_native_array_name)
225 ensure
226 native_array_class_name_not_void: Result /= Void
227 end
228
229 natural_class_name: ET_CLASS_NAME
230 -- "NATURAL" class name
231 once
232 create {ET_IDENTIFIER} Result.make (capitalized_natural_name)
233 ensure
234 natural_class_name_not_void: Result /= Void
235 end
236
237 natural_8_class_name: ET_CLASS_NAME
238 -- "NATURAL_8" class name
239 once
240 create {ET_IDENTIFIER} Result.make (capitalized_natural_8_name)
241 ensure
242 natural_8_class_name_not_void: Result /= Void
243 end
244
245 natural_16_class_name: ET_CLASS_NAME
246 -- "NATURAL_16" class name
247 once
248 create {ET_IDENTIFIER} Result.make (capitalized_natural_16_name)
249 ensure
250 natural_16_class_name_not_void: Result /= Void
251 end
252
253 natural_32_class_name: ET_CLASS_NAME
254 -- "NATURAL_32" class name
255 once
256 create {ET_IDENTIFIER} Result.make (capitalized_natural_32_name)
257 ensure
258 natural_32_class_name_not_void: Result /= Void
259 end
260
261 natural_64_class_name: ET_CLASS_NAME
262 -- "NATURAL_64" class name
263 once
264 create {ET_IDENTIFIER} Result.make (capitalized_natural_64_name)
265 ensure
266 natural_64_class_name_not_void: Result /= Void
267 end
268
269 none_class_name: ET_CLASS_NAME
270 -- "NONE" class name
271 once
272 create {ET_IDENTIFIER} Result.make (capitalized_none_name)
273 ensure
274 none_class_name_not_void: Result /= Void
275 end
276
277 platform_class_name: ET_CLASS_NAME
278 -- "PLATFORM" class name
279 once
280 create {ET_IDENTIFIER} Result.make (capitalized_platform_name)
281 ensure
282 platform_class_name_not_void: Result /= Void
283 end
284
285 pointer_class_name: ET_CLASS_NAME
286 -- "POINTER" class name
287 once
288 create {ET_IDENTIFIER} Result.make (capitalized_pointer_name)
289 ensure
290 pointer_class_name_not_void: Result /= Void
291 end
292
293 predicate_class_name: ET_CLASS_NAME
294 -- "PREDICATE" class name
295 once
296 create {ET_IDENTIFIER} Result.make (capitalized_predicate_name)
297 ensure
298 predicate_class_name_not_void: Result /= Void
299 end
300
301 procedure_class_name: ET_CLASS_NAME
302 -- "PROCEDURE" class name
303 once
304 create {ET_IDENTIFIER} Result.make (capitalized_procedure_name)
305 ensure
306 procedure_class_name_not_void: Result /= Void
307 end
308
309 real_class_name: ET_CLASS_NAME
310 -- "REAL" class name
311 once
312 create {ET_IDENTIFIER} Result.make (capitalized_real_name)
313 ensure
314 real_class_name_not_void: Result /= Void
315 end
316
317 real_32_class_name: ET_CLASS_NAME
318 -- "REAL_32" class name
319 once
320 create {ET_IDENTIFIER} Result.make (capitalized_real_32_name)
321 ensure
322 real_32_class_name_not_void: Result /= Void
323 end
324
325 real_64_class_name: ET_CLASS_NAME
326 -- "REAL_64" class name
327 once
328 create {ET_IDENTIFIER} Result.make (capitalized_real_64_name)
329 ensure
330 real_64_class_name_not_void: Result /= Void
331 end
332
333 routine_class_name: ET_CLASS_NAME
334 -- "ROUTINE" class name
335 once
336 create {ET_IDENTIFIER} Result.make (capitalized_routine_name)
337 ensure
338 routine_class_name_not_void: Result /= Void
339 end
340
341 special_class_name: ET_CLASS_NAME
342 -- "SPECIAL" class name
343 once
344 create {ET_IDENTIFIER} Result.make (capitalized_special_name)
345 ensure
346 special_class_name_not_void: Result /= Void
347 end
348
349 string_class_name: ET_CLASS_NAME
350 -- "STRING" class name
351 once
352 create {ET_IDENTIFIER} Result.make (capitalized_string_name)
353 ensure
354 string_class_name_not_void: Result /= Void
355 end
356
357 string_8_class_name: ET_CLASS_NAME
358 -- "STRING_8" class name
359 once
360 create {ET_IDENTIFIER} Result.make (capitalized_string_8_name)
361 ensure
362 string_8_class_name_not_void: Result /= Void
363 end
364
365 string_32_class_name: ET_CLASS_NAME
366 -- "STRING_32" class name
367 once
368 create {ET_IDENTIFIER} Result.make (capitalized_string_32_name)
369 ensure
370 string_32_class_name_not_void: Result /= Void
371 end
372
373 system_object_class_name: ET_CLASS_NAME
374 -- "SYSTEM_OBJECT" class name
375 once
376 create {ET_IDENTIFIER} Result.make (capitalized_system_object_name)
377 ensure
378 system_object_class_name_not_void: Result /= Void
379 end
380
381 system_string_class_name: ET_CLASS_NAME
382 -- "SYSTEM_STRING" class name
383 once
384 create {ET_IDENTIFIER} Result.make (capitalized_system_string_name)
385 ensure
386 system_string_class_name_not_void: Result /= Void
387 end
388
389 tuple_class_name: ET_CLASS_NAME
390 -- "TUPLE" class name
391 once
392 create {ET_IDENTIFIER} Result.make (capitalized_tuple_name)
393 ensure
394 tuple_class_name_not_void: Result /= Void
395 end
396
397 type_class_name: ET_CLASS_NAME
398 -- "TYPE" class name
399 once
400 create {ET_IDENTIFIER} Result.make (capitalized_type_name)
401 ensure
402 type_class_name_not_void: Result /= Void
403 end
404
405 typed_pointer_class_name: ET_CLASS_NAME
406 -- "TYPED_POINTER" class name
407 once
408 create {ET_IDENTIFIER} Result.make (capitalized_typed_pointer_name)
409 ensure
410 typed_pointer_class_name_not_void: Result /= Void
411 end
412
413 wide_character_class_name: ET_CLASS_NAME
414 -- "WIDE_CHARACTER" class name
415 once
416 create {ET_IDENTIFIER} Result.make (capitalized_wide_character_name)
417 ensure
418 wide_character_class_name_not_void: Result /= Void
419 end
420
421 unknown_class_name: ET_CLASS_NAME
422 -- "*UNKNOWN*" class name
423 once
424 create {ET_IDENTIFIER} Result.make (capitalized_unknown_name)
425 ensure
426 unknown_class_name_not_void: Result /= Void
427 end
428
429 feature -- Class names (used for compatibility with 5.6.0610, to be removed later)
430
431 boolean_ref_class_name: ET_CLASS_NAME
432 -- "BOOLEAN_REF" class name
433 once
434 create {ET_IDENTIFIER} Result.make (capitalized_boolean_ref_name)
435 ensure
436 boolean_ref_class_name_not_void: Result /= Void
437 end
438
439 character_ref_class_name: ET_CLASS_NAME
440 -- "CHARACTER_REF" class name
441 once
442 create {ET_IDENTIFIER} Result.make (capitalized_character_ref_name)
443 ensure
444 character_ref_class_name_not_void: Result /= Void
445 end
446
447 character_8_ref_class_name: ET_CLASS_NAME
448 -- "CHARACTER_8_REF" class name
449 once
450 create {ET_IDENTIFIER} Result.make (capitalized_character_8_ref_name)
451 ensure
452 character_8_ref_class_name_not_void: Result /= Void
453 end
454
455 character_32_ref_class_name: ET_CLASS_NAME
456 -- "CHARACTER_32_REF" class name
457 once
458 create {ET_IDENTIFIER} Result.make (capitalized_character_32_ref_name)
459 ensure
460 character_32_ref_class_name_not_void: Result /= Void
461 end
462
463 double_ref_class_name: ET_CLASS_NAME
464 -- "DOUBLE_REF" class name
465 once
466 create {ET_IDENTIFIER} Result.make (capitalized_double_ref_name)
467 ensure
468 double_ref_class_name_not_void: Result /= Void
469 end
470
471 integer_ref_class_name: ET_CLASS_NAME
472 -- "INTEGER_REF" class name
473 once
474 create {ET_IDENTIFIER} Result.make (capitalized_integer_ref_name)
475 ensure
476 integer_class_name_not_void: Result /= Void
477 end
478
479 integer_8_ref_class_name: ET_CLASS_NAME
480 -- "INTEGER_8_REF" class name
481 once
482 create {ET_IDENTIFIER} Result.make (capitalized_integer_8_ref_name)
483 ensure
484 integer_8_ref_class_name_not_void: Result /= Void
485 end
486
487 integer_16_ref_class_name: ET_CLASS_NAME
488 -- "INTEGER_16_REF" class name
489 once
490 create {ET_IDENTIFIER} Result.make (capitalized_integer_16_ref_name)
491 ensure
492 integer_16_ref_class_name_not_void: Result /= Void
493 end
494
495 integer_32_ref_class_name: ET_CLASS_NAME
496 -- "INTEGER_32_REF" class name
497 once
498 create {ET_IDENTIFIER} Result.make (capitalized_integer_32_ref_name)
499 ensure
500 integer_32_ref_class_name_not_void: Result /= Void
501 end
502
503 integer_64_ref_class_name: ET_CLASS_NAME
504 -- "INTEGER_64_REF" class name
505 once
506 create {ET_IDENTIFIER} Result.make (capitalized_integer_64_ref_name)
507 ensure
508 integer_64_ref_class_name_not_void: Result /= Void
509 end
510
511 natural_ref_class_name: ET_CLASS_NAME
512 -- "NATURAL_REF" class name
513 once
514 create {ET_IDENTIFIER} Result.make (capitalized_natural_ref_name)
515 ensure
516 natural_ref_class_name_not_void: Result /= Void
517 end
518
519 natural_8_ref_class_name: ET_CLASS_NAME
520 -- "NATURAL_8_REF" class name
521 once
522 create {ET_IDENTIFIER} Result.make (capitalized_natural_8_ref_name)
523 ensure
524 natural_8_ref_class_name_not_void: Result /= Void
525 end
526
527 natural_16_ref_class_name: ET_CLASS_NAME
528 -- "NATURAL_16_REF" class name
529 once
530 create {ET_IDENTIFIER} Result.make (capitalized_natural_16_ref_name)
531 ensure
532 natural_16_ref_class_name_not_void: Result /= Void
533 end
534
535 natural_32_ref_class_name: ET_CLASS_NAME
536 -- "NATURAL_32_REF" class name
537 once
538 create {ET_IDENTIFIER} Result.make (capitalized_natural_32_ref_name)
539 ensure
540 natural_32_ref_class_name_not_void: Result /= Void
541 end
542
543 natural_64_ref_class_name: ET_CLASS_NAME
544 -- "NATURAL_64_REF" class name
545 once
546 create {ET_IDENTIFIER} Result.make (capitalized_natural_64_ref_name)
547 ensure
548 natural_64_ref_class_name_not_void: Result /= Void
549 end
550
551 pointer_ref_class_name: ET_CLASS_NAME
552 -- "POINTER_REF" class name
553 once
554 create {ET_IDENTIFIER} Result.make (capitalized_pointer_ref_name)
555 ensure
556 pointer_ref_class_name_not_void: Result /= Void
557 end
558
559 real_ref_class_name: ET_CLASS_NAME
560 -- "REAL_REF" class name
561 once
562 create {ET_IDENTIFIER} Result.make (capitalized_real_ref_name)
563 ensure
564 real_ref_class_name_not_void: Result /= Void
565 end
566
567 real_32_ref_class_name: ET_CLASS_NAME
568 -- "REAL_32_REF" class name
569 once
570 create {ET_IDENTIFIER} Result.make (capitalized_real_32_ref_name)
571 ensure
572 real_32_ref_class_name_not_void: Result /= Void
573 end
574
575 real_64_ref_class_name: ET_CLASS_NAME
576 -- "REAL_64_REF" class name
577 once
578 create {ET_IDENTIFIER} Result.make (capitalized_real_64_ref_name)
579 ensure
580 real_64_ref_class_name_not_void: Result /= Void
581 end
582
583 wide_character_ref_class_name: ET_CLASS_NAME
584 -- "WIDE_CHARACTER_REF" class name
585 once
586 create {ET_IDENTIFIER} Result.make (capitalized_wide_character_ref_name)
587 ensure
588 wide_character_ref_class_name_not_void: Result /= Void
589 end
590
591 feature -- Feature names
592
593 after_feature_name: ET_FEATURE_NAME
594 -- 'after' feature name
595 once
596 create {ET_IDENTIFIER} Result.make (after_name)
597 ensure
598 after_feature_name_not_void: Result /= Void
599 end
600
601 aliased_resized_area_feature_name: ET_FEATURE_NAME
602 -- 'aliased_resized_area' feature name
603 once
604 create {ET_IDENTIFIER} Result.make (aliased_resized_area_name)
605 ensure
606 aliased_resized_area_feature_name_not_void: Result /= Void
607 end
608
609 area_feature_name: ET_FEATURE_NAME
610 -- 'area' feature name
611 once
612 create {ET_IDENTIFIER} Result.make (area_name)
613 ensure
614 area_feature_name_not_void: Result /= Void
615 end
616
617 argument_count_feature_name: ET_FEATURE_NAME
618 -- 'argument_count' feature name
619 once
620 create {ET_IDENTIFIER} Result.make (argument_count_name)
621 ensure
622 argument_count_feature_name_not_void: Result /= Void
623 end
624
625 as_natural_8_feature_name: ET_FEATURE_NAME
626 -- 'as_natural_8' feature name
627 once
628 create {ET_IDENTIFIER} Result.make (as_natural_8_name)
629 ensure
630 as_natural_8_feature_name_not_void: Result /= Void
631 end
632
633 as_natural_16_feature_name: ET_FEATURE_NAME
634 -- 'as_natural_16' feature name
635 once
636 create {ET_IDENTIFIER} Result.make (as_natural_16_name)
637 ensure
638 as_natural_16_feature_name_not_void: Result /= Void
639 end
640
641 as_natural_32_feature_name: ET_FEATURE_NAME
642 -- 'as_natural_32' feature name
643 once
644 create {ET_IDENTIFIER} Result.make (as_natural_32_name)
645 ensure
646 as_natural_32_feature_name_not_void: Result /= Void
647 end
648
649 as_natural_64_feature_name: ET_FEATURE_NAME
650 -- 'as_natural_64' feature name
651 once
652 create {ET_IDENTIFIER} Result.make (as_natural_64_name)
653 ensure
654 as_natural_64_feature_name_not_void: Result /= Void
655 end
656
657 as_integer_8_feature_name: ET_FEATURE_NAME
658 -- 'as_integer_8' feature name
659 once
660 create {ET_IDENTIFIER} Result.make (as_integer_8_name)
661 ensure
662 as_integer_8_feature_name_not_void: Result /= Void
663 end
664
665 as_integer_16_feature_name: ET_FEATURE_NAME
666 -- 'as_integer_16' feature name
667 once
668 create {ET_IDENTIFIER} Result.make (as_integer_16_name)
669 ensure
670 as_integer_16_feature_name_not_void: Result /= Void
671 end
672
673 as_integer_32_feature_name: ET_FEATURE_NAME
674 -- 'as_integer_32' feature name
675 once
676 create {ET_IDENTIFIER} Result.make (as_integer_32_name)
677 ensure
678 as_integer_32_feature_name_not_void: Result /= Void
679 end
680
681 as_integer_64_feature_name: ET_FEATURE_NAME
682 -- 'as_integer_84' feature name
683 once
684 create {ET_IDENTIFIER} Result.make (as_integer_64_name)
685 ensure
686 as_integer_64_feature_name_not_void: Result /= Void
687 end
688
689 base_address_feature_name: ET_FEATURE_NAME
690 -- 'base_address' feature name
691 once
692 create {ET_IDENTIFIER} Result.make (base_address_name)
693 ensure
694 base_address_feature_name_not_void: Result /= Void
695 end
696
697 base_class_name_feature_name: ET_FEATURE_NAME
698 -- 'base_class_name' feature name
699 once
700 create {ET_IDENTIFIER} Result.make (base_class_name_name)
701 ensure
702 base_class_name_feature_name_not_void: Result /= Void
703 end
704
705 bit_and_feature_name: ET_FEATURE_NAME
706 -- 'bit_and' feature name
707 once
708 create {ET_IDENTIFIER} Result.make (bit_and_name)
709 ensure
710 bit_and_feature_name_not_void: Result /= Void
711 end
712
713 bit_not_feature_name: ET_FEATURE_NAME
714 -- 'bit_not' feature name
715 once
716 create {ET_IDENTIFIER} Result.make (bit_not_name)
717 ensure
718 bit_not_feature_name_not_void: Result /= Void
719 end
720
721 bit_or_feature_name: ET_FEATURE_NAME
722 -- 'bit_or' feature name
723 once
724 create {ET_IDENTIFIER} Result.make (bit_or_name)
725 ensure
726 bit_or_feature_name_not_void: Result /= Void
727 end
728
729 bit_shift_left_feature_name: ET_FEATURE_NAME
730 -- 'bit_shift_left' feature name
731 once
732 create {ET_IDENTIFIER} Result.make (bit_shift_left_name)
733 ensure
734 bit_shift_left_feature_name_not_void: Result /= Void
735 end
736
737 bit_shift_right_feature_name: ET_FEATURE_NAME
738 -- 'bit_shift_right' feature name
739 once
740 create {ET_IDENTIFIER} Result.make (bit_shift_right_name)
741 ensure
742 bit_shift_right_feature_name_not_void: Result /= Void
743 end
744
745 bit_xor_feature_name: ET_FEATURE_NAME
746 -- 'bit_xor' feature name
747 once
748 create {ET_IDENTIFIER} Result.make (bit_xor_name)
749 ensure
750 bit_xor_feature_name_not_void: Result /= Void
751 end
752
753 boolean_bytes_feature_name: ET_FEATURE_NAME
754 -- 'boolean_bytes' feature name
755 once
756 create {ET_IDENTIFIER} Result.make (boolean_bytes_name)
757 ensure
758 boolean_bytes_feature_name_not_void: Result /= Void
759 end
760
761 boolean_item_feature_name: ET_FEATURE_NAME
762 -- 'boolean_item' feature name
763 once
764 create {ET_IDENTIFIER} Result.make (boolean_item_name)
765 ensure
766 boolean_item_feature_name_not_void: Result /= Void
767 end
768
769 boolean_field_feature_name: ET_FEATURE_NAME
770 -- 'boolean_field' feature name
771 once
772 create {ET_IDENTIFIER} Result.make (boolean_field_name)
773 ensure
774 boolean_field_feature_name_not_void: Result /= Void
775 end
776
777 c_strlen_feature_name: ET_FEATURE_NAME
778 -- 'c_strlen' feature name
779 once
780 create {ET_IDENTIFIER} Result.make (c_strlen_name)
781 ensure
782 c_strlen_feature_name_not_void: Result /= Void
783 end
784
785 call_feature_name: ET_FEATURE_NAME
786 -- 'call' feature name
787 once
788 create {ET_IDENTIFIER} Result.make (call_name)
789 ensure
790 call_feature_name_not_void: Result /= Void
791 end
792
793 capacity_feature_name: ET_FEATURE_NAME
794 -- 'capacity' feature name
795 once
796 create {ET_IDENTIFIER} Result.make (capacity_name)
797 ensure
798 capacity_feature_name_not_void: Result /= Void
799 end
800
801 catch_feature_name: ET_FEATURE_NAME
802 -- 'catch' feature name
803 once
804 create {ET_IDENTIFIER} Result.make (catch_name)
805 ensure
806 catch_feature_name_not_void: Result /= Void
807 end
808
809 ccom_hresult_feature_name: ET_FEATURE_NAME
810 -- 'ccom_hresult' feature name
811 once
812 create {ET_IDENTIFIER} Result.make (ccom_hresult_name)
813 ensure
814 ccom_hresult_feature_name_not_void: Result /= Void
815 end
816
817 ccom_hresult_code_feature_name: ET_FEATURE_NAME
818 -- 'ccom_hresult_code' feature name
819 once
820 create {ET_IDENTIFIER} Result.make (ccom_hresult_code_name)
821 ensure
822 ccom_hresult_code_feature_name_not_void: Result /= Void
823 end
824
825 ccom_hresult_facility_feature_name: ET_FEATURE_NAME
826 -- 'ccom_hresult_facility' feature name
827 once
828 create {ET_IDENTIFIER} Result.make (ccom_hresult_facility_name)
829 ensure
830 ccom_hresult_facility_feature_name_not_void: Result /= Void
831 end
832
833 ceiling_real_32_feature_name: ET_FEATURE_NAME
834 -- 'ceiling_real_32' feature name
835 once
836 create {ET_IDENTIFIER} Result.make (ceiling_real_32_name)
837 ensure
838 ceiling_real_32_feature_name_not_void: Result /= Void
839 end
840
841 ceiling_real_64_feature_name: ET_FEATURE_NAME
842 -- 'ceiling_real_64' feature name
843 once
844 create {ET_IDENTIFIER} Result.make (ceiling_real_64_name)
845 ensure
846 ceiling_real_64_feature_name_not_void: Result /= Void
847 end
848
849 character_8_item_feature_name: ET_FEATURE_NAME
850 -- 'character_8_item' feature name
851 once
852 create {ET_IDENTIFIER} Result.make (character_8_item_name)
853 ensure
854 character_8_item_feature_name_not_void: Result /= Void
855 end
856
857 character_8_field_feature_name: ET_FEATURE_NAME
858 -- 'character_8_field' feature name
859 once
860 create {ET_IDENTIFIER} Result.make (character_8_field_name)
861 ensure
862 character_8_field_feature_name_not_void: Result /= Void
863 end
864
865 character_32_item_feature_name: ET_FEATURE_NAME
866 -- 'character_32_item' feature name
867 once
868 create {ET_IDENTIFIER} Result.make (character_32_item_name)
869 ensure
870 character_32_item_feature_name_not_void: Result /= Void
871 end
872
873 character_32_field_feature_name: ET_FEATURE_NAME
874 -- 'character_32_field' feature name
875 once
876 create {ET_IDENTIFIER} Result.make (character_32_field_name)
877 ensure
878 character_32_field_feature_name_not_void: Result /= Void
879 end
880
881 character_bytes_feature_name: ET_FEATURE_NAME
882 -- 'character_bytes' feature name
883 once
884 create {ET_IDENTIFIER} Result.make (character_bytes_name)
885 ensure
886 character_bytes_feature_name_not_void: Result /= Void
887 end
888
889 character_size_feature_name: ET_FEATURE_NAME
890 -- 'character_size' feature name
891 once
892 create {ET_IDENTIFIER} Result.make (character_size_name)
893 ensure
894 character_size_feature_name_not_void: Result /= Void
895 end
896
897 closed_operands_feature_name: ET_FEATURE_NAME
898 -- 'closed_operands' feature name
899 once
900 create {ET_IDENTIFIER} Result.make (closed_operands_name)
901 ensure
902 closed_operands_feature_name_not_void: Result /= Void
903 end
904
905 code_feature_name: ET_FEATURE_NAME
906 -- 'code' feature name
907 once
908 create {ET_IDENTIFIER} Result.make (code_name)
909 ensure
910 code_feature_name_not_void: Result /= Void
911 end
912
913 conforms_to_feature_name: ET_FEATURE_NAME
914 -- 'conforms_to' feature name
915 once
916 create {ET_IDENTIFIER} Result.make (conforms_to_name)
917 ensure
918 conforms_to_feature_name_not_void: Result /= Void
919 end
920
921 conjuncted_feature_name: ET_FEATURE_NAME
922 -- 'conjuncted' feature name
923 once
924 create {ET_IDENTIFIER} Result.make (conjuncted_name)
925 ensure
926 conjuncted_feature_name_not_void: Result /= Void
927 end
928
929 conjuncted_semistrict_feature_name: ET_FEATURE_NAME
930 -- 'conjuncted_semistrict' feature name
931 once
932 create {ET_IDENTIFIER} Result.make (conjuncted_semistrict_name)
933 ensure
934 conjuncted_semistrict_feature_name_not_void: Result /= Void
935 end
936
937 copy_feature_name: ET_FEATURE_NAME
938 -- 'copy' feature name
939 once
940 create {ET_IDENTIFIER} Result.make (copy_name)
941 ensure
942 copy_feature_name_not_void: Result /= Void
943 end
944
945 count_feature_name: ET_FEATURE_NAME
946 -- 'count' feature name
947 once
948 create {ET_IDENTIFIER} Result.make (count_name)
949 ensure
950 count_feature_name_not_void: Result /= Void
951 end
952
953 cwin_error_text_feature_name: ET_FEATURE_NAME
954 -- 'cwin_error_text' feature name
955 once
956 create {ET_IDENTIFIER} Result.make (cwin_error_text_name)
957 ensure
958 cwin_error_text_feature_name_not_void: Result /= Void
959 end
960
961 cwin_local_free_feature_name: ET_FEATURE_NAME
962 -- 'cwin_local_free' feature name
963 once
964 create {ET_IDENTIFIER} Result.make (cwin_local_free_name)
965 ensure
966 cwin_local_free_feature_name_not_void: Result /= Void
967 end
968
969 deep_twin_feature_name: ET_FEATURE_NAME
970 -- 'deep_twin' feature name
971 once
972 create {ET_IDENTIFIER} Result.make (deep_twin_name)
973 ensure
974 deep_twin_feature_name_not_void: Result /= Void
975 end
976
977 default_feature_name: ET_FEATURE_NAME
978 -- 'default' feature name
979 once
980 create {ET_IDENTIFIER} Result.make (default_name)
981 ensure
982 default_feature_name_not_void: Result /= Void
983 end
984
985 default_create_feature_name: ET_FEATURE_NAME
986 -- 'default_create' feature name
987 once
988 create {ET_IDENTIFIER} Result.make (default_create_name)
989 ensure
990 default_create_feature_name_not_void: Result /= Void
991 end
992
993 developer_raise_feature_name: ET_FEATURE_NAME
994 -- 'developer_raise' feature name
995 once
996 create {ET_IDENTIFIER} Result.make (developer_raise_name)
997 ensure
998 developer_raise_feature_name_not_void: Result /= Void
999 end
1000
1001 disjuncted_feature_name: ET_FEATURE_NAME
1002 -- 'disjuncted' feature name
1003 once
1004 create {ET_IDENTIFIER} Result.make (disjuncted_name)
1005 ensure
1006 disjuncted_feature_name_not_void: Result /= Void
1007 end
1008
1009 disjuncted_exclusive_feature_name: ET_FEATURE_NAME
1010 -- 'disjuncted' feature name
1011 once
1012 create {ET_IDENTIFIER} Result.make (disjuncted_exclusive_name)
1013 ensure
1014 disjuncted_exclusive_feature_name_not_void: Result /= Void
1015 end
1016
1017 disjuncted_semistrict_feature_name: ET_FEATURE_NAME
1018 -- 'disjuncted_semistrict' feature name
1019 once
1020 create {ET_IDENTIFIER} Result.make (disjuncted_semistrict_name)
1021 ensure
1022 disjuncted_semistrict_feature_name_not_void: Result /= Void
1023 end
1024
1025 dispose_feature_name: ET_FEATURE_NAME
1026 -- 'dispose' feature name
1027 once
1028 create {ET_IDENTIFIER} Result.make (dispose_name)
1029 ensure
1030 dispose_feature_name_not_void: Result /= Void
1031 end
1032
1033 double_bytes_feature_name: ET_FEATURE_NAME
1034 -- 'double_bytes' feature name
1035 once
1036 create {ET_IDENTIFIER} Result.make (double_bytes_name)
1037 ensure
1038 double_bytes_feature_name_not_void: Result /= Void
1039 end
1040
1041 eif_id_object_feature_name: ET_FEATURE_NAME
1042 -- 'eif_id_object' feature name
1043 once
1044 create {ET_IDENTIFIER} Result.make (eif_id_object_name)
1045 ensure
1046 eif_id_object_feature_name_not_void: Result /= Void
1047 end
1048
1049 eif_object_id_feature_name: ET_FEATURE_NAME
1050 -- 'eif_object_id' feature name
1051 once
1052 create {ET_IDENTIFIER} Result.make (eif_object_id_name)
1053 ensure
1054 eif_object_id_feature_name_not_void: Result /= Void
1055 end
1056
1057 eif_object_id_free_feature_name: ET_FEATURE_NAME
1058 -- 'eif_object_id_free' feature name
1059 once
1060 create {ET_IDENTIFIER} Result.make (eif_object_id_free_name)
1061 ensure
1062 eif_object_id_free_feature_name_not_void: Result /= Void
1063 end
1064
1065 element_size_feature_name: ET_FEATURE_NAME
1066 -- 'element_size' feature name
1067 once
1068 create {ET_IDENTIFIER} Result.make (element_size_name)
1069 ensure
1070 element_size_feature_name_not_void: Result /= Void
1071 end
1072
1073 exception_from_code_feature_name: ET_FEATURE_NAME
1074 -- 'exception_from_code' feature name
1075 once
1076 create {ET_IDENTIFIER} Result.make (exception_from_code_name)
1077 ensure
1078 exception_from_code_feature_name_not_void: Result /= Void
1079 end
1080
1081 exception_manager_feature_name: ET_FEATURE_NAME
1082 -- 'exception_manager' feature name
1083 once
1084 create {ET_IDENTIFIER} Result.make (exception_manager_name)
1085 ensure
1086 exception_manager_feature_name_not_void: Result /= Void
1087 end
1088
1089 extend_feature_name: ET_FEATURE_NAME
1090 -- 'extend' feature name
1091 once
1092 create {ET_IDENTIFIER} Result.make (extend_name)
1093 ensure
1094 extend_feature_name_not_void: Result /= Void
1095 end
1096
1097 field_feature_name: ET_FEATURE_NAME
1098 -- 'field' feature name
1099 once
1100 create {ET_IDENTIFIER} Result.make (field_name)
1101 ensure
1102 field_feature_name_not_void: Result /= Void
1103 end
1104
1105 field_count_feature_name: ET_FEATURE_NAME
1106 -- 'field_count' feature name
1107 once
1108 create {ET_IDENTIFIER} Result.make (field_count_name)
1109 ensure
1110 field_count_feature_name_not_void: Result /= Void
1111 end
1112
1113 field_name_feature_name: ET_FEATURE_NAME
1114 -- 'field_name' feature name
1115 once
1116 create {ET_IDENTIFIER} Result.make (field_name_name)
1117 ensure
1118 field_name_feature_name_not_void: Result /= Void
1119 end
1120
1121 field_static_type_feature_name: ET_FEATURE_NAME
1122 -- 'field_static_type' feature name
1123 once
1124 create {ET_IDENTIFIER} Result.make (field_static_type_name)
1125 ensure
1126 field_static_type_feature_name_not_void: Result /= Void
1127 end
1128
1129 field_type_feature_name: ET_FEATURE_NAME
1130 -- 'field_type' feature name
1131 once
1132 create {ET_IDENTIFIER} Result.make (field_type_name)
1133 ensure
1134 field_type_feature_name_not_void: Result /= Void
1135 end
1136
1137 find_referers_feature_name: ET_FEATURE_NAME
1138 -- 'find_referers' feature name
1139 once
1140 create {ET_IDENTIFIER} Result.make (find_referers_name)
1141 ensure
1142 find_referers_feature_name_not_void: Result /= Void
1143 end
1144
1145 floor_real_32_feature_name: ET_FEATURE_NAME
1146 -- 'floor_real_32' feature name
1147 once
1148 create {ET_IDENTIFIER} Result.make (floor_real_32_name)
1149 ensure
1150 floor_real_32_feature_name_not_void: Result /= Void
1151 end
1152
1153 floor_real_64_feature_name: ET_FEATURE_NAME
1154 -- 'floor_real_64' feature name
1155 once
1156 create {ET_IDENTIFIER} Result.make (floor_real_64_name)
1157 ensure
1158 floor_real_64_feature_name_not_void: Result /= Void
1159 end
1160
1161 forth_feature_name: ET_FEATURE_NAME
1162 -- 'forth' feature name
1163 once
1164 create {ET_IDENTIFIER} Result.make (forth_name)
1165 ensure
1166 forth_feature_name_not_void: Result /= Void
1167 end
1168
1169 free_feature_name: ET_FEATURE_NAME
1170 -- 'free' feature name
1171 once
1172 create {ET_IDENTIFIER} Result.make (free_name)
1173 ensure
1174 free_feature_name_not_void: Result /= Void
1175 end
1176
1177 generating_type_feature_name: ET_FEATURE_NAME
1178 -- 'generating_type' feature name
1179 once
1180 create {ET_IDENTIFIER} Result.make (generating_type_name)
1181 ensure
1182 generating_type_feature_name_not_void: Result /= Void
1183 end
1184
1185 generator_feature_name: ET_FEATURE_NAME
1186 -- 'generator' feature name
1187 once
1188 create {ET_IDENTIFIER} Result.make (generator_name)
1189 ensure
1190 generator_feature_name_not_void: Result /= Void
1191 end
1192
1193 generic_parameter_count_feature_name: ET_FEATURE_NAME
1194 -- 'generic_parameter_count' feature name
1195 once
1196 create {ET_IDENTIFIER} Result.make (generic_parameter_count_name)
1197 ensure
1198 generic_parameter_count_feature_name_not_void: Result /= Void
1199 end
1200
1201 generic_parameter_type_feature_name: ET_FEATURE_NAME
1202 -- 'generic_parameter_type' feature name
1203 once
1204 create {ET_IDENTIFIER} Result.make (generic_parameter_type_name)
1205 ensure
1206 generic_parameter_type_feature_name_not_void: Result /= Void
1207 end
1208
1209 has_default_feature_name: ET_FEATURE_NAME
1210 -- 'has_default' feature name
1211 once
1212 create {ET_IDENTIFIER} Result.make (has_default_name)
1213 ensure
1214 has_default_feature_name_not_void: Result /= Void
1215 end
1216
1217 hash_code_feature_name: ET_FEATURE_NAME
1218 -- 'hash_code' feature name
1219 once
1220 create {ET_IDENTIFIER} Result.make (hash_code_name)
1221 ensure
1222 hash_code_feature_name_not_void: Result /= Void
1223 end
1224
1225 i_th_argument_pointer_feature_name: ET_FEATURE_NAME
1226 -- 'i_th_argument_pointer' feature name
1227 once
1228 create {ET_IDENTIFIER} Result.make (i_th_argument_pointer_name)
1229 ensure
1230 i_th_argument_pointer_feature_name_not_void: Result /= Void
1231 end
1232
1233 i_th_argument_string_feature_name: ET_FEATURE_NAME
1234 -- 'i_th_argument_string' feature name
1235 once
1236 create {ET_IDENTIFIER} Result.make (i_th_argument_string_name)
1237 ensure
1238 i_th_argument_string_feature_name_not_void: Result /= Void
1239 end
1240
1241 identity_feature_name: ET_FEATURE_NAME
1242 -- 'identity' feature name
1243 once
1244 create {ET_IDENTIFIER} Result.make (identity_name)
1245 ensure
1246 identity_feature_name_not_void: Result /= Void
1247 end
1248
1249 ignore_feature_name: ET_FEATURE_NAME
1250 -- 'ignore' feature name
1251 once
1252 create {ET_IDENTIFIER} Result.make (ignore_name)
1253 ensure
1254 ignore_feature_name_not_void: Result /= Void
1255 end
1256
1257 implication_feature_name: ET_FEATURE_NAME
1258 -- 'implication' feature name
1259 once
1260 create {ET_IDENTIFIER} Result.make (implication_name)
1261 ensure
1262 implication_feature_name_not_void: Result /= Void
1263 end
1264
1265 infix_and_feature_name: ET_FEATURE_NAME
1266 -- 'infix "and"' feature name
1267 local
1268 l_string: ET_REGULAR_MANIFEST_STRING
1269 once
1270 create l_string.make (and_keyword_name)
1271 create {ET_INFIX_NAME} Result.make_and (l_string)
1272 ensure
1273 infix_and_feature_name_not_void: Result /= Void
1274 end
1275
1276 infix_and_then_feature_name: ET_FEATURE_NAME
1277 -- 'infix "and then"' feature name
1278 local
1279 l_string: ET_REGULAR_MANIFEST_STRING
1280 once
1281 create l_string.make (and_then_keywords_name)
1282 create {ET_INFIX_NAME} Result.make_and_then (l_string)
1283 ensure
1284 infix_and_then_feature_name_not_void: Result /= Void
1285 end
1286
1287 infix_at_feature_name: ET_FEATURE_NAME
1288 -- 'infix "@"' feature name
1289 local
1290 l_string: ET_REGULAR_MANIFEST_STRING
1291 once
1292 create l_string.make (at_symbol_name)
1293 create {ET_INFIX_FREE_NAME} Result.make (l_string)
1294 ensure
1295 infix_at_feature_name_not_void: Result /= Void
1296 end
1297
1298 infix_div_feature_name: ET_FEATURE_NAME
1299 -- 'infix "//"' feature name
1300 local
1301 l_string: ET_REGULAR_MANIFEST_STRING
1302 once
1303 create l_string.make (div_symbol_name)
1304 create {ET_INFIX_NAME} Result.make_div (l_string)
1305 ensure
1306 infix_div_feature_name_not_void: Result /= Void
1307 end
1308
1309 infix_divide_feature_name: ET_FEATURE_NAME
1310 -- 'infix "/"' feature name
1311 local
1312 l_string: ET_REGULAR_MANIFEST_STRING
1313 once
1314 create l_string.make (divide_symbol_name)
1315 create {ET_INFIX_NAME} Result.make_divide (l_string)
1316 ensure
1317 infix_divide_feature_name_not_void: Result /= Void
1318 end
1319
1320 infix_ge_feature_name: ET_FEATURE_NAME
1321 -- 'infix ">="' feature name
1322 local
1323 l_string: ET_REGULAR_MANIFEST_STRING
1324 once
1325 create l_string.make (le_symbol_name)
1326 create {ET_INFIX_NAME} Result.make_ge (l_string)
1327 ensure
1328 infix_ge_feature_name_not_void: Result /= Void
1329 end
1330
1331 infix_gt_feature_name: ET_FEATURE_NAME
1332 -- 'infix ">"' feature name
1333 local
1334 l_string: ET_REGULAR_MANIFEST_STRING
1335 once
1336 create l_string.make (gt_symbol_name)
1337 create {ET_INFIX_NAME} Result.make_gt (l_string)
1338 ensure
1339 infix_gt_feature_name_not_void: Result /= Void
1340 end
1341
1342 infix_implies_feature_name: ET_FEATURE_NAME
1343 -- 'infix "implies"' feature name
1344 local
1345 l_string: ET_REGULAR_MANIFEST_STRING
1346 once
1347 create l_string.make (implies_keyword_name)
1348 create {ET_INFIX_NAME} Result.make_implies (l_string)
1349 ensure
1350 infix_implies_feature_name_not_void: Result /= Void
1351 end
1352
1353 infix_le_feature_name: ET_FEATURE_NAME
1354 -- 'infix "<="' feature name
1355 local
1356 l_string: ET_REGULAR_MANIFEST_STRING
1357 once
1358 create l_string.make (le_symbol_name)
1359 create {ET_INFIX_NAME} Result.make_le (l_string)
1360 ensure
1361 infix_le_feature_name_not_void: Result /= Void
1362 end
1363
1364 infix_lt_feature_name: ET_FEATURE_NAME
1365 -- 'infix "<"' feature name
1366 local
1367 l_string: ET_REGULAR_MANIFEST_STRING
1368 once
1369 create l_string.make (lt_symbol_name)
1370 create {ET_INFIX_NAME} Result.make_lt (l_string)
1371 ensure
1372 infix_lt_feature_name_not_void: Result /= Void
1373 end
1374
1375 infix_minus_feature_name: ET_FEATURE_NAME
1376 -- 'infix "-"' feature name
1377 local
1378 l_string: ET_REGULAR_MANIFEST_STRING
1379 once
1380 create l_string.make (minus_symbol_name)
1381 create {ET_INFIX_NAME} Result.make_minus (l_string)
1382 ensure
1383 infix_minus_feature_name_not_void: Result /= Void
1384 end
1385
1386 infix_mod_feature_name: ET_FEATURE_NAME
1387 -- 'infix "\\"' feature name
1388 local
1389 l_string: ET_REGULAR_MANIFEST_STRING
1390 once
1391 create l_string.make (mod_symbol_name)
1392 create {ET_INFIX_NAME} Result.make_mod (l_string)
1393 ensure
1394 infix_mod_feature_name_not_void: Result /= Void
1395 end
1396
1397 infix_or_feature_name: ET_FEATURE_NAME
1398 -- 'infix "or"' feature name
1399 local
1400 l_string: ET_REGULAR_MANIFEST_STRING
1401 once
1402 create l_string.make (or_keyword_name)
1403 create {ET_INFIX_NAME} Result.make_or (l_string)
1404 ensure
1405 infix_or_feature_name_not_void: Result /= Void
1406 end
1407
1408 infix_or_else_feature_name: ET_FEATURE_NAME
1409 -- 'infix "or else"' feature name
1410 local
1411 l_string: ET_REGULAR_MANIFEST_STRING
1412 once
1413 create l_string.make (or_else_keywords_name)
1414 create {ET_INFIX_NAME} Result.make_or_else (l_string)
1415 ensure
1416 infix_or_else_feature_name_not_void: Result /= Void
1417 end
1418
1419 infix_plus_feature_name: ET_FEATURE_NAME
1420 -- 'infix "+"' feature name
1421 local
1422 l_string: ET_REGULAR_MANIFEST_STRING
1423 once
1424 create l_string.make (plus_symbol_name)
1425 create {ET_INFIX_NAME} Result.make_plus (l_string)
1426 ensure
1427 infix_plus_feature_name_not_void: Result /= Void
1428 end
1429
1430 infix_power_feature_name: ET_FEATURE_NAME
1431 -- 'infix "^"' feature name
1432 local
1433 l_string: ET_REGULAR_MANIFEST_STRING
1434 once
1435 create l_string.make (power_symbol_name)
1436 create {ET_INFIX_NAME} Result.make_power (l_string)
1437 ensure
1438 infix_power_feature_name_not_void: Result /= Void
1439 end
1440
1441 infix_times_feature_name: ET_FEATURE_NAME
1442 -- 'infix "*"' feature name
1443 local
1444 l_string: ET_REGULAR_MANIFEST_STRING
1445 once
1446 create l_string.make (times_symbol_name)
1447 create {ET_INFIX_NAME} Result.make_times (l_string)
1448 ensure
1449 infix_times_feature_name_not_void: Result /= Void
1450 end
1451
1452 infix_xor_feature_name: ET_FEATURE_NAME
1453 -- 'infix "xor"' feature name
1454 local
1455 l_string: ET_REGULAR_MANIFEST_STRING
1456 once
1457 create l_string.make (xor_keyword_name)
1458 create {ET_INFIX_NAME} Result.make_xor (l_string)
1459 ensure
1460 infix_xor_feature_name_not_void: Result /= Void
1461 end
1462
1463 init_exception_manager_feature_name: ET_FEATURE_NAME
1464 -- 'init_exception_manager' feature name
1465 once
1466 create {ET_IDENTIFIER} Result.make (init_exception_manager_name)
1467 ensure
1468 init_exception_manager_feature_name_not_void: Result /= Void
1469 end
1470
1471 integer_8_item_feature_name: ET_FEATURE_NAME
1472 -- 'integer_8_item' feature name
1473 once
1474 create {ET_IDENTIFIER} Result.make (integer_8_item_name)
1475 ensure
1476 integer_8_item_feature_name_not_void: Result /= Void
1477 end
1478
1479 integer_8_field_feature_name: ET_FEATURE_NAME
1480 -- 'integer_8_field' feature name
1481 once
1482 create {ET_IDENTIFIER} Result.make (integer_8_field_name)
1483 ensure
1484 integer_8_field_feature_name_not_void: Result /= Void
1485 end
1486
1487 integer_16_item_feature_name: ET_FEATURE_NAME
1488 -- 'integer_16_item' feature name
1489 once
1490 create {ET_IDENTIFIER} Result.make (integer_16_item_name)
1491 ensure
1492 integer_16_item_feature_name_not_void: Result /= Void
1493 end
1494
1495 integer_16_field_feature_name: ET_FEATURE_NAME
1496 -- 'integer_16_field' feature name
1497 once
1498 create {ET_IDENTIFIER} Result.make (integer_16_field_name)
1499 ensure
1500 integer_16_field_feature_name_not_void: Result /= Void
1501 end
1502
1503 integer_32_item_feature_name: ET_FEATURE_NAME
1504 -- 'integer_32_item' feature name
1505 once
1506 create {ET_IDENTIFIER} Result.make (integer_32_item_name)
1507 ensure
1508 integer_32_item_feature_name_not_void: Result /= Void
1509 end
1510
1511 integer_32_field_feature_name: ET_FEATURE_NAME
1512 -- 'integer_32_field' feature name
1513 once
1514 create {ET_IDENTIFIER} Result.make (integer_32_field_name)
1515 ensure
1516 integer_32_field_feature_name_not_void: Result /= Void
1517 end
1518
1519 integer_64_item_feature_name: ET_FEATURE_NAME
1520 -- 'integer_64_item' feature name
1521 once
1522 create {ET_IDENTIFIER} Result.make (integer_64_item_name)
1523 ensure
1524 integer_64_item_feature_name_not_void: Result /= Void
1525 end
1526
1527 integer_64_field_feature_name: ET_FEATURE_NAME
1528 -- 'integer_64_field' feature name
1529 once
1530 create {ET_IDENTIFIER} Result.make (integer_64_field_name)
1531 ensure
1532 integer_64_field_feature_name_not_void: Result /= Void
1533 end
1534
1535 integer_bytes_feature_name: ET_FEATURE_NAME
1536 -- 'integer_bytes' feature name
1537 once
1538 create {ET_IDENTIFIER} Result.make (integer_bytes_name)
1539 ensure
1540 integer_bytes_feature_name_not_void: Result /= Void
1541 end
1542
1543 integer_quotient_feature_name: ET_FEATURE_NAME
1544 -- 'integer_quotient' feature name
1545 once
1546 create {ET_IDENTIFIER} Result.make (integer_quotient_name)
1547 ensure
1548 integer_quotient_feature_name_not_void: Result /= Void
1549 end
1550
1551 integer_remainder_feature_name: ET_FEATURE_NAME
1552 -- 'integer_remainder' feature name
1553 once
1554 create {ET_IDENTIFIER} Result.make (integer_remainder_name)
1555 ensure
1556 integer_remainder_feature_name_not_void: Result /= Void
1557 end
1558
1559 invariant_feature_name: ET_FEATURE_NAME
1560 -- Fictitious 'invariant' feature name
1561 once
1562 create {ET_IDENTIFIER} Result.make (invariant_keyword_name)
1563 ensure
1564 invariant_feature_name_not_void: Result /= Void
1565 end
1566
1567 is_caught_feature_name: ET_FEATURE_NAME
1568 -- 'is_caught' feature name
1569 once
1570 create {ET_IDENTIFIER} Result.make (is_caught_name)
1571 ensure
1572 is_caught_feature_name_not_void: Result /= Void
1573 end
1574
1575 is_deep_equal_feature_name: ET_FEATURE_NAME
1576 -- 'is_deep_equal' feature name
1577 once
1578 create {ET_IDENTIFIER} Result.make (is_deep_equal_name)
1579 ensure
1580 is_deep_equal_feature_name_not_void: Result /= Void
1581 end
1582
1583 is_default_pointer_feature_name: ET_FEATURE_NAME
1584 -- 'is_default_pointer' feature name
1585 once
1586 create {ET_IDENTIFIER} Result.make (is_default_pointer_name)
1587 ensure
1588 is_default_pointer_feature_name_not_void: Result /= Void
1589 end
1590
1591 is_dotnet_feature_name: ET_FEATURE_NAME
1592 -- 'is_dotnet' feature name
1593 once
1594 create {ET_IDENTIFIER} Result.make (is_dotnet_name)
1595 ensure
1596 is_dotnet_feature_name_not_void: Result /= Void
1597 end
1598
1599 is_equal_feature_name: ET_FEATURE_NAME
1600 -- 'is_equal' feature name
1601 once
1602 create {ET_IDENTIFIER} Result.make (is_equal_name)
1603 ensure
1604 is_equal_feature_name_not_void: Result /= Void
1605 end
1606
1607 is_expanded_feature_name: ET_FEATURE_NAME
1608 -- 'is_expanded' feature name
1609 once
1610 create {ET_IDENTIFIER} Result.make (is_expanded_name)
1611 ensure
1612 is_expanded_feature_name_not_void: Result /= Void
1613 end
1614
1615 is_ignorable_feature_name: ET_FEATURE_NAME
1616 -- 'is_ignorable' feature name
1617 once
1618 create {ET_IDENTIFIER} Result.make (is_ignorable_name)
1619 ensure
1620 is_ignorable_feature_name_not_void: Result /= Void
1621 end
1622
1623 is_ignored_feature_name: ET_FEATURE_NAME
1624 -- 'is_ignored' feature name
1625 once
1626 create {ET_IDENTIFIER} Result.make (is_ignored_name)
1627 ensure
1628 is_ignored_feature_name_not_void: Result /= Void
1629 end
1630
1631 is_less_feature_name: ET_FEATURE_NAME
1632 -- 'is_less' feature name
1633 once
1634 create {ET_IDENTIFIER} Result.make (is_less_name)
1635 ensure
1636 is_less_feature_name_not_void: Result /= Void
1637 end
1638
1639 is_mac_feature_name: ET_FEATURE_NAME
1640 -- 'is_mac' feature name
1641 once
1642 create {ET_IDENTIFIER} Result.make (is_mac_name)
1643 ensure
1644 is_mac_feature_name_not_void: Result /= Void
1645 end
1646
1647 is_nan_feature_name: ET_FEATURE_NAME
1648 -- 'is_nan' feature name
1649 once
1650 create {ET_IDENTIFIER} Result.make (is_nan_name)
1651 ensure
1652 is_nan_feature_name_not_void: Result /= Void
1653 end
1654
1655 is_negative_infinity_feature_name: ET_FEATURE_NAME
1656 -- 'is_negative_infinity' feature name
1657 once
1658 create {ET_IDENTIFIER} Result.make (is_negative_infinity_name)
1659 ensure
1660 is_negative_infinity_feature_name_not_void: Result /= Void
1661 end
1662
1663 is_positive_infinity_feature_name: ET_FEATURE_NAME
1664 -- 'is_positive_infinity' feature name
1665 once
1666 create {ET_IDENTIFIER} Result.make (is_positive_infinity_name)
1667 ensure
1668 is_positive_infinity_feature_name_not_void: Result /= Void
1669 end
1670
1671 is_raisable_feature_name: ET_FEATURE_NAME
1672 -- 'is_raisable' feature name
1673 once
1674 create {ET_IDENTIFIER} Result.make (is_raisable_name)
1675 ensure
1676 is_raisable_feature_name_not_void: Result /= Void
1677 end
1678
1679 is_scoop_capable_feature_name: ET_FEATURE_NAME
1680 -- 'is_scoop_capable' feature name
1681 once
1682 create {ET_IDENTIFIER} Result.make (is_scoop_capable_name)
1683 ensure
1684 is_scoop_capable_feature_name_not_void: Result /= Void
1685 end
1686
1687 is_target_closed_feature_name: ET_FEATURE_NAME
1688 -- 'is_target_closed' feature name
1689 once
1690 create {ET_IDENTIFIER} Result.make (is_target_closed_name)
1691 ensure
1692 is_target_closed_feature_name_not_void: Result /= Void
1693 end
1694
1695 is_thread_capable_feature_name: ET_FEATURE_NAME
1696 -- 'is_thread_capable' feature name
1697 once
1698 create {ET_IDENTIFIER} Result.make (is_thread_capable_name)
1699 ensure
1700 is_thread_capable_feature_name_not_void: Result /= Void
1701 end
1702
1703 is_unix_feature_name: ET_FEATURE_NAME
1704 -- 'is_unix' feature name
1705 once
1706 create {ET_IDENTIFIER} Result.make (is_unix_name)
1707 ensure
1708 is_unix_feature_name_not_void: Result /= Void
1709 end
1710
1711 is_vms_feature_name: ET_FEATURE_NAME
1712 -- 'is_vms' feature name
1713 once
1714 create {ET_IDENTIFIER} Result.make (is_vms_name)
1715 ensure
1716 is_vms_feature_name_not_void: Result /= Void
1717 end
1718
1719 is_vxworks_feature_name: ET_FEATURE_NAME
1720 -- 'is_vxworks' feature name
1721 once
1722 create {ET_IDENTIFIER} Result.make (is_vxworks_name)
1723 ensure
1724 is_vxworks_feature_name_not_void: Result /= Void
1725 end
1726
1727 is_windows_feature_name: ET_FEATURE_NAME
1728 -- 'is_windowsvms' feature name
1729 once
1730 create {ET_IDENTIFIER} Result.make (is_windows_name)
1731 ensure
1732 is_windows_feature_name_not_void: Result /= Void
1733 end
1734
1735 item_feature_name: ET_FEATURE_NAME
1736 -- 'item' feature name
1737 once
1738 create {ET_IDENTIFIER} Result.make (item_name)
1739 ensure
1740 item_feature_name_not_void: Result /= Void
1741 end
1742
1743 item_code_feature_name: ET_FEATURE_NAME
1744 -- 'item_code' feature name
1745 once
1746 create {ET_IDENTIFIER} Result.make (item_code_name)
1747 ensure
1748 item_code_feature_name_not_void: Result /= Void
1749 end
1750
1751 last_exception_feature_name: ET_FEATURE_NAME
1752 -- 'last_exception' feature name
1753 once
1754 create {ET_IDENTIFIER} Result.make (last_exception_name)
1755 ensure
1756 last_exception_feature_name_not_void: Result /= Void
1757 end
1758
1759 last_result_feature_name: ET_FEATURE_NAME
1760 -- 'last_result' feature name
1761 once
1762 create {ET_IDENTIFIER} Result.make (last_result_name)
1763 ensure
1764 last_result_feature_name_not_void: Result /= Void
1765 end
1766
1767 lower_feature_name: ET_FEATURE_NAME
1768 -- 'lower' feature name
1769 once
1770 create {ET_IDENTIFIER} Result.make (lower_name)
1771 ensure
1772 lower_feature_name_not_void: Result /= Void
1773 end
1774
1775 make_feature_name: ET_FEATURE_NAME
1776 -- 'make' feature name
1777 once
1778 create {ET_IDENTIFIER} Result.make (make_name)
1779 ensure
1780 make_feature_name_not_void: Result /= Void
1781 end
1782
1783 make_empty_feature_name: ET_FEATURE_NAME
1784 -- 'make_empty' feature name
1785 once
1786 create {ET_IDENTIFIER} Result.make (make_empty_name)
1787 ensure
1788 make_empty_feature_name_not_void: Result /= Void
1789 end
1790
1791 max_type_id_feature_name: ET_FEATURE_NAME
1792 -- 'max_type_id' feature name
1793 once
1794 create {ET_IDENTIFIER} Result.make (max_type_id_name)
1795 ensure
1796 max_type_id_feature_name_not_void: Result /= Void
1797 end
1798
1799 minus_feature_name: ET_FEATURE_NAME
1800 -- 'minus' feature name
1801 once
1802 create {ET_IDENTIFIER} Result.make (minus_name)
1803 ensure
1804 minus_feature_name_not_void: Result /= Void
1805 end
1806
1807 name_feature_name: ET_FEATURE_NAME
1808 -- 'name' feature name
1809 once
1810 create {ET_IDENTIFIER} Result.make (name_name)
1811 ensure
1812 name_feature_name_not_void: Result /= Void
1813 end
1814
1815 nan_feature_name: ET_FEATURE_NAME
1816 -- 'nan' feature name
1817 once
1818 create {ET_IDENTIFIER} Result.make (nan_name)
1819 ensure
1820 nan_feature_name_not_void: Result /= Void
1821 end
1822
1823 natural_8_item_feature_name: ET_FEATURE_NAME
1824 -- 'natural_8_item' feature name
1825 once
1826 create {ET_IDENTIFIER} Result.make (natural_8_item_name)
1827 ensure
1828 natural_8_item_feature_name_not_void: Result /= Void
1829 end
1830
1831 natural_8_field_feature_name: ET_FEATURE_NAME
1832 -- 'natural_8_field' feature name
1833 once
1834 create {ET_IDENTIFIER} Result.make (natural_8_field_name)
1835 ensure
1836 natural_8_field_feature_name_not_void: Result /= Void
1837 end
1838
1839 natural_16_item_feature_name: ET_FEATURE_NAME
1840 -- 'natural_16_item' feature name
1841 once
1842 create {ET_IDENTIFIER} Result.make (natural_16_item_name)
1843 ensure
1844 natural_16_item_feature_name_not_void: Result /= Void
1845 end
1846
1847 natural_16_field_feature_name: ET_FEATURE_NAME
1848 -- 'natural_16_field' feature name
1849 once
1850 create {ET_IDENTIFIER} Result.make (natural_16_field_name)
1851 ensure
1852 natural_16_field_feature_name_not_void: Result /= Void
1853 end
1854
1855 natural_32_code_feature_name: ET_FEATURE_NAME
1856 -- 'natural_32_code' feature name
1857 once
1858 create {ET_IDENTIFIER} Result.make (natural_32_code_name)
1859 ensure
1860 natural_32_code_feature_name_not_void: Result /= Void
1861 end
1862
1863 natural_32_item_feature_name: ET_FEATURE_NAME
1864 -- 'natural_32_item' feature name
1865 once
1866 create {ET_IDENTIFIER} Result.make (natural_32_item_name)
1867 ensure
1868 natural_32_item_feature_name_not_void: Result /= Void
1869 end
1870
1871 natural_32_field_feature_name: ET_FEATURE_NAME
1872 -- 'natural_32_field' feature name
1873 once
1874 create {ET_IDENTIFIER} Result.make (natural_32_field_name)
1875 ensure
1876 natural_32_field_feature_name_not_void: Result /= Void
1877 end
1878
1879 natural_64_item_feature_name: ET_FEATURE_NAME
1880 -- 'natural_64_item' feature name
1881 once
1882 create {ET_IDENTIFIER} Result.make (natural_64_item_name)
1883 ensure
1884 natural_64_item_feature_name_not_void: Result /= Void
1885 end
1886
1887 natural_64_field_feature_name: ET_FEATURE_NAME
1888 -- 'natural_64_field' feature name
1889 once
1890 create {ET_IDENTIFIER} Result.make (natural_64_field_name)
1891 ensure
1892 natural_64_field_feature_name_not_void: Result /= Void
1893 end
1894
1895 negated_feature_name: ET_FEATURE_NAME
1896 -- 'negated' feature name
1897 once
1898 create {ET_IDENTIFIER} Result.make (negated_name)
1899 ensure
1900 negated_feature_name_not_void: Result /= Void
1901 end
1902
1903 negative_infinity_feature_name: ET_FEATURE_NAME
1904 -- 'negative_infinity' feature name
1905 once
1906 create {ET_IDENTIFIER} Result.make (negative_infinity_name)
1907 ensure
1908 negative_infinity_feature_name_not_void: Result /= Void
1909 end
1910
1911 new_cursor_feature_name: ET_FEATURE_NAME
1912 -- 'new_cursor' feature name
1913 once
1914 create {ET_IDENTIFIER} Result.make (new_cursor_name)
1915 ensure
1916 new_cursor_feature_name_not_void: Result /= Void
1917 end
1918
1919 new_instance_feature_name: ET_FEATURE_NAME
1920 -- 'new_instance' feature name
1921 once
1922 create {ET_IDENTIFIER} Result.make (new_instance_name)
1923 ensure
1924 new_instance_feature_name_not_void: Result /= Void
1925 end
1926
1927 new_special_any_instance_feature_name: ET_FEATURE_NAME
1928 -- 'new_special_any_instance' feature name
1929 once
1930 create {ET_IDENTIFIER} Result.make (new_special_any_instance_name)
1931 ensure
1932 new_special_any_instance_feature_name_not_void: Result /= Void
1933 end
1934
1935 object_comparison_feature_name: ET_FEATURE_NAME
1936 -- 'object_comparison' feature name
1937 once
1938 create {ET_IDENTIFIER} Result.make (object_comparison_name)
1939 ensure
1940 object_comparison_feature_name_not_void: Result /= Void
1941 end
1942
1943 opposite_feature_name: ET_FEATURE_NAME
1944 -- 'opposite' feature name
1945 once
1946 create {ET_IDENTIFIER} Result.make (opposite_name)
1947 ensure
1948 opposite_feature_name_not_void: Result /= Void
1949 end
1950
1951 out_feature_name: ET_FEATURE_NAME
1952 -- 'out' feature name
1953 once
1954 create {ET_IDENTIFIER} Result.make (out_name)
1955 ensure
1956 out_feature_name_not_void: Result /= Void
1957 end
1958
1959 plus_feature_name: ET_FEATURE_NAME
1960 -- 'plus' feature name
1961 once
1962 create {ET_IDENTIFIER} Result.make (plus_name)
1963 ensure
1964 plus_feature_name_not_void: Result /= Void
1965 end
1966
1967 pointer_bytes_feature_name: ET_FEATURE_NAME
1968 -- 'pointer_bytes' feature name
1969 once
1970 create {ET_IDENTIFIER} Result.make (pointer_bytes_name)
1971 ensure
1972 pointer_bytes_feature_name_not_void: Result /= Void
1973 end
1974
1975 pointer_item_feature_name: ET_FEATURE_NAME
1976 -- 'pointer_item' feature name
1977 once
1978 create {ET_IDENTIFIER} Result.make (pointer_item_name)
1979 ensure
1980 pointer_item_feature_name_not_void: Result /= Void
1981 end
1982
1983 pointer_field_feature_name: ET_FEATURE_NAME
1984 -- 'pointer_field' feature name
1985 once
1986 create {ET_IDENTIFIER} Result.make (pointer_field_name)
1987 ensure
1988 pointer_field_feature_name_not_void: Result /= Void
1989 end
1990
1991 positive_infinity_feature_name: ET_FEATURE_NAME
1992 -- 'positive_infinity' feature name
1993 once
1994 create {ET_IDENTIFIER} Result.make (positive_infinity_name)
1995 ensure
1996 positive_infinity_feature_name_not_void: Result /= Void
1997 end
1998
1999 power_feature_name: ET_FEATURE_NAME
2000 -- 'power' feature name
2001 once
2002 create {ET_IDENTIFIER} Result.make (power_name)
2003 ensure
2004 power_feature_name_not_void: Result /= Void
2005 end
2006
2007 prefix_minus_feature_name: ET_FEATURE_NAME
2008 -- 'prefix "-"' feature name
2009 local
2010 l_string: ET_REGULAR_MANIFEST_STRING
2011 once
2012 create l_string.make (minus_symbol_name)
2013 create {ET_PREFIX_NAME} Result.make_minus (l_string)
2014 ensure
2015 prefix_minus_feature_name_not_void: Result /= Void
2016 end
2017
2018 prefix_not_feature_name: ET_FEATURE_NAME
2019 -- 'prefix "not"' feature name
2020 local
2021 l_string: ET_REGULAR_MANIFEST_STRING
2022 once
2023 create l_string.make (not_keyword_name)
2024 create {ET_PREFIX_NAME} Result.make_not (l_string)
2025 ensure
2026 prefix_not_feature_name_not_void: Result /= Void
2027 end
2028
2029 prefix_plus_feature_name: ET_FEATURE_NAME
2030 -- 'prefix "+"' feature name
2031 local
2032 l_string: ET_REGULAR_MANIFEST_STRING
2033 once
2034 create l_string.make (plus_symbol_name)
2035 create {ET_PREFIX_NAME} Result.make_plus (l_string)
2036 ensure
2037 prefix_plus_feature_name_not_void: Result /= Void
2038 end
2039
2040 product_feature_name: ET_FEATURE_NAME
2041 -- 'product' feature name
2042 once
2043 create {ET_IDENTIFIER} Result.make (product_name)
2044 ensure
2045 product_feature_name_not_void: Result /= Void
2046 end
2047
2048 put_feature_name: ET_FEATURE_NAME
2049 -- 'put' feature name
2050 once
2051 create {ET_IDENTIFIER} Result.make (put_name)
2052 ensure
2053 put_feature_name_not_void: Result /= Void
2054 end
2055
2056 put_boolean_feature_name: ET_FEATURE_NAME
2057 -- 'put_boolean' feature name
2058 once
2059 create {ET_IDENTIFIER} Result.make (put_boolean_name)
2060 ensure
2061 put_boolean_feature_name_not_void: Result /= Void
2062 end
2063
2064 put_character_8_feature_name: ET_FEATURE_NAME
2065 -- 'put_character_8' feature name
2066 once
2067 create {ET_IDENTIFIER} Result.make (put_character_8_name)
2068 ensure
2069 put_character_8_feature_name_not_void: Result /= Void
2070 end
2071
2072 put_character_32_feature_name: ET_FEATURE_NAME
2073 -- 'put_character_32' feature name
2074 once
2075 create {ET_IDENTIFIER} Result.make (put_character_32_name)
2076 ensure
2077 put_character_32_feature_name_not_void: Result /= Void
2078 end
2079
2080 put_integer_8_feature_name: ET_FEATURE_NAME
2081 -- 'put_integer_8' feature name
2082 once
2083 create {ET_IDENTIFIER} Result.make (put_integer_8_name)
2084 ensure
2085 put_integer_8_feature_name_not_void: Result /= Void
2086 end
2087
2088 put_integer_16_feature_name: ET_FEATURE_NAME
2089 -- 'put_integer_16' feature name
2090 once
2091 create {ET_IDENTIFIER} Result.make (put_integer_16_name)
2092 ensure
2093 put_integer_16_feature_name_not_void: Result /= Void
2094 end
2095
2096 put_integer_32_feature_name: ET_FEATURE_NAME
2097 -- 'put_integer_32' feature name
2098 once
2099 create {ET_IDENTIFIER} Result.make (put_integer_32_name)
2100 ensure
2101 put_integer_32_feature_name_not_void: Result /= Void
2102 end
2103
2104 put_integer_64_feature_name: ET_FEATURE_NAME
2105 -- 'put_integer_64' feature name
2106 once
2107 create {ET_IDENTIFIER} Result.make (put_integer_64_name)
2108 ensure
2109 put_integer_64_feature_name_not_void: Result /= Void
2110 end
2111
2112 put_natural_8_feature_name: ET_FEATURE_NAME
2113 -- 'put_natural_8' feature name
2114 once
2115 create {ET_IDENTIFIER} Result.make (put_natural_8_name)
2116 ensure
2117 put_natural_8_feature_name_not_void: Result /= Void
2118 end
2119
2120 put_natural_16_feature_name: ET_FEATURE_NAME
2121 -- 'put_natural_16' feature name
2122 once
2123 create {ET_IDENTIFIER} Result.make (put_natural_16_name)
2124 ensure
2125 put_natural_16_feature_name_not_void: Result /= Void
2126 end
2127
2128 put_natural_32_feature_name: ET_FEATURE_NAME
2129 -- 'put_natural_32' feature name
2130 once
2131 create {ET_IDENTIFIER} Result.make (put_natural_32_name)
2132 ensure
2133 put_natural_32_feature_name_not_void: Result /= Void
2134 end
2135
2136 put_natural_64_feature_name: ET_FEATURE_NAME
2137 -- 'put_natural_64' feature name
2138 once
2139 create {ET_IDENTIFIER} Result.make (put_natural_64_name)
2140 ensure
2141 put_natural_64_feature_name_not_void: Result /= Void
2142 end
2143
2144 put_pointer_feature_name: ET_FEATURE_NAME
2145 -- 'put_pointer' feature name
2146 once
2147 create {ET_IDENTIFIER} Result.make (put_pointer_name)
2148 ensure
2149 put_pointer_feature_name_not_void: Result /= Void
2150 end
2151
2152 put_real_32_feature_name: ET_FEATURE_NAME
2153 -- 'put_real_32' feature name
2154 once
2155 create {ET_IDENTIFIER} Result.make (put_real_32_name)
2156 ensure
2157 put_real_32_feature_name_not_void: Result /= Void
2158 end
2159
2160 put_real_64_feature_name: ET_FEATURE_NAME
2161 -- 'put_real_64' feature name
2162 once
2163 create {ET_IDENTIFIER} Result.make (put_real_64_name)
2164 ensure
2165 put_real_64_feature_name_not_void: Result /= Void
2166 end
2167
2168 put_reference_feature_name: ET_FEATURE_NAME
2169 -- 'put_reference' feature name
2170 once
2171 create {ET_IDENTIFIER} Result.make (put_reference_name)
2172 ensure
2173 put_reference_feature_name_not_void: Result /= Void
2174 end
2175
2176 quotient_feature_name: ET_FEATURE_NAME
2177 -- 'quotient' feature name
2178 once
2179 create {ET_IDENTIFIER} Result.make (quotient_name)
2180 ensure
2181 quotient_feature_name_not_void: Result /= Void
2182 end
2183
2184 raise_feature_name: ET_FEATURE_NAME
2185 -- 'raise' feature name
2186 once
2187 create {ET_IDENTIFIER} Result.make (raise_name)
2188 ensure
2189 raise_feature_name_not_void: Result /= Void
2190 end
2191
2192 real_32_item_feature_name: ET_FEATURE_NAME
2193 -- 'real_32_item' feature name
2194 once
2195 create {ET_IDENTIFIER} Result.make (real_32_item_name)
2196 ensure
2197 real_32_item_feature_name_not_void: Result /= Void
2198 end
2199
2200 real_32_field_feature_name: ET_FEATURE_NAME
2201 -- 'real_32_field' feature name
2202 once
2203 create {ET_IDENTIFIER} Result.make (real_32_field_name)
2204 ensure
2205 real_32_field_feature_name_not_void: Result /= Void
2206 end
2207
2208 real_64_item_feature_name: ET_FEATURE_NAME
2209 -- 'real_64_item' feature name
2210 once
2211 create {ET_IDENTIFIER} Result.make (real_64_item_name)
2212 ensure
2213 real_64_item_feature_name_not_void: Result /= Void
2214 end
2215
2216 real_64_field_feature_name: ET_FEATURE_NAME
2217 -- 'real_64_field' feature name
2218 once
2219 create {ET_IDENTIFIER} Result.make (real_64_field_name)
2220 ensure
2221 real_64_field_feature_name_not_void: Result /= Void
2222 end
2223
2224 real_bytes_feature_name: ET_FEATURE_NAME
2225 -- 'real_bytes' feature name
2226 once
2227 create {ET_IDENTIFIER} Result.make (real_bytes_name)
2228 ensure
2229 real_bytes_feature_name_not_void: Result /= Void
2230 end
2231
2232 reference_item_feature_name: ET_FEATURE_NAME
2233 -- 'reference_item' feature name
2234 once
2235 create {ET_IDENTIFIER} Result.make (reference_item_name)
2236 ensure
2237 reference_item_feature_name_not_void: Result /= Void
2238 end
2239
2240 runtime_name_feature_name: ET_FEATURE_NAME
2241 -- 'runtime_name' feature name
2242 once
2243 create {ET_IDENTIFIER} Result.make (runtime_name_name)
2244 ensure
2245 runtime_name_feature_name_not_void: Result /= Void
2246 end
2247
2248 same_type_feature_name: ET_FEATURE_NAME
2249 -- 'same_type' feature name
2250 once
2251 create {ET_IDENTIFIER} Result.make (same_type_name)
2252 ensure
2253 same_type_feature_name_not_void: Result /= Void
2254 end
2255
2256 set_boolean_field_feature_name: ET_FEATURE_NAME
2257 -- 'set_boolean_field' feature name
2258 once
2259 create {ET_IDENTIFIER} Result.make (set_boolean_field_name)
2260 ensure
2261 set_boolean_field_feature_name_not_void: Result /= Void
2262 end
2263
2264 set_character_8_field_feature_name: ET_FEATURE_NAME
2265 -- 'set_character_8_field' feature name
2266 once
2267 create {ET_IDENTIFIER} Result.make (set_character_8_field_name)
2268 ensure
2269 set_character_8_field_feature_name_not_void: Result /= Void
2270 end
2271
2272 set_character_32_field_feature_name: ET_FEATURE_NAME
2273 -- 'set_character_32_field' feature name
2274 once
2275 create {ET_IDENTIFIER} Result.make (set_character_32_field_name)
2276 ensure
2277 set_character_32_field_feature_name_not_void: Result /= Void
2278 end
2279
2280 set_count_feature_name: ET_FEATURE_NAME
2281 -- 'set_count' feature name
2282 once
2283 create {ET_IDENTIFIER} Result.make (set_count_name)
2284 ensure
2285 set_count_feature_name_not_void: Result /= Void
2286 end
2287
2288 set_exception_data_feature_name: ET_FEATURE_NAME
2289 -- 'set_exception_data' feature name
2290 once
2291 create {ET_IDENTIFIER} Result.make (set_exception_data_name)
2292 ensure
2293 set_exception_data_feature_name_not_void: Result /= Void
2294 end
2295
2296 set_integer_8_field_feature_name: ET_FEATURE_NAME
2297 -- 'set_integer_8_field' feature name
2298 once
2299 create {ET_IDENTIFIER} Result.make (set_integer_8_field_name)
2300 ensure
2301 set_integer_8_field_feature_name_not_void: Result /= Void
2302 end
2303
2304 set_integer_16_field_feature_name: ET_FEATURE_NAME
2305 -- 'set_integer_16_field' feature name
2306 once
2307 create {ET_IDENTIFIER} Result.make (set_integer_16_field_name)
2308 ensure
2309 set_integer_16_field_feature_name_not_void: Result /= Void
2310 end
2311
2312 set_integer_32_field_feature_name: ET_FEATURE_NAME
2313 -- 'set_integer_32_field' feature name
2314 once
2315 create {ET_IDENTIFIER} Result.make (set_integer_32_field_name)
2316 ensure
2317 set_integer_32_field_feature_name_not_void: Result /= Void
2318 end
2319
2320 set_integer_64_field_feature_name: ET_FEATURE_NAME
2321 -- 'set_integer_64_field' feature name
2322 once
2323 create {ET_IDENTIFIER} Result.make (set_integer_64_field_name)
2324 ensure
2325 set_integer_64_field_feature_name_not_void: Result /= Void
2326 end
2327
2328 set_is_ignored_feature_name: ET_FEATURE_NAME
2329 -- 'set_is_ignored' feature name
2330 once
2331 create {ET_IDENTIFIER} Result.make (set_is_ignored_name)
2332 ensure
2333 set_is_ignored_feature_name_not_void: Result /= Void
2334 end
2335
2336 set_item_feature_name: ET_FEATURE_NAME
2337 -- 'set_item' feature name
2338 once
2339 create {ET_IDENTIFIER} Result.make (set_item_name)
2340 ensure
2341 set_item_feature_name_not_void: Result /= Void
2342 end
2343
2344 set_natural_8_field_feature_name: ET_FEATURE_NAME
2345 -- 'set_natural_8_field' feature name
2346 once
2347 create {ET_IDENTIFIER} Result.make (set_natural_8_field_name)
2348 ensure
2349 set_natural_8_field_feature_name_not_void: Result /= Void
2350 end
2351
2352 set_natural_16_field_feature_name: ET_FEATURE_NAME
2353 -- 'set_natural_16_field' feature name
2354 once
2355 create {ET_IDENTIFIER} Result.make (set_natural_16_field_name)
2356 ensure
2357 set_natural_16_field_feature_name_not_void: Result /= Void
2358 end
2359
2360 set_natural_32_field_feature_name: ET_FEATURE_NAME
2361 -- 'set_natural_32_field' feature name
2362 once
2363 create {ET_IDENTIFIER} Result.make (set_natural_32_field_name)
2364 ensure
2365 set_natural_32_field_feature_name_not_void: Result /= Void
2366 end
2367
2368 set_natural_64_field_feature_name: ET_FEATURE_NAME
2369 -- 'set_natural_64_field' feature name
2370 once
2371 create {ET_IDENTIFIER} Result.make (set_natural_64_field_name)
2372 ensure
2373 set_natural_64_field_feature_name_not_void: Result /= Void
2374 end
2375
2376 set_object_comparison_feature_name: ET_FEATURE_NAME
2377 -- 'set_object_comparison' feature name
2378 once
2379 create {ET_IDENTIFIER} Result.make (set_object_comparison_name)
2380 ensure
2381 set_object_comparison_feature_name_not_void: Result /= Void
2382 end
2383
2384 set_operands_feature_name: ET_FEATURE_NAME
2385 -- 'set_operands' feature name
2386 once
2387 create {ET_IDENTIFIER} Result.make (set_operands_name)
2388 ensure
2389 set_operands_feature_name_not_void: Result /= Void
2390 end
2391
2392 set_pointer_field_feature_name: ET_FEATURE_NAME
2393 -- 'set_pointer_field' feature name
2394 once
2395 create {ET_IDENTIFIER} Result.make (set_pointer_field_name)
2396 ensure
2397 set_pointer_field_feature_name_not_void: Result /= Void
2398 end
2399
2400 set_real_32_field_feature_name: ET_FEATURE_NAME
2401 -- 'set_real_32_field' feature name
2402 once
2403 create {ET_IDENTIFIER} Result.make (set_real_32_field_name)
2404 ensure
2405 set_real_32_field_feature_name_not_void: Result /= Void
2406 end
2407
2408 set_real_64_field_feature_name: ET_FEATURE_NAME
2409 -- 'set_real_64_field' feature name
2410 once
2411 create {ET_IDENTIFIER} Result.make (set_real_64_field_name)
2412 ensure
2413 set_real_64_field_feature_name_not_void: Result /= Void
2414 end
2415
2416 set_reference_field_feature_name: ET_FEATURE_NAME
2417 -- 'set_reference_field' feature name
2418 once
2419 create {ET_IDENTIFIER} Result.make (set_reference_field_name)
2420 ensure
2421 set_reference_field_feature_name_not_void: Result /= Void
2422 end
2423
2424 standard_copy_feature_name: ET_FEATURE_NAME
2425 -- 'standard_copy' feature name
2426 once
2427 create {ET_IDENTIFIER} Result.make (standard_copy_name)
2428 ensure
2429 standard_copy_feature_name_not_void: Result /= Void
2430 end
2431
2432 standard_is_equal_feature_name: ET_FEATURE_NAME
2433 -- 'standard_is_equal' feature name
2434 once
2435 create {ET_IDENTIFIER} Result.make (standard_is_equal_name)
2436 ensure
2437 standard_is_equal_feature_name_not_void: Result /= Void
2438 end
2439
2440 standard_twin_feature_name: ET_FEATURE_NAME
2441 -- 'standard_twin' feature name
2442 once
2443 create {ET_IDENTIFIER} Result.make (standard_twin_name)
2444 ensure
2445 standard_twin_feature_name_not_void: Result /= Void
2446 end
2447
2448 tagged_out_feature_name: ET_FEATURE_NAME
2449 -- 'tagged_out' feature name
2450 once
2451 create {ET_IDENTIFIER} Result.make (tagged_out_name)
2452 ensure
2453 tagged_out_feature_name_not_void: Result /= Void
2454 end
2455
2456 to_character_feature_name: ET_FEATURE_NAME
2457 -- 'to_character' feature name
2458 once
2459 create {ET_IDENTIFIER} Result.make (to_character_name)
2460 ensure
2461 to_character_feature_name_not_void: Result /= Void
2462 end
2463
2464 to_character_8_feature_name: ET_FEATURE_NAME
2465 -- 'to_character_8' feature name
2466 once
2467 create {ET_IDENTIFIER} Result.make (to_character_8_name)
2468 ensure
2469 to_character_8_feature_name_not_void: Result /= Void
2470 end
2471
2472 to_character_32_feature_name: ET_FEATURE_NAME
2473 -- 'to_character_32' feature name
2474 once
2475 create {ET_IDENTIFIER} Result.make (to_character_32_name)
2476 ensure
2477 to_character_32_feature_name_not_void: Result /= Void
2478 end
2479
2480 to_double_feature_name: ET_FEATURE_NAME
2481 -- 'to_double' feature name
2482 once
2483 create {ET_IDENTIFIER} Result.make (to_double_name)
2484 ensure
2485 to_double_feature_name_not_void: Result /= Void
2486 end
2487
2488 to_integer_32_feature_name: ET_FEATURE_NAME
2489 -- 'to_integer_32' feature name
2490 once
2491 create {ET_IDENTIFIER} Result.make (to_integer_32_name)
2492 ensure
2493 to_integer_32_feature_name_not_void: Result /= Void
2494 end
2495
2496 to_real_feature_name: ET_FEATURE_NAME
2497 -- 'to_real' feature name
2498 once
2499 create {ET_IDENTIFIER} Result.make (to_real_name)
2500 ensure
2501 to_real_feature_name_not_void: Result /= Void
2502 end
2503
2504 to_pointer_feature_name: ET_FEATURE_NAME
2505 -- 'to_pointer' feature name
2506 once
2507 create {ET_IDENTIFIER} Result.make (to_pointer_name)
2508 ensure
2509 to_pointer_feature_name_not_void: Result /= Void
2510 end
2511
2512 to_real_32_feature_name: ET_FEATURE_NAME
2513 -- 'to_real_32' feature name
2514 once
2515 create {ET_IDENTIFIER} Result.make (to_real_32_name)
2516 ensure
2517 to_real_32_feature_name_not_void: Result /= Void
2518 end
2519
2520 to_real_64_feature_name: ET_FEATURE_NAME
2521 -- 'to_real_64' feature name
2522 once
2523 create {ET_IDENTIFIER} Result.make (to_real_64_name)
2524 ensure
2525 to_real_64_feature_name_not_void: Result /= Void
2526 end
2527
2528 truncated_to_integer_feature_name: ET_FEATURE_NAME
2529 -- 'truncated_to_integer' feature name
2530 once
2531 create {ET_IDENTIFIER} Result.make (truncated_to_integer_name)
2532 ensure
2533 truncated_to_integer_feature_name_not_void: Result /= Void
2534 end
2535
2536 truncated_to_integer_64_feature_name: ET_FEATURE_NAME
2537 -- 'truncated_to_integer_64' feature name
2538 once
2539 create {ET_IDENTIFIER} Result.make (truncated_to_integer_64_name)
2540 ensure
2541 truncated_to_integer_64_feature_name_not_void: Result /= Void
2542 end
2543
2544 truncated_to_real_feature_name: ET_FEATURE_NAME
2545 -- 'truncated_to_real' feature name
2546 once
2547 create {ET_IDENTIFIER} Result.make (truncated_to_real_name)
2548 ensure
2549 truncated_to_real_feature_name_not_void: Result /= Void
2550 end
2551
2552 twin_feature_name: ET_FEATURE_NAME
2553 -- 'twin' feature name
2554 once
2555 create {ET_IDENTIFIER} Result.make (twin_name)
2556 ensure
2557 twin_feature_name_not_void: Result /= Void
2558 end
2559
2560 type_id_feature_name: ET_FEATURE_NAME
2561 -- 'type_id' feature name
2562 once
2563 create {ET_IDENTIFIER} Result.make (type_id_name)
2564 ensure
2565 type_id_feature_name_not_void: Result /= Void
2566 end
2567
2568 type_of_code_feature_name: ET_FEATURE_NAME
2569 -- 'type_of_code' feature name
2570 once
2571 create {ET_IDENTIFIER} Result.make (type_of_code_name)
2572 ensure
2573 type_of_code_feature_name_not_void: Result /= Void
2574 end
2575
2576 type_of_type_feature_name: ET_FEATURE_NAME
2577 -- 'type_of_type' feature name
2578 once
2579 create {ET_IDENTIFIER} Result.make (type_of_type_name)
2580 ensure
2581 type_of_type_feature_name_not_void: Result /= Void
2582 end
2583
2584 upper_feature_name: ET_FEATURE_NAME
2585 -- 'upper' feature name
2586 once
2587 create {ET_IDENTIFIER} Result.make (upper_name)
2588 ensure
2589 upper_feature_name_not_void: Result /= Void
2590 end
2591
2592 void_feature_name: ET_FEATURE_NAME
2593 -- 'Void' feature name
2594 once
2595 create {ET_IDENTIFIER} Result.make (capitalized_void_keyword_name)
2596 ensure
2597 void_feature_name_not_void: Result /= Void
2598 end
2599
2600 wide_character_bytes_feature_name: ET_FEATURE_NAME
2601 -- 'wide_charafter_bytesVoid' feature name
2602 once
2603 create {ET_IDENTIFIER} Result.make (wide_character_bytes_name)
2604 ensure
2605 wide_character_bytes_feature_name_not_void: Result /= Void
2606 end
2607
2608 feature -- Types
2609
2610 like_current: ET_LIKE_CURRENT
2611 -- Type 'like Current' with implicit 'attached' type mark
2612 once
2613 create Result.make (implicit_attached_type_mark)
2614 ensure
2615 like_current_not_void: Result /= Void
2616 end
2617
2618 attached_like_current: ET_LIKE_CURRENT
2619 -- Type 'attached like Current'
2620 once
2621 create Result.make (attached_keyword)
2622 ensure
2623 attached_like_current_not_void: Result /= Void
2624 end
2625
2626 detachable_like_current: ET_LIKE_CURRENT
2627 -- Type 'detachable like Current'
2628 once
2629 create Result.make (detachable_keyword)
2630 ensure
2631 detachable_like_current_not_void: Result /= Void
2632 end
2633
2634 identity_type: ET_LIKE_CURRENT
2635 -- Type 'like Current' with no type mark modifier
2636 once
2637 create Result.make (Void)
2638 ensure
2639 identity_type_not_void: Result /= Void
2640 end
2641
2642 like_0: ET_LIKE_N
2643 -- Type 'like 0' with no type mark modifier
2644 once
2645 create Result.make_zero (Void)
2646 ensure
2647 like_0_not_void: Result /= Void
2648 end
2649
2650 attached_separate_type_mark: ET_ATTACHMENT_SEPARATE_KEYWORDS
2651 -- 'attached separate' type mark
2652 once
2653 create Result.make (attached_keyword, separate_keyword)
2654 ensure
2655 attached_separate_type_mark_not_void: Result /= Void
2656 end
2657
2658 implicit_attached_type_mark: ET_IMPLICIT_TYPE_MARK
2659 -- Implicit 'attached' type mark
2660 once
2661 create Result.make
2662 Result.set_attached_mark (True)
2663 ensure
2664 implicit_attached_type_mark_not_void: Result /= Void
2665 end
2666
2667 implicit_attached_expanded_type_mark: ET_IMPLICIT_TYPE_MARK
2668 -- Implicit 'attached expanded' type mark
2669 once
2670 create Result.make
2671 Result.set_attached_mark (True)
2672 Result.set_expanded_mark (True)
2673 ensure
2674 implicit_attached_expanded_type_mark_not_void: Result /= Void
2675 end
2676
2677 implicit_attached_reference_type_mark: ET_IMPLICIT_TYPE_MARK
2678 -- Implicit 'attached reference' type mark
2679 once
2680 create Result.make
2681 Result.set_attached_mark (True)
2682 Result.set_reference_mark (True)
2683 ensure
2684 implicit_attached_reference_type_mark_not_void: Result /= Void
2685 end
2686
2687 implicit_attached_separate_type_mark: ET_IMPLICIT_TYPE_MARK
2688 -- Implicit 'attached separate' type mark
2689 once
2690 create Result.make
2691 Result.set_attached_mark (True)
2692 Result.set_separate_mark (True)
2693 ensure
2694 implicit_attached_separate_type_mark_not_void: Result /= Void
2695 end
2696
2697 implicit_attached_separate_expanded_type_mark: ET_IMPLICIT_TYPE_MARK
2698 -- Implicit 'attached separate expanded' type mark
2699 once
2700 create Result.make
2701 Result.set_attached_mark (True)
2702 Result.set_separate_mark (True)
2703 Result.set_expanded_mark (True)
2704 ensure
2705 implicit_attached_separate_expanded_type_mark_not_void: Result /= Void
2706 end
2707
2708 implicit_attached_separate_reference_type_mark: ET_IMPLICIT_TYPE_MARK
2709 -- Implicit 'attached separate reference' type mark
2710 once
2711 create Result.make
2712 Result.set_attached_mark (True)
2713 Result.set_separate_mark (True)
2714 Result.set_reference_mark (True)
2715 ensure
2716 implicit_attached_separate_reference_type_mark_not_void: Result /= Void
2717 end
2718
2719 implicit_detachable_type_mark: ET_IMPLICIT_TYPE_MARK
2720 -- Implicit 'detachable' type mark
2721 once
2722 create Result.make
2723 Result.set_detachable_mark (True)
2724 ensure
2725 implicit_detachable_type_mark_not_void: Result /= Void
2726 end
2727
2728 implicit_detachable_expanded_type_mark: ET_IMPLICIT_TYPE_MARK
2729 -- Implicit 'detachable expanded' type mark
2730 once
2731 create Result.make
2732 Result.set_detachable_mark (True)
2733 Result.set_expanded_mark (True)
2734 ensure
2735 implicit_detachable_expanded_type_mark_not_void: Result /= Void
2736 end
2737
2738 implicit_detachable_reference_type_mark: ET_IMPLICIT_TYPE_MARK
2739 -- Implicit 'detachable reference' type mark
2740 once
2741 create Result.make
2742 Result.set_detachable_mark (True)
2743 Result.set_reference_mark (True)
2744 ensure
2745 implicit_detachable_reference_type_mark_not_void: Result /= Void
2746 end
2747
2748 implicit_detachable_separate_type_mark: ET_IMPLICIT_TYPE_MARK
2749 -- Implicit 'detachable separate' type mark
2750 once
2751 create Result.make
2752 Result.set_detachable_mark (True)
2753 Result.set_separate_mark (True)
2754 ensure
2755 implicit_detachable_separate_type_mark_not_void: Result /= Void
2756 end
2757
2758 implicit_detachable_separate_expanded_type_mark: ET_IMPLICIT_TYPE_MARK
2759 -- Implicit 'detachable separate expanded' type mark
2760 once
2761 create Result.make
2762 Result.set_detachable_mark (True)
2763 Result.set_separate_mark (True)
2764 Result.set_expanded_mark (True)
2765 ensure
2766 implicit_detachable_separate_expanded_type_mark_not_void: Result /= Void
2767 end
2768
2769 implicit_detachable_separate_reference_type_mark: ET_IMPLICIT_TYPE_MARK
2770 -- Implicit 'detachable separate reference' type mark
2771 once
2772 create Result.make
2773 Result.set_detachable_mark (True)
2774 Result.set_separate_mark (True)
2775 Result.set_reference_mark (True)
2776 ensure
2777 implicit_detachable_separate_reference_type_mark_not_void: Result /= Void
2778 end
2779
2780 implicit_expanded_type_mark: ET_IMPLICIT_TYPE_MARK
2781 -- Implicit 'expanded' type mark
2782 once
2783 create Result.make
2784 Result.set_expanded_mark (True)
2785 ensure
2786 implicit_expanded_type_mark_not_void: Result /= Void
2787 end
2788
2789 implicit_reference_type_mark: ET_IMPLICIT_TYPE_MARK
2790 -- Implicit 'reference' type mark
2791 once
2792 create Result.make
2793 Result.set_reference_mark (True)
2794 ensure
2795 implicit_reference_type_mark_not_void: Result /= Void
2796 end
2797
2798 implicit_separate_type_mark: ET_IMPLICIT_TYPE_MARK
2799 -- Implicit 'separate' type mark
2800 once
2801 create Result.make
2802 Result.set_separate_mark (True)
2803 ensure
2804 implicit_separate_type_mark_not_void: Result /= Void
2805 end
2806
2807 implicit_separate_expanded_type_mark: ET_IMPLICIT_TYPE_MARK
2808 -- Implicit 'separate expanded' type mark
2809 once
2810 create Result.make
2811 Result.set_separate_mark (True)
2812 Result.set_expanded_mark (True)
2813 ensure
2814 implicit_separate_expanded_type_mark_not_void: Result /= Void
2815 end
2816
2817 implicit_separate_reference_type_mark: ET_IMPLICIT_TYPE_MARK
2818 -- Implicit 'separate reference' type mark
2819 once
2820 create Result.make
2821 Result.set_separate_mark (True)
2822 Result.set_reference_mark (True)
2823 ensure
2824 implicit_separate_reference_type_mark_not_void: Result /= Void
2825 end
2826
2827 implicit_no_type_mark: ET_IMPLICIT_TYPE_MARK
2828 -- Implicit no type mark
2829 once
2830 create Result.make
2831 ensure
2832 implicit_no_type_mark_not_void: Result /= Void
2833 end
2834
2835 implicit_type_mark (a_expanded_mark, a_reference_mark, a_separate_mark, a_attached_mark, a_detachable_mark: BOOLEAN): ET_IMPLICIT_TYPE_MARK
2836 -- Implicity type mark
2837 require
2838 expandedness_consistency: not (a_expanded_mark and a_reference_mark)
2839 attachment_consistency: not (a_attached_mark and a_detachable_mark)
2840 do
2841 if a_attached_mark then
2842 if a_separate_mark then
2843 if a_expanded_mark then
2844 Result := implicit_attached_separate_expanded_type_mark
2845 elseif a_reference_mark then
2846 Result := implicit_attached_separate_reference_type_mark
2847 else
2848 Result := implicit_attached_separate_type_mark
2849 end
2850 elseif a_expanded_mark then
2851 Result := implicit_attached_expanded_type_mark
2852 elseif a_reference_mark then
2853 Result := implicit_attached_reference_type_mark
2854 else
2855 Result := implicit_attached_type_mark
2856 end
2857 elseif a_detachable_mark then
2858 if a_separate_mark then
2859 if a_expanded_mark then
2860 Result := implicit_detachable_separate_expanded_type_mark
2861 elseif a_reference_mark then
2862 Result := implicit_detachable_separate_reference_type_mark
2863 else
2864 Result := implicit_detachable_separate_type_mark
2865 end
2866 elseif a_expanded_mark then
2867 Result := implicit_detachable_expanded_type_mark
2868 elseif a_reference_mark then
2869 Result := implicit_detachable_reference_type_mark
2870 else
2871 Result := implicit_detachable_type_mark
2872 end
2873 elseif a_separate_mark then
2874 if a_expanded_mark then
2875 Result := implicit_separate_expanded_type_mark
2876 elseif a_reference_mark then
2877 Result := implicit_separate_reference_type_mark
2878 else
2879 Result := implicit_separate_type_mark
2880 end
2881 elseif a_expanded_mark then
2882 Result := implicit_expanded_type_mark
2883 elseif a_reference_mark then
2884 Result := implicit_reference_type_mark
2885 else
2886 Result := implicit_no_type_mark
2887 end
2888 ensure
2889 implicit_type_mark_not_void: Result /= Void
2890 end
2891
2892 feature -- Leaf nodes
2893
2894 null_leaf: ET_AST_NULL_LEAF
2895 -- Leaf with no characters
2896 once
2897 create Result.make
2898 ensure
2899 leaf_not_void: Result /= Void
2900 leaf_is_null: Result.is_null
2901 end
2902
2903 feature -- Symbols
2904
2905 symbol: ET_SYMBOL
2906 -- Dummy symbol
2907 once
2908 create Result.make_arrow
2909 ensure
2910 symbol_not_void: Result /= Void
2911 end
2912
2913 arrow_symbol: ET_SYMBOL
2914 -- '->' symbol
2915 once
2916 create Result.make_arrow
2917 ensure
2918 symbol_not_void: Result /= Void
2919 end
2920
2921 assign_symbol: ET_SYMBOL
2922 -- ':=' symbol
2923 once
2924 create Result.make_assign
2925 ensure
2926 symbol_not_void: Result /= Void
2927 end
2928
2929 assign_attempt_symbol: ET_SYMBOL
2930 -- '?=' symbol
2931 once
2932 create Result.make_assign_attempt
2933 ensure
2934 symbol_not_void: Result /= Void
2935 end
2936
2937 bang_symbol: ET_SYMBOL
2938 -- '!' symbol
2939 once
2940 create Result.make_bang
2941 ensure
2942 symbol_not_void: Result /= Void
2943 end
2944
2945 colon_symbol: ET_SYMBOL
2946 -- ':' symbol
2947 once
2948 create Result.make_colon
2949 ensure
2950 symbol_not_void: Result /= Void
2951 end
2952
2953 comma_symbol: ET_SYMBOL
2954 -- ',' symbol
2955 once
2956 create Result.make_comma
2957 ensure
2958 symbol_not_void: Result /= Void
2959 end
2960
2961 dollar_symbol: ET_SYMBOL
2962 -- '$' symbol
2963 once
2964 create Result.make_dollar
2965 ensure
2966 symbol_not_void: Result /= Void
2967 end
2968
2969 dot_symbol: ET_SYMBOL
2970 -- '.' symbol
2971 once
2972 create Result.make_dot
2973 ensure
2974 symbol_not_void: Result /= Void
2975 end
2976
2977 dotdot_symbol: ET_SYMBOL
2978 -- '..' symbol
2979 once
2980 create Result.make_dotdot
2981 ensure
2982 symbol_not_void: Result /= Void
2983 end
2984
2985 left_array_symbol: ET_SYMBOL
2986 -- '<<' symbol
2987 once
2988 create Result.make_left_array
2989 ensure
2990 symbol_not_void: Result /= Void
2991 end
2992
2993 left_brace_symbol: ET_SYMBOL
2994 -- '{' symbol
2995 once
2996 create Result.make_left_brace
2997 ensure
2998 symbol_not_void: Result /= Void
2999 end
3000
3001 left_bracket_symbol: ET_BRACKET_SYMBOL
3002 -- '[' symbol
3003 once
3004 create Result.make
3005 ensure
3006 symbol_not_void: Result /= Void
3007 end
3008
3009 left_parenthesis_symbol: ET_SYMBOL
3010 -- '(' symbol
3011 once
3012 create Result.make_left_parenthesis
3013 ensure
3014 symbol_not_void: Result /= Void
3015 end
3016
3017 question_mark_symbol: ET_QUESTION_MARK_SYMBOL
3018 -- '?' symbol
3019 once
3020 create Result.make
3021 ensure
3022 symbol_not_void: Result /= Void
3023 end
3024
3025 right_array_symbol: ET_SYMBOL
3026 -- '>>' symbol
3027 once
3028 create Result.make_right_array
3029 ensure
3030 symbol_not_void: Result /= Void
3031 end
3032
3033 right_brace_symbol: ET_SYMBOL
3034 -- '}' symbol
3035 once
3036 create Result.make_right_brace
3037 ensure
3038 symbol_not_void: Result /= Void
3039 end
3040
3041 right_bracket_symbol: ET_SYMBOL
3042 -- ']' symbol
3043 once
3044 create Result.make_right_bracket
3045 ensure
3046 symbol_not_void: Result /= Void
3047 end
3048
3049 right_parenthesis_symbol: ET_SYMBOL
3050 -- ')' symbol
3051 once
3052 create Result.make_right_parenthesis
3053 ensure
3054 symbol_not_void: Result /= Void
3055 end
3056
3057 semicolon_symbol: ET_SEMICOLON_SYMBOL
3058 -- ';' symbol
3059 do
3060 create Result.make
3061 ensure
3062 symbol_not_void: Result /= Void
3063 end
3064
3065 tilde_symbol: ET_SYMBOL
3066 -- '~' symbol
3067 once
3068 create Result.make_tilde
3069 ensure
3070 symbol_not_void: Result /= Void
3071 end
3072
3073 feature -- Keywords
3074
3075 keyword: ET_KEYWORD
3076 -- Dummy keyword
3077 once
3078 Result := strip_keyword
3079 ensure
3080 keyword_not_void: Result /= Void
3081 end
3082
3083 across_keyword: ET_KEYWORD
3084 -- 'across' keyword
3085 once
3086 create Result.make_across
3087 ensure
3088 keyword_not_void: Result /= Void
3089 end
3090
3091 agent_keyword: ET_AGENT_KEYWORD
3092 -- 'agent' keyword
3093 once
3094 create Result.make
3095 ensure
3096 keyword_not_void: Result /= Void
3097 end
3098
3099 and_keyword: ET_KEYWORD_OPERATOR
3100 -- 'and' keyword
3101 once
3102 create Result.make_and
3103 ensure
3104 keyword_not_void: Result /= Void
3105 end
3106
3107 alias_keyword: ET_KEYWORD
3108 -- 'alias' keyword
3109 once
3110 create Result.make_alias
3111 ensure
3112 keyword_not_void: Result /= Void
3113 end
3114
3115 all_keyword: ET_KEYWORD
3116 -- 'all' keyword
3117 once
3118 create Result.make_all
3119 ensure
3120 keyword_not_void: Result /= Void
3121 end
3122
3123 as_keyword: ET_KEYWORD
3124 -- 'as' keyword
3125 once
3126 create Result.make_as
3127 ensure
3128 keyword_not_void: Result /= Void
3129 end
3130
3131 assign_keyword: ET_KEYWORD
3132 -- 'assign' keyword
3133 once
3134 create Result.make_assign
3135 ensure
3136 keyword_not_void: Result /= Void
3137 end
3138
3139 attached_keyword: ET_KEYWORD
3140 -- 'attached' keyword
3141 once
3142 create Result.make_attached
3143 ensure
3144 keyword_not_void: Result /= Void
3145 end
3146
3147 attribute_keyword: ET_KEYWORD
3148 -- 'attribute' keyword
3149 once
3150 create Result.make_attribute
3151 ensure
3152 keyword_not_void: Result /= Void
3153 end
3154
3155 check_keyword: ET_KEYWORD
3156 -- 'check' keyword
3157 once
3158 create Result.make_check
3159 ensure
3160 keyword_not_void: Result /= Void
3161 end
3162
3163 class_keyword: ET_KEYWORD
3164 -- 'class' keyword
3165 once
3166 create Result.make_class
3167 ensure
3168 keyword_not_void: Result /= Void
3169 end
3170
3171 convert_keyword: ET_KEYWORD
3172 -- 'convert' keyword
3173 once
3174 create Result.make_convert
3175 ensure
3176 keyword_not_void: Result /= Void
3177 end
3178
3179 create_keyword: ET_KEYWORD
3180 -- 'create' keyword
3181 once
3182 create Result.make_create
3183 ensure
3184 keyword_not_void: Result /= Void
3185 end
3186
3187 creation_keyword: ET_KEYWORD
3188 -- 'creation' keyword
3189 once
3190 create Result.make_creation
3191 ensure
3192 keyword_not_void: Result /= Void
3193 end
3194
3195 current_keyword: ET_CURRENT
3196 -- 'Current' keyword
3197 once
3198 create Result.make
3199 ensure
3200 keyword_not_void: Result /= Void
3201 end
3202
3203 debug_keyword: ET_KEYWORD
3204 -- 'debug' keyword
3205 once
3206 create Result.make_debug
3207 ensure
3208 keyword_not_void: Result /= Void
3209 end
3210
3211 deferred_keyword: ET_KEYWORD
3212 -- 'deferred' keyword
3213 once
3214 create Result.make_deferred
3215 ensure
3216 keyword_not_void: Result /= Void
3217 end
3218
3219 detachable_keyword: ET_KEYWORD
3220 -- 'detachable' keyword
3221 once
3222 create Result.make_detachable
3223 ensure
3224 keyword_not_void: Result /= Void
3225 end
3226
3227 do_keyword: ET_KEYWORD
3228 -- 'do' keyword
3229 once
3230 create Result.make_do
3231 ensure
3232 keyword_not_void: Result /= Void
3233 end
3234
3235 else_keyword: ET_KEYWORD
3236 -- 'else' keyword
3237 once
3238 create Result.make_else
3239 ensure
3240 keyword_not_void: Result /= Void
3241 end
3242
3243 elseif_keyword: ET_KEYWORD
3244 -- 'elseif' keyword
3245 once
3246 create Result.make_elseif
3247 ensure
3248 keyword_not_void: Result /= Void
3249 end
3250
3251 end_keyword: ET_KEYWORD
3252 -- 'end' keyword
3253 once
3254 create Result.make_end
3255 ensure
3256 keyword_not_void: Result /= Void
3257 end
3258
3259 ensure_keyword: ET_KEYWORD
3260 -- 'ensure' keyword
3261 once
3262 create Result.make_ensure
3263 ensure
3264 keyword_not_void: Result /= Void
3265 end
3266
3267 expanded_keyword: ET_KEYWORD
3268 -- 'expanded' keyword
3269 once
3270 create Result.make_expanded
3271 ensure
3272 keyword_not_void: Result /= Void
3273 end
3274
3275 export_keyword: ET_KEYWORD
3276 -- 'export' keyword
3277 once
3278 create Result.make_export
3279 ensure
3280 keyword_not_void: Result /= Void
3281 end
3282
3283 external_keyword: ET_KEYWORD
3284 -- 'external' keyword
3285 once
3286 create Result.make_external
3287 ensure
3288 keyword_not_void: Result /= Void
3289 end
3290
3291 feature_keyword: ET_KEYWORD
3292 -- 'feature' keyword
3293 once
3294 create Result.make_feature
3295 ensure
3296 keyword_not_void: Result /= Void
3297 end
3298
3299 from_keyword: ET_KEYWORD
3300 -- 'from' keyword
3301 once
3302 create Result.make_from
3303 ensure
3304 keyword_not_void: Result /= Void
3305 end
3306
3307 frozen_keyword: ET_KEYWORD
3308 -- 'frozen' keyword
3309 once
3310 create Result.make_frozen
3311 ensure
3312 keyword_not_void: Result /= Void
3313 end
3314
3315 if_keyword: ET_KEYWORD
3316 -- 'if' keyword
3317 once
3318 create Result.make_if
3319 ensure
3320 keyword_not_void: Result /= Void
3321 end
3322
3323 indexing_keyword: ET_KEYWORD
3324 -- 'indexing' keyword
3325 once
3326 create Result.make_indexing
3327 ensure
3328 keyword_not_void: Result /= Void
3329 end
3330
3331 infix_keyword: ET_KEYWORD
3332 -- 'infix' keyword
3333 once
3334 create Result.make_infix
3335 ensure
3336 keyword_not_void: Result /= Void
3337 end
3338
3339 inherit_keyword: ET_KEYWORD
3340 -- 'inherit' keyword
3341 once
3342 create Result.make_inherit
3343 ensure
3344 keyword_not_void: Result /= Void
3345 end
3346
3347 inspect_keyword: ET_KEYWORD
3348 -- 'inspect' keyword
3349 once
3350 create Result.make_inspect
3351 ensure
3352 keyword_not_void: Result /= Void
3353 end
3354
3355 invariant_keyword: ET_KEYWORD
3356 -- 'invariant' keyword
3357 once
3358 create Result.make_invariant
3359 ensure
3360 keyword_not_void: Result /= Void
3361 end
3362
3363 is_keyword: ET_KEYWORD
3364 -- 'is' keyword
3365 once
3366 create Result.make_is
3367 ensure
3368 keyword_not_void: Result /= Void
3369 end
3370
3371 like_keyword: ET_KEYWORD
3372 -- 'like' keyword
3373 once
3374 create Result.make_like
3375 ensure
3376 keyword_not_void: Result /= Void
3377 end
3378
3379 local_keyword: ET_KEYWORD
3380 -- 'local' keyword
3381 once
3382 create Result.make_local
3383 ensure
3384 keyword_not_void: Result /= Void
3385 end
3386
3387 loop_keyword: ET_KEYWORD
3388 -- 'loop' keyword
3389 once
3390 create Result.make_loop
3391 ensure
3392 keyword_not_void: Result /= Void
3393 end
3394
3395 note_keyword: ET_KEYWORD
3396 -- 'note' keyword
3397 once
3398 create Result.make_note
3399 ensure
3400 keyword_not_void: Result /= Void
3401 end
3402
3403 obsolete_keyword: ET_KEYWORD
3404 -- 'obsolete' keyword
3405 once
3406 create Result.make_obsolete
3407 ensure
3408 keyword_not_void: Result /= Void
3409 end
3410
3411 old_keyword: ET_KEYWORD
3412 -- 'old' keyword
3413 once
3414 create Result.make_old
3415 ensure
3416 keyword_not_void: Result /= Void
3417 end
3418
3419 once_keyword: ET_KEYWORD
3420 -- 'once' keyword
3421 once
3422 create Result.make_once
3423 ensure
3424 keyword_not_void: Result /= Void
3425 end
3426
3427 or_keyword: ET_KEYWORD_OPERATOR
3428 -- 'or' keyword
3429 once
3430 create Result.make_or
3431 ensure
3432 keyword_not_void: Result /= Void
3433 end
3434
3435 precursor_keyword: ET_PRECURSOR_KEYWORD
3436 -- 'precursor' keyword
3437 once
3438 create Result.make
3439 ensure
3440 keyword_not_void: Result /= Void
3441 end
3442
3443 prefix_keyword: ET_KEYWORD
3444 -- 'prefix' keyword
3445 once
3446 create Result.make_prefix
3447 ensure
3448 keyword_not_void: Result /= Void
3449 end
3450
3451 redefine_keyword: ET_KEYWORD
3452 -- 'redefine' keyword
3453 once
3454 create Result.make_redefine
3455 ensure
3456 keyword_not_void: Result /= Void
3457 end
3458
3459 reference_keyword: ET_KEYWORD
3460 -- 'reference' keyword
3461 once
3462 create Result.make_reference
3463 ensure
3464 keyword_not_void: Result /= Void
3465 end
3466
3467 rename_keyword: ET_KEYWORD
3468 -- 'rename' keyword
3469 once
3470 create Result.make_rename
3471 ensure
3472 keyword_not_void: Result /= Void
3473 end
3474
3475 require_keyword: ET_KEYWORD
3476 -- 'require' keyword
3477 once
3478 create Result.make_require
3479 ensure
3480 keyword_not_void: Result /= Void
3481 end
3482
3483 rescue_keyword: ET_KEYWORD
3484 -- 'rescue' keyword
3485 once
3486 create Result.make_rescue
3487 ensure
3488 keyword_not_void: Result /= Void
3489 end
3490
3491 result_keyword: ET_RESULT
3492 -- 'Result' keyword
3493 once
3494 create Result.make
3495 ensure
3496 keyword_not_void: Result /= Void
3497 end
3498
3499 retry_keyword: ET_RETRY_INSTRUCTION
3500 -- 'retry' keyword
3501 once
3502 create Result.make
3503 ensure
3504 keyword_not_void: Result /= Void
3505 end
3506
3507 select_keyword: ET_KEYWORD
3508 -- 'select' keyword
3509 once
3510 create Result.make_select
3511 ensure
3512 keyword_not_void: Result /= Void
3513 end
3514
3515 separate_keyword: ET_KEYWORD
3516 -- 'separate' keyword
3517 once
3518 create Result.make_separate
3519 ensure
3520 keyword_not_void: Result /= Void
3521 end
3522
3523 some_keyword: ET_KEYWORD
3524 -- 'some' keyword
3525 once
3526 create Result.make_some
3527 ensure
3528 keyword_not_void: Result /= Void
3529 end
3530
3531 strip_keyword: ET_KEYWORD
3532 -- 'strip' keyword
3533 once
3534 create Result.make_strip
3535 ensure
3536 keyword_not_void: Result /= Void
3537 end
3538
3539 then_keyword: ET_KEYWORD
3540 -- 'then' keyword
3541 once
3542 create Result.make_then
3543 ensure
3544 keyword_not_void: Result /= Void
3545 end
3546
3547 true_keyword: ET_TRUE_CONSTANT
3548 -- 'True' keyword
3549 once
3550 create Result.make
3551 ensure
3552 keyword_not_void: Result /= Void
3553 end
3554
3555 tuple_keyword: ET_IDENTIFIER
3556 -- 'TUPLE' keyword
3557 once
3558 create Result.make (capitalized_tuple_name)
3559 ensure
3560 keyword_not_void: Result /= Void
3561 end
3562
3563 undefine_keyword: ET_KEYWORD
3564 -- 'undefine' keyword
3565 once
3566 create Result.make_undefine
3567 ensure
3568 keyword_not_void: Result /= Void
3569 end
3570
3571 unique_keyword: ET_KEYWORD
3572 -- 'unique' keyword
3573 once
3574 create Result.make_unique
3575 ensure
3576 keyword_not_void: Result /= Void
3577 end
3578
3579 until_keyword: ET_KEYWORD
3580 -- 'until' keyword
3581 once
3582 create Result.make_until
3583 ensure
3584 keyword_not_void: Result /= Void
3585 end
3586
3587 variant_keyword: ET_KEYWORD
3588 -- 'variant' keyword
3589 once
3590 create Result.make_variant
3591 ensure
3592 keyword_not_void: Result /= Void
3593 end
3594
3595 void_keyword: ET_VOID
3596 -- 'Void' keyword
3597 once
3598 create Result.make
3599 ensure
3600 keyword_not_void: Result /= Void
3601 end
3602
3603 when_keyword: ET_KEYWORD
3604 -- 'when' keyword
3605 once
3606 create Result.make_when
3607 ensure
3608 keyword_not_void: Result /= Void
3609 end
3610
3611 feature -- Keyword and symbol names
3612
3613 capitalized_any_name: STRING = "ANY"
3614 capitalized_arguments_32_name: STRING = "ARGUMENTS_32"
3615 capitalized_array_name: STRING = "ARRAY"
3616 capitalized_boolean_name: STRING = "BOOLEAN"
3617 capitalized_character_name: STRING = "CHARACTER"
3618 capitalized_character_8_name: STRING = "CHARACTER_8"
3619 capitalized_character_32_name: STRING = "CHARACTER_32"
3620 capitalized_com_failure_name: STRING = "COM_FAILURE"
3621 capitalized_disposable_name: STRING = "DISPOSABLE"
3622 capitalized_double_name: STRING = "DOUBLE"
3623 capitalized_exception_name: STRING = "EXCEPTION"
3624 capitalized_exception_manager_name: STRING = "EXCEPTION_MANAGER"
3625 capitalized_exception_manager_factory_name: STRING = "EXCEPTION_MANAGER_FACTORY"
3626 capitalized_function_name: STRING = "FUNCTION"
3627 capitalized_identified_routines_name: STRING = "IDENTIFIED_ROUTINES"
3628 capitalized_integer_name: STRING = "INTEGER"
3629 capitalized_integer_8_name: STRING = "INTEGER_8"
3630 capitalized_integer_16_name: STRING = "INTEGER_16"
3631 capitalized_integer_32_name: STRING = "INTEGER_32"
3632 capitalized_integer_64_name: STRING = "INTEGER_64"
3633 capitalized_internal_name: STRING = "INTERNAL"
3634 capitalized_ise_exception_manager_name: STRING = "ISE_EXCEPTION_MANAGER"
3635 capitalized_iterable_name: STRING = "ITERABLE"
3636 capitalized_iteration_cursor_name: STRING = "ITERATION_CURSOR"
3637 capitalized_memory_name: STRING = "MEMORY"
3638 capitalized_native_array_name: STRING = "NATIVE_ARRAY"
3639 capitalized_natural_name: STRING = "NATURAL"
3640 capitalized_natural_8_name: STRING = "NATURAL_8"
3641 capitalized_natural_16_name: STRING = "NATURAL_16"
3642 capitalized_natural_32_name: STRING = "NATURAL_32"
3643 capitalized_natural_64_name: STRING = "NATURAL_64"
3644 capitalized_none_name: STRING = "NONE"
3645 capitalized_platform_name: STRING = "PLATFORM"
3646 capitalized_pointer_name: STRING = "POINTER"
3647 capitalized_predicate_name: STRING = "PREDICATE"
3648 capitalized_procedure_name: STRING = "PROCEDURE"
3649 capitalized_real_name: STRING = "REAL"
3650 capitalized_real_32_name: STRING = "REAL_32"
3651 capitalized_real_64_name: STRING = "REAL_64"
3652 capitalized_routine_name: STRING = "ROUTINE"
3653 capitalized_special_name: STRING = "SPECIAL"
3654 capitalized_string_name: STRING = "STRING"
3655 capitalized_string_8_name: STRING = "STRING_8"
3656 capitalized_string_32_name: STRING = "STRING_32"
3657 capitalized_system_object_name: STRING = "SYSTEM_OBJECT"
3658 capitalized_system_string_name: STRING = "SYSTEM_STRING"
3659 capitalized_tuple_name: STRING = "TUPLE"
3660 capitalized_type_name: STRING = "TYPE"
3661 capitalized_typed_pointer_name: STRING = "TYPED_POINTER"
3662 capitalized_wide_character_name: STRING = "WIDE_CHARACTER"
3663 capitalized_unknown_name: STRING = "*UNKNOWN*"
3664 -- Eiffel class names
3665
3666 after_name: STRING = "after"
3667 -- Name of Eiffel feature 'after'
3668
3669 aliased_resized_area_name: STRING = "aliased_resized_area"
3670 -- Name of Eiffel feature 'aliased_resized_area'
3671
3672 area_name: STRING = "area"
3673 -- Name of Eiffel feature 'area'
3674
3675 argument_count_name: STRING = "argument_count"
3676 -- Name of Eiffel feature 'argument_count'
3677
3678 as_integer_8_name: STRING = "as_integer_8"
3679 -- Name of Eiffel feature 'as_integer_8'
3680
3681 as_integer_16_name: STRING = "as_integer_16"
3682 -- Name of Eiffel feature 'as_integer_16'
3683
3684 as_integer_32_name: STRING = "as_integer_32"
3685 -- Name of Eiffel feature 'as_integer_32'
3686
3687 as_integer_64_name: STRING = "as_integer_64"
3688 -- Name of Eiffel feature 'as_integer_64'
3689
3690 as_natural_8_name: STRING = "as_natural_8"
3691 -- Name of Eiffel feature 'as_natural_8'
3692
3693 as_natural_16_name: STRING = "as_natural_16"
3694 -- Name of Eiffel feature 'as_natural_16'
3695
3696 as_natural_32_name: STRING = "as_natural_32"
3697 -- Name of Eiffel feature 'as_natural_32'
3698
3699 as_natural_64_name: STRING = "as_natural_64"
3700 -- Name of Eiffel feature 'as_natural_64'
3701
3702 base_address_name: STRING = "base_address"
3703 -- Name of Eiffel feature 'base_address'
3704
3705 base_class_name_name: STRING = "base_class_name"
3706 -- Name of Eiffel feature 'base_class_name'
3707
3708 bit_and_name: STRING = "bit_and"
3709 -- Name of Eiffel feature 'bit_and'
3710
3711 bit_not_name: STRING = "bit_not"
3712 -- Name of Eiffel feature 'bit_not'
3713
3714 bit_or_name: STRING = "bit_or"
3715 -- Name of Eiffel feature 'bit_or'
3716
3717 bit_shift_left_name: STRING = "bit_shift_left"
3718 -- Name of Eiffel feature 'bit_shift_left'
3719
3720 bit_shift_right_name: STRING = "bit_shift_right"
3721 -- Name of Eiffel feature 'bit_shift_right'
3722
3723 bit_xor_name: STRING = "bit_xor"
3724 -- Name of Eiffel feature 'bit_xor'
3725
3726 boolean_bytes_name: STRING = "boolean_bytes"
3727 -- Name of Eiffel feature 'boolean_bytes'
3728
3729 boolean_field_name: STRING = "boolean_field"
3730 -- Name of Eiffel feature 'boolean_field'
3731
3732 boolean_item_name: STRING = "boolean_item"
3733 -- Name of Eiffel feature 'boolean_item'
3734
3735 c_strlen_name: STRING = "c_strlen"
3736 -- Name of Eiffel feature 'c_strlen'
3737
3738 call_name: STRING = "call"
3739 -- Name of Eiffel feature 'call'
3740
3741 capacity_name: STRING = "capacity"
3742 -- Name of Eiffel feature 'capacity'
3743
3744 catch_name: STRING = "catch"
3745 -- Name of Eiffel feature 'catch'
3746
3747 ccom_hresult_name: STRING = "ccom_hresult"
3748 -- Name of Eiffel feature 'ccom_hresult'
3749
3750 ccom_hresult_code_name: STRING = "ccom_hresult_code"
3751 -- Name of Eiffel feature 'ccom_hresult_code'
3752
3753 ccom_hresult_facility_name: STRING = "ccom_hresult_facility"
3754 -- Name of Eiffel feature 'ccom_hresult_facility'
3755
3756 ceiling_real_32_name: STRING = "ceiling_real_32"
3757 -- Name of Eiffel feature 'ceiling_real_32'
3758
3759 ceiling_real_64_name: STRING = "ceiling_real_64"
3760 -- Name of Eiffel feature 'ceiling_real_64'
3761
3762 character_8_item_name: STRING = "character_8_item"
3763 -- Name of Eiffel feature 'character_8_item'
3764
3765 character_8_field_name: STRING = "character_8_field"
3766 -- Name of Eiffel feature 'character_8_field'
3767
3768 character_32_item_name: STRING = "character_32_item"
3769 -- Name of Eiffel feature 'character_32_item'
3770
3771 character_32_field_name: STRING = "character_32_field"
3772 -- Name of Eiffel feature 'character_32_field'
3773
3774 character_bytes_name: STRING = "character_bytes"
3775 -- Name of Eiffel feature 'character_bytes'
3776
3777 character_size_name: STRING = "character_size"
3778 -- Name of Eiffel feature 'character_size'
3779
3780 closed_operands_name: STRING = "closed_operands"
3781 -- Name of Eiffel feature 'closed_operands'
3782
3783 code_name: STRING = "code"
3784 -- Name of Eiffel feature 'code'
3785
3786 conforms_to_name: STRING = "conforms_to"
3787 -- Name of Eiffel feature 'conforms_to'
3788
3789 conjuncted_name: STRING = "conjuncted"
3790 -- Name of Eiffel feature 'conjuncted'
3791
3792 conjuncted_semistrict_name: STRING = "conjuncted_semistrict"
3793 -- Name of Eiffel feature 'conjuncted_semistrict'
3794
3795 copy_name: STRING = "copy"
3796 -- Name of Eiffel feature 'copy'
3797
3798 count_name: STRING = "count"
3799 -- Name of Eiffel feature 'count'
3800
3801 cwin_error_text_name: STRING = "cwin_error_text"
3802 -- Name of Eiffel feature 'cwin_error_text'
3803
3804 cwin_local_free_name: STRING = "cwin_local_free"
3805 -- Name of Eiffel feature 'cwin_local_free'
3806
3807 deep_twin_name: STRING = "deep_twin"
3808 -- Name of Eiffel feature 'deep_twin'
3809
3810 default_name: STRING = "default"
3811 -- Name of Eiffel feature 'default'
3812
3813 default_create_name: STRING = "default_create"
3814 -- Name of Eiffel feature 'default_create'
3815
3816 developer_raise_name: STRING = "developer_raise"
3817 -- Name of Eiffel feature 'developer_raise'
3818
3819 disjuncted_name: STRING = "disjuncted"
3820 -- Name of Eiffel feature 'disjuncted'
3821
3822 disjuncted_exclusive_name: STRING = "disjuncted_exclusive"
3823 -- Name of Eiffel feature 'disjuncted_exclusive'
3824
3825 disjuncted_semistrict_name: STRING = "disjuncted_semistrict"
3826 -- Name of Eiffel feature 'disjuncted_semistrict'
3827
3828 dispose_name: STRING = "dispose"
3829 -- Name of Eiffel feature 'dispose'
3830
3831 double_bytes_name: STRING = "double_bytes"
3832 -- Name of Eiffel feature 'double_bytes'
3833
3834 eif_id_object_name: STRING = "eif_id_object"
3835 -- Name of Eiffel feature 'eif_id_object'
3836
3837 eif_object_id_name: STRING = "eif_object_id"
3838 -- Name of Eiffel feature 'eif_object_id'
3839
3840 eif_object_id_free_name: STRING = "eif_object_id_free"
3841 -- Name of Eiffel feature 'eif_object_id_free'
3842
3843 element_size_name: STRING = "element_size"
3844 -- Name of Eiffel feature 'element_size'
3845
3846 exception_from_code_name: STRING = "exception_from_code"
3847 -- Name of Eiffel feature 'exception_from_code'
3848
3849 exception_manager_name: STRING = "exception_manager"
3850 -- Name of Eiffel feature 'exception_manager'
3851
3852 extend_name: STRING = "extend"
3853 -- Name of Eiffel feature 'extend'
3854
3855 field_name: STRING = "field"
3856 -- Name of Eiffel feature 'field'
3857
3858 field_count_name: STRING = "field_count"
3859 -- Name of Eiffel feature 'field_count'
3860
3861 field_name_name: STRING = "field_name"
3862 -- Name of Eiffel feature 'field_name'
3863
3864 field_static_type_name: STRING = "field_static_type"
3865 -- Name of Eiffel feature 'field_static_type'
3866
3867 field_type_name: STRING = "field_type"
3868 -- Name of Eiffel feature 'field_type'
3869
3870 find_referers_name: STRING = "find_referers"
3871 -- Name of Eiffel feature 'find_referers'
3872
3873 floor_real_32_name: STRING = "floor_real_32"
3874 -- Name of Eiffel feature 'floor_real_32'
3875
3876 floor_real_64_name: STRING = "floor_real_64"
3877 -- Name of Eiffel feature 'floor_real_64'
3878
3879 forth_name: STRING = "forth"
3880 -- Name of Eiffel feature 'forth'
3881
3882 free_name: STRING = "free"
3883 -- Name of Eiffel feature 'free'
3884
3885 generating_type_name: STRING = "generating_type"
3886 -- Name of Eiffel feature 'generating_type'
3887
3888 generator_name: STRING = "generator"
3889 -- Name of Eiffel feature 'generator'
3890
3891 generic_parameter_count_name: STRING = "generic_parameter_count"
3892 -- Name of Eiffel feature 'generic_parameter_count'
3893
3894 generic_parameter_type_name: STRING = "generic_parameter_type"
3895 -- Name of Eiffel feature 'generic_parameter_type'
3896
3897 has_default_name: STRING = "has_default"
3898 -- Name of Eiffel feature 'has_default'
3899
3900 hash_code_name: STRING = "hash_code"
3901 -- Name of Eiffel feature 'hash_code'
3902
3903 i_th_argument_pointer_name: STRING = "i_th_argument_pointer"
3904 -- Name of Eiffel feature 'i_th_argument_pointer'
3905
3906 i_th_argument_string_name: STRING = "i_th_argument_string"
3907 -- Name of Eiffel feature 'i_th_argument_string'
3908
3909 identity_name: STRING = "identity"
3910 -- Name of Eiffel feature 'identity'
3911
3912 ignore_name: STRING = "ignore"
3913 -- Name of Eiffel feature 'ignore'
3914
3915 implication_name: STRING = "implication"
3916 -- Name of Eiffel feature 'implication'
3917
3918 init_exception_manager_name: STRING = "init_exception_manager"
3919 -- Name of Eiffel feature 'init_exception_manager'
3920
3921 integer_8_item_name: STRING = "integer_8_item"
3922 -- Name of Eiffel feature 'integer_8_item'
3923
3924 integer_8_field_name: STRING = "integer_8_field"
3925 -- Name of Eiffel feature 'integer_8_field'
3926
3927 integer_16_item_name: STRING = "integer_16_item"
3928 -- Name of Eiffel feature 'integer_16_item'
3929
3930 integer_16_field_name: STRING = "integer_16_field"
3931 -- Name of Eiffel feature 'integer_16_field'
3932
3933 integer_32_item_name: STRING = "integer_32_item"
3934 -- Name of Eiffel feature 'integer_32_item'
3935
3936 integer_32_field_name: STRING = "integer_32_field"
3937 -- Name of Eiffel feature 'integer_32_item'
3938
3939 integer_64_item_name: STRING = "integer_64_item"
3940 -- Name of Eiffel feature 'integer_64_item'
3941
3942 integer_64_field_name: STRING = "integer_64_field"
3943 -- Name of Eiffel feature 'integer_64_field'
3944
3945 integer_bytes_name: STRING = "integer_bytes"
3946 -- Name of Eiffel feature 'integer_bytes'
3947
3948 integer_quotient_name: STRING = "integer_quotient"
3949 -- Name of Eiffel feature 'integer_quotient'
3950
3951 integer_remainder_name: STRING = "integer_remainder"
3952 -- Name of Eiffel feature 'integer_remainder'
3953
3954 is_caught_name: STRING = "is_caught"
3955 -- Name of Eiffel feature 'is_caught'
3956
3957 is_deep_equal_name: STRING = "is_deep_equal"
3958 -- Name of Eiffel feature 'is_deep_equal'
3959
3960 is_default_pointer_name: STRING = "is_default_pointer"
3961 -- Name of Eiffel feature 'is_default_pointer'
3962
3963 is_dotnet_name: STRING = "is_dotnet"
3964 -- Name of Eiffel feature 'is_dotnet'
3965
3966 is_equal_name: STRING = "is_equal"
3967 -- Name of Eiffel feature 'is_equal'
3968
3969 is_expanded_name: STRING = "is_expanded"
3970 -- Name of Eiffel feature 'is_expanded'
3971
3972 is_ignorable_name: STRING = "is_ignorable"
3973 -- Name of Eiffel feature 'is_ignorable'
3974
3975 is_ignored_name: STRING = "is_ignored"
3976 -- Name of Eiffel feature 'is_ignored'
3977
3978 is_less_name: STRING = "is_less"
3979 -- Name of Eiffel feature 'is_less'
3980
3981 is_mac_name: STRING = "is_mac"
3982 -- Name of Eiffel feature 'is_mac'
3983
3984 is_nan_name: STRING = "is_nan"
3985 -- Name of Eiffel feature 'is_nan'
3986
3987 is_negative_infinity_name: STRING = "is_negative_infinity"
3988 -- Name of Eiffel feature 'is_negative_infinity'
3989
3990 is_positive_infinity_name: STRING = "is_positive_infinity"
3991 -- Name of Eiffel feature 'is_positive_infinity'
3992
3993 is_raisable_name: STRING = "is_raisable"
3994 -- Name of Eiffel feature 'is_raisable'
3995
3996 is_scoop_capable_name: STRING = "is_scoop_capable"
3997 -- Name of Eiffel feature 'is_scoop_capable'
3998
3999 is_target_closed_name: STRING = "is_target_closed"
4000 -- Name of Eiffel feature 'is_target_closed'
4001
4002 is_thread_capable_name: STRING = "is_thread_capable"
4003 -- Name of Eiffel feature 'is_thread_capable'
4004
4005 is_unix_name: STRING = "is_unix"
4006 -- Name of Eiffel feature 'is_unix'
4007
4008 is_vms_name: STRING = "is_vms"
4009 -- Name of Eiffel feature 'is_vms'
4010
4011 is_vxworks_name: STRING = "is_vxworks"
4012 -- Name of Eiffel feature 'is_vxworks'
4013
4014 is_windows_name: STRING = "is_windows"
4015 -- Name of Eiffel feature 'is_windows'
4016
4017 item_name: STRING = "item"
4018 -- Name of Eiffel feature 'item'
4019
4020 item_code_name: STRING = "item_code"
4021 -- Name of Eiffel feature 'item_code'
4022
4023 last_exception_name: STRING = "last_exception"
4024 -- Name of Eiffel feature 'last_exception'
4025
4026 last_result_name: STRING = "last_result"
4027 -- Name of Eiffel feature 'last_result'
4028
4029 lower_name: STRING = "lower"
4030 -- Name of Eiffel feature 'lower'
4031
4032 make_name: STRING = "make"
4033 -- Name of Eiffel feature 'make'
4034
4035 make_empty_name: STRING = "make_empty"
4036 -- Name of Eiffel feature 'make_empty'
4037
4038 max_type_id_name: STRING = "max_type_id"
4039 -- Name of Eiffel feature 'max_type_id'
4040
4041 minus_name: STRING = "minus"
4042 -- Name of Eiffel feature 'minus'
4043
4044 name_name: STRING = "name"
4045 -- Name of Eiffel feature 'name'
4046
4047 nan_name: STRING = "nan"
4048 -- Name of Eiffel feature 'nan'
4049
4050 natural_8_item_name: STRING = "natural_8_item"
4051 -- Name of Eiffel feature 'natural_8_item'
4052
4053 natural_8_field_name: STRING = "natural_8_field"
4054 -- Name of Eiffel feature 'natural_8_field'
4055
4056 natural_16_item_name: STRING = "natural_16_item"
4057 -- Name of Eiffel feature 'natural_16_item'
4058
4059 natural_16_field_name: STRING = "natural_16_field"
4060 -- Name of Eiffel feature 'natural_16_field'
4061
4062 natural_32_code_name: STRING = "natural_32_code"
4063 -- Name of Eiffel feature 'natural_32_code'
4064
4065 natural_32_item_name: STRING = "natural_32_item"
4066 -- Name of Eiffel feature 'natural_32_item'
4067
4068 natural_32_field_name: STRING = "natural_32_field"
4069 -- Name of Eiffel feature 'natural_32_field'
4070
4071 natural_64_item_name: STRING = "natural_64_item"
4072 -- Name of Eiffel feature 'natural_64_item'
4073
4074 natural_64_field_name: STRING = "natural_64_field"
4075 -- Name of Eiffel feature 'natural_64_field'
4076
4077 negated_name: STRING = "negated"
4078 -- Name of Eiffel feature 'negated'
4079
4080 negative_infinity_name: STRING = "negative_infinity"
4081 -- Name of Eiffel feature 'negative_infinity'
4082
4083 new_cursor_name: STRING = "new_cursor"
4084 -- Name of Eiffel feature 'new_cursor'
4085
4086 new_instance_name: STRING = "new_instance"
4087 -- Name of Eiffel feature 'new_instance'
4088
4089 new_special_any_instance_name: STRING = "new_special_any_instance"
4090 -- Name of Eiffel feature 'new_special_any_instance'
4091
4092 object_comparison_name: STRING = "object_comparison"
4093 -- Name of Eiffel feature 'object_comparison'
4094
4095 opposite_name: STRING = "opposite"
4096 -- Name of Eiffel feature 'opposite'
4097
4098 out_name: STRING = "out"
4099 -- Name of Eiffel feature 'out'
4100
4101 plus_name: STRING = "plus"
4102 -- Name of Eiffel feature 'plus'
4103
4104 pointer_bytes_name: STRING = "pointer_bytes"
4105 -- Name of Eiffel feature 'pointer_bytes'
4106
4107 pointer_item_name: STRING = "pointer_item"
4108 -- Name of Eiffel feature 'pointer_item'
4109
4110 pointer_field_name: STRING = "pointer_field"
4111 -- Name of Eiffel feature 'pointer_field'
4112
4113 positive_infinity_name: STRING = "positive_infinity"
4114 -- Name of Eiffel feature 'positive_infinity'
4115
4116 power_name: STRING = "power"
4117 -- Name of Eiffel feature 'power'
4118
4119 product_name: STRING = "product"
4120 -- Name of Eiffel feature 'product'
4121
4122 put_name: STRING = "put"
4123 -- Name of Eiffel feature 'put'
4124
4125 put_boolean_name: STRING = "put_boolean"
4126 -- Name of Eiffel feature 'put_boolean'
4127
4128 put_character_8_name: STRING = "put_character_8"
4129 -- Name of Eiffel feature 'put_character_8'
4130
4131 put_character_32_name: STRING = "put_character_32"
4132 -- Name of Eiffel feature 'put_character_32'
4133
4134 put_integer_8_name: STRING = "put_integer_8"
4135 -- Name of Eiffel feature 'put_integer_8'
4136
4137 put_integer_16_name: STRING = "put_integer_16"
4138 -- Name of Eiffel feature 'put_integer_16'
4139
4140 put_integer_32_name: STRING = "put_integer_32"
4141 -- Name of Eiffel feature 'put_integer_32'
4142
4143 put_integer_64_name: STRING = "put_integer_64"
4144 -- Name of Eiffel feature 'put_integer_64'
4145
4146 put_natural_8_name: STRING = "put_natural_8"
4147 -- Name of Eiffel feature 'put_natural_8'
4148
4149 put_natural_16_name: STRING = "put_natural_16"
4150 -- Name of Eiffel feature 'put_natural_16'
4151
4152 put_natural_32_name: STRING = "put_natural_32"
4153 -- Name of Eiffel feature 'put_natural_32'
4154
4155 put_natural_64_name: STRING = "put_natural_64"
4156 -- Name of Eiffel feature 'put_natural_64'
4157
4158 put_pointer_name: STRING = "put_pointer"
4159 -- Name of Eiffel feature 'put_pointer'
4160
4161 put_real_32_name: STRING = "put_real_32"
4162 -- Name of Eiffel feature 'put_real_32'
4163
4164 put_real_64_name: STRING = "put_real_64"
4165 -- Name of Eiffel feature 'put_real_64'
4166
4167 put_reference_name: STRING = "put_reference"
4168 -- Name of Eiffel feature 'put_reference'
4169
4170 quotient_name: STRING = "quotient"
4171 -- Name of Eiffel feature 'quotient'
4172
4173 raise_name: STRING = "raise"
4174 -- Name of Eiffel feature 'raise'
4175
4176 real_32_item_name: STRING = "real_32_item"
4177 -- Name of Eiffel feature 'real_32_item'
4178
4179 real_32_field_name: STRING = "real_32_field"
4180 -- Name of Eiffel feature 'real_32_field'
4181
4182 real_64_item_name: STRING = "real_64_item"
4183 -- Name of Eiffel feature 'real_64_item'
4184
4185 real_64_field_name: STRING = "real_64_field"
4186 -- Name of Eiffel feature 'real_64_field'
4187
4188 real_bytes_name: STRING = "real_bytes"
4189 -- Name of Eiffel feature 'real_bytes'
4190
4191 reference_item_name: STRING = "reference_item"
4192 -- Name of Eiffel feature 'reference_item'
4193
4194 runtime_name_name: STRING = "runtime_name"
4195 -- Name of Eiffel feature 'runtime_name'
4196
4197 same_type_name: STRING = "same_type"
4198 -- Name of Eiffel feature 'same_type'
4199
4200 set_boolean_field_name: STRING = "set_boolean_field"
4201 -- Name of Eiffel feature 'set_boolean_field'
4202
4203 set_character_8_field_name: STRING = "set_character_8_field"
4204 -- Name of Eiffel feature 'set_character_8_field'
4205
4206 set_character_32_field_name: STRING = "set_character_32_field"
4207 -- Name of Eiffel feature 'set_character_32_field'
4208
4209 set_count_name: STRING = "set_count"
4210 -- Name of Eiffel feature 'set_count'
4211
4212 set_exception_data_name: STRING = "set_exception_data"
4213 -- Name of Eiffel feature 'set_exception_data'
4214
4215 set_integer_8_field_name: STRING = "set_integer_8_field"
4216 -- Name of Eiffel feature 'set_integer_8_field'
4217
4218 set_integer_16_field_name: STRING = "set_integer_16_field"
4219 -- Name of Eiffel feature 'set_integer_16_field'
4220
4221 set_integer_32_field_name: STRING = "set_integer_32_field"
4222 -- Name of Eiffel feature 'set_integer_32_field'
4223
4224 set_integer_64_field_name: STRING = "set_integer_64_field"
4225 -- Name of Eiffel feature 'set_integer_64_field'
4226
4227 set_is_ignored_name: STRING = "set_is_ignored"
4228 -- Name of Eiffel feature 'set_is_ignored'
4229
4230 set_item_name: STRING = "set_item"
4231 -- Name of Eiffel feature 'set_item'
4232
4233 set_natural_8_field_name: STRING = "set_natural_8_field"
4234 -- Name of Eiffel feature 'set_natural_8_field'
4235
4236 set_natural_16_field_name: STRING = "set_natural_16_field"
4237 -- Name of Eiffel feature 'set_natural_16_field'
4238
4239 set_natural_32_field_name: STRING = "set_natural_32_field"
4240 -- Name of Eiffel feature 'set_natural_32_field'
4241
4242 set_natural_64_field_name: STRING = "set_natural_64_field"
4243 -- Name of Eiffel feature 'set_natural_64_field'
4244
4245 set_object_comparison_name: STRING = "set_object_comparison"
4246 -- Name of Eiffel feature 'set_object_comparison'
4247
4248 set_operands_name: STRING = "set_operands"
4249 -- Name of Eiffel feature 'set_operands'
4250
4251 set_pointer_field_name: STRING = "set_pointer_field"
4252 -- Name of Eiffel feature 'set_pointer_field'
4253
4254 set_real_32_field_name: STRING = "set_real_32_field"
4255 -- Name of Eiffel feature 'set_real_32_field'
4256
4257 set_real_64_field_name: STRING = "set_real_64_field"
4258 -- Name of Eiffel feature 'set_real_64_field'
4259
4260 set_reference_field_name: STRING = "set_reference_field"
4261 -- Name of Eiffel feature 'set_reference_field'
4262
4263 standard_copy_name: STRING = "standard_copy"
4264 -- Name of Eiffel feature 'standard_copy'
4265
4266 standard_is_equal_name: STRING = "standard_is_equal"
4267 -- Name of Eiffel feature 'standard_is_equal'
4268
4269 standard_twin_name: STRING = "standard_twin"
4270 -- Name of Eiffel feature 'standard_twin'
4271
4272 tagged_out_name: STRING = "tagged_out"
4273 -- Name of Eiffel feature 'tagged_out'
4274
4275 to_character_name: STRING = "to_character"
4276 -- Name of Eiffel feature 'tagged_out'
4277
4278 to_character_8_name: STRING = "to_character_8"
4279 -- Name of Eiffel feature 'to_character_8'
4280
4281 to_character_32_name: STRING = "to_character_32"
4282 -- Name of Eiffel feature 'to_character_32'
4283
4284 to_double_name: STRING = "to_double"
4285 -- Name of Eiffel feature 'to_double'
4286
4287 to_integer_32_name: STRING = "to_integer_32"
4288 -- Name of Eiffel feature 'to_integer_32'
4289
4290 to_pointer_name: STRING = "to_pointer"
4291 -- Name of Eiffel feature 'to_pointer'
4292
4293 to_real_name: STRING = "to_real"
4294 -- Name of Eiffel feature 'to_real'
4295
4296 to_real_32_name: STRING = "to_real_32"
4297 -- Name of Eiffel feature 'to_real_32'
4298
4299 to_real_64_name: STRING = "to_real_64"
4300 -- Name of Eiffel feature 'to_real_64'
4301
4302 truncated_to_integer_name: STRING = "truncated_to_integer"
4303 -- Name of Eiffel feature 'truncated_to_integer'
4304
4305 truncated_to_integer_64_name: STRING = "truncated_to_integer_64"
4306 -- Name of Eiffel feature 'truncated_to_integer_64'
4307
4308 truncated_to_real_name: STRING = "truncated_to_real"
4309 -- Name of Eiffel feature 'truncated_to_real'
4310
4311 twin_name: STRING = "twin"
4312 -- Name of Eiffel feature 'twin'
4313
4314 type_id_name: STRING = "type_id"
4315 -- Name of Eiffel feature 'type_id'
4316
4317 type_of_code_name: STRING = "type_of_code"
4318 -- Name of Eiffel feature 'type_code'
4319
4320 type_of_type_name: STRING = "type_of_type"
4321 -- Name of Eiffel feature 'type_of_type'
4322
4323 upper_name: STRING = "upper"
4324 -- Name of Eiffel feature 'upper'
4325
4326 wide_character_bytes_name: STRING = "wide_character_bytes"
4327 -- Name of Eiffel feature 'wide_character_bytes'
4328
4329 capitalized_current_keyword_name: STRING = "Current"
4330 capitalized_false_keyword_name: STRING = "False"
4331 capitalized_precursor_keyword_name: STRING = "Precursor"
4332 capitalized_result_keyword_name: STRING = "Result"
4333 capitalized_true_keyword_name: STRING = "True"
4334 capitalized_void_keyword_name: STRING = "Void"
4335 capitalized_unique_keyword_name: STRING = "Unique"
4336 -- Eiffel keyword names with first letter in upper-case
4337
4338 across_keyword_name: STRING = "across"
4339 agent_keyword_name: STRING = "agent"
4340 alias_keyword_name: STRING = "alias"
4341 all_keyword_name: STRING = "all"
4342 and_keyword_name: STRING = "and"
4343 and_then_keywords_name: STRING = "and then"
4344 as_keyword_name: STRING = "as"
4345 assign_keyword_name: STRING = "assign"
4346 attached_keyword_name: STRING = "attached"
4347 attribute_keyword_name: STRING = "attribute"
4348 check_keyword_name: STRING = "check"
4349 class_keyword_name: STRING = "class"
4350 convert_keyword_name: STRING = "convert"
4351 create_keyword_name: STRING = "create"
4352 creation_keyword_name: STRING = "creation"
4353 current_keyword_name: STRING = "current"
4354 debug_keyword_name: STRING = "debug"
4355 deferred_keyword_name: STRING = "deferred"
4356 detachable_keyword_name: STRING = "detachable"
4357 do_keyword_name: STRING = "do"
4358 else_keyword_name: STRING = "else"
4359 elseif_keyword_name: STRING = "elseif"
4360 end_keyword_name: STRING = "end"
4361 ensure_keyword_name: STRING = "ensure"
4362 expanded_keyword_name: STRING = "expanded"
4363 export_keyword_name: STRING = "export"
4364 external_keyword_name: STRING = "external"
4365 false_keyword_name: STRING = "false"
4366 feature_keyword_name: STRING = "feature"
4367 from_keyword_name: STRING = "from"
4368 frozen_keyword_name: STRING = "frozen"
4369 if_keyword_name: STRING = "if"
4370 implies_keyword_name: STRING = "implies"
4371 indexing_keyword_name: STRING = "indexing"
4372 infix_keyword_name: STRING = "infix"
4373 inherit_keyword_name: STRING = "inherit"
4374 inspect_keyword_name: STRING = "inspect"
4375 invariant_keyword_name: STRING = "invariant"
4376 is_keyword_name: STRING = "is"
4377 like_keyword_name: STRING = "like"
4378 local_keyword_name: STRING = "local"
4379 loop_keyword_name: STRING = "loop"
4380 not_keyword_name: STRING = "not"
4381 note_keyword_name: STRING = "note"
4382 obsolete_keyword_name: STRING = "obsolete"
4383 old_keyword_name: STRING = "old"
4384 once_keyword_name: STRING = "once"
4385 or_keyword_name: STRING = "or"
4386 or_else_keywords_name: STRING = "or else"
4387 precursor_keyword_name: STRING = "precursor"
4388 prefix_keyword_name: STRING = "prefix"
4389 redefine_keyword_name: STRING = "redefine"
4390 reference_keyword_name: STRING = "reference"
4391 rename_keyword_name: STRING = "rename"
4392 require_keyword_name: STRING = "require"
4393 rescue_keyword_name: STRING = "rescue"
4394 result_keyword_name: STRING = "result"
4395 retry_keyword_name: STRING = "retry"
4396 select_keyword_name: STRING = "select"
4397 separate_keyword_name: STRING = "separate"
4398 some_keyword_name: STRING = "some"
4399 strip_keyword_name: STRING = "strip"
4400 then_keyword_name: STRING = "then"
4401 true_keyword_name: STRING = "true"
4402 undefine_keyword_name: STRING = "undefine"
4403 unique_keyword_name: STRING = "unique"
4404 until_keyword_name: STRING = "until"
4405 variant_keyword_name: STRING = "variant"
4406 void_keyword_name: STRING = "void"
4407 when_keyword_name: STRING = "when"
4408 xor_keyword_name: STRING = "xor"
4409 -- Eiffel keyword names
4410
4411 attached_expanded_type_mark_name: STRING = "attached expanded"
4412 attached_reference_type_mark_name: STRING = "attached reference"
4413 attached_separate_type_mark_name: STRING = "attached separate"
4414 attached_separate_expanded_type_mark_name: STRING = "attached separate expanded"
4415 attached_separate_reference_type_mark_name: STRING = "attached separate reference"
4416 detachable_expanded_type_mark_name: STRING = "detachable expanded"
4417 detachable_reference_type_mark_name: STRING = "detachable reference"
4418 detachable_separate_type_mark_name: STRING = "detachable separate"
4419 detachable_separate_expanded_type_mark_name: STRING = "detachable separate expanded"
4420 detachable_separate_reference_type_mark_name: STRING = "detachable separate reference"
4421 separate_expanded_type_mark_name: STRING = "separate expanded"
4422 separate_reference_type_mark_name: STRING = "separate reference"
4423 no_type_mark_name: STRING = ""
4424 -- Type mark names
4425
4426 arrow_symbol_name: STRING = "->"
4427 assign_symbol_name: STRING = ":="
4428 assign_attempt_symbol_name: STRING = "?="
4429 at_symbol_name: STRING = "@"
4430 bang_symbol_name: STRING = "!"
4431 colon_symbol_name: STRING = ":"
4432 comma_symbol_name: STRING = ","
4433 div_symbol_name: STRING = "//"
4434 divide_symbol_name: STRING = "/"
4435 dollar_symbol_name: STRING = "$"
4436 dot_symbol_name: STRING = "."
4437 dotdot_symbol_name: STRING = ".."
4438 equal_symbol_name: STRING = "="
4439 ge_symbol_name: STRING = ">="
4440 gt_symbol_name: STRING = ">"
4441 le_symbol_name: STRING = "<="
4442 left_array_symbol_name: STRING = "<<"
4443 left_brace_symbol_name: STRING = "{"
4444 left_bracket_symbol_name: STRING = "["
4445 left_parenthesis_symbol_name: STRING = "("
4446 lt_symbol_name: STRING = "<"
4447 minus_symbol_name: STRING = "-"
4448 mod_symbol_name: STRING = "\\"
4449 not_equal_symbol_name: STRING = "/="
4450 not_tilde_symbol_name: STRING = "/~"
4451 plus_symbol_name: STRING = "+"
4452 power_symbol_name: STRING = "^"
4453 question_mark_symbol_name: STRING = "?"
4454 right_array_symbol_name: STRING = ">>"
4455 right_brace_symbol_name: STRING = "}"
4456 right_bracket_symbol_name: STRING = "]"
4457 right_parenthesis_symbol_name: STRING = ")"
4458 semicolon_symbol_name: STRING = ";"
4459 tilde_symbol_name: STRING = "~"
4460 times_symbol_name: STRING = "*"
4461 -- Eiffel symbol names
4462
4463 unknown_name: STRING = "***unknown_name***"
4464 -- Unknown name
4465
4466 feature -- Keyword and symbol names (used for compatibility with 5.6.0610, to be removed later)
4467
4468 capitalized_boolean_ref_name: STRING = "BOOLEAN_REF"
4469 capitalized_character_ref_name: STRING = "CHARACTER_REF"
4470 capitalized_character_8_ref_name: STRING = "CHARACTER_8_REF"
4471 capitalized_character_32_ref_name: STRING = "CHARACTER_32_REF"
4472 capitalized_double_ref_name: STRING = "DOUBLE_REF"
4473 capitalized_integer_ref_name: STRING = "INTEGER_REF"
4474 capitalized_integer_8_ref_name: STRING = "INTEGER_8_REF"
4475 capitalized_integer_16_ref_name: STRING = "INTEGER_16_REF"
4476 capitalized_integer_32_ref_name: STRING = "INTEGER_32_REF"
4477 capitalized_integer_64_ref_name: STRING = "INTEGER_64_REF"
4478 capitalized_natural_ref_name: STRING = "NATURAL_REF"
4479 capitalized_natural_8_ref_name: STRING = "NATURAL_8_REF"
4480 capitalized_natural_16_ref_name: STRING = "NATURAL_16_REF"
4481 capitalized_natural_32_ref_name: STRING = "NATURAL_32_REF"
4482 capitalized_natural_64_ref_name: STRING = "NATURAL_64_REF"
4483 capitalized_pointer_ref_name: STRING = "POINTER_REF"
4484 capitalized_real_ref_name: STRING = "REAL_REF"
4485 capitalized_real_32_ref_name: STRING = "REAL_32_REF"
4486 capitalized_real_64_ref_name: STRING = "REAL_64_REF"
4487 capitalized_wide_character_ref_name: STRING = "WIDE_CHARACTER_REF"
4488 -- Eiffel class names
4489
4490 feature -- Infix, prefix and alias feature names
4491
4492 infix_and_name: STRING = "infix %"and%""
4493 infix_implies_name: STRING = "infix %"implies%""
4494 infix_or_name: STRING = "infix %"or%""
4495 infix_xor_name: STRING = "infix %"xor%""
4496 infix_div_name: STRING = "infix %"//%""
4497 infix_divide_name: STRING = "infix %"/%""
4498 infix_ge_name: STRING = "infix %">=%""
4499 infix_gt_name: STRING = "infix %">%""
4500 infix_le_name: STRING = "infix %"<=%""
4501 infix_lt_name: STRING = "infix %"<%""
4502 infix_minus_name: STRING = "infix %"-%""
4503 infix_mod_name: STRING = "infix %"\\%""
4504 infix_plus_name: STRING = "infix %"+%""
4505 infix_power_name: STRING = "infix %"^%""
4506 infix_times_name: STRING = "infix %"*%""
4507 infix_dotdot_name: STRING = "infix %"..%""
4508 infix_and_then_name: STRING = "infix %"and then%""
4509 infix_or_else_name: STRING = "infix %"or else%""
4510 -- Infix feature names
4511
4512 prefix_not_name: STRING = "prefix %"not%""
4513 prefix_minus_name: STRING = "prefix %"-%""
4514 prefix_plus_name: STRING = "prefix %"+%""
4515 -- Prefix feature names
4516
4517 alias_and_name: STRING = "alias %"and%""
4518 alias_implies_name: STRING = "alias %"implies%""
4519 alias_or_name: STRING = "alias %"or%""
4520 alias_xor_name: STRING = "alias %"xor%""
4521 alias_div_name: STRING = "alias %"//%""
4522 alias_divide_name: STRING = "alias %"/%""
4523 alias_ge_name: STRING = "alias %">=%""
4524 alias_gt_name: STRING = "alias %">%""
4525 alias_le_name: STRING = "alias %"<=%""
4526 alias_lt_name: STRING = "alias %"<%""
4527 alias_minus_name: STRING = "alias %"-%""
4528 alias_mod_name: STRING = "alias %"\\%""
4529 alias_plus_name: STRING = "alias %"+%""
4530 alias_power_name: STRING = "alias %"^%""
4531 alias_times_name: STRING = "alias %"*%""
4532 alias_dotdot_name: STRING = "alias %"..%""
4533 alias_and_then_name: STRING = "alias %"and then%""
4534 alias_or_else_name: STRING = "alias %"or else%""
4535 alias_not_name: STRING = "alias %"not%""
4536 alias_bracket_name: STRING = "alias %"[]%""
4537 alias_parenthesis_name: STRING = "alias %"()%""
4538 -- Alias feature names
4539
4540 feature -- Built-in
4541
4542 builtin_marker: STRING = "built_in"
4543 -- Built-in marker
4544
4545 static_builtin_marker: STRING = "static built_in"
4546 -- Static built-in marker
4547
4548 builtin_static_marker: STRING = "built_in static"
4549 -- Built-in static marker
4550
4551 unknown_convert_feature: ET_BUILTIN_CONVERT_FEATURE
4552 -- Shared unknown convertion feature
4553 once
4554 create Result.make (unknown_class_type)
4555 ensure
4556 unknown_convert_feature_not_void: Result /= Void
4557 end
4558
4559 feature -- Position
4560
4561 null_position: ET_POSITION
4562 -- Null position
4563 once
4564 create {ET_COMPRESSED_POSITION} Result.make_default
4565 ensure
4566 position_not_void: Result /= Void
4567 position_is_null: Result.is_null
4568 end
4569
4570 feature -- Ancestors
4571
4572 empty_ancestors: ET_BASE_TYPE_LIST
4573 -- Shared empty ancestors
4574 once
4575 create Result.make_with_capacity (0)
4576 ensure
4577 ancestors_not_void: Result /= Void
4578 ancestors_empty: Result.is_empty
4579 end
4580
4581 unknown_parent: ET_PARENT
4582 -- Shared parent based on `unknown_class_type'
4583 once
4584 create Result.make (unknown_class_type, Void, Void, Void, Void, Void)
4585 ensure
4586 unknown_parent_not_void: Result /= Void
4587 end
4588
4589 unknown_parents: ET_PARENT_LIST
4590 -- Shared parents only made up of `unknown_parent'
4591 once
4592 create Result.make_with_capacity (1)
4593 Result.put_first (unknown_parent)
4594 ensure
4595 unknown_parents_not_void: Result /= Void
4596 end
4597
4598 feature -- Features
4599
4600 empty_queries: ET_QUERY_LIST
4601 -- Shared empty queries
4602 once
4603 create Result.make_with_capacity (0)
4604 ensure
4605 queries_not_void: Result /= Void
4606 queries_empty: Result.is_empty
4607 end
4608
4609 empty_procedures: ET_PROCEDURE_LIST
4610 -- Shared empty procedures
4611 once
4612 create Result.make_with_capacity (0)
4613 ensure
4614 procedures_not_void: Result /= Void
4615 procedures_empty: Result.is_empty
4616 end
4617
4618 feature -- Clients
4619
4620 empty_clients: ET_CLIENT_LIST
4621 -- Shared empty clients
4622 once
4623 create Result.make
4624 ensure
4625 clients_not_void: Result /= Void
4626 clients_empty: Result.is_empty
4627 end
4628
4629 feature -- System
4630
4631 unknown_class: ET_CLASS
4632 -- Shared unknown class "*UNKNOWN*";
4633 -- This class is equal to no other classes, not even itself;
4634 -- it does conform to no type, not even itself, and no type
4635 -- conforms to it
4636 once
4637 create Result.make_unknown
4638 Result.set_group (unknown_group)
4639 Result.set_parsed
4640 Result.set_syntax_error
4641 Result.set_ancestors_built
4642 Result.set_ancestors_error
4643 Result.set_features_flattened
4644 Result.set_flattening_error
4645 Result.set_interface_checked
4646 Result.set_interface_error
4647 Result.set_implementation_checked
4648 Result.set_implementation_error
4649 ensure
4650 unknown_class_not_void: Result /= Void
4651 end
4652
4653 unknown_class_type: ET_CLASS_TYPE
4654 -- Shared class type whose base class is unknown
4655 once
4656 create Result.make (implicit_attached_type_mark, unknown_class.name, unknown_class)
4657 ensure
4658 unknown_class_type_not_void: Result /= Void
4659 end
4660
4661 unknown_generic_class_type: ET_CLASS_TYPE
4662 -- Shared generic class type whose base class is unknown
4663 local
4664 l_parameters: ET_ACTUAL_PARAMETER_LIST
4665 once
4666 create l_parameters.make
4667 create Result.make_generic (implicit_attached_type_mark, unknown_class.name, l_parameters, unknown_class)
4668 ensure
4669 unknown_generic_class_type_not_void: Result /= Void
4670 end
4671
4672 unknown_tuple_type: ET_TUPLE_TYPE
4673 -- Shared tuple type whose base class is unknown
4674 once
4675 create Result.make (implicit_attached_type_mark, Void, unknown_class)
4676 ensure
4677 unknown_tuple_type_not_void: Result /= Void
4678 end
4679
4680 unknown_group: ET_UNKNOWN_GROUP
4681 -- Shared unknown group
4682 once
4683 create Result.make
4684 ensure
4685 unknown_group_not_void: Result /= Void
4686 end
4687
4688 unknown_system: ET_SYSTEM
4689 -- Shared unknown Eiffel system
4690 once
4691 create Result.make ("*unknown*")
4692 ensure
4693 unknown_system_not_void: Result /= Void
4694 end
4695
4696 unknown_library: ET_LIBRARY
4697 -- Shared unknown Eiffel class library
4698 once
4699 create Result.make ("*unknown*", unknown_system)
4700 ensure
4701 unknown_library_not_void: Result /= Void
4702 end
4703
4704 unknown_dotnet_assembly: ET_DOTNET_ASSEMBLY
4705 -- Shared unknown .NET assembly
4706 once
4707 create Result.make ("*unknown*", Void, unknown_system)
4708 ensure
4709 unknown_dotnet_assembly_not_void: Result /= Void
4710 end
4711
4712 standard_error_handler: ET_ERROR_HANDLER
4713 -- Shared error handler where error messages
4714 -- will be sent to standard files
4715 once
4716 create Result.make_standard
4717 ensure
4718 standard_error_handler_not_void: Result /= Void
4719 end
4720
4721 default_ast_factory: ET_AST_FACTORY
4722 -- Shared default Eiffel AST factory
4723 once
4724 create Result.make
4725 ensure
4726 default_ast_factory_not_void: Result /= Void
4727 end
4728
4729 empty_actual_parameters: ET_ACTUAL_PARAMETER_LIST
4730 -- Empty actual generic parameter list "[]"
4731 once
4732 create Result.make_with_capacity (0)
4733 ensure
4734 empty_actual_parameters_not_void: Result /= Void
4735 actual_parameters_is_empty: Result.is_empty
4736 end
4737
4738 feature -- Empty lists
4739
4740 empty_classes: DS_ARRAYED_LIST [ET_CLASS]
4741 -- Shared empty list of classes
4742 once
4743 create Result.make (0)
4744 ensure
4745 list_not_void: Result /= Void
4746 list_empty: Result.is_empty
4747 end
4748
4749 empty_master_classes: DS_ARRAYED_LIST [ET_MASTER_CLASS]
4750 -- Shared empty list of master classes
4751 once
4752 create Result.make (0)
4753 ensure
4754 list_not_void: Result /= Void
4755 list_empty: Result.is_empty
4756 end
4757
4758 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23