note
	status: "See notice at end of class."
	legal: "See notice at end of class."

deferred class
	I_HELLO

feature -- Basic operations

	hello_method (name: SYSTEM_STRING): SYSTEM_STRING
		require
			not_name_is_void_or_empty: not {SYSTEM_STRING}.is_null_or_empty (name)
		deferred
		ensure
			not_result_is_void_or_empty: not {SYSTEM_STRING}.is_null_or_empty (Result)
		end

note
	copyright: "Copyright (c) 1984-2007, Eiffel Software/Microsoft Corporation. All rights reserved."
	license: "[
			This file is part of the Microsoft .NET Framework SDK Code Samples.

			This source code is intended only as a supplement to Microsoft
			Development Tools and/or on-line documentation.  See these other
			materials for detailed information regarding Microsoft code samples.

			THIS CODE AND INFORMATION ARE PROVIDED AS IS WITHOUT WARRANTY OF ANY
			KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE
			IMPLIED WARRANTIES OF MERCHANTABILITY AND/OR FITNESS FOR A
			PARTICULAR PURPOSE.
		]"


end