From e7f458fd50ad12b1f717b083876010f8bb988f13 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Thu, 13 Dec 2012 18:16:01 +0100 Subject: [PATCH] added code that may be used to avoid breaking compatibility with new Eiffel Studio 7.2 This is experimental for now. --- .../server/ewf_support/ewf_support-safe.ecf | 26 ++++++++++ library/server/ewf_support/ewf_support.ecf | 15 ++++++ .../before_72/shared_execution_environment.e | 49 +++++++++++++++++++ .../ewf_support/src/before_72/wsf_support.e | 29 +++++++++++ .../src/greater_or_72/wsf_support.e | 29 +++++++++++ 5 files changed, 148 insertions(+) create mode 100644 library/server/ewf_support/ewf_support-safe.ecf create mode 100644 library/server/ewf_support/ewf_support.ecf create mode 100644 library/server/ewf_support/src/before_72/shared_execution_environment.e create mode 100644 library/server/ewf_support/src/before_72/wsf_support.e create mode 100644 library/server/ewf_support/src/greater_or_72/wsf_support.e diff --git a/library/server/ewf_support/ewf_support-safe.ecf b/library/server/ewf_support/ewf_support-safe.ecf new file mode 100644 index 00000000..dfe77fe2 --- /dev/null +++ b/library/server/ewf_support/ewf_support-safe.ecf @@ -0,0 +1,26 @@ + + + + + + /.git$ + /EIFGENs$ + /.svn$ + + + + + + + + + + + + + + + + + diff --git a/library/server/ewf_support/ewf_support.ecf b/library/server/ewf_support/ewf_support.ecf new file mode 100644 index 00000000..b3e7d50b --- /dev/null +++ b/library/server/ewf_support/ewf_support.ecf @@ -0,0 +1,15 @@ + + + + + + /.git$ + /EIFGENs$ + /.svn$ + + + + + + diff --git a/library/server/ewf_support/src/before_72/shared_execution_environment.e b/library/server/ewf_support/src/before_72/shared_execution_environment.e new file mode 100644 index 00000000..9c40c09d --- /dev/null +++ b/library/server/ewf_support/src/before_72/shared_execution_environment.e @@ -0,0 +1,49 @@ +note + description: "Shared instance of execution environment." + legal: "See notice at end of class." + status: "See notice at end of class." + date: "$Date$" + revision: "$Revision$" +class + SHARED_EXECUTION_ENVIRONMENT + +feature {NONE} + + Execution_environment: EXECUTION_ENVIRONMENT + once + create Result + end + +note + copyright: "Copyright (c) 2012, 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 diff --git a/library/server/ewf_support/src/before_72/wsf_support.e b/library/server/ewf_support/src/before_72/wsf_support.e new file mode 100644 index 00000000..01d44f27 --- /dev/null +++ b/library/server/ewf_support/src/before_72/wsf_support.e @@ -0,0 +1,29 @@ +note + description: "[ + The WSF_SUPPORT class is meant to handle incompatibilities between version of libraries + And still allow to benefit from most recent improvements. + + Unicode is an example + ]" + date: "$Date$" + revision: "$Revision$" + +class + WSF_SUPPORT + +inherit + ANY + + SHARED_EXECUTION_ENVIRONMENT + export + {NONE} all + end + +feature -- Access: environment + + starting_environment: HASH_TABLE [READABLE_STRING_GENERAL, READABLE_STRING_GENERAL] + do + Result := execution_environment.starting_environment_variables + end + +end diff --git a/library/server/ewf_support/src/greater_or_72/wsf_support.e b/library/server/ewf_support/src/greater_or_72/wsf_support.e new file mode 100644 index 00000000..b2c2cdb4 --- /dev/null +++ b/library/server/ewf_support/src/greater_or_72/wsf_support.e @@ -0,0 +1,29 @@ +note + description: "[ + The WSF_SUPPORT class is meant to handle incompatibilities between version of libraries + And still allow to benefit from most recent improvements. + + Unicode is an example + ]" + date: "$Date$" + revision: "$Revision$" + +class + WSF_SUPPORT + +inherit + ANY + + SHARED_EXECUTION_ENVIRONMENT + export + {NONE} all + end + +feature -- Access: environment + + starting_environment: HASH_TABLE [READABLE_STRING_GENERAL, READABLE_STRING_GENERAL] + do + Result := execution_environment.starting_environment + end + +end