/[eiffelstudio]/branches/CAT_mono/Src/framework/parser/AST/factory/ast_null_factory.e
ViewVC logotype

Contents of /branches/CAT_mono/Src/framework/parser/AST/factory/ast_null_factory.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 69687 - (show annotations)
Wed Jul 25 18:55:08 2007 UTC (12 years, 4 months ago) by martins
File size: 31499 byte(s)
* monomorph for formals
* covaraince for generics (syntax only)
1 indexing
2 description: "AST node factories which does not generate any node."
3 legal: "See notice at end of class."
4 status: "See notice at end of class."
5 date: "$Date$"
6 revision: "$Revision$"
7
8 class AST_NULL_FACTORY
9
10 inherit
11 AST_FACTORY
12 redefine
13 new_access_assert_as, new_access_feat_as, new_access_id_as, new_access_inv_as,
14 new_address_as, new_address_current_as, new_address_result_as, new_all_as,
15 new_array_as, new_assign_as, new_bin_and_as, new_bin_and_then_as, new_bin_div_as,
16 new_bin_eq_as, new_bin_free_as, new_bin_ge_as, new_bin_gt_as, new_bin_implies_as,
17 new_bin_le_as, new_bin_lt_as, new_bin_minus_as, new_bin_mod_as, new_bin_ne_as,
18 new_bin_or_as, new_bin_or_else_as, new_bin_plus_as, new_bin_power_as, new_bin_slash_as,
19 new_bin_star_as, new_bin_xor_as, new_bit_const_as, new_bits_as, new_bits_symbol_as, new_built_in_as,
20 new_body_as, new_boolean_as, new_case_as, new_character_as, new_check_as, new_class_as,
21 new_class_type_as, new_client_as, new_constant_as, new_convert_feat_as, new_create_as,
22 new_creation_as, new_creation_expr_as, new_current_as, new_custom_attribute_as,
23 new_debug_as, new_deferred_as, new_do_as, new_eiffel_list_atomic_as,
24 new_eiffel_list_case_as, new_eiffel_list_convert, new_eiffel_list_create_as,
25 new_eiffel_list_elseif_as, new_eiffel_list_export_item_as, new_eiffel_list_expr_as,
26 new_eiffel_list_feature_as, new_eiffel_list_feature_clause_as,
27 new_eiffel_list_feature_name, new_eiffel_list_formal_dec_as, new_eiffel_list_id_as,
28 new_indexing_clause_as, new_eiffel_list_instruction_as, new_eiffel_list_interval_as,
29 new_eiffel_list_operand_as, new_eiffel_list_parent_as, new_eiffel_list_rename_as,
30 new_eiffel_list_string_as, new_eiffel_list_tagged_as, new_eiffel_list_type,
31 new_eiffel_list_type_dec_as, new_elseif_as, new_ensure_as, new_ensure_then_as,
32 new_export_item_as, new_expr_address_as, new_expr_call_as, new_external_as,
33 new_external_lang_as, new_feature_as, new_feature_clause_as, new_feature_list_as,
34 new_feature_name_alias_as, new_feature_name_id_as, new_formal_as, new_formal_dec_as, new_filled_id_as,
35 new_identifier_list, new_if_as, new_index_as, new_infix_as, new_inspect_as,
36 new_instr_call_as, new_integer_as, new_integer_hexa_as, new_interval_as, new_invariant_as,
37 new_like_id_as, new_like_current_as, new_location_as, new_loop_as, new_nested_as,
38 new_nested_expr_as, new_none_type_as, new_once_as, new_operand_as, new_paran_as, new_parent_as,
39 new_precursor_as, new_prefix_as, new_real_as, new_rename_as, new_require_as, new_require_else_as,
40 new_result_as, new_retry_as, new_reverse_as, new_routine_as, new_routine_creation_as,
41 new_old_routine_creation_as, new_static_access_as, new_string_as, new_tagged_as,
42 new_tuple_as, new_type_dec_as, new_type_expr_as, new_un_free_as, new_un_minus_as,
43 new_un_not_as, new_un_old_as, new_un_plus_as, new_un_strip_as, new_unique_as,
44 new_variant_as, new_verbatim_string_as, new_void_as, new_filled_none_id_as,
45 new_assigner_call_as, new_tilda_routine_creation_as,
46 new_create_creation_as, new_bang_creation_as,
47 new_create_creation_expr_as,new_bang_creation_expr_as,
48 new_bracket_as,
49 new_assigner_mark_as, new_typed_char_as,
50 new_integer_value, new_real_value,
51 set_buffer, append_text_to_buffer, append_string_to_buffer,
52 create_match_list,
53 reverse_extend_separator, reverse_extend_identifier,
54 new_agent_routine_creation_as,
55 new_constraint_triple, new_alias_triple, new_agent_target_triple,
56 new_keyword_instruction_list_pair, new_keyword_string_pair, new_invariant_pair,
57 new_keyword_as, new_creation_keyword_as, new_end_keyword_as, new_frozen_keyword_as,
58 new_infix_keyword_as, new_precursor_keyword_as, new_prefix_keyword_as, new_once_string_keyword_as,
59 new_symbol_as, new_square_symbol_as,
60 create_break_as, create_break_as_with_data,
61 new_filled_id_as_with_existing_stub,
62 new_feature_keyword_as,
63 new_class_list_as, new_local_dec_list_as, new_formal_argu_dec_list_as, new_debug_key_list_as,
64 new_delayed_actual_list_as, new_parameter_list_as,
65 new_rename_clause_as, new_export_clause_as, new_undefine_clause_as, new_redefine_clause_as, new_select_clause_as,
66 new_creation_constrain_triple, new_named_tuple_type_as, new_line_pragma
67 end
68
69 feature -- Buffer operation
70
71 set_buffer (a_buf: STRING; a_scn: YY_SCANNER_SKELETON) is
72 -- Clear `a_buf' and then set it with `a_scn'.text.
73 do
74 end
75
76 append_text_to_buffer (a_buf: STRING; a_scn: YY_SCANNER_SKELETON) is
77 -- Append `a_scn'.text to end of buffer `a_buf'.
78 do
79 end
80
81 append_string_to_buffer (a_buf: STRING; a_str: STRING) is
82 -- Append `a_str' to end of buffer `a_buf'.
83 do
84 end
85
86 feature -- Roundtrip: Match list maintaining
87
88 create_match_list (l_size: INTEGER) is
89 -- New match list
90 do
91 end
92
93 feature -- Roundtrip
94
95 reverse_extend_separator (a_list: EIFFEL_LIST [AST_EIFFEL]; l_as: AST_EIFFEL) is
96 -- Add `l_as' into `a_list'.separator_list in reverse order.
97 do
98 end
99
100 reverse_extend_identifier (a_list: EIFFEL_LIST [AST_EIFFEL]; l_as: ID_AS) is
101 -- Add `l_as' into `a_list'.
102 do
103 end
104
105 feature -- Roundtrip: New AST node
106
107 new_agent_routine_creation_as (t: OPERAND_AS; f: ID_AS; o: DELAYED_ACTUAL_LIST_AS; is_qualified: BOOLEAN; a_as: KEYWORD_AS; d_as: SYMBOL_AS): AGENT_ROUTINE_CREATION_AS is
108 -- New AGENT_ROUTINE_CREATION AST node.
109 do
110 end
111
112 new_tilda_routine_creation_as (t: OPERAND_AS; f: ID_AS; o: DELAYED_ACTUAL_LIST_AS; is_qualified: BOOLEAN; a_as: SYMBOL_AS): TILDA_ROUTINE_CREATION_AS is
113 -- New AGENT_ROUTINE_CREATION AST node.
114 do
115 end
116
117 new_create_creation_as (tp: TYPE_AS; tg: ACCESS_AS; c: ACCESS_INV_AS; k_as: KEYWORD_AS): CREATE_CREATION_AS is
118 -- New CREATE_CREATION AST node.
119 do
120 end
121
122 new_bang_creation_as (tp: TYPE_AS; tg: ACCESS_AS; c: ACCESS_INV_AS; l_as, r_as: SYMBOL_AS): BANG_CREATION_AS is
123 -- New CREATE_CREATION AST node.
124 do
125 end
126
127 new_create_creation_expr_as (t: TYPE_AS; c: ACCESS_INV_AS; k_as: KEYWORD_AS): CREATE_CREATION_EXPR_AS is
128 -- New creation expression AST node
129 do
130 end
131
132 new_bang_creation_expr_as (t: TYPE_AS; c: ACCESS_INV_AS; l_as, r_as: SYMBOL_AS): BANG_CREATION_EXPR_AS is
133 -- New creation expression AST node
134 do
135 end
136
137 new_assigner_mark_as (k_as: KEYWORD_AS; i_as: ID_AS): PAIR [KEYWORD_AS, ID_AS] is
138 -- New pair of assigner_mark structure.
139 do
140 end
141
142 new_filled_none_id_as (l, c, p, s: INTEGER): NONE_ID_AS is
143 -- New empty ID AST node.
144 do
145 end
146
147 new_constraint_triple (k_as: SYMBOL_AS; t_as: CONSTRAINT_LIST_AS; l_as: CREATION_CONSTRAIN_TRIPLE): CONSTRAINT_TRIPLE is
148 -- New constraint triple structure.
149 do
150 end
151
152 new_alias_triple (k_as: KEYWORD_AS; n_as: STRING_AS; c_as: KEYWORD_AS): ALIAS_TRIPLE is
153 -- New ALIST_TRIPLE.
154 do
155 end
156
157 new_agent_target_triple (l_as, r_as: SYMBOL_AS; o_as: OPERAND_AS): AGENT_TARGET_TRIPLE is
158 -- New ALIST_TRIPLE.
159 do
160 end
161
162 new_keyword_instruction_list_pair (k_as: KEYWORD_AS; i_as: EIFFEL_LIST [INSTRUCTION_AS]):PAIR [KEYWORD_AS, EIFFEL_LIST [INSTRUCTION_AS]] is
163 -- New ALIST_TRIPLE.
164 do
165 end
166
167 new_keyword_string_pair (k_as: KEYWORD_AS; s_as: STRING_AS):PAIR [KEYWORD_AS, STRING_AS] is
168 -- New ALIST_TRIPLE.
169 do
170 end
171
172 new_invariant_pair (k_as: KEYWORD_AS; i_as: EIFFEL_LIST [TAGGED_AS]): PAIR [KEYWORD_AS, EIFFEL_LIST [TAGGED_AS]] is
173 -- New PAIR for a keyword and a tagged_as list.
174 do
175 end
176
177 feature -- Roundtrip
178
179 new_integer_value (a_psr: EIFFEL_PARSER_SKELETON; sign_symbol: CHARACTER; a_type: TYPE_AS; buffer: STRING; s_as: SYMBOL_AS): INTEGER_AS is
180 --
181 do
182 end
183
184 new_real_value (a_psr: EIFFEL_PARSER_SKELETON; is_signed: BOOLEAN; sign_symbol: CHARACTER; a_type: TYPE_AS; buffer: STRING; s_as: SYMBOL_AS): REAL_AS is
185 do
186 end
187
188 feature -- Roundtrip: New node
189
190 new_typed_char_as (t_as: TYPE_AS; c: CHARACTER_32; l, co, p, n: INTEGER; a_text: STRING): TYPED_CHAR_AS is
191 -- New TYPED_CHAR AST node.
192 do
193 end
194
195 new_bracket_as (t: EXPR_AS; o: EIFFEL_LIST [EXPR_AS]; l_as, r_as: SYMBOL_AS): BRACKET_AS is
196 -- New BRACKET AST node
197 do
198 end
199
200 feature -- Roundtrip: leaf_as
201
202 new_keyword_as (a_code: INTEGER; a_scn: EIFFEL_SCANNER): KEYWORD_AS is
203 -- New KEYWORD AST node
204 do
205 end
206
207 new_semicolon_symbol_as (a_scn: EIFFEL_SCANNER): SYMBOL_AS is
208 -- New symbol AST node for ";"
209 do
210 end
211
212 new_feature_keyword_as (l, c, p, s:INTEGER; a_scn: EIFFEL_SCANNER): KEYWORD_AS is
213 -- New KEYWORD AST node for keyword "feature".
214 do
215 end
216
217 new_keyword_as_without_extending_list (a_code:INTEGER; a_scn: EIFFEL_SCANNER): KEYWORD_AS is
218 -- New KEYWORD AST node, but don't extend `internal_match_list'.
219 do
220 end
221
222 new_creation_keyword_as (a_scn: EIFFEL_SCANNER): KEYWORD_AS is
223 -- New KEYWORD AST node for keyword "creation'
224 do
225 end
226
227 new_end_keyword_as (a_scn: EIFFEL_SCANNER): KEYWORD_AS is
228 -- New KEYWORD AST node for keyword "end'
229 do
230 end
231
232 new_frozen_keyword_as (a_scn: EIFFEL_SCANNER): KEYWORD_AS is
233 -- New KEYWORD AST node for keyword "frozen'
234 do
235 end
236
237 new_infix_keyword_as (a_scn: EIFFEL_SCANNER): KEYWORD_AS is
238 -- New KEYWORD AST node for keyword "infix'
239 do
240 end
241
242 new_precursor_keyword_as (a_scn: EIFFEL_SCANNER): KEYWORD_AS is
243 -- New KEYWORD AST node for keyword "precursor'
244 do
245 end
246
247 new_prefix_keyword_as (a_scn: EIFFEL_SCANNER): KEYWORD_AS is
248 -- New KEYWORD AST node for keyword "prefix'
249 do
250 end
251
252 new_once_string_keyword_as (a_text: STRING; l, c, p, n: INTEGER): KEYWORD_AS is
253 -- New KEYWORD AST node
254 do
255 end
256
257 new_symbol_as (a_code: INTEGER; a_scn: EIFFEL_SCANNER): SYMBOL_AS is
258 -- New KEYWORD AST node all Eiffel symbols except "[" and "]"
259 do
260 end
261
262 new_square_symbol_as (a_code: INTEGER; a_scn: EIFFEL_SCANNER): SYMBOL_AS is
263 -- New KEYWORD AST node only for symbol "[" and "]"
264 do
265 end
266
267 new_separator_as (a_scn: EIFFEL_SCANNER) is
268 -- New KEYWORD AST node
269 do
270 end
271
272 new_separator_as_with_data (a_text: STRING; l, c, p, s: INTEGER) is
273 -- New KEYWORD AST node
274 do
275 end
276
277 new_new_line_as_with_data (a_text: STRING; l, c, p, n: INTEGER) is
278 -- New KEYWORD AST node
279 do
280 end
281
282 new_new_line_as (a_scn: EIFFEL_SCANNER) is
283 -- New KEYWORD AST node
284 do
285 end
286
287 new_comment_as (a_scn: EIFFEL_SCANNER) is
288 -- New COMMENT_AS node
289 do
290 end
291
292 new_comment_as_with_data (a_text: STRING; l, c, p, n: INTEGER) is
293 -- New COMMENT_AS node
294 do
295 end
296
297 create_break_as (a_scn: EIFFEL_SCANNER) is
298 -- NEw BREAK_AS node
299 do
300 end
301
302 create_break_as_with_data (a_text: STRING; l, c, p, n: INTEGER) is
303 -- New COMMENT_AS node
304 do
305 end
306
307 feature -- Access
308
309 new_assigner_call_as (t: EXPR_AS; s: EXPR_AS; a_as: SYMBOL_AS): ASSIGNER_CALL_AS is
310 -- New ASSIGNER CALL AST node
311 do
312 end
313
314 new_access_assert_as (f: ID_AS; p: PARAMETER_LIST_AS): ACCESS_ASSERT_AS is
315 -- New ACCESS_ASSERT AST node
316 do
317 end
318
319 new_access_feat_as (f: ID_AS; p: PARAMETER_LIST_AS): ACCESS_FEAT_AS is
320 -- New ACCESS_FEAT AST node
321 do
322 end
323
324 new_access_id_as (f: ID_AS; p: PARAMETER_LIST_AS): ACCESS_ID_AS is
325 -- New ACCESS_ID AST node
326 do
327 end
328
329 new_access_inv_as (f: ID_AS; p: PARAMETER_LIST_AS; k_as: SYMBOL_AS): ACCESS_INV_AS is
330 -- New ACCESS_INV AST node
331 do
332 end
333
334 new_address_as (f: FEATURE_NAME; a_as: SYMBOL_AS): ADDRESS_AS is
335 -- New ADDRESS AST node
336 do
337 end
338
339 new_address_current_as (other: CURRENT_AS; a_as: SYMBOL_AS): ADDRESS_CURRENT_AS is
340 -- New ADDRESS_CURRENT AST node
341 do
342 end
343
344 new_address_result_as (other: RESULT_AS; a_as: SYMBOL_AS): ADDRESS_RESULT_AS is
345 -- New ADDRESS_RESULT AST node
346 do
347 end
348
349 new_all_as (a_as: KEYWORD_AS): ALL_AS is
350 -- New ALL AST node
351 do
352 end
353
354 new_array_as (exp: EIFFEL_LIST [EXPR_AS]; l_as, r_as: SYMBOL_AS): ARRAY_AS is
355 -- New Manifest ARRAY AST node
356 do
357 end
358
359 new_assign_as (t: ACCESS_AS; s: EXPR_AS; a_as: SYMBOL_AS): ASSIGN_AS is
360 -- New ASSIGN AST node
361 do
362 end
363
364 new_bin_and_as (l, r: EXPR_AS; o: AST_EIFFEL): BIN_AND_AS is
365 -- New binary and AST node
366 do
367 end
368
369 new_bin_and_then_as (l, r: EXPR_AS; k_as, s_as: KEYWORD_AS): BIN_AND_THEN_AS is
370 -- New binary and then AST node
371 do
372 end
373
374 new_bin_div_as (l, r: EXPR_AS; o: AST_EIFFEL): BIN_DIV_AS is
375 -- New binary // AST node
376 do
377 end
378
379 new_bin_eq_as (l, r: EXPR_AS; o: AST_EIFFEL): BIN_EQ_AS is
380 -- New binary = AST node
381 do
382 end
383
384 new_bin_free_as (l: EXPR_AS; op: ID_AS; r: EXPR_AS): BIN_FREE_AS is
385 -- New BIN_FREE AST node
386 do
387 end
388
389 new_bin_ge_as (l, r: EXPR_AS; o: AST_EIFFEL): BIN_GE_AS is
390 -- New binary >= AST node
391 do
392 end
393
394 new_bin_gt_as (l, r: EXPR_AS; o: AST_EIFFEL): BIN_GT_AS is
395 -- New binary > AST node
396 do
397 end
398
399 new_bin_implies_as (l, r: EXPR_AS; o: AST_EIFFEL): BIN_IMPLIES_AS is
400 -- New binary implies AST node
401 do
402 end
403
404 new_bin_le_as (l, r: EXPR_AS; o: AST_EIFFEL): BIN_LE_AS is
405 -- New binary <= AST node
406 do
407 end
408
409 new_bin_lt_as (l, r: EXPR_AS; o: AST_EIFFEL): BIN_LT_AS is
410 -- New binary < AST node
411 do
412 end
413
414 new_bin_minus_as (l, r: EXPR_AS; o: AST_EIFFEL): BIN_MINUS_AS is
415 -- New binary - AST node
416 do
417 end
418
419 new_bin_mod_as (l, r: EXPR_AS; o: AST_EIFFEL): BIN_MOD_AS is
420 -- New binary \\ AST node
421 do
422 end
423
424 new_bin_ne_as (l, r: EXPR_AS; o: AST_EIFFEL): BIN_NE_AS is
425 -- New binary /= AST node
426 do
427 end
428
429 new_bin_or_as (l, r: EXPR_AS; o: AST_EIFFEL): BIN_OR_AS is
430 -- New binary or AST node
431 do
432 end
433
434 new_bin_or_else_as (l, r: EXPR_AS; k_as, s_as: KEYWORD_AS): BIN_OR_ELSE_AS is
435 -- New binary or else AST node
436 do
437 end
438
439 new_bin_plus_as (l, r: EXPR_AS; o: AST_EIFFEL): BIN_PLUS_AS is
440 -- New binary + AST node
441 do
442 end
443
444 new_bin_power_as (l, r: EXPR_AS; o: AST_EIFFEL): BIN_POWER_AS is
445 -- New binary ^ AST node
446 do
447 end
448
449 new_bin_slash_as (l, r: EXPR_AS; o: AST_EIFFEL): BIN_SLASH_AS is
450 -- New binary / AST node
451 do
452 end
453
454 new_bin_star_as (l, r: EXPR_AS; o: AST_EIFFEL): BIN_STAR_AS is
455 -- New binary * AST node
456 do
457 end
458
459 new_bin_xor_as (l, r: EXPR_AS; o: AST_EIFFEL): BIN_XOR_AS is
460 -- New binary xor AST node
461 do
462 end
463
464 new_bit_const_as (b: ID_AS): BIT_CONST_AS is
465 -- New BIT_CONSTANT AST node with
466 -- with bit sequence contained in `b'
467 do
468 end
469
470 new_bits_as (v: INTEGER_AS; b_as: KEYWORD_AS): BITS_AS is
471 -- New BITS AST node
472 do
473 end
474
475 new_bits_symbol_as (s: ID_AS; b_as: KEYWORD_AS): BITS_SYMBOL_AS is
476 -- New BITS_SYMBOL AST node
477 do
478 end
479
480 new_body_as (a: FORMAL_ARGU_DEC_LIST_AS; t: TYPE_AS; r: ID_AS; c: CONTENT_AS; c_as: SYMBOL_AS; k_as: LEAF_AS; a_as: KEYWORD_AS; i_as: INDEXING_CLAUSE_AS): BODY_AS is
481 -- New BODY AST node
482 do
483 end
484
485 new_boolean_as (b: BOOLEAN; a_scn: EIFFEL_SCANNER): BOOL_AS is
486 -- New BOOLEAN AST node
487 do
488 end
489
490 new_built_in_as (l: EXTERNAL_LANG_AS; a: STRING_AS; e_as, a_as: KEYWORD_AS): BUILT_IN_AS is
491 -- New BUILT_IN AST node
492 do
493 end
494
495 new_case_as (i: EIFFEL_LIST [INTERVAL_AS]; c: EIFFEL_LIST [INSTRUCTION_AS]; w_as, t_as: KEYWORD_AS): CASE_AS is
496 -- New WHEN AST node
497 do
498 end
499
500 new_character_as (c: CHARACTER_32; l, co, p, n: INTEGER; a_text: STRING): CHAR_AS is
501 -- New CHARACTER AST node
502 do
503 end
504
505 new_check_as (c: EIFFEL_LIST [TAGGED_AS]; c_as, e: KEYWORD_AS): CHECK_AS is
506 -- New CHECK AST node
507 do
508 end
509
510 new_class_as (n: ID_AS; ext_name: STRING_AS;
511 is_d, is_e, is_s, is_fc, is_ex, is_par: BOOLEAN;
512 top_ind, bottom_ind: INDEXING_CLAUSE_AS;
513 g: EIFFEL_LIST [FORMAL_DEC_AS];
514 p: PARENT_LIST_AS;
515 c: EIFFEL_LIST [CREATE_AS];
516 co: CONVERT_FEAT_LIST_AS;
517 f: EIFFEL_LIST [FEATURE_CLAUSE_AS];
518 inv: INVARIANT_AS;
519 s: SUPPLIERS_AS;
520 o: STRING_AS;
521 ed: KEYWORD_AS): CLASS_AS
522 is
523 -- New CLASS AST node
524 do
525 end
526
527 new_class_type_as (n: ID_AS; g: TYPE_LIST_AS): CLASS_TYPE_AS is
528 -- New CLASS_TYPE AST node
529 do
530 end
531
532 new_named_tuple_type_as (n: ID_AS; g: FORMAL_ARGU_DEC_LIST_AS): NAMED_TUPLE_TYPE_AS is
533 -- New TUPLE_TYPE AST node
534 do
535 end
536
537 new_client_as (c: CLASS_LIST_AS): CLIENT_AS is
538 -- New CLIENT AST node
539 do
540 end
541
542 new_constant_as (a: ATOMIC_AS): CONSTANT_AS is
543 -- New CONSTANT_AS node
544 do
545 end
546
547 new_convert_feat_as (cr: BOOLEAN; fn: FEATURE_NAME; t: TYPE_LIST_AS ; l_as, r_as, c_as, lc_as, rc_as: SYMBOL_AS): CONVERT_FEAT_AS is
548 -- New convert feature entry AST node.
549 do
550 end
551
552 new_create_as (c: CLIENT_AS; f: EIFFEL_LIST [FEATURE_NAME]; c_as: KEYWORD_AS): CREATE_AS is
553 -- New creation clause AST node
554 do
555 end
556
557 new_creation_as (tp: TYPE_AS; tg: ACCESS_AS; c: ACCESS_INV_AS): CREATION_AS is
558 -- New creation instruction AST node
559 do
560 end
561
562 new_creation_expr_as (t: TYPE_AS; c: ACCESS_INV_AS): CREATION_EXPR_AS is
563 -- New creation expression AST node
564 do
565 end
566
567 new_current_as (a_scn: EIFFEL_SCANNER): CURRENT_AS is
568 -- New CURRENT AST node
569 do
570 end
571
572 new_custom_attribute_as (c: CREATION_EXPR_AS; t: TUPLE_AS; k_as: KEYWORD_AS): CUSTOM_ATTRIBUTE_AS is
573 -- Create a new UNIQUE AST node.
574 do
575 end
576
577 new_debug_as (k: DEBUG_KEY_LIST_AS; c: EIFFEL_LIST [INSTRUCTION_AS]; d_as, e: KEYWORD_AS): DEBUG_AS is
578 -- New DEBUG AST node
579 do
580 end
581
582 new_deferred_as (a_scn: EIFFEL_SCANNER): DEFERRED_AS is
583 -- New DEFERRED AST node
584 do
585 end
586
587 new_do_as (c: EIFFEL_LIST [INSTRUCTION_AS]; k_as: KEYWORD_AS): DO_AS is
588 -- New DO AST node
589 do
590 end
591
592 new_eiffel_list_atomic_as (n: INTEGER): EIFFEL_LIST [ATOMIC_AS] is
593 -- New empty list of ATOMIC_AS
594 do
595 end
596
597 new_eiffel_list_case_as (n: INTEGER): EIFFEL_LIST [CASE_AS] is
598 -- New empty list of CASE_AS
599 do
600 end
601
602 new_eiffel_list_convert (n: INTEGER): CONVERT_FEAT_LIST_AS is
603 -- New empty list of CONVERT_FEAT_AS
604 do
605 end
606
607 new_eiffel_list_create_as (n: INTEGER): EIFFEL_LIST [CREATE_AS] is
608 -- New empty list of CREATE_AS
609 do
610 end
611
612 new_eiffel_list_elseif_as (n: INTEGER): EIFFEL_LIST [ELSIF_AS] is
613 -- New empty list of ELSIF_AS
614 do
615 end
616
617 new_eiffel_list_export_item_as (n: INTEGER): EIFFEL_LIST [EXPORT_ITEM_AS] is
618 -- New empty list of EXPORT_ITEM_AS
619 do
620 end
621
622 new_eiffel_list_expr_as (n: INTEGER): EIFFEL_LIST [EXPR_AS] is
623 -- New empty list of EXPR_AS
624 do
625 end
626
627 new_parameter_list_as (l: EIFFEL_LIST [EXPR_AS]; lp_as, rp_as: SYMBOL_AS): PARAMETER_LIST_AS is
628 -- New empty list of PARAMETER_LIST_AS
629 do
630 end
631
632 new_eiffel_list_feature_as (n: INTEGER): EIFFEL_LIST [FEATURE_AS] is
633 -- New empty list of FEATURE_AS
634 do
635 end
636
637 new_eiffel_list_feature_clause_as (n: INTEGER): EIFFEL_LIST [FEATURE_CLAUSE_AS] is
638 -- New empty list of FEATURE_CLAUSE_AS
639 do
640 end
641
642 new_eiffel_list_feature_name (n: INTEGER): EIFFEL_LIST [FEATURE_NAME] is
643 -- New empty list of FEATURE_NAME
644 do
645 end
646
647 new_eiffel_list_formal_dec_as (n: INTEGER): FORMAL_GENERIC_LIST_AS is
648 -- New empty list of FORMAL_DEC_AS
649 do
650 end
651
652 new_eiffel_list_id_as (n: INTEGER): EIFFEL_LIST [ID_AS] is
653 -- New empty list of ID_AS
654 do
655 end
656
657 new_indexing_clause_as (n: INTEGER): INDEXING_CLAUSE_AS is
658 -- New empty list of INDEX_AS
659 do
660 end
661
662 new_eiffel_list_instruction_as (n: INTEGER): EIFFEL_LIST [INSTRUCTION_AS] is
663 -- New empty list of INSTRUCTION_AS
664 do
665 end
666
667 new_eiffel_list_interval_as (n: INTEGER): EIFFEL_LIST [INTERVAL_AS] is
668 -- New empty list of INTERVAL_AS
669 do
670 end
671
672 new_eiffel_list_operand_as (n: INTEGER): EIFFEL_LIST [OPERAND_AS] is
673 -- New empty list of OPERAND_AS
674 do
675 end
676
677 new_eiffel_list_parent_as (n: INTEGER): PARENT_LIST_AS is
678 -- New empty list of PARENT_AS
679 do
680 end
681
682 new_eiffel_list_rename_as (n: INTEGER): EIFFEL_LIST [RENAME_AS] is
683 -- New empty list of RENAME_AS
684 do
685 end
686
687 new_eiffel_list_string_as (n: INTEGER): EIFFEL_LIST [STRING_AS] is
688 -- New empty list of STRING_AS
689 do
690 end
691
692 new_eiffel_list_tagged_as (n: INTEGER): EIFFEL_LIST [TAGGED_AS] is
693 -- New empty list of TAGGED_AS
694 do
695 end
696
697 new_eiffel_list_type (n: INTEGER): TYPE_LIST_AS is
698 -- New empty list of TYPE
699 do
700 end
701
702 new_eiffel_list_type_dec_as (n: INTEGER): TYPE_DEC_LIST_AS is
703 -- New empty list of TYPE_DEC_AS
704 do
705 end
706
707 new_elseif_as (e: EXPR_AS; c: EIFFEL_LIST [INSTRUCTION_AS]; l_as, t_as: KEYWORD_AS): ELSIF_AS is
708 -- New ELSIF AST node
709 do
710 end
711
712 new_ensure_as (a: EIFFEL_LIST [TAGGED_AS]; k_as: KEYWORD_AS): ENSURE_AS is
713 -- New ENSURE AST node
714 do
715 end
716
717 new_ensure_then_as (a: EIFFEL_LIST [TAGGED_AS]; k_as, l_as: KEYWORD_AS): ENSURE_THEN_AS is
718 -- New ENSURE THEN AST node
719 do
720 end
721
722 new_export_item_as (c: CLIENT_AS; f: FEATURE_SET_AS): EXPORT_ITEM_AS is
723 -- New EXPORT_ITEM AST node
724 do
725 end
726
727 new_expr_address_as (e: EXPR_AS; a_as, l_as, r_as: SYMBOL_AS): EXPR_ADDRESS_AS is
728 -- New EXPR_ADDRESS AST node
729 do
730 end
731
732 new_expr_call_as (c: CALL_AS): EXPR_CALL_AS is
733 -- New EXPR_CALL AST node
734 do
735 end
736
737 new_external_as (l: EXTERNAL_LANG_AS; a: STRING_AS; e_as, a_as: KEYWORD_AS): EXTERNAL_AS is
738 -- New EXTERNAL AST node
739 do
740 end
741
742 new_external_lang_as (l: STRING_AS): EXTERNAL_LANG_AS is
743 -- New EXTERNAL_LANGUAGE AST node
744 do
745 end
746
747 new_feature_as (f: EIFFEL_LIST [FEATURE_NAME]; b: BODY_AS; i: INDEXING_CLAUSE_AS; next_pos: INTEGER): FEATURE_AS is
748 -- New FEATURE AST node
749 do
750 end
751
752 new_feature_clause_as (c: CLIENT_AS; f: EIFFEL_LIST [FEATURE_AS]; l: KEYWORD_AS; ep: INTEGER): FEATURE_CLAUSE_AS is
753 -- New FEATURE_CLAUSE AST node
754 do
755 end
756
757 new_feature_list_as (f: EIFFEL_LIST [FEATURE_NAME]): FEATURE_LIST_AS is
758 -- New FEATURE_LIST AST node
759 do
760 end
761
762 new_feature_name_alias_as (feature_name: ID_AS; alias_name: STRING_AS; has_convert_mark: BOOLEAN; a_as, c_as: KEYWORD_AS): FEATURE_NAME_ALIAS_AS is
763 -- New FEATURE_NAME_ALIAS AST node
764 do
765 end
766
767 new_feature_name_id_as (f: ID_AS): FEAT_NAME_ID_AS is
768 -- New FEAT_NAME_ID AST node
769 do
770 end
771
772 new_formal_as (n: ID_AS; is_ref, is_exp, is_monomorph: BOOLEAN; r_as: KEYWORD_AS): FORMAL_AS is
773 -- New FORMAL AST node
774 do
775 end
776
777 new_formal_dec_as (f: FORMAL_AS; c: CONSTRAINT_LIST_AS; cf: EIFFEL_LIST [FEATURE_NAME]; c_as: SYMBOL_AS; ck_as, ek_as: KEYWORD_AS): FORMAL_DEC_AS is
778 -- New FORMAL_DECLARATION AST node
779 do
780 end
781
782 new_filled_id_as (a_scn: EIFFEL_SCANNER_SKELETON): ID_AS is
783 -- New empty ID AST node.
784 do
785 end
786
787 new_filled_id_as_with_existing_stub (a_scn: EIFFEL_SCANNER_SKELETON; a_index: INTEGER): ID_AS is
788 -- New empty ID AST node.
789 do
790 end
791
792 new_identifier_list (c: INTEGER): IDENTIFIER_LIST is
793 -- New ARRAYED_LIST [INTEGER]
794 do
795 end
796
797 new_if_as (cnd: EXPR_AS; cmp: EIFFEL_LIST [INSTRUCTION_AS];
798 ei: EIFFEL_LIST [ELSIF_AS]; e: EIFFEL_LIST [INSTRUCTION_AS];
799 end_location, i_as, t_as, e_as: KEYWORD_AS): IF_AS
800 is
801 -- New IF AST node
802 do
803 end
804
805 new_index_as (t: ID_AS; i: EIFFEL_LIST [ATOMIC_AS]; c_as: SYMBOL_AS): INDEX_AS is
806 -- Create a new INDEX AST node.
807 do
808 end
809
810 new_infix_as (op: STRING_AS; l: KEYWORD_AS): INFIX_PREFIX_AS is
811 -- New INFIX AST node
812 do
813 end
814
815 new_inspect_as (s: EXPR_AS; c: EIFFEL_LIST [CASE_AS];
816 e: EIFFEL_LIST [INSTRUCTION_AS]; end_location, i_as, e_as: KEYWORD_AS): INSPECT_AS
817 is
818 -- New INSPECT AST node
819 do
820 end
821
822 new_instr_call_as (c: CALL_AS): INSTR_CALL_AS is
823 -- New INSTR_CALL AST node
824 do
825 end
826
827 new_integer_as (t: TYPE_AS; s: BOOLEAN; v: STRING; buf: STRING; s_as: SYMBOL_AS; l, c, p, n: INTEGER): INTEGER_AS is
828 -- New INTEGER_AS node
829 do
830 end
831
832 new_integer_hexa_as (t: TYPE_AS; s: CHARACTER; v: STRING; buf: STRING; s_as: SYMBOL_AS; l, c, p, n: INTEGER): INTEGER_AS is
833 -- New INTEGER_AS node
834 do
835 end
836
837 new_interval_as (l, u: ATOMIC_AS; d_as: SYMBOL_AS): INTERVAL_AS is
838 -- New INTERVAL AST node
839 do
840 end
841
842 new_invariant_as (a: EIFFEL_LIST [TAGGED_AS]; once_manifest_string_count: INTEGER; i_as: KEYWORD_AS): INVARIANT_AS is
843 -- New INVARIANT AST node
844 do
845 end
846
847 new_like_id_as (a: ID_AS; l_as: KEYWORD_AS): LIKE_ID_AS is
848 -- New LIKE_ID AST node
849 do
850 end
851
852 new_like_current_as (other: CURRENT_AS; l_as: KEYWORD_AS): LIKE_CUR_AS is
853 -- New LIKE_CURRENT AST node
854 do
855 end
856
857 new_location_as (l, c, p, s: INTEGER): LOCATION_AS is
858 -- New LOCATION_AS
859 do
860 end
861
862 new_loop_as (f: EIFFEL_LIST [INSTRUCTION_AS]; i: EIFFEL_LIST [TAGGED_AS];
863 v: VARIANT_AS; s: EXPR_AS; c: EIFFEL_LIST [INSTRUCTION_AS];
864 e, f_as, i_as, u_as, l_as: KEYWORD_AS): LOOP_AS
865 is
866 -- New LOOP AST node
867 do
868 end
869
870 new_nested_as (t: ACCESS_AS; m: CALL_AS; d_as: SYMBOL_AS): NESTED_AS is
871 -- New NESTED CALL AST node
872 do
873 end
874
875 new_nested_expr_as (t: EXPR_AS; m: CALL_AS; d_as, l_as, r_as: SYMBOL_AS): NESTED_EXPR_AS is
876 -- New NESTED_EXPR CALL AST node
877 do
878 end
879
880 new_none_type_as (c: ID_AS): NONE_TYPE_AS is
881 -- New type AST node for "NONE"
882 do
883 end
884
885 new_once_as (c: EIFFEL_LIST [INSTRUCTION_AS]; k_as: KEYWORD_AS): ONCE_AS is
886 -- New ONCE AST node
887 do
888 end
889
890 new_operand_as (c: TYPE_AS; t: ACCESS_AS; e: EXPR_AS): OPERAND_AS is
891 -- New OPERAND AST node
892 do
893 end
894
895 new_paran_as (e: EXPR_AS; l_as, r_as: SYMBOL_AS): PARAN_AS is
896 -- New PARAN AST node
897 do
898 end
899
900 new_parent_as (t: CLASS_TYPE_AS; rn: RENAME_CLAUSE_AS;
901 e: EXPORT_CLAUSE_AS; u: UNDEFINE_CLAUSE_AS;
902 rd: REDEFINE_CLAUSE_AS; s: SELECT_CLAUSE_AS; ed: KEYWORD_AS): PARENT_AS
903 is
904 -- New PARENT AST node
905 do
906 end
907
908 new_precursor_as (pk: KEYWORD_AS; n: CLASS_TYPE_AS; p: PARAMETER_LIST_AS): PRECURSOR_AS is
909 -- New PRECURSOR AST node
910 do
911 end
912
913 new_prefix_as (op: STRING_AS; l: KEYWORD_AS): INFIX_PREFIX_AS is
914 -- New PREFIX AST node
915 do
916 end
917
918 new_real_as (t: TYPE_AS; v: STRING; buf: STRING; s_as: SYMBOL_AS; l, c, p, n: INTEGER): REAL_AS is
919 -- New REAL AST node
920 do
921 end
922
923 new_rename_as (o, n: FEATURE_NAME; k_as: KEYWORD_AS): RENAME_AS is
924 -- New RENAME_PAIR AST node
925 do
926 end
927
928 new_require_as (a: EIFFEL_LIST [TAGGED_AS]; k_as: KEYWORD_AS): REQUIRE_AS is
929 -- New REQUIRE AST node
930 do
931 end
932
933 new_require_else_as (a: EIFFEL_LIST [TAGGED_AS]; k_as, l_as: KEYWORD_AS): REQUIRE_ELSE_AS is
934 -- New REQUIRE ELSE AST node
935 do
936 end
937
938 new_result_as (a_scn: EIFFEL_SCANNER): RESULT_AS is
939 -- New RESULT AST node
940 do
941 end
942
943 new_retry_as (a_scn: EIFFEL_SCANNER): RETRY_AS is
944 -- New RETRY AST node
945 do
946 end
947
948 new_reverse_as (t: ACCESS_AS; s: EXPR_AS; a_as: SYMBOL_AS): REVERSE_AS is
949 -- New assignment attempt AST node
950 do
951 end
952
953 new_routine_as (o: STRING_AS; pr: REQUIRE_AS;
954 l: LOCAL_DEC_LIST_AS; b: ROUT_BODY_AS; po: ENSURE_AS;
955 r: EIFFEL_LIST [INSTRUCTION_AS]; end_loc: KEYWORD_AS;
956 oms_count, a_pos: INTEGER; k_as, r_as: KEYWORD_AS): ROUTINE_AS
957 is
958 -- New ROUTINE AST node
959 do
960 end
961
962 new_routine_creation_as (t: OPERAND_AS; f: ID_AS; o: DELAYED_ACTUAL_LIST_AS; is_qualified: BOOLEAN): ROUTINE_CREATION_AS is
963 -- New ROUTINE_CREATION AST node
964 do
965 end
966
967 new_old_routine_creation_as (
968 l: AST_EIFFEL; t: OPERAND_AS; f: ID_AS; o: DELAYED_ACTUAL_LIST_AS;
969 is_qualified: BOOLEAN; a_as: SYMBOL_AS): PAIR [ROUTINE_CREATION_AS, LOCATION_AS]
970 is
971 -- New ROUTINE_CREATION AST node for obsolete use of `~'.
972 do
973 end
974
975 new_static_access_as (c: TYPE_AS; f: ID_AS; p: PARAMETER_LIST_AS; f_as: KEYWORD_AS; d_as: SYMBOL_AS): STATIC_ACCESS_AS is
976 -- New STATIC_ACCESS AST node
977 do
978 end
979
980 new_string_as (s: STRING; l, c, p, n: INTEGER; buf: STRING): STRING_AS is
981 -- New STRING AST node
982 do
983 end
984
985 new_tagged_as (t: ID_AS; e: EXPR_AS; s_as: SYMBOL_AS): TAGGED_AS is
986 -- New TAGGED AST node
987 do
988 end
989
990 new_tuple_as (exp: EIFFEL_LIST [EXPR_AS]; l_as, r_as: SYMBOL_AS): TUPLE_AS is
991 -- New Manifest TUPLE AST node
992 do
993 end
994
995 new_type_dec_as (i: IDENTIFIER_LIST; t: TYPE_AS; c_as: SYMBOL_AS): TYPE_DEC_AS is
996 -- New TYPE_DEC AST node
997 do
998 end
999
1000 new_type_expr_as (t: TYPE_AS): TYPE_EXPR_AS is
1001 -- New TYPE_EXPR AST node
1002 do
1003 end
1004
1005 new_un_free_as (op: ID_AS; e: EXPR_AS): UN_FREE_AS is
1006 -- New UN_FREE AST node
1007 do
1008 end
1009
1010 new_un_minus_as (e: EXPR_AS; o: AST_EIFFEL): UN_MINUS_AS is
1011 -- New unary - AST node
1012 do
1013 end
1014
1015 new_un_not_as (e: EXPR_AS; o: AST_EIFFEL): UN_NOT_AS is
1016 -- New unary not AST node
1017 do
1018 end
1019
1020 new_un_old_as (e: EXPR_AS; o: AST_EIFFEL): UN_OLD_AS is
1021 -- New unary old AST node
1022 do
1023 end
1024
1025 new_un_plus_as (e: EXPR_AS; o: AST_EIFFEL): UN_PLUS_AS is
1026 -- New unary + AST node
1027 do
1028 end
1029
1030 new_un_strip_as (i: CONSTRUCT_LIST [INTEGER]; o: KEYWORD_AS; lp_as, rp_as: SYMBOL_AS): UN_STRIP_AS is
1031 -- New UN_STRIP AST node
1032 do
1033 end
1034
1035 new_unique_as (a_scn: EIFFEL_SCANNER): UNIQUE_AS is
1036 -- New UNIQUE AST node
1037 do
1038 end
1039
1040 new_variant_as (t: ID_AS; e: EXPR_AS; k_as: KEYWORD_AS; s_as: SYMBOL_AS): VARIANT_AS is
1041 -- New VARIANT AST node
1042 do
1043 end
1044
1045 new_verbatim_string_as (s, marker: STRING; is_indentable: BOOLEAN; l, c, p, n: INTEGER; buf: STRING): VERBATIM_STRING_AS is
1046 -- New VERBATIM_STRING AST node
1047 do
1048 end
1049
1050 new_void_as (a_scn: EIFFEL_SCANNER): VOID_AS is
1051 -- New VOID AST node
1052 do
1053 end
1054
1055 new_class_list_as (n: INTEGER): CLASS_LIST_AS is
1056 -- New empty list of CLASS_LIST AST node
1057 do
1058 end
1059
1060 new_local_dec_list_as (l: EIFFEL_LIST [TYPE_DEC_AS]; k_as: KEYWORD_AS): LOCAL_DEC_LIST_AS is
1061 -- New LOCAL_DEC_LIST AST node
1062 do
1063 end
1064
1065 new_formal_argu_dec_list_as (l: EIFFEL_LIST [TYPE_DEC_AS]; l_as, r_as: SYMBOL_AS): FORMAL_ARGU_DEC_LIST_AS is
1066 -- New FORMAL_ARGU_DEC_LIST AST node
1067 do
1068 end
1069
1070 new_debug_key_list_as (l: EIFFEL_LIST [STRING_AS]; l_as, r_as: SYMBOL_AS): DEBUG_KEY_LIST_AS is
1071 -- New DEBUG_KEY_LIST AST node
1072 do
1073 end
1074
1075 new_delayed_actual_list_as (l: EIFFEL_LIST [OPERAND_AS]; l_as, r_as: SYMBOL_AS): DELAYED_ACTUAL_LIST_AS is
1076 -- New DELAYED_ACTUAL_LIST AST node
1077 do
1078 end
1079
1080 new_rename_clause_as (l: EIFFEL_LIST [RENAME_AS]; k_as: KEYWORD_AS): RENAME_CLAUSE_AS is
1081 -- New RENAME_CLAUSE AST node
1082 do
1083 end
1084
1085 new_export_clause_as (l: EIFFEL_LIST [EXPORT_ITEM_AS]; k_as: KEYWORD_AS): EXPORT_CLAUSE_AS is
1086 -- New EXPORT_CLAUSE AST node
1087 do
1088 end
1089
1090 new_undefine_clause_as (l: EIFFEL_LIST [FEATURE_NAME]; k_as: KEYWORD_AS): UNDEFINE_CLAUSE_AS is
1091 -- New UNDEFINE_CLAUSE AST node
1092 do
1093 end
1094
1095 new_redefine_clause_as (l: EIFFEL_LIST [FEATURE_NAME]; k_as: KEYWORD_AS): REDEFINE_CLAUSE_AS is
1096 -- New REDEFINE_CLAUSE AST node
1097 do
1098 end
1099
1100 new_select_clause_as (l: EIFFEL_LIST [FEATURE_NAME]; k_as: KEYWORD_AS): SELECT_CLAUSE_AS is
1101 -- New SELECT_CLAUSE AST node
1102 do
1103 end
1104
1105 new_creation_constrain_triple (fl: EIFFEL_LIST [FEATURE_NAME]; c_as, e_as: KEYWORD_AS): CREATION_CONSTRAIN_TRIPLE is
1106 -- New CREATION_CONSTRAIN_TRIPLE object
1107 do
1108 end
1109
1110 new_line_pragma (a_scn: EIFFEL_SCANNER): BREAK_AS is
1111 -- New line pragma
1112 do
1113 end
1114
1115 indexing
1116 copyright: "Copyright (c) 1984-2006, Eiffel Software"
1117 license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
1118 licensing_options: "http://www.eiffel.com/licensing"
1119 copying: "[
1120 This file is part of Eiffel Software's Eiffel Development Environment.
1121
1122 Eiffel Software's Eiffel Development Environment is free
1123 software; you can redistribute it and/or modify it under
1124 the terms of the GNU General Public License as published
1125 by the Free Software Foundation, version 2 of the License
1126 (available at the URL listed under "license" above).
1127
1128 Eiffel Software's Eiffel Development Environment is
1129 distributed in the hope that it will be useful, but
1130 WITHOUT ANY WARRANTY; without even the implied warranty
1131 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
1132 See the GNU General Public License for more details.
1133
1134 You should have received a copy of the GNU General Public
1135 License along with Eiffel Software's Eiffel Development
1136 Environment; if not, write to the Free Software Foundation,
1137 Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
1138 ]"
1139 source: "[
1140 Eiffel Software
1141 356 Storke Road, Goleta, CA 93117 USA
1142 Telephone 805-685-1006, Fax 805-685-6869
1143 Website http://www.eiffel.com
1144 Customer support http://support.eiffel.com
1145 ]"
1146
1147 end -- class AST_FACTORY
1148

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23