note
description: "XMI code constants"
legal: "See notice at end of class."
status: "See notice at end of class."
date: "$Date$"
revision: "$Revision$"
class
XMI_CODE
inherit
ANY
SYSTEM_CONSTANTS
export
{NONE} all
end
create
make
feature --Initialization
make
-- Initialize the constant elements of code.
do
header := "%N%
%%N%
%%N%
%%N%
%%N%
%%N%
%%N%
%%N%
%%N%
%%N%
%%N%
%%N%
%%N%
%]>%N%
%%N%
% %N%
% %N%
% "
header.append (workbench_name)
header.append ("%N%
% ")
header.append (version_number)
header.append ("%N%
% %N%
% %N%
% %N")
content_end := " %N%
% %N%
%%N"
file_end := "%N"
extensions_start := "%N")
extensions_end := "%N"
end
feature -- Access
header: STRING
-- Header code of the XMI file.
content_start (idref: INTEGER): STRING
-- Code of the beginning of the XMI file content.
require
ref_consistent: idref > 0
do
Result := "%N%
% %N%
% empty%N%
% %N%
% %N%
% %N%
% %N%
% %N%
% %N%
% %N%
% %N")
ensure
result_not_void: Result /= Void
end
content_end: STRING
-- Code of the end of the XMI file content.
file_end: STRING
-- Code of the end of the XMI file.
extensions_start: STRING
-- Code of the beginning of the XMI file extensions.
extensions_end: STRING;
-- Code of the end of the XMI file extensions.
note
copyright: "Copyright (c) 1984-2006, 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
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 XMI_CODE