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