note
	description: "Code used by the DATE/TIME to STRING conversion"
	legal: "See notice at end of class."
	status: "See notice at end of class."
	date: "$Date: 2017-03-29 12:26:46 +0000 (Wed, 29 Mar 2017) $"
	revision: "$Revision: 100065 $"

class interface
	DATE_TIME_CODE

create 
	make

feature -- Creation

	make (v: STRING_8)
			-- Create code.
		require
			v_exists: v /= Void
			v_is_code: is_code (v)
		ensure
			value_set: value.same_string (v)
	
feature -- Status report

	is_separator_code: BOOLEAN

	is_text: BOOLEAN
			-- Has the code a string value?

	is_numeric: BOOLEAN
			-- Has the code a numeric value?
	
feature -- Change

	set_value (v: STRING_8)
			-- Set all the attributes such as
			-- Value, count_max, etc.
		require
			v_exists: v /= Void
			v_is_code: is_code (v)
		ensure
			value_set: value.same_string (v)
	
feature -- Attributes

	value: STRING_8
			-- String code

	count_max: INTEGER_32
			-- Count max of the real value

	count_min: INTEGER_32
			-- Count min of the real value

	name: STRING_8
			-- Name of the code

	value_max: INTEGER_32
			-- Max of the real value

	value_min: INTEGER_32
			-- Min of the real value

	type: INTEGER_32
			-- Type number.
	
feature -- Output

	debug_output: STRING_8
			-- String that should be displayed in debugger to represent Current.
	
note
	copyright: "Copyright (c) 1984-2017, Eiffel Software and others"
	license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
	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 -- class DATE_TIME_CODE

Generated by ISE EiffelStudio