EiffelStudio: an EiffelSoftware project - User contributions [en]

Talk:Covariance through renaming

2007-02-22T11:38:45Z

Eiffel: Renaming not essential; precondition is what makes this work

The key insight here is that it is inappropriate and unworkable to try to use the type system to model the eating habits of herbivores. Any real-world animals will have eating preferences too complex to model through the type system anyway, even if it did not cause catcalls.

The precondition "likes" solves the problem. And once you have the problem solved this way, there is no need for the renaming and the introduction of new, unrelated 'eat' features in descendants. Just redefine "likes" for each kind of animal. [[User:Eiffel|Eiffel]] 12:38, 22 February 2007 (CET)

EiffelStudio 5.7 Releases

2006-06-05T13:14:47Z

Eiffel: /* 5.7.59395 */ Added date of release

[[Category:Releases]]
Below are not the release notes of EiffelStudio. It is the change log of EiffelStudio intermediate releases. The release notes of EiffelStudio can be found at the following [http://docs.eiffel.com/eiffelstudio/tools/eiffelstudio/reference/02_what_s_new URL].

[http://eiffelsoftware.origo.ethz.ch/downloads/builds DOWNLOAD]

= EiffelStudio 5.7.x Releases=
==5.7.x==
Placeholder for new stuff since last intermediate release.
===New features===

===Feature removed===

===Bug fixes===

===Developer changes===

==5.7.59395 (June 4th 2006)==
===New features===
* Updated starting dialog to provide more options when creating/opening projects.
* Only show classes context related in completion list, which also enabled prefix support in auto completion.
* Support static call on anchored type and formal type.
* Added ability to search a folder in search tool.
* Added possibility to have multiple file rules and condition them.
* Changed default assertion level of libraries to require.
* Changed root class behavior to check if there is a vscn conflict (other class with same name reachable from the root cluster).
* Eiffel Metadata Consumer (.NET) now presents itself, when active, in the system tray with a click-enabled balloon tip of status.
* Metadata Consumer tooltips can not be customized to a user specification, see [[MDC_InformationTips]] for more information.
* Allow to condition depending on compiler and .NET CLR version.
* Allow file exclusion rules to be conditioned.
* Changed way we handle platform and builds now it's either a list of included platforms or a list of excluded platforms
* Added new `-local' option to command line compiler. When specified no user file will be read or created. Making the compiler easier to perform batch compilation without interfering with your day to day work.
* No more .user file, they are now stored in a user directory and the settings are now saved on a per target basis.
* Implemented auto-completion after "create {like a_anchor}.", "create {G}.", "{like a_anchor}.", "{G}.".
* Implemented pick and drop after "create {like a_anchor}.", "create {G}.", "{like a_anchor}.", "{G}.".
* Implemented things like "create {FILE_NAME}Result.make" where make is pickable.
* Implemented inlined externals as specified in ECMA.
* Changed the arguments you can pass to `estudio'. You can specify just a project name, or one of the following command line options: ''-config config.ecf [-project_path path] [-clean] [-melt] [-finalize] [-freeze] [-precompile]''.
* Implemented that only those creations specified in the list of formal declarations can are inserted into the list when user tend to complete a creation routine.
* New EV_GRID_CHOICE_ITEM for EV_GRIDs.

===Feature removed===
* Removed class header modifier from diagram tool since it can be replaced by new refactory tool.

===Bug fixes===
* Fixed a bug that crashed class name auto completion if there where some conditioned groups
* Fixed a bug that wrong classes were located when typing overriding/overridden in address bar.
* Fixed a bug of class completion in New Class dialog/ Expression dialog that crashed the compiler.
* Fixed a small position issue of completion window which was too far off the text field when it appeared in upper.
* Fixed a bug during removal of a class in .NET
* Fixed two bugs with overrides where changes where not detected correctly.
* Fixed a bug if we changed from all_classes compilation to a normal compilation.
* Fixed a bug that a focused quick search bar did not show up when switching between windows.
* Fixed the doc generation bug of instruction like 'create {FILE_NAME}s.make_from_string ("")' where s is STRING.
* Fixed the bug of displaying flat view of (create {RAW_FILE}.make ("")).exists.
* Fixed a bug that instuction l_agent := agent {EV_TOOL_BAR_BUTTON}.set_text was displayed as l_agent := agent {EV_TOOL_BAR_BUTTON} ?.set_text
* Fixed a bug that l_agent := agent a_string.adape_size was not correctly displayed.
* Fixed a typo in the configuration file format it is now external_resource instead of external_ressource.
* Fixed a bug with precompiles if there were some changes with the basic classes.
* Fixed a bug if a class was renamed and we didn't check for conflicts of the new name with other classes.
* Fixed a bug if someone used the same group name in multiple targets that inherit from each other.
* Fixed change of current working directory when using File Open/Save dialogs on Windows.
* Fixed namespace inheritance in clusters, assemblies and libraries.
* Fixed crash during loading of a new project if some settings where wrong.
* Fixed problem if a relative path was specified as a project path.
* Fixed a memory corruption which would occur when a large amount of memory has been allocated and when the mechanism of partial scavenging fails (i.e. no objects moved) it would not free the `ps_to' zone and thus the GC crashes when encountering this block of memory which should have been freed in `split_to_block'.
* Fixed some bugs with class name changes.
* Fixed some bugs with assemblies.
* Fixed issue with `to_character_32' and conversion from a BOOLEAN, CHARACTER or CHARACTER_32 to a numerical type which would not give you the proper results when interpreted.
* Fixed issue with CHARACTER_32 which were still encoded as 16-bits value when used as attributes.
* Fixed most of memory leaks.
* Fixed a bug that completion after parenthesized arguments did not show named tuple generic labels.
* Fixed bug#10252 that read only class became editable when locating a feature through feature true or address bar.
* Fixed a bug that named_tuple_type.hash_code where hash_code could not be picked nor completable.
* Fixed a bug displaying flat of create {ARRAYED_LIST [STRING]}Result.make (0) where Result type is LIST [STRING].
* Fixed a problem if we have multiple libraries and remove a library in one library which is still used in another library.
* Fixed a problem in the location lookup of a class in the classes tree while using various libraries which have circular dependencies.
* Don't generate a warning for a changed metadata cache path if the path has only different casing.
* Fixed class rename refactoring detection of class names in comments from `CLASSNAME' to {CLASSNAME}.
* Fixed problem with different renamings or prefixes for the same assembly in different libraries.
* Added some missing explanations for errors and warnings.

===Developer changes===
* Refactored configuration library to be usable on .NET without unmanaged code.

==5.7.58953 (May 14th 2006)==
* Added missing configuration file for precompiled libraries.
* Fixed resizing of debugger columns.
* Added resizing of columns within the content, not just using the header.
* Windows installer can now precompile base|wel|vision2 (did not work previously because configuration files were missing).
* Removed splash screen (windows) and text message (unix) for applications built with GPL release of EiffelStudio.
* Fixed a bug in .NET properties code generation that caused Vision2 precompilation to fail.
* .NET properties getter functions now have an assigner, if a setter routine is available.
* Fixed bug in overrides that caused problems with all_classes and precompile compilation.
* Changed classes tree behaviour for overridden and overrider classes to be more logical.
* Fixed two bugs that caused problems with usage of precompiles.
* Refactored code completion.
* Fixed the Pick and Drop issue for overriding/overridden classes.
* Improved Pick and Drop/code completion ability for loose types and named tuple.
* Debugger: the user can choose where the "Current Object", "Locals"... items goes in the Objects tool (left or right grid)
* Added assigner feature icons for feature tool and completion list.
* Permitted assigning to static .NET properties.
* Reference a non-existing compiled assembly resource (*.resource files) no longer crashes compiled. A warning is now generated.
* Allow to use variables and environment variables in external resource locations.
* Fixed a bug that did not update changed prefixes or renamings on assemblies.
* Fixed a bug in configuration parsing that crashed the compiler in some cases with precompiles.
* Allow Pick and Drop on possible unsaved text.
* Activated PND in basic feature view.
* 99% fix the problem that sometimes code completion does not work for locals. The rest 1% is the possiblity completing in an uncompiled feature a like argument local.
* Enabled class auto completion in uncompiled classes.
* Allow code completion after labels of named tuple.
* Added labels of named tuple to completion list.
* Fixed a bug in New Feature command, also in the similar place of diagram tool.
* Refactored implementation of formatters in feature and class tool. Presentation under a multi-column list which enables user to sort results.

==5.7.1005 (May 5th 2006)==
* All the 5.6 features are present in this release.
* Support for new project configuration file. At this stage the format is still in beta and therefore expect some future changes before the final release of 5.7. The major changes from semantics point of view are that ultimately we are switching from clusters to clusters/libraries paradigm. Classes of a library should be self-contained, no external references allowed. Library also contains necessary external headers and object files. Also in a cluster or a library, only one class with a given name is allowed.
* Diagram tool has been improved to take into account new libraries paradigm.
* Better display of clusters in cluster tree.
* Improved performance of runtime for large heap: for example if you have about 6GB of allocated memory the full collection time went from 10000s down to 30s when you have about 1GB of garbage and a lot of 0-sized objects.
* Documentation includes recent changes in library, but actually contains too much (e.g. implementation classes in Vision2)
* Pick and drop line is now a dashed line.
* Home key now goes to the first non-whitespace character of the line (can be disabled through the "Smart home" preference).
* Introduce `adapted' into TYPE for statically check conformance conversion.

==5.7.0826 (March 26th 2006)==
First public release of the open source version of EiffelStudio. This version uses 5.6 Ace file.
* New search facility with quick search bar and project wide search with regular expression.
* New profiling output using EV_GRID.
* Ability to debug multithreaded applications, in particular to switch from one thread to another.
* New refactoring facilities: class and feature renaming, feature pull-up.
* C compilation output now appears in EiffelStudio.
* On Windows, C compilation will use all available CPUs making it much faster.
* Compilation progress now appears in status bar.
* Debugger: improve display performance of the values
* Debugger: Objects grids keep the layout (opened nodes), and highlight when a value changes (customizable)
* Debugger: Better support of once value (including in MT context).
* Debugger: In watches tools, when an expression raised an exception, display more information on the exception, including the trace (and improved error reporting).
* Debugger: add way to ignore (do not stop on) exceptions (both on classic or dotnet, even if the mecanism is slighty different)

Compiling EiffelStudio

2006-04-07T21:16:26Z

Eiffel: What I had to do to get 5.7-prerelease installed under Linux

[[Category:Compiler]]
[[Category:EiffelStudio]]

== Installing EiffelStudio ==

To compile EiffelStudio, you need an already working EiffelStudio compiler on your machine. The current source tree '''requires at least version 5.7''' of EiffelStudio. You can download it from http://eiffelsoftware.origo.ethz.ch/builds. This version still requires a registration (we missed to remove the registration cluster while compiling).

If you are a student of the Software Architecture course, you should have received a key by mail. If you are a regular ETH student, please contact [[User:Schoelle| Bernd Schoeller]]. Anybody else, please contact Eiffel Software for a valid key by emailing register@eiffel.com stating your platform - you will receive back a Username (e.g. "Open Source Eiffel User" and a numeric "CD-Key" comprising five groups of five digits, separated by hyphens.

There is a file in your distribution called INSTALL.readme that refers you to instructions in docs/installation/index.html, however this file is not present in the 5.7 pre-release (for Linux at least). Hopefully someone who knows how it's supposed to work will streamline the delivery and instructions, but the following worked for me under Linux:

Set the ISE_EIFFEL environment variable to the directory in which you unpacked EiffelStudio. This will normally be a filesystem path ending in /Eiffel57.

Set the ISE_PLATFORM environment variable to your platform (e.g. 'linux-x86'). The documentation refers to platforms such as 'linux-glibc' and 'linux-glibc2.1' but these seem to be obsolete and 'linux-x86' worked for me.

From the Eiffel57 directory, type ./register and copy your Username and the five 5-digit groups of your license key to the corresponding fields. When you get it right, the "Register" button becomes active and you can click it.

From the same directory, type ./make_install then (assuming you want to precompile the EiffelBase and Vision2 libraries) enter "Y" to each prompt. The system will chug away for a minute or two precompiling everything, whilst printing lots of output including a few C warnings that can probably be ignored.

Make sure your PATH environment variable includes the 'bin' directory (for example ...Eiffel57/studio/spec/linux-x86/bin) then type 'estudio'. Although you have registered EiffelStudio, you must now activate it by going to http://activate.eiffel.com

Here you must choose a version number. There is no "5.7" option, but "5.6" worked for me. This leads to a screen where you copy in your Username and Registration Key, and receive an Activation Key. The web page claims that you can just copy and paste this into the first text box in the EiffelStudio activation dialog, but this didn't work for me and I had to copy each 5-digit numeric group into the corresponding text box. When you get it right, the "activate" box becomes enabled and you can click it, after which EiffelStudio will start up and offer to create a new application for you.

==Extracting source code==

===Checking out from SVN===
Define the '''EIFFEL_SRC''' environment variable. Usually we use the '''XXdev''' convention where XX is the version number from the current developped version of the compiler.

Make sure that '''ISE_EIFFEL''', '''ISE_PLATFORM''' and '''ISE_C_COMPILER''' (on windows only) are properly defined

Perform the following checkout procedures:

'''Windows'''
<pre>
set SVNURL=https://eiffelsoftware.origo.ethz.ch/svn/es
svn co %SVNURL%/trunk/Src -N 57dev
svn co %SVNURL%/trunk/Src/bench/C 57dev/C
svn co %SVNURL%/trunk/Src/bench/Eiffel 57dev/Eiffel
svn co %SVNURL%/trunk/Src/common 57dev/Eiffel/common
svn co %SVNURL%/trunk/Delivery -N 57dev/Delivery
svn co %SVNURL%/trunk/free_add_ons 57dev/free_add_ons

cd 57dev
svn up C_library
svn up dotnet
svn up library
svn up library.net
svn up tools
</pre>

'''Bash'''
<pre>
export SVNURL=https://eiffelsoftware.origo.ethz.ch/svn/es
svn co $SVNURL/trunk/Src -N 57dev
svn co $SVNURL/trunk/Src/bench/C 57dev/C
svn co $SVNURL/trunk/Src/bench/Eiffel 57dev/Eiffel
svn co $SVNURL/trunk/Src/common 57dev/Eiffel/common
svn co $SVNURL/trunk/Delivery -N 57dev/Delivery
svn co $SVNURL/trunk/free_add_ons 57dev/free_add_ons

cd 57dev
svn up C_library
svn up dotnet
svn up library
svn up library.net
svn up tools
</pre>

===Installing gobo===

You have to unzip the gobo distribution from $EIFFEL_SRC/free_add_ons/gobo/gobo_34_win.tgz and extract it into $EIFFEL_SRC/library.

Please make sure to use the version provided or the very latest version from CVS. All other versions (including the official 3.4 release) will not work because of name clashes in the UC_STRING class between GOBO and EiffelStudio.

==Compiling C libraries==

===Compiling run-time on Windows===

Before being able to compile the run-time, you need to ensure that '''bash''' is in your '''PATH'''. You can download it from [http://www.cygwin.com http://www.cygwin.com]. Once done you can do:

<pre>cd $EIFFEL_SRC/C
configure [win32|win64] [b|m]</pre>

The first argument indicated whether you are compiling the run-time for 32 or 64 bits. The second one is to tell which C compiler will be used. For now only `b' (Borland) and `m' (Microsoft) are officially supported. We also informally support `g' (GCC) and `l' (LCC).

On Windows 32 bits to clean up all the generated files you do:
<pre>configure clean</pre>

On Windows 64 bits, you do:
<pre>configure cleand</pre>

===Compiling run-time on Unix===

The command is simply:
<pre>./quick_configure</pre>
This requires that '''ISE_PLATFORM''' is properly defined. The `quick_configure' script will look for the file CONFIGS/$ISE_PLATFORM and use it to extract the platform specific information to compile the run-time. If not found then an error will be reported.

===Compiling C code from libraries===

Here is the list of commands to compile all required C libraries on Windows:

<pre>cd $EIFFEL_SRC/library/net/Clib
make_msc.bat
cd $EIFFEL_SRC/library/vision2/Clib
make_msc.bat
cd $EIFFEL_SRC/library/wel/Clib
make_msc.bat</pre>

On Unix it is slightly different:
<pre>cd $EIFFEL_SRC/library/event/Clib
finish_freezing -library
cd $EIFFEL_SRC/library/net/Clib
finish_freezing -library
cd $EIFFEL_SRC/library/vision2/Clib
finish_freezing -library
cd $EIFFEL_SRC/library/vision2/implementation/gtk/Clib
finish_freezing -library</pre>

===Compiling C code from C_library===

This is only required on Windows to read PNG file. On Unix, this is not required because it is included in GTK+2.4. Simply do the following:
<pre>cd $EIFFEL_SRC/C_library/zlib
make_msc.bat
cd $EIFFEL_SRC/C_library/libpng
make_msc.bat</pre>

===Compiling C code from compiler===

This is only required on Windows as this C code is a tiny wrapper around the Microsoft C++ API to generate and to debug .NET code.

To compile it, you first need to install the Microsoft .NET SDK. You can download it from their website.

After installing it, you need to update your '''LIB''' and '''INCLUDE''' environment variable to include the path the lib and include directory of the .NET Framework SDK.

Once properly installed, you can do:
<pre>cd $EIFFEL_SRC/Eiffel/library/cli_writer/Clib
nmake</pre>

==Compiling EiffelStudio==

Now that we have taken care of the C code compilation we can compile the compiler. There are four ace files in $EIFFEL_SRC/Eiffel/Ace:
* batch.mswin.ace
* newbench.mswin.ace
* batch.unix.ace
* newbench.linux.ace
The first two are for windows, the last two for unix (even if the last one says `linux').

To compile simply do:
<pre>ec -ace <chosen_ace_file> -c_compile</pre>

Please note: the 'ec' binary produced by the newbench .ace file contains the full Eiffel compiler, including the batch version. 'estudio' is just a wrapper (available in Src/bench/C/ipc/daemon). So, you need either the one or the other.

===Windows specific===

At the end of the compilation for the workbench version, the C compilation will fail reporting an undefined reference to `nbref'. This is because the ace file has been built for the finalized version of EiffelStudio not the workbench version. To fix this problem do the following:
<pre>copy ec.lnk h</pre>
Then edit the file `h' and replace '''mtcompiler.lib''' by '''mtwcompiler.lib'''.
Once this is done you can complete you do:
<pre>link @h</pre>
In order to update to the new version of metadata consumer tool, follow the instructions described [[Compiling Metadata Consumer|here]].

===Unix specific===

Like the windows version the C compilation, it will fail, but this time for two reasons:
* nbref
* linking order causing many errors to be reported

Here is the recommended way, make a copy of the generated Makefile and put it at the same level as your EIFGEN directory. Edit it and replace '''libmtcompiler.a''' by '''libmtwcompiler.a''', then search for "$(EXTERNALS) $(EIFLIB)" and replace it by "$(EIFLIB) $(EXTERNALS)". Once this is done, you can do:
<pre>make -f ../../Makefile</pre>

A little script that does the necessary changes: Place it at the same level as the EIFGEN directory is.

<code>[bash,N]
#!/bin/bash

cp EIFGEN/W_code/Makefile .
sed 's/libmtcompiler\.a/libmtwcompiler\.a/g' Makefile > tmp
sed 's/\$(EXTERNALS) \$(EIFLIB)/\$$EIFLIB$ \$$EXTERNALS$/g' tmp > Makefile
cd EIFGEN/W_code
make -f ../../Makefile
</code>