indexing
	description: "Predefined constants for use in NAMES_HEAP"
	date: "$Date$"
	revision: "$Revision$"

class
	PREDEFINED_NAMES

feature -- Constants

	put_name_id: INTEGER is 1
	item_name_id: INTEGER is 2
	invariant_name_id: INTEGER is 3
	make_area_name_id: INTEGER is 4
	infix_at_name_id: INTEGER is 5
	set_area_name_id: INTEGER is 6
	area_name_id: INTEGER is 7
	lower_name_id: INTEGER is 8
	clone_name_id: INTEGER is 9
	set_count_name_id: INTEGER is 10
	make_name_id: INTEGER is 11
	to_c_name_id: INTEGER is 12
	set_rout_disp_name_id: INTEGER is 13
	default_create_name_id: INTEGER is 14
	default_rescue_name_id: INTEGER is 15
	dispose_name_id: INTEGER is 16
	internal_invariant_name_id: INTEGER is 17
	void_name_id: INTEGER is 18
	eif_reference_name_id: INTEGER is 19
	eif_integer_8_name_id: INTEGER is 20
	eif_integer_16_name_id: INTEGER is 21
	eif_integer_32_name_id: INTEGER is 22
	eif_integer_64_name_id: INTEGER is 23
	eif_char_name_id: INTEGER is 24
	eif_wide_char_name_id: INTEGER is 25
	eif_boolean_name_id: INTEGER is 26
	eif_pointer_name_id: INTEGER is 27
	eif_real_name_id: INTEGER is 28
	eif_double_name_id: INTEGER is 29
	eif_plug_header_name_id: INTEGER is 30
	eif_misc_header_name_id: INTEGER is 31
	eif_out_header_name_id: INTEGER is 32
	string_header_name_id: INTEGER is 33
	math_header_name_id: INTEGER is 34
	count_name_id: INTEGER is 35
	upper_name_id: INTEGER is 36
	all_default_name_id: INTEGER is 37
	clear_all_name_id: INTEGER is 38
	index_of_name_id: INTEGER is 39
	resized_area_name_id: INTEGER is 40
	same_items_name_id: INTEGER is 41
	is_equal_name_id: INTEGER is 42
	standard_is_equal_name_id: INTEGER is 43
	deep_equal_name_id: INTEGER is 44
	standard_deep_equal_name_id: INTEGER is 45
	out_name_id: INTEGER is 46
	hash_code_name_id: INTEGER is 47
	max_name_id: INTEGER is 48
	min_name_id: INTEGER is 49
	abs_name_id: INTEGER is 50
	zero_name_id: INTEGER is 51
	one_name_id: INTEGER is 52
	generator_name_id: INTEGER is 53
	generating_type_name_id: INTEGER is 54
	to_integer_8_name_id: INTEGER is 55
	to_integer_16_name_id: INTEGER is 56
	to_integer_32_name_id: INTEGER is 57
	to_integer_64_name_id: INTEGER is 58
	infix_plus_name_id: INTEGER is 59
	default_name_id: INTEGER is 60
	bit_and_name_id: INTEGER is 61
	infix_and_name_id: INTEGER is 62
	bit_or_name_id: INTEGER is 63
	infix_or_name_id: INTEGER is 64
	bit_xor_name_id: INTEGER is 65
	bit_not_name_id: INTEGER is 66
	bit_shift_left_name_id: INTEGER is 67
	infix_shift_left_name_id: INTEGER is 68
	bit_shift_right_name_id: INTEGER is 69
	infix_shift_right_name_id: INTEGER is 70
	bit_test_name_id: INTEGER is 71
	memory_copy_name_id: INTEGER is 72
	memory_move_name_id: INTEGER is 73
	memory_set_name_id: INTEGER is 74
	truncated_to_integer_name_id: INTEGER is 75
	set_item_name_id: INTEGER is 76
	copy_name_id: INTEGER is 77
	deep_copy_name_id: INTEGER is 78
	standard_copy_name_id: INTEGER is 79
	standard_clone_name_id: INTEGER is 80
	make_from_cil_name_id: INTEGER is 81
	equal_name_id: INTEGER is 82
	truncated_to_real_name_id: INTEGER is 83
	code_name_id: INTEGER is 84
	to_integer_name_id: INTEGER is 85
	to_character_name_id: INTEGER is 86
	ascii_char_name_id: INTEGER is 87
	standard_twin_name_id: INTEGER is 88
	internal_copy_name_id: INTEGER is 89
	put_value_at_name_id: INTEGER is 90
	set_bit_with_mask_name_id: INTEGER is 91
	memory_alloc_name_id: INTEGER is 92
	memory_free_name_id: INTEGER is 93
	from_integer_name_id: INTEGER is 94
	finalize_name_id: INTEGER is 95
	eif_helpers_header_name_id: INTEGER is 96
	native_array_name_id: INTEGER is 97
	to_string_name_id: INTEGER is 98
	to_cil_name_id: INTEGER is 99
	is_digit_name_id: INTEGER is 100
	internal_correct_mismatch_name_id: INTEGER is 101
	memory_calloc_name_id: INTEGER is 102
	internal_hash_code_name_id: INTEGER is 103
	base_address_name_id: INTEGER is 104
	item_address_name_id: INTEGER is 105
			-- Predefined name IDs constants

end -- class PREDEFINED_NAMES