note
	description: "Visitor for BYTE_NODE objects."
	legal: "See notice at end of class."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

deferred class
	BYTE_NODE_VISITOR

feature -- Status report

	is_valid: BOOLEAN
			-- Is current valid for visiting?
		do
			Result := True
		end

	is_node_valid (a_node: BYTE_NODE): BOOLEAN
			-- Is `a_node' valid for current visitor?
		require
			a_node_not_void: a_node /= Void
		do
			Result := True
		end

feature {BYTE_NODE} -- Helpers

	frozen safe_process (a_node: BYTE_NODE)
			-- Process `a_node'. Nothing if `a_node' is Void.
		require
			is_valid: is_valid
			is_node_valid: a_node /= Void implies is_node_valid (a_node)
		do
			if a_node /= Void then
				a_node.process (Current)
			end
		end

feature {BYTE_NODE} -- Routine visitors

	process_std_byte_code (a_node: STD_BYTE_CODE)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

feature {BYTE_NODE} -- Implementation visitors

	process_hidden_if_b	(a_node: HIDDEN_IF_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_hidden_b (a_node: HIDDEN_B)
			-- Process `a_node'
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_do_rescue_b (a_node: DO_RESCUE_B)
			-- Process `a_node'
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_try_b (a_node: TRY_B)
			-- Process `a_node'
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

feature {BYTE_NODE} -- Visitors

	process_access_expr_b (a_node: ACCESS_EXPR_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_address_b (a_node: ADDRESS_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_argument_b (a_node: ARGUMENT_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_array_const_b (a_node: ARRAY_CONST_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_assert_b (a_node: ASSERT_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_assign_b (a_node: ASSIGN_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_attribute_b (a_node: ATTRIBUTE_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_and_b (a_node: BIN_AND_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_and_then_b (a_node: B_AND_THEN_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_div_b (a_node: BIN_DIV_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_eq_b (a_node: BIN_EQ_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_free_b (a_node: BIN_FREE_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_ge_b (a_node: BIN_GE_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_gt_b (a_node: BIN_GT_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_implies_b (a_node: B_IMPLIES_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_le_b (a_node: BIN_LE_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_lt_b (a_node: BIN_LT_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_minus_b (a_node: BIN_MINUS_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_mod_b (a_node: BIN_MOD_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_ne_b (a_node: BIN_NE_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_not_tilde_b (a_node: BIN_NOT_TILDE_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_or_b (a_node: BIN_OR_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_or_else_b (a_node: B_OR_ELSE_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_plus_b (a_node: BIN_PLUS_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_power_b (a_node: BIN_POWER_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_slash_b (a_node: BIN_SLASH_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_star_b (a_node: BIN_STAR_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_tilde_b (a_node: BIN_TILDE_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bin_xor_b (a_node: BIN_XOR_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_bool_const_b (a_node: BOOL_CONST_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_byte_list (a_node: BYTE_LIST [BYTE_NODE])
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_case_b (a_node: CASE_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_case_expression_b (b: CASE_EXPRESSION_B)
			-- Process node `b`.
		require
			is_valid: is_valid
			is_node_attached: attached b
			is_node_valid: is_node_valid (b)
		deferred
		end

	process_char_const_b (a_node: CHAR_CONST_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_char_val_b (a_node: CHAR_VAL_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_check_b (a_node: CHECK_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_constant_b (a_node: CONSTANT_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_creation_expr_b (a_node: CREATION_EXPR_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_current_b (a_node: CURRENT_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_custom_attribute_b (a_node: CUSTOM_ATTRIBUTE_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_debug_b (a_node: DEBUG_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_elsif_b (a_node: ELSIF_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_elsif_expression_b (a_node: ELSIF_EXPRESSION_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_attached: attached a_node
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_expr_address_b (a_node: EXPR_ADDRESS_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_external_b (a_node: EXTERNAL_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_feature_b (a_node: FEATURE_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_agent_call_b (a_node: AGENT_CALL_B)
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_formal_conversion_b (a_node: FORMAL_CONVERSION_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_guard_b (a_node: GUARD_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_hector_b (a_node: HECTOR_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_if_b (a_node: IF_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_if_expression_b (a_node: IF_EXPRESSION_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_attached: attached a_node
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_inspect_b (a_node: INSPECT_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_inspect_expression_b (b: INSPECT_EXPRESSION_B)
			-- Process node `b`.
		require
			is_valid: is_valid
			is_node_attached: attached b
			is_node_valid: is_node_valid (b)
		deferred
		end

	process_instr_call_b (a_node: INSTR_CALL_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_instr_list_b (a_node: INSTR_LIST_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_int64_val_b (a_node: INT64_VAL_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_int_val_b (a_node: INT_VAL_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_integer_constant (a_node: INTEGER_CONSTANT)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_inv_assert_b (a_node: INV_ASSERT_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_invariant_b (a_node: INVARIANT_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_local_b (a_node: LOCAL_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_loop_b (a_node: LOOP_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_loop_expr_b (a_node: LOOP_EXPR_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_nat64_val_b (a_node: NAT64_VAL_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_nat_val_b (a_node: NAT_VAL_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_nested_b (a_node: NESTED_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_null_conversion_b (a_node: NULL_CONVERSION_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_object_test_b (a_node: OBJECT_TEST_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_object_test_local_b (a_node: OBJECT_TEST_LOCAL_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_once_string_b (a_node: ONCE_STRING_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_operand_b (a_node: OPERAND_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_parameter_b (a_node: PARAMETER_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_paran_b (a_node: PARAN_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_real_const_b (a_node: REAL_CONST_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_require_b (a_node: REQUIRE_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_result_b (a_node: RESULT_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_retry_b (a_node: RETRY_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_reverse_b (a_node: REVERSE_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_routine_creation_b (a_node: ROUTINE_CREATION_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_separate_b (a_node: SEPARATE_INSTRUCTION_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_string_b (a_node: STRING_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_strip_b (a_node: STRIP_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_tuple_access_b (a_node: TUPLE_ACCESS_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_tuple_const_b (a_node: TUPLE_CONST_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_type_expr_b (a_node: TYPE_EXPR_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_typed_interval_b (a_node: TYPED_INTERVAL_B [INTERVAL_VAL_B])
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_un_free_b (a_node: UN_FREE_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_un_minus_b (a_node: UN_MINUS_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_un_not_b (a_node: UN_NOT_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_un_old_b (a_node: UN_OLD_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_un_plus_b (a_node: UN_PLUS_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_variant_b (a_node: VARIANT_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

	process_void_b (a_node: VOID_B)
			-- Process `a_node'.
		require
			is_valid: is_valid
			a_node_not_void: a_node /= Void
			a_node_valid: is_node_valid (a_node)
		deferred
		end

note
	copyright:	"Copyright (c) 1984-2020, Eiffel Software"
	license:	"GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
	licensing_options:	"http://www.eiffel.com/licensing"
	copying: "[
			This file is part of Eiffel Software's Eiffel Development Environment.
			
			Eiffel Software's Eiffel Development Environment is free
			software; you can redistribute it and/or modify it under
			the terms of the GNU General Public License as published
			by the Free Software Foundation, version 2 of the License
			(available at the URL listed under "license" above).
			
			Eiffel Software's Eiffel Development Environment is
			distributed in the hope that it will be useful, but
			WITHOUT ANY WARRANTY; without even the implied warranty
			of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
			See the GNU General Public License for more details.
			
			You should have received a copy of the GNU General Public
			License along with Eiffel Software's Eiffel Development
			Environment; if not, write to the Free Software Foundation,
			Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
		]"
	source: "[
			Eiffel Software
			5949 Hollister Ave., Goleta, CA 93117 USA
			Telephone 805-685-1006, Fax 805-685-6869
			Website http://www.eiffel.com
			Customer support http://support.eiffel.com
		]"

end