note description: "An abstract representation of a SQL column." legal: "See notice at end of class."; status: "See notice at end of class."; date: "$Date$"; revision: "$Revision$" class SQL_COLUMN create make feature name: STRING; -- Column name. type: STRING; -- Column type. make (a_name, a_type: STRING) -- Make a new column named `a_name' of type `a_type'. require a_name_not_void: a_name /= Void; a_type_not_void: a_type /= Void do name := a_name; type := a_type ensure name = a_name; type = a_type end; print_result (output: FILE) -- Print result on `output'. require output_not_void: output /= Void do output.putstring (name); output.putchar (' '); output.putstring (type) end; invariant name_not_void: name /= Void; type_not_void: type /= Void note copyright: "Copyright (c) 1984-2006, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 356 Storke Road, 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 SQL_COLUMN