note description: "MIDL component (coclass, interface)" legal: "See notice at end of class." status: "See notice at end of class." date: "$Date$" revision: "$Revision$" class EI_MIDL_COMPONENT inherit EI_APP_CONSTANTS feature {NONE} -- Initialization make (c_name: STRING) -- Initialize object. Set 'name' to 'c_name'. require non_void_name: c_name /= Void valid_name: not c_name.is_empty do name := c_name.twin create guid.make guid.generate version := {REAL_32} 1.0 create description.make (0) end feature -- Access name: STRING -- Name guid: ECOM_GUID -- Guid description: STRING -- Description version: REAL -- Version feature -- Element change set_name (c_name: STRING) -- Set 'name' to 'c_name'. require non_void_name: c_name /= Void valid_name: not c_name.is_empty do name := c_name.twin ensure name_set: name.is_equal (c_name) end set_guid (l_guid: ECOM_GUID) -- Set 'guid' to 'l_guid'. require non_void_guid: l_guid /= Void valid_guid: l_guid.exists do guid := l_guid.twin ensure guid_set: guid.is_equal (l_guid) end set_description ( desc: STRING) -- Set 'description' to 'desc'. require non_void_description: desc /= Void valid_description: not desc.is_empty do description := desc.twin ensure description_set: description.is_equal (desc) end set_version (ver: REAL) -- Set 'version' to 'ver'. require valid_version: ver > 0.0 do version := ver ensure version_set: version = ver end invariant valid_name: name /= Void and then not name.is_empty valid_guid: guid /= Void and then guid.exists valid_version: version > 0.0 note copyright: "Copyright (c) 1984-2009, Eiffel Software" license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)" licensing_options: "http://www.eiffel.com/licensing" copying: "[ This file is part of Eiffel Software's Eiffel Development Environment. Eiffel Software's Eiffel Development Environment is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, version 2 of the License (available at the URL listed under "license" above). Eiffel Software's Eiffel Development Environment is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with Eiffel Software's Eiffel Development Environment; if not, write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA ]" 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 EI_MIDL_COMPONENT