note
	description: "Summary description for {VALUE2_SINGLETON}."
	author: ""
	date: "$Date: 2010-12-13 16:07:07 -0500 (Mon, 13 Dec 2010) $"
	revision: "$Revision$"

class 
	VALUE_SINGLETON

inherit
	ANY
		redefine
			default_create
		end

create 
	default_create

feature {NONE} 

	default_create
			-- Process instances of classes with no creation clause.
			-- (Default: do nothing.)
		do
			epsilon := create {VALUE}.make_from_string ("0.0")
		end
	
feature 

	epsilon: VALUE

	set_epsilon (v: STRING_8)
		do
			epsilon := create {VALUE}.make_from_string (v)
		end
	
end -- class VALUE_SINGLETON

Generated by ISE EiffelStudio