Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
note description: "Graphic objects representing a database table attribute." legal: "See notice at end of class." status: "See notice at end of class." date: "$Date: 2019-08-26 07:54:41 -0800 (Mon, 26 Aug 2019) $" revision: "$Revision: 103422 $" class interface DV_TABLEROW_FIELD create make_with_code (code: INTEGER_32) -- Initialize with code to -- locate table attribute in the database. feature -- Initialization make_with_code (code: INTEGER_32) -- Initialize with code to -- locate table attribute in the database. feature -- Access attribute_code: INTEGER_32 -- Code of the represented attribute in the -- database table. Date_time_tools: DATE_TIME_TOOLS -- Tools for outputting dates and times in different formats -- (from TIME_UTILITY) default_format_string: STRING_8 -- Default output format string -- (from TIME_UTILITY) generating_type: TYPE [detachable DV_TABLEROW_FIELD] -- Type of current object -- (type of which it is a direct instance) -- (from ANY) ensure -- from ANY generating_type_not_void: Result /= Void generator: STRING_8 -- Name of current object's generating class -- (base class of the type of which it is a direct instance) -- (from ANY) ensure -- from ANY generator_not_void: Result /= Void generator_not_empty: not Result.is_empty graphical_title: detachable DV_SENSITIVE_STRING -- Graphical element holding field title. graphical_type: detachable DV_SENSITIVE_STRING -- Graphical element holding field type. graphical_value: detachable DV_SENSITIVE_STRING -- Graphical element holding field value. table_description: detachable DB_TABLE_DESCRIPTION -- Description of the database table containing -- the represented attribute. text: STRING_32 -- Field text. ensure result_not_void: Result /= Void feature -- Comparison frozen deep_equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void -- or attached to isomorphic object structures? -- (from ANY) ensure -- from ANY instance_free: class shallow_implies_deep: standard_equal (a, b) implies Result both_or_none_void: (a = Void) implies (Result = (b = Void)) same_type: (Result and (a /= Void)) implies (b /= Void and then a.same_type (b)) symmetric: Result implies deep_equal (b, a) frozen equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void or attached -- to objects considered equal? -- (from ANY) ensure -- from ANY instance_free: class definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.is_equal (b)) frozen is_deep_equal alias "≡≡≡" (other: DV_TABLEROW_FIELD): BOOLEAN -- Are Current and other attached to isomorphic object structures? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY shallow_implies_deep: standard_is_equal (other) implies Result same_type: Result implies same_type (other) symmetric: Result implies other.is_deep_equal (Current) is_equal (other: DV_TABLEROW_FIELD): BOOLEAN -- Is other attached to an object considered -- equal to current object? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY symmetric: Result implies other ~ Current consistent: standard_is_equal (other) implies Result frozen standard_equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void or attached to -- field-by-field identical objects of the same type? -- Always uses default object comparison criterion. -- (from ANY) ensure -- from ANY instance_free: class definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.standard_is_equal (b)) frozen standard_is_equal alias "" (other: DV_TABLEROW_FIELD): BOOLEAN -- Is other attached to an object of the same type -- as current object, and field-by-field identical to it? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY same_type: Result implies same_type (other) symmetric: Result implies other.standard_is_equal (Current) feature -- Status report can_be_activated: BOOLEAN -- Can the component be activated? can_update: BOOLEAN -- Can value held be updated? conforms_to (other: ANY): BOOLEAN -- Does type of current object conform to type -- of other (as per Eiffel: The Language, chapter 13)? -- (from ANY) require -- from ANY other_not_void: other /= Void graphical_title_set: BOOLEAN -- Is a graphical title set? graphical_type_set: BOOLEAN -- Is a graphical type set? graphical_value_set: BOOLEAN -- Is a graphical value set? has_changed: BOOLEAN -- Has the user changed the field content? is_activated: BOOLEAN -- Is component activated? is_boolean: BOOLEAN -- Is the attribute a boolean value? is_character: BOOLEAN -- Is the attribute a character value? is_cleared: BOOLEAN -- Has the field been cleared? is_date: BOOLEAN -- Is the attribute a date only value? is_datetime: BOOLEAN -- Is the attribute a date & time value? is_double: BOOLEAN -- Is the attribute a double value? is_integer: BOOLEAN -- Is the attribute an integer value? is_real: BOOLEAN -- Is the attribute a date & time value? is_string: BOOLEAN -- Is the attribute a date & time value? same_type (other: ANY): BOOLEAN -- Is type of current object identical to type of other? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY definition: Result = (conforms_to (other) and other.conforms_to (Current)) use_redirection: BOOLEAN -- Is the display a redirection from the attribute? feature -- Status setting set_is_date -- Field must contain a date value. require is_datetime: is_datetime ensure is_datetime: is_datetime is_date: is_date feature -- Duplication copy (other: DV_TABLEROW_FIELD) -- Update current object using fields of object attached -- to other, so as to yield equal objects. -- (from ANY) require -- from ANY other_not_void: other /= Void type_identity: same_type (other) ensure -- from ANY is_equal: Current ~ other frozen deep_copy (other: DV_TABLEROW_FIELD) -- Effect equivalent to that of: -- copy (other . deep_twin) -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY deep_equal: deep_equal (Current, other) frozen deep_twin: DV_TABLEROW_FIELD -- New object structure recursively duplicated from Current. -- (from ANY) ensure -- from ANY deep_twin_not_void: Result /= Void deep_equal: deep_equal (Current, Result) frozen standard_copy (other: DV_TABLEROW_FIELD) -- Copy every field of other onto corresponding field -- of current object. -- (from ANY) require -- from ANY other_not_void: other /= Void type_identity: same_type (other) ensure -- from ANY is_standard_equal: standard_is_equal (other) frozen standard_twin: DV_TABLEROW_FIELD -- New object field-by-field identical to other. -- Always uses default copying semantics. -- (from ANY) ensure -- from ANY standard_twin_not_void: Result /= Void equal: standard_equal (Result, Current) frozen twin: DV_TABLEROW_FIELD -- New object equal to Current -- twin calls copy; to change copying/twinning semantics, redefine copy. -- (from ANY) ensure -- from ANY twin_not_void: Result /= Void is_equal: Result ~ Current feature -- Basic operations activate -- Activate component. require -- from DV_COMPONENT can_be_activated: can_be_activated ensure -- from DV_COMPONENT is_activated: is_activated frozen default: detachable DV_TABLEROW_FIELD -- Default value of object's type -- (from ANY) frozen default_pointer: POINTER -- Default value of type POINTER -- (Avoid the need to write p.default for -- some p of type POINTER.) -- (from ANY) ensure -- from ANY instance_free: class default_rescue -- Process exception for routines with no Rescue clause. -- (Default: do nothing.) -- (from ANY) div (i, j: INTEGER_32): INTEGER_32 -- (i \\ j) if i positive -- (i \\ j + 1) if i negative -- (from TIME_UTILITY) ensure -- from TIME_UTILITY result_definition: i = j * Result + mod (i, j) frozen do_nothing -- Execute a null action. -- (from ANY) ensure -- from ANY instance_free: class mod (i, j: INTEGER_32): INTEGER_32 -- (i \\ j) if i positive -- (i \\ j + j) if i negative -- (from TIME_UTILITY) ensure -- from TIME_UTILITY positive_result: Result >= 0 result_definition: i = j * div (i, j) + Result set_graphical_title (g_title: DV_SENSITIVE_STRING) -- Set graphical title to g_title. require not_activated: not is_activated not_void: g_title /= Void set_graphical_type (g_type: DV_SENSITIVE_STRING) -- Set graphical type to g_type. require not_activated: not is_activated not_void: g_type /= Void set_graphical_value (g_value: DV_SENSITIVE_STRING) -- Set graphical value to g_value. require not_activated: not is_activated not_void: g_value /= Void set_redirector (a_redirector: DV_VALUE_REDIRECTOR) -- Set redirector to redirect an integer to the associated string. require not_activated: not is_activated set_title (t: STRING_8) -- Set component title to t. require not_activated: not is_activated graphical_title_set: graphical_title_set set_type (t: STRING_8) -- Set component type to t. require not_activated: not is_activated graphical_type_set: graphical_type_set feature -- enter_field_value (type: detachable STRING_8; name: READABLE_STRING_GENERAL): STRING_8 -- Value of field with name and type not valid message. -- (from DV_MESSAGES) retrieve_field_value (type: detachable STRING_8; name: READABLE_STRING_GENERAL): STRING_8 -- Value of field with name and type retrieval failure message. -- (from DV_MESSAGES) type_not_recognized (name: READABLE_STRING_GENERAL): STRING_8 -- Type of field with name not recognized message. -- (from DV_MESSAGES) wrong_date_format (name: READABLE_STRING_GENERAL): STRING_8 -- Wrong date type format for field with name message. -- (from DV_MESSAGES) wrong_datetime_format (name: READABLE_STRING_GENERAL): STRING_8 -- Wrong date & time type format for field with name message. -- (from DV_MESSAGES) feature -- Combo box empty_combo_item_label: STRING_8 -- Label for an empty combo item value. -- (from DV_MESSAGES) feature -- Creation creation_confirmation (table_name: STRING_8): STRING_8 -- Table row creation on table_name confirmation message. -- (from DV_MESSAGES) creation_done (table_name: STRING_8): STRING_8 -- Table row creation on table_name successful message. -- (from DV_MESSAGES) feature -- Deletion deletion_confirmation (table_name: STRING_8): STRING_8 -- Table row deletion on table_name confirmation message. -- (from DV_MESSAGES) deletion_done (table_name: STRING_8): STRING_8 -- Table row deletion on table_name successful message. -- (from DV_MESSAGES) feature -- Output Io: STD_FILES -- Handle to standard file setup -- (from ANY) ensure -- from ANY instance_free: class io_not_void: Result /= Void out: STRING_8 -- New string containing terse printable representation -- of current object -- (from ANY) ensure -- from ANY out_not_void: Result /= Void print (o: detachable ANY) -- Write terse external representation of o -- on standard output. -- (from ANY) ensure -- from ANY instance_free: class frozen tagged_out: STRING_8 -- New string containing terse printable representation -- of current object -- (from ANY) ensure -- from ANY tagged_out_not_void: Result /= Void feature -- Platform Operating_environment: OPERATING_ENVIRONMENT -- Objects available from the operating system -- (from ANY) ensure -- from ANY instance_free: class operating_environment_not_void: Result /= Void feature -- Selection tablerows_selected (count: INTEGER_32): STRING_8 -- Database selection carried out message. count table rows -- have been selected. -- (from DV_MESSAGES) feature -- Update update_done (table_name: STRING_8): STRING_8 -- Table row update on table_name successful message. -- (from DV_MESSAGES) feature -- Window to select foreign key values for creation selection_window_title (table_name: STRING_8): STRING_8 -- Selection window title. -- (from DV_MESSAGES) undetermined_table_name: STRING_8 -- Undetermined table name (use for selection_window_title). -- (from DV_MESSAGES) invariant -- from ANY reflexive_equality: standard_is_equal (Current) reflexive_conformance: conforms_to (Current) note copyright: "Copyright (c) 1984-2019, 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 DV_TABLEROW_FIELD
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org