note
	status: "See notice at end of class."
	legal: "See notice at end of class."
	
	metadata:
		create {SERIALIZABLE_ATTRIBUTE}.make end

	dotnet_constructors:
		make

class
	FORWARD_ME

inherit
	SYSTEM_OBJECT

create
	make

feature {NONE} -- Initialization

	make
			-- Initialize new instance
		do
			value := 1
		end

feature -- Basic operations

	call_me
		do
			value := value + 1
		end

feature -- Query

	get_value: INTEGER
		do
			Result := value
		end

feature {NONE} -- Access

	value: INTEGER

invariant
	value_is_positive: value > 0

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