EiffelStudio: an EiffelSoftware project - User contributions [en]

Talk:Persistence unified

2008-07-16T17:02:45Z

Patrickr:

I like the fact that object versioning is being considered, this consumes a lot of my time with current serialization methods in other languages.

One question I have though is does the actual persistance mechanism have to be done by the programmer at all? Right now there is a type of "persistance" already in the language; the compiler determines how an object should be "blobbed" in to system memory. A binary serialization could essentially be "blobbing" the exact same memory representation of the object to disk and when it is reloaded, swizzling the pointers to the new memory locations. The compiler could determine the way to "blob" the object in to an XML format breaking all objects down to types handled built in by the compiler; string versions of integers, reals, strings directly copied out, SPECIAL in a hex string format, etc.

This way when the system is compiled, a feature of ANY could be generated by the compiler itself and systems wouldn't have to be modified at all.

Is this approach insufficient?
--[[User:Clemahieu|Clemahieu]] 18:18, 4 October 2007 (CEST)

What about concurrency with persistence? What if someone access information and another one updates it at the same time?
--[[User:Patrickr|Patrickr]] 10:02, 16 July 2008 (PDT)

Environment Roadmap

2007-05-18T17:23:52Z

Patrickr: /* UI */

[[Category:EiffelStudio]]

A [http://eiffelsoftware.origo.ethz.ch/index.php/Language_road_map separate page] gives the detailed roadmap for implementation of the '''full ISO/ECMA Eiffel standard'''.

Roadmap information for EiffelStudio releases:

==EiffelStudio 6.2 (2nd quarter 2008)==
* Attached mechanism
* Non-conforming inheritance
* Proper semantics of feature replication
* Ability to download libraries/applications from a website directly from EiffelStudio (see [[Configuration_Discovery|Discovering Configuration Files]])

===Ports===
* Mac native support

==EiffelStudio 6.1 (4th quarter 2007)==
===UI===
* Customizable menus and toolbars
===Library===
* Resource library
===Compiler===
* Progress bar for degree 6, C compilation and automatic precompilation
* Exception as object
* Object test syntax support
* Reading of UTF-8 Eiffel source file

===Internal===
* Reduce size of C generated in workbench mode

==EiffelStudio 6.0 (2nd quarter 2007)==
===UI===
* <del>Improved docking facilities in EiffelStudio to fully control the layout of EiffelStudio</del>
* <del>Configurable pick-and-drop: user can choose between a contextual menu or pick-and-drop within the EiffelStudio environment</del>
* <del>Internationalization support</del>
* <del>Customizable shortcuts</del>
* Keyboard support for code browsing/activation - Esc to go to context reference in editor, F9 to set a breakpoint, etc.

===Compiler===
* <del>Warning/error for changed environment variables used in a project configuration file</del>
* <del>"Hidden" clusters in libraries, clusters that are not accessible if the library is used (like libraries in libraries are not accessible).</del>
* <del>Clean up "inheritance" rules for project settings (e.g. assertion levels of libraries)</del>
* <del>Addition of binary and octal notation for manifest integers</del>

===Internal===
* <del>Clean up delivery, names of tools, directory layout.</del>
* <del>Get rid of *.wb files and store this in the user settings.</del>

==EiffelStudio 5.7 (4th quarter 2006)==
* This is the first open source version of EiffelStudio. Look at the [http://eiffelsoftware.origo.ethz.ch/index.php/EiffelStudio_5.7_Releases release notes of 5.7] for more information.

Compiling EiffelStudio

2007-05-15T04:54:17Z

Patrickr:

[[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 6.0''' of EiffelStudio. You can download it from http://eiffelsoftware.origo.ethz.ch/downloads/builds/. Read the [http://docs.eiffel.com/eiffelstudio/installation/index.html existing documentation] to install EiffelStudio.

'''Note:''' on Windows you will need the Microsoft C compiler to compile Eiffel Studio. How to install the free version of the Microsoft C compiler: [[Installing Microsoft C compiler]]. It is not possible to compile EiffelStudio with the free Borland compiler.

===Compilation methods===
Currently there are two compilation methods.
* You can use one of the [[Automatic Build Scripts]]
* Alternatively you can compile EiffelStudio from scratch following the instructions in this document.

If possible, use the [[Automatic Build Scripts]] and report any errors to the [http://origo.ethz.ch/cgi-bin/mailman/listinfo/es-devel developer mailing list].

==Extracting source code==

===Checking out from SVN===
#Point the environment variables called '''EIFFEL_SRC''' and '''ISE_LIBRARY''' to the directory where you want to compile EiffelStudio<br>Usually we use the '''XXdev''' convention for this directory name - 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:

'''DOS'''
<pre>
set SVNURL=https://eiffelsoftware.origo.ethz.ch/svn/es
svn co %SVNURL%/trunk/Src 60dev
svn co %SVNURL%/trunk/Delivery 60dev/Delivery
svn co %SVNURL%/trunk/Documentation 60dev/Documentation
svn co %SVNURL%/trunk/free_add_ons 60dev/free_add_ons
</pre>

'''Bash'''
<pre>
export SVNURL=https://eiffelsoftware.origo.ethz.ch/svn/es
svn co $SVNURL/trunk/Src 60dev
svn co $SVNURL/trunk/Delivery 60dev/Delivery
svn co $SVNURL/trunk/Documentation 60dev/Documentation
svn co $SVNURL/trunk/free_add_ons 60dev/free_add_ons
</pre>

To update the sourcefiles to the latest revision, perform the following steps:

'''Bash and DOS'''
<pre>
cd 60dev
svn up
svn up free_add_ons
svn up Delivery
svn up Documentation
</pre>

==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]. Also make sure, that the path to the binaries of your c compiler is placed before the path to cygwin or else the wrong linker will be used. Once done you can do:<br>

'''DOS'''
<pre>cd %EIFFEL_SRC%/C
configure [win32|win64] [b|m]</pre>

'''Bash'''
<pre>cd $EIFFEL_SRC/C
./configure.bat [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), `m' (Microsoft) and `m6' (for those forced to use Microsoft VC++ 6.0) are officially supported. We also informally support `g' (GCC) and `l' (LCC).

On Windows 32 bits to clean up all the generated files '''(including the library files needed by EiffelStudio)''' it suffices to do:

'''DOS'''
<pre>configure clean</pre>
'''Bash'''
<pre>./configure.bat clean</pre>

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

The command is simply:
<pre>cd $EIFFEL_SRC/C
./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.

To clean up the generated files '''including the library files needed by EiffelStudio''':
<pre>make clobber</pre>

===Compiling C code from libraries===

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

'''DOS'''
<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>
'''Bash'''
<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/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>

Make sure that '''ISE_EIFFEL''' is set correctly to your current "EiffelStudio" installation!

===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:

'''DOS'''
<pre>cd %EIFFEL_SRC%/C_library/zlib
make_msc.bat
cd %EIFFEL_SRC%/C_library/libpng
make_msc.bat</pre>
'''Bash'''
<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:

'''DOS'''
<pre>cd %EIFFEL_SRC%/framework/cli_writer/Clib
nmake
cd %EIFFEL_SRC%/framework/cli_debugger/Clib
nmake</pre>
'''Bash'''
<pre>cd $EIFFEL_SRC/framework/cli_writer/Clib
nmake
cd $EIFFEL_SRC/framework/cli_debugger/Clib
nmake</pre>

==Compiling EiffelStudio==

Now that we have taken care of the C code compilation we can compile the compiler. We assume that '''ec''' is in your path.

The configuration file of the compiler contains two active targets:
* '''batch''': for the command line compiler.
* '''bench''': for the graphical compiler, aka EiffelStudio.

Go to $EIFFEL_SRC/Eiffel/Ace and type the following command and replace ''target_name'' with either '''batch''' or '''bench'''.

<pre>ec -config ec.ecf -target target_name -c_compile</pre>

===Gotcha===
Also, if you encounter problems with your self-compiled version of EiffelStudio, you might try to compile it with GCC 3.x. Version 4 of GCC has a slight change in semantics and EiffelStudio has not been updated. You can see the change in behavior in the following code:

<code>[c,N]
#include <stdio.h>

int a;
int b;
int *pointer;

int foo()
{
pointer = &b;
return 4;
}

int main (int argc, char** argv)
{
a = 3;
b = 0;

pointer = &a;

*pointer = foo();

printf ("You are using GCC %d.%d\n",a,b);
return 0;
}
</code>

===Mac OS X specific===

Get a mac binary from [[EiffelOnMac|here]], then follow the instructions for unix.

==Launching the Compiler==

There are two ways of launching the compiler:
# Command line compiler: add the following arguments '''-config path_to_config_file.ecf'''. This will compile the project represented by `path_to_config_file.ecf'
# Graphical compiler (aka EiffelStudio): add the following argument '''-gui'''.

Valgrind Converter

2007-02-16T10:27:23Z

Patrickr:

[[Category:Tools]]
== Overview ==
The valgrind converter allows to convert the translated C names in valgrind/callgrind files back to the original Eiffel names.

== Command-line Options ==
To see the list of available command-line options and their help information, use the '/?' switch.

== Information ==
This tool was developed and maintained by [[User:Patrickr|Patrickr]].

Location: https://eiffelsoftware.origo.ethz.ch/svn/contrib/users/patrickr/valgrind_converter

== Change Log ==
'''[[User:Patrickr|Patrickr]] 14:45, 14 February 2007 (CET)'''
*Initial Upload

Compile All Tool

2007-02-14T13:45:57Z

Patrickr: reverted back accidental changes

[[Category:Tools]]
== Overview ==
The Compile All Tool can be used to check if all targets in a directory compile. It recursively scans all directories and looks for files with a .ecf extension. For each configuration file all targets are first clean melted, then frozen and at the end finalized.

== Command-line Options ==
To see the list of available command-line options and their help information, use the '/?' switch.

== Information ==
This tool was developed and maintained by [[User:Patrickr|Patrickr]].

Location: https://origo.ethz.ch/eiffelsoftware/es/trunk/Src/tools/compile_all

== Examples ==
=== Checking everything in the trunk still compiles ===
To check if everything in the trunk still compiles, use the following setup:

#create a directory where to put the EIFGENs into, e.g. C:\compile
#compile_all -l C:\60dev -eifgen C:\compile -ignore C:\60dev\tools\compile_all\baseline\trunk.ini -no_clean -no_c_compile -no_freeze -no_finalize

== Change Log ==
'''[[User:Patrickr|Patrickr]] 20:20, 15 November 2006 (CET)'''

*New Feature: Added possibility to only do some compilation modes
*New Feature: Added possibility to specify a compilation directory
*New Feature: Ignore file for files/targets to ignore

'''[[User:Patrickr|Patrickr]] 01:32, 10 October 2006 (CEST)'''
*Initial Upload

Valgrind Converter

2007-02-14T13:45:22Z

Patrickr: Initial version

Compile All Tool

2007-02-14T13:45:00Z

Patrickr:

User:Patrickr

2007-02-14T10:03:57Z

Patrickr: /* Contrib */

[[Category:People]]
==Contact==
*Mail: [mailto:patrickr@eiffel.com patrickr@eiffel.com]
*GMT-8 (Santa Barbara)
*Skype: patrickruckstuhl

==Current projects==

==Past projects==
*Diff Library
*[[Refactoring|Refactoring facilities for EiffelStudio]]
*[[LinuxUnixLayout|Installation layout on Unix/Linux]]
*[[Configuration|New configuration system]]

==Contrib==
https://eiffelsoftware.origo.ethz.ch/svn/contrib/users/patrickr

*eiffel: a bash autocompletion script for the ec command line command
*valgrind_converter: a tool that converts the c names in a valgrind/callgrind file back to Eiffel names

User:Patrickr

2007-02-14T10:03:14Z

Patrickr: /* Past projects */

User:Patrickr

2007-02-14T10:02:52Z

Patrickr: /* Current projects */

EiffelStudio 6.0 Releases

2007-01-31T21:45:04Z

Patrickr: /* Bug fixes */

[[Category:Releases]]__NOTOC__{{ReleaseHistoryHeader}}

= EiffelStudio 6.0.x Releases=

==6.0.x==
Placeholder for new stuff since last intermediate release.
===New features===
===Feature removed===
===Bug fixes===
* runtime: {{Red|Fixed a memory corruption which could occur when performing a deep_twin on an object whose graph contains a TUPLE object. See test#tuple006.}}
* studio: Fixed bug#11848 and bug#11939 related to the `Debugging Options' dialog which could randomly crash (related to test#tuple006 issue).
* EiffelStore: Fixed ODBC on Linux.

===User changes===
===Developer changes===

==6.0.6.6309 (January 27th 2007)==
===New features===
* studio: Finished internationalizing starting dialog, wizards.
* studio: {{red|Integrated Smart Docking library.}}
* studio: {{red|Integrated tab editor mechanism.}}
* studio: Added preference "Maximum processor usage" to dictate the maximum number of processors/cores to use when compile c-code.
* EiffelWizard: Introduced i18n library to make it possible to display in different languages.
* compiler: .NET Enums are can be automatically converted to INTEGERs
* compiler: indexing tags ''interface_metadata'' and ''class_metadata'' are supported on feature level like this is done on class level and allow to specify custom attributes for associated methods only in interface type or only in implementation type.
* compiler: Static access on external routines is allowed even if not marked frozen (this simply applies a relaxed rule that was adopted by ECMA).
* debugger: dropping feature or class stones on breakpoints tool to add related breakpoint
* debugger: enhanced breakpoint mechanism by adding print message, hit count (condition), and provide "Is True" and "Has Changed" condition.
* studio: Integrated encoding library and internationalized part of batch compiler.
* base: Added facilities to read/write REAL_32 and REAL_64 values in big and little endian format in MANAGED_POINTER
* net: {{red|Updated reading routines of EiffelNet so that for all basic types they would read all the required bytes, not just stop after the first reading. This is important as in some very bad network situation or if you have some signals you could mess up the reading by only reading half of the expected bytes.}}

===Bug fixes===
* studio: Fixed bug#11760 that replacing on empty result crashed es.
* studio: Auto-complete members for open target agents have been corrected. bug#11767.
* studio: Fixed bug#11772 that a crash occurred while renaming clusters in property tool.
* compiler: Fixed bug causing test#dotnet046 to fail, now functions that are .NET properties can be called and executed from client code.

===User changes===
* studio: Added new docking feedback indicators.
* compiler: added conversion of TYPED_POINTER to POINTER before reattachment to reference entity so that the behaviour is the same in classic and .NET modes
* compiler: All versioned COM import interfaces now have versioned interface member names based on the trailing version number of the interface name, as this meta information is not available in any other way. This greatly improves the versioned names and makes implementing interfaces much easier.
* compiler: The unique keyword will yield a syntax warning if enabled.
* debugger: improved cosmetic of debugger's exception handling dialog
* base: Changed INTERNAL so that it does not have the `is_pre_ecma_mapping_disabled' attribute. If you were setting it to True, you should instead create an instance of ECMA_INTERNAL (fixes bug#11792).

===Developer changes===
*debugger: refactored breakpoints and exceptions processing for easier integration of other projects on debugger.
*compiler: updated compiler to compile FreeELKS library, however it cannot yet be executed.

==6.0.65740 (December 25th 2006)==
===New features===
* debugger: console based debugger is now working for classic, dotnet, on windows and unices (-debug or via -loop : still experimental)

===Feature removed===
===Bug fixes===
* compiler: fixed a bug in .NET consumer that can cause some assemblies to be consume infinitely.
* compiler: fixed a .NET bug that prevents System.Windows.Forms.Panel from being compiled correct and subsequently causing a compilation to fail, due to incorrect an mapped inherit property and assigner. This addresses test#dotnet043.
* compiler: Fixed bug#11758 for eweasel test#incr279, where the compiler would crash when generating the call to '''Precursor''' when both the current class and the parent class had their number of formal generics changed.
* compiler: Fixed bug#11766 for eweasel test#term146 and test#incr129 where the compiler would crash at degree 4 when checking the conformance of a feature, and the signature involves a type which have an incorrect parent hierarchy (i.e. one parent does not have the right number of actual generic parameters).
* store: {{Red| Fixed bug#10523: if you create a DB_REPOSITORY before being connected to the database, some of the queries made on the database are not returning the proper result in ODBC(e.g. odbc_sensitive_mixed will return 0 instead of 3 for an ORACLE database). By adding the precondition we nicely solve the problem by forcing client to connect first before creating an instance of DB_REPOSITORY.}}
* store: {{Red| Fixed some issues related to the new implementation of expanded semantics which would break some introspection part of EiffelStore.}}
* favorites: fixed bug#11745 "feature item" favorites were being lost on restarting EiffelStudio
* gui: fixed bug#11749 with debugger's grid being empty.
* debugger: fixed bug#11755: empty string with huge capacity were slow to be displayed.
* debugger: improved display of objects tool header bar. (minor)

===User changes===
* base: sped up {SPECIAL}.copy_data which was not inlined.

===Developer changes===

==6.0.65604 (December 17th 2006)==
===New features===
* compiler: improved backup mechanism so that overridden classes are copied in the library where they are defined (they were previously copied in the library where the override cluster was defined).
* studio: {{red|Integrated the internationalization library. Added a preference named "general.locale" to switch among languages. English and Chinese are available for the moment}}
* debugger: added auto expressions on watch tools
* studio: Added metric history support. Calculated metrics with their inputs can be sent into history so they can be recalculated afterwards.
* general: Revision number of EiffelStudio has changed because we reached the limit set by most OS for the revision (65535). So now it is split into revision.build, that is to say rev 65570 will read 6.5570.
* debugger: added an experimental console based debugger.

===Bug fixes===
* compiler: {{Red|Fixed issue with inline agents where if you have one and during a compilation from scratch you have a compiler error, then fixing this error and recompiling, it would crash when melting or freezing (test#incr277).}}
* compiler: Fixed issue with C compilation linking error when a generic class which have an invariant clause has its formal generics changed (test#incr278).
* compiler: Fixed C compilation error on Windows for trying to compile empties Cxxx directories (test#ccomp061).
* compiler: Fixed incorrect code generation of agents on attribute when target is open (test#exec264).
* compiler: Fixed incremental bug when an agent creation based on a feature whose signature changes for less arguments (test#incr276).
* compiler: Fixed a backup creation bug when two classes from the same cluster/library have the same original file name, the backup would only contain one or the other because we use the original file name. Now we use the original class name.

===User changes===
* base: Sped up HASH_TABLE iteration and lookup by about 8% or more.
* base: TUPLE can now compare items using reference equality (=) or object comparison (is_equal).
* vision2: Changed behavior of {EV_TITLED_WINDOW}.raise to always make sure the window is visible on screen (show if hidden, restore if minimized).
* vision2: Fixed behavior of is_show_requested and is_displayed for EV_GRID and its items so that it conforms to the widget behavior in Vision2.
* wel/vision2: {{Red|Raised compatibility bar to Windows 2000 or greater. No more support for Windows 98 or NT 4.0}}

===Developer changes===
* debugger: deep refactoring (reduce the number of onces, renamed and moved some debugger related data)
* studio: to help track incremental compilation bugs, we build a replay backup window that given a backup directory will go through each compilation and perform them the way it was done by the end user.

==6.0.65344 (December 3rd 2006)==
===New features===
* compiler: {{Red|A root type can now be a generic derivation.}}
* studio: {{Red|Project settings such as arguments/working directory/location are now stored in a user specific location that does not depend on the UUID of the project, but on its path.}}
* compiler: {{Red|Integers can now also be specified with binary and octal representation}}
* compiler: {{Red|Manifest characters can now also be specified with binary, octal and hexadecimal representation. Manifest characters can be specified up to 32 Bit.}}
* compiler: {{Red|Possibility for "hidden/implementation" clusters in libraries, clusters that are not accessible if the library is used (like libraries in libraries are not accessible).}}
* compiler: {{Red|Added supplier_precondition assertion level that enables to only check preconditions of trusted libraries.}}
* debugger: {{Red|New Debugging options dialog (to set the arguments and other)}}
* compiler: Don't do an expensive degree 6 when we freeze or finalize.
* compiler: Newly added clusters are recursive by default.
* studio: Favorites are now stored in the user settings.
* compiler: Warning if an environment variable has changed and opportunity to (temporarily) use the old, stored value
* compiler: Trigger a full configuration rebuild if environment variables have changed
* compiler: Added configurable (project to class-level) optimization for .NET project that will mark all classes frozen if they are not descended by another.
* studio: Add assemblies dialog shows more assembly information.
* studio: Some diagram generation for assemblies
* studio:Display documentation for .NET Framework assemblies on .NET 2.0
* studio: Display features tree for .NET classes.
* studio: Display uncompiled .NET classes.
* debugger: Now we can pass modified environment variables to the debuggee application.
* compiler: Externals (includes, objects, resources, ...) can now be relative to the ecf file by using the new replacement $ECF_CONFIG_PATH.
* compiler: UUID is not needed for non library systems. If no uuid is specified a random one will be generated. (Startup dialog may not work correct if the config has not been saved with the random generated uuid)
* debugger: New contextual menu on breakpoints tool for multiple action on class (enable first bp on all features ...)
* studio: Only expand the currently used target in the project settings.
* compiler: Changed version of configuration format to 1.1.0
* compiler: Only print warnings for unknown attributes and tags if we detect an unknown version (try to be upward compatible).
* compiler: Speed up consumer cache synchronization so working with large .NET caches or large assembly sets is much faster.
* debugger: now it is possible to restart the debuggee without unraising and raising again the debugger's interface
* debugger: now we keep the layout for each watch tool in preferences.
* compiler: Custom conditions now also take environment variables into account.
* compiler: Display unsubstitued path to cluster/assembly/library if a file/directory open error occurs.
* studio: Added a cancel button in the dialog of the automatic precompilation to cancel the precompilation.
* COM Wizard: EiffelStudio button is enabled also if the Eiffel compilation fails.
* compiler: Generate an error if a configuration file used in a precompile has structurally been changed as the precompile is not usable in this case anymore.
* base: The HASH_TABLE in base has two new possibilities to detect/prevent catcalls, they can be enabled by enabling assertion checking and enabling the debug clauses prevent_hash_table_catcall and detect_hash_table_catcall.
* studio: {{Red|Added dependency view so supplier/client dependency of a group/folder/class can be investigated. Feature calls are included in dependency view.}}
* studio: Added syntactical supplier/client support in class view.

===Bug fixes===
* COM wizard: {{Red|Time library was not included which lead to problems if a COM component used the DATE_TIME data type.}}
* compiler: {{Red|Fixed incrementality bug with agents where finalizing and then freezing would cause some unresolved externals.}}
* compiler: Don't do an expensive degree 6 if assertion level or similar project settings have changed.
* studio: Decreased amount of created GDI objects on windows in some grids.
* studio: Fixed a problem with externals in the project settings.
* studio: Fixed viewpoint handling for assemblies
* studio: Fixed output to file redirection in the process library on windows.
* studio: Fixed samples that would not compile.
* compiler: Fixed a crash if a library without an UUID is used.
* compiler: Fixed a problem that classes that were not visible before did not get compiled when they were made visible.
* compiler: Fixed CECIL name if there is a renaming specified in the visible clause.
* compiler: Fixed VTCT error was not detected if a prefix/renaming changed on an assembly or library.
* vision2: Fixed bug when setting a pixmap on a menu entry which has a submenu, the submenu would disappear.
* compiler: Fixed a bug in the check if local assemblies are present.
* compiler: Fixed some problems with sub clusters of overrides.
* compiler: Interpolate environment variables also in metadata cache path specified on the command line.
* compiler: Fixed some bugs in the documentation generation related to sub clusters.
* compiler: Option changes always led to an expensive degree 6 even if a fast degree 6 would have been enough.

===User changes===
* base: {{Red|EXECUTION_ENVIRONMENT.get will only retrieve environment variable. It won't retrieve a value from the registry key on Windows (from HKLM\Software\ISE\Eiffelxx\app_name). This also means that MELT_PATH on Windows cannot be set in registry; this is not really a problem since now you do not need to set it since the W_code knows where to find it.}}

===Developer changes===
* cli_debugger is now under framework, and the corresponding clib has to be compiled.
* New delivery scripts on unix will now compress packages using bzip2 as they are about 30% smaller than the packages build with gzip.
* The eifinit/studio folder has now been moved into studio/eifinit
* build has been renamed into esbuilder
* vision2_tour has been renamed into vision2_demo
* Possibility to build a delivery which fits into the unix directory layout.
* Use the normal HASH_TABLE in the compiler.
* ID_AS does no longer inherit from STRING, instead it has a name_id and the string is stored in NAMES_HEAP
* Added additional applicable inspect-able types to VOMB1 error help text.

EiffelStudio 6.0 Releases

2006-11-21T23:57:36Z

Patrickr: /* New features */

[[Category:Releases]]__NOTOC__{{ReleaseHistoryHeader}}

= EiffelStudio 6.0.x Releases=
==6.0.x==
Placeholder for new stuff since last intermediate release.
===New features===
* A root type can now be a generic derivation.
* Project settings such as arguments/working directory/location are now stored in a user specific location that does not depend on the UUID of the project, but on its path.
* Possibility for "hidden/implementation" clusters in libraries, clusters that are not accessible if the library is used (like libraries in libraries are not accessible).
* Don't do an expensive degree 6 when we freeze or finalize.
* Newly added clusters are recursive by default.
* Favorites are now stored in the user settings.
* Warning if an environment variable has changed and opportunity to (temporarily) use the old, stored value
* Trigger a full configuration rebuild if environment variables have changed
* Added configurable (project to class-level) optimization for .NET project that will mark all classes frozen if they are not descended by another.
* Add assemblies dialog shows more assembly information.
* Some diagram generation for assemblies
* Display documentation for .NET Framework assemblies on .NET 2.0
* Display features tree for .NET classes.
* Display uncompiled .NET classes.
* New Debugging options dialog (to set the arguments and other)
* Now we can pass modified environment variables to the debuggee application.
* Externals (includes, objects, resources, ...) can now be relative to the ecf file by using the new replacement $ECF_CONFIG_PATH.
* UUID is not needed for non library systems. If no uuid is specified a random one will be generated. (Startup dialog may not work correct if the config has not been saved with the random generated uuid)
* Integers can now also be specified with binary and octal representation
* Manifest characters can now also be specified with binary, octal and hexadecimal representation. Manifest characters can be specified up to 32 Bit.
* New contextual menu on breakpoints tool for multiple action on class (enable first bp on all features ...)
* Only expand the currently used target in the project settings.
* Changed version of configuration format to 1.1.0
* Only print warnings for unknown attributes and tags if we detect an unknown version (try to be upward compatible).
* Speed up consumer cache synchronization so working with large .NET caches or large assembly sets is much faster.
* Debugger: now it is possible to restart the debuggee without unraising and raising again the debugger's interface
* Debugger tools: now we keep the layout for each watch tool in preferences.
* Custom conditions now also take environment variables into account.
* Display unsubstitued path to cluster/assembly/library if a file/directory open error occurs.
* Added a cancel button in the dialog of the automatic precompilation to cancel the precompilation.
* COM Wizard: EiffelStudio button is enabled also if the Eiffel compilation fails.
* Generate an error if a configuration file used in a precompile has structurally been changed as the precompile is not usable in this case anymore.
* The HASH_TABLE in base has two new possibilities to detect/prevent catcalls, they can be enabled by enabling assertion checking and enabling the debug clauses prevent_hash_table_catcall and detect_hash_table_catcall.

===Feature removed===
===Bug fixes===
* Don't do an expensive degree 6 if assertion level or similar project settings have changed.
* Decreased amount of created GDI objects on windows in some grids.
* Fixed a problem with externals in the project settings.
* Fixed viewpoint handling for assemblies
* Fixed output to file redirection in the process library on windows.
* Fixed samples that would not compile.
* Fixed a crash if a library without an UUID is used.
* Fixed a problem that classes that were not visible before did not get compiled when they were made visible.
* Fixed CECIL name if there is a renaming specified in the visible clause.
* Fixed VTCT error was not detected if a prefix/renaming changed on an assembly or library.
* Vision2: Fixed bug when setting a pixmap on a menu entry which has a submenu, the submenu would disappear.
* COM wizard: Time library was not included which lead to problems if a COM component used the DATE_TIME data type.
* Fixed a bug in the check if local assemblies are present.
* Fixed some problems with sub clusters of overrides.
* Interpolate environment variables also in metadata cache path specified on the command line.
* Fixed some bugs in the documentation generation related to sub clusters.
* Option changes always led to an expensive degree 6 even if a fast degree 6 would have been enough.

===User changes===
* EXECUTION_ENVIRONMENT.get will only retrieve environment variable. It won't retrieve a value from the registry key on Windows (from HKLM\Software\ISE\Eiffelxx\app_name). This also means that MELT_PATH on Windows cannot be set in registry; this is not really a problem since now you do not need to set it since the W_code knows where to find it.

===Developer changes===
* cli_debugger is now under framework, and the corresponding clib has to be compiled.
* New delivery scripts on unix will now compress packages using bzip2 as they are about 30% smaller than the packages build with gzip.
* The eifinit/studio folder has now been moved into studio/eifinit
* build has been renamed into esbuilder
* vision2_tour has been renamed into vision2_demo
* Possibility to build a delivery which fits into the unix directory layout.
* Use the normal HASH_TABLE in the compiler.
* ID_AS does no longer inherit from STRING, instead it has a name_id and the string is stored in NAMES_HEAP

EiffelStudio 6.0 Releases

2006-11-21T23:55:53Z

Patrickr: /* Developer changes */

[[Category:Releases]]__NOTOC__{{ReleaseHistoryHeader}}

= EiffelStudio 6.0.x Releases=
==6.0.x==
Placeholder for new stuff since last intermediate release.
===New features===
* A root type can now be a generic derivation.
* Project settings such as arguments/working directory/location are now stored in a user specific location that does not depend on the UUID of the project, but on its path.
* Possibility for "hidden/implementation" clusters in libraries, clusters that are not accessible if the library is used (like libraries in libraries are not accessible).
* Don't do an expensive degree 6 when we freeze or finalize.
* Newly added clusters are recursive by default.
* Favorites are now stored in the user settings.
* Warning if an environment variable has changed and opportunity to (temporarily) use the old, stored value
* Trigger a full configuration rebuild if environment variables have changed
* Added configurable (project to class-level) optimization for .NET project that will mark all classes frozen if they are not descended by another.
* Add assemblies dialog shows more assembly information.
* Some diagram generation for assemblies
* Display documentation for .NET Framework assemblies on .NET 2.0
* Display features tree for .NET classes.
* Display uncompiled .NET classes.
* New Debugging options dialog (to set the arguments and other)
* Now we can pass modified environment variables to the debuggee application.
* Externals (includes, objects, resources, ...) can now be relative to the ecf file by using the new replacement $ECF_CONFIG_PATH.
* UUID is not needed for non library systems. If no uuid is specified a random one will be generated. (Startup dialog may not work correct if the config has not been saved with the random generated uuid)
* Integers can now also be specified with binary and octal representation
* Manifest characters can now also be specified with binary, octal and hexadecimal representation. Manifest characters can be specified up to 32 Bit.
* New contextual menu on breakpoints tool for multiple action on class (enable first bp on all features ...)
* Only expand the currently used target in the project settings.
* Changed version of configuration format to 1.1.0
* Only print warnings for unknown attributes and tags if we detect an unknown version (try to be upward compatible).
* Speed up consumer cache synchronization so working with large .NET caches or large assembly sets is much faster.
* Debugger: now it is possible to restart the debuggee without unraising and raising again the debugger's interface
* Debugger tools: now we keep the layout for each watch tool in preferences.
* Custom conditions now also take environment variables into account.
* Display unsubstitued path to cluster/assembly/library if a file/directory open error occurs.
* Added a cancel button in the dialog of the automatic precompilation to cancel the precompilation.
* COM Wizard: EiffelStudio button is enabled also if the Eiffel compilation fails.
* Generate an error if a configuration file used in a precompile has structurally been changed as the precompile is not usable in this case anymore.

===Feature removed===
===Bug fixes===
* Don't do an expensive degree 6 if assertion level or similar project settings have changed.
* Decreased amount of created GDI objects on windows in some grids.
* Fixed a problem with externals in the project settings.
* Fixed viewpoint handling for assemblies
* Fixed output to file redirection in the process library on windows.
* Fixed samples that would not compile.
* Fixed a crash if a library without an UUID is used.
* Fixed a problem that classes that were not visible before did not get compiled when they were made visible.
* Fixed CECIL name if there is a renaming specified in the visible clause.
* Fixed VTCT error was not detected if a prefix/renaming changed on an assembly or library.
* Vision2: Fixed bug when setting a pixmap on a menu entry which has a submenu, the submenu would disappear.
* COM wizard: Time library was not included which lead to problems if a COM component used the DATE_TIME data type.
* Fixed a bug in the check if local assemblies are present.
* Fixed some problems with sub clusters of overrides.
* Interpolate environment variables also in metadata cache path specified on the command line.
* Fixed some bugs in the documentation generation related to sub clusters.
* Option changes always led to an expensive degree 6 even if a fast degree 6 would have been enough.

===User changes===
* EXECUTION_ENVIRONMENT.get will only retrieve environment variable. It won't retrieve a value from the registry key on Windows (from HKLM\Software\ISE\Eiffelxx\app_name). This also means that MELT_PATH on Windows cannot be set in registry; this is not really a problem since now you do not need to set it since the W_code knows where to find it.

===Developer changes===
* cli_debugger is now under framework, and the corresponding clib has to be compiled.
* New delivery scripts on unix will now compress packages using bzip2 as they are about 30% smaller than the packages build with gzip.
* The eifinit/studio folder has now been moved into studio/eifinit
* build has been renamed into esbuilder
* vision2_tour has been renamed into vision2_demo
* Possibility to build a delivery which fits into the unix directory layout.
* Use the normal HASH_TABLE in the compiler.
* ID_AS does no longer inherit from STRING, instead it has a name_id and the string is stored in NAMES_HEAP

Talk:Agent problems

2006-11-21T17:59:17Z

Patrickr:

== Is CAT Call ==

'''--[[User:Schoelle|Schoelle]] 09:26, 21 November 2006 (CET)'''

First comment: I assume you are missing a 'l_f := f'.

Second comment: this is a well known CAT call, caused by the (unsound) inheritance relation 'X[A] is subtype of X[B]' if 'A is subtype of B'.

'''--[[User:konradm|konradm]]'''

This article is in a very early state, so don't bother commenting to much on it. The intention is to list all the problems of the mechanism. Especially the fact that one has to type in a whole lot of type information for very little guarantees from the type system.

I am aware that I am not the first one to be aware of this problem. But I am not sure whether this problem is revered to as a CAT call. When it is, and when the new CAT call solution will indeed be implemented, what are the consequences? You can only make agents to features with arguments of detachable type?

REAL 64 (issues)

2006-11-17T18:55:15Z

Patrickr: typos

[[Category:ELKS]]
This page describes issues with the current implementation of REAL_64 in comparison to the [[REAL_64 (interface)|interface description]] or desired output when nothing is specified.

===is_equal and NaN===

The floating point standard says that 'NaN = NaN' is false. But in order to uphold the postcondition of 'NaN.twin' which says that 'Result.is_equal (Current)' the comparison with 'is_equal' should yield true.

At the moment 'is_equal' for reals is optimized in the compiler and is replaced by '=' and thus the postcondition of 'twin' is violated.

===floor, ceiling, rounded and truncated_to_integer===

Currently when doing a 'floor', 'ceiling', 'rounded' or 'truncate_to_integer' with a number which is too large (e.g. 2^31) the result is {INTEGER}.min_value.

The change in the sign is a not expected behavior and violates (informal) contracts.

===divisible===

By providing NaN and INF every real value can be divided by every other real value. Thus a call of 'divisible' should always return true. This arises again in INTEGER.infix "/". A call to 12 / 0 is not allowed by the current contract but should just return INF.

Compile All Tool

2006-11-16T01:44:47Z

Patrickr: /* Change Log */

[[Category:Tools]]
== Overview ==
The Compile All Tool can be used to check if all targets in a directory compile. It recursively scans all directories and looks for files with a .ecf extension. For each configuration file all targets are first clean melted, then frozen and at the end finalized.

== Command-line Options ==
To see the list of available command-line options and their help information, use the '/?' switch.

== Information ==
This tool was developed and maintained by [[User:Patrickr|Patrickr]].

Location: https://origo.ethz.ch/eiffelsoftware/es/trunk/Src/tools/compile_all

== Examples ==
=== Checking everything in the trunk still compiles ===
To check if everything in the trunk still compiles, use the following setup:

#create a directory where to put the EIFGENs into, e.g. C:\compile
#compile_all -l C:\60dev -eifgen C:\compile -ignore C:\60dev\tools\compile_all\baseline\trunk.ini -no_clean -no_c_compile -no_freeze -no_finalize

== Change Log ==
'''[[User:Patrickr|Patrickr]] 01:32, 10 October 2006 (CEST)'''
*Initial Upload

'''[[User:Patrickr|Patrickr]] 20:20, 15 November 2006 (CET)'''

*New Feature: Added possibility to only do some compilation modes
*New Feature: Added possibility to specify a compilation directory
*New Feature: Ignore file for files/targets to ignore

Compile All Tool

2006-11-16T00:16:48Z

Patrickr:

[[Category:Tools]]
== Overview ==
The Compile All Tool can be used to check if all targets in a directory compile. It recursively scans all directories and looks for files with a .ecf extension. For each configuration file all targets are first clean melted, then frozen and at the end finalized.

== Command-line Options ==
To see the list of available command-line options and their help information, use the '/?' switch.

== Information ==
This tool was developed and maintained by [[User:Patrickr|Patrickr]].

Location: https://origo.ethz.ch/eiffelsoftware/es/trunk/Src/tools/compile_all

== Examples ==
=== Checking everything in the trunk still compiles ===
To check if everything in the trunk still compiles, use the following setup:

#create a directory where to put the EIFGENs into, e.g. C:\compile
#compile_all -l C:\60dev -eifgen C:\compile -ignore C:\60dev\tools\compile_all\baseline\trunk.ini -no_clean -no_c_compile -no_freeze -no_finalize

== Change Log ==
'''[[User:Patrickr|Patrickr]] 01:32, 10 October 2006 (CEST)'''
*Initial Upload

'''[[User:Patrickr|Patrickr]] 20:20, 15 November 2006 (CET)'''

*New Feature: Added possibility to only do some compilation modes
*New Feature: Added possibility to specify a compilation directory
*New Feature: Ignore files for files/targets to ignore

Compile All Tool

2006-11-16T00:09:19Z

Patrickr: /* Change Log */

[[Category:Tools]]
== Overview ==
The Compile All Tool can be used to check if all targets in a directory compile. It recursively scans all directories and looks for files with a .ecf extension. For each configuration file all targets are first clean melted, then frozen and at the end finalized.

== Command-line Options ==
To see the list of available command-line options and their help information, use the '/?' switch.

== Information ==
This tool was developed and maintained by [[User:Patrickr|Patrickr]].

Location: https://origo.ethz.ch/eiffelsoftware/es/trunk/Src/tools/compile_all

== Change Log ==
'''[[User:Patrickr|Patrickr]] 01:32, 10 October 2006 (CEST)'''
*Initial Upload

'''[[User:Patrickr|Patrickr]] 20:20, 15 November 2006 (CET)'''

*New Feature: Added possibility to only do some compilation modes
*New Feature: Added possibility to specify a compilation directory
*New Feature: Ignore files for files/targets to ignore

Environment Roadmap

2006-11-15T21:23:22Z

Patrickr: /* Internal */

[[Category:EiffelStudio]]
Roadmap information for EiffelStudio releases:

==6.2==
* Attached mechanism

==6.1==
* Non-conforming inheritance
* Proper semantics of feature replication
* Configurable commands (i.e. location and shortcut)
* Exception as object
* Resource library

==6.0 (1st quarter 2007)==
===UI===
* Improved docking facilities in EiffelStudio to fully control the layout of EiffelStudio
* Configurable pick-and-drop: user can choose between a contextual menu or pick-and-drop within the EiffelStudio environment
* Internationalization support
* Keyboard support for code browsing/activation - F12 to go to context reference in editor, F9 to set a breakpoint, etc.

===Compiler===
* Progress bar for degree 6, C compilation and automatic precompilation
* Object test syntax support
* <del>Warning/error for changed environment variables used in a project configuration file</del>
* Ability to download libraries/applications from a website directly from EiffelStudio (see [[Configuration_Discovery|Discovering Configuration Files]])
* Reading of UTF-8 Eiffel source file
* <del>"Hidden" clusters in libraries, clusters that are not accessible if the library is used (like libraries in libraries are not accessible).</del>
* <del>Clean up "inheritance" rules for project settings (e.g. assertion levels of libraries)</del>
* <del>Addition of binary and octal notation for manifest integers</del>

===Ports===
* Mac native support

===Internal===
* Reduce size of C generated in workbench mode
* <del>Clean up delivery, names of tools, directory layout.</del>
* <del>Get rid of *.wb files and store this in the user settings.</del>

==5.7==
* This is the first open source version of EiffelStudio. Look at the [http://eiffelsoftware.origo.ethz.ch/index.php/EiffelStudio_5.7_Releases release notes of 5.7] for more information.

Compile All Tool

2006-11-15T19:20:08Z

Patrickr: /* Change Log */

ECMA Implementation

2006-11-15T00:17:48Z

Patrickr: Improved layout

[[Category:ECMA]]
[[Category:Projects]]

==Introduction==
Below is the list of tasks required in order to implement the full [http://www.ecma-international.org/publications/standards/Ecma-367.htm ECMA 367] specification of the Eiffel language. The list is divided in two parts, easy and complex tasks. The complex tasks are ordered from what we feel the most important to implement to the less important. The tasks refer to a chapter number, if that number is X, it corresponds to chapter 8.X of the [http://www.ecma-international.org/publications/standards/Ecma-367.htm ECMA 367] standard.

==Easy tasks==
* <del>Chapter 3 Remove a restriction that any creation procedure of a root class is either argumentless or has 1 argument of type ARRAY [STRING].</del> {{Red|Done in 6.0}}
* <del>Chapter 3 Check that root class is not deferred (Update validity error)</del> {{Red|Done in 6.0}}
* <del>Chapter 3 Support generic derivation as a root type.</del> {{Red|Done in 6.0}}
* Chapter 4 Replace "indexing" with "note".
* <del>Chapter 5 Support new syntax for constant attributes: ... = Manifest_constant</del> {{Red|Done in 5.7}}
* <del>Chapter 5 Remove keyword "is" from feature declaration.</del> {{Red|Done in 5.7}}
* Chapter 5 Add Attachment_mark ("?"|"!") syntax for any type declarations.
* Chapter 6 Support for inherit {NONE} syntax
* Chapter 6 Implement VHPR(6): end keyword is present if the Feature_adaption clause is not empty.
* Chapter 7 Implement VLEL(3): which allow `f' to appear twice as long as it belongs to two different lists
* Chapter 9 Type of assertion violation exception which should be ASSERTION_VIOLATION.
* Chapter 11 Change VTAT to take into account the possibility of anchored types to be defined in terms of other anchored types.
* Chapter 17 Invert Variant and Invariant order for assertion checking in a loop?
* Chapter 20 Change our implementation as `create x.make (a)' is internally transformed into `x := create {like x}.make (a)' which are semantically identical when `x' is a reference, but not when `x' is expanded where there will be an additional copy.
* Chapter 22 Change VBAR to take conversion into account.
* Chapter 23 Use new syntax for Parenthesized_target ("(|" and "|)").
* Chapter 23 Add validity rule VUNO for non-object call.
* Chapter 23 Change VUAR(2) to allow conversion of feature arguments.
* <del>Chapter 27 Implementation of PREDICATE.</del> {{Red|Done in 5.7}}
* Chapter 28 Make sure we have the right operator precedence.
* Chapter 29 Introduce notion of constant manifest type, constant type.
* <del>Chapter 31 Support syntax for external signature using a keyword "signature".</del> {{Red|Done in 5.7}}
* <del>Chapter 31 Support syntax for external file use.</del> {{Red|Done in 5.7}}
* <del>Chapter 31 Support C external syntax and associated validity rules</del> {{Red|Done in 5.7}}
* <del>Chapter 31 Support C++ external syntax</del> {{Red|Done in 5.7}}
* <del>Chapter 31 Support DLL external syntax.</del> {{Red|Done in 5.7}}
* Chapter 32 Allow only blanks (and no other break characters) in "and then" and "or else".
* <del>Chapter 32 Add hexadecimal notation for a character code '%/.../'.</del> {{Red|Done in 6.0}}
* <del>Chapter 32 Add binary and octal notation for integers.</del> {{Red|Done in 6.0}}

==Complex tasks==
* Chapter 26 Implement exceptions as objects
* Chapter 24 Support void-safe calls.
* Other New expanded semantic
* Chapter 9 Support for `only' postcondition clauses
* <del>Chapter 13 Support tuple types with labels.</del> {{Red|Done in 5.7}}
* <del>Chapter 27 Implementation of inline agents.</del> {{Red|Done in 5.7}}
* Chapter 23 Support lazy locals and attributes (attached or expanded entities).
* Chapter 12 Support Rename and Constraint_creators in generic constraint with new VTGC.
* Chapter 15 Support conversion with associated validity rules.
* Chapter 32 Support 32-bit Unicode characters as encoding variant of source code.
* Other Full system validity checking
* Chapter 5 Support explicit "attribute" form of Feature_value that allows to attach subclauses: Obsolete, Header_comment, Pre- and Postconditions to attribute.
* <del>Chapter 30 Implement CHARACTER, STRING, REAL, INTEGER and NATURAL as alias for a given sized variant of CHARACTER_XX, STRING_XX, REAL_XX, INTEGER_XX and NATURAL_XX.</del> {{Red|Done in 5.7}}
* Chapter 32 Make header comment a syntactical variant of a note subclause item "what".
* Chapter 23 Change order of a routine execution: initialization of local variables goes after evaluation of a precondition and class invariant.
* Chapter 30 Implement CHARACTER_GENERAL, INTEGER_GENERAL, REAL_GENERAL
* Chapter 17 Implement inspect where choices are of type STRING or TYPE [G].
* Chapter 21 Add new equality operators "~" and "/~".
* Chapter 25 Handle catcalls.
* Chapter 6 New order in the Feature_adaptation clause (main difference is rename clause at the end rather than at the beginning).
* Chapter 16 Proper implementation of replication semantics rule for `select' and `non-conforming inheritance'.
* Chapter 10 Ensures that `redefine' implies a redeclaration (no effecting as it allows it today)
* Chapter 12 Add multiple constraints and VTMC.
* Chapter 6 Implement VHPR(5): no two ancestors types of D are different generic derivations of the same class
* Chapter 10 Ensures that `undefine' can have a redeclaration that is deferred with same signature.
* Chapter 10 Check Join Semantics rule implementation (especially assertions).
* Chapter 23 Add VUTA to disallow calls on void-unsafe targets.
* Chapter 23 Add exception and the corresponding class VOID_TARGET for calls on void target.
* Chapter 23 Add a feature ANY.onces and an associated class to refresh once features.
* Chapter 26 Checks that all possible path of execution that might raise an exception are properly handled (i.e. following the code path diagram that we used in the ECMA minutes).
* Chapter 28 Implement Object_test
* Chapter 9 Rules (which are not yet in the standard) talking about recursive checking of assertions with the various proposed levels.
* Chapter 3 Check that a root creation procedure meets VSRP.
* Chapter 8 Support of once with a key.
* Chapter 12 Full implementation (directly or indirectly) recursive formal generics.
* Chapter 5 Support "convert" mark in Operator_alias.
* Chapter 14 Implement conformance of tuple type to ARRAY.
* Chapter 20 Ensures that preconditions of a creation routine are `creation-valid'.
* Chapter 28 Update semantic of Address
* Chapter 25 Ensure semantics of ARRAY.put and ARRAY.force as if they assign a formal argument to an attribute (is this really for ARRAY? Should be NATIVE_ARRAY/SPECIAL)
* Chapter 12 Add optional frozen mark to formal generics and handle frozen actual generics (defined by "frozen" mark in formal generics).

EiffelStudio 6.0 Releases

2006-11-14T23:53:30Z

Patrickr: /* Bug fixes */

[[Category:Releases]]__NOTOC__{{ReleaseHistoryHeader}}

= EiffelStudio 6.0.x Releases=
==6.0.x==
Placeholder for new stuff since last intermediate release.
===New features===
* Project settings such as arguments/working directory/location are now stored in a user specific location that does not depend on the UUID of the project, but on its path.
* Possibility for "hidden/implementation" clusters in libraries, clusters that are not accessible if the library is used (like libraries in libraries are not accessible).
* Don't do an expensive degree 6 when we freeze or finalize.
* Newly added clusters are recursive by default.
* Favorites are now stored in the user settings.
* Warning if an environment variable has changed and opportunity to (temporarily) use the old, stored value
* Trigger a full configuration rebuild if environment variables have changed
* Added configurable (project to class-level) optimization for .NET project that will mark all classes frozen if they are not descended by another.
* Add assemblies dialog shows more assembly information.
* Some diagram generation for assemblies
* Display documentation for .NET Framework assemblies on .NET 2.0
* Display features tree for .NET classes.
* Display uncompiled .NET classes.
* New Debugging options dialog (to set the arguments and other)
* Now we can pass modified environment variables to the debuggee application.
* Externals (includes, objects, resources, ...) can now be relative to the ecf file by using the new replacement $ECF_CONFIG_PATH.
* UUID is not needed for non library systems. If no uuid is specified a random one will be generated. (Startup dialog may not work correct if the config has not been saved with the random generated uuid)
* Integers can now also be specified with binary and octal representation
* Manifest characters can now also be specified with binary, octal and hexadecimal representation. Manifest characters can be specified up to 32 Bit.
* New contextual menu on breakpoints tool for multiple action on class (enable first bp on all features ...)
* Only expand the currently used target in the project settings.
* Changed version of configuration format to 1.1.0
* Only print warnings for unknown attributes and tags if we detect an unknown version (try to be upward compatible).
* Speed up consumer cache synchronization so working with large .NET caches or large assembly sets is much faster.
* Debugger: now it is possible to restart the debuggee without unraising and raising again the debugger's interface
* Debugger tools: now we keep the layout for each watch tool in preferences.
* Custom conditions now also take environment variables into account.
* Display unsubstitued path to cluster/assembly/library if a file/directory open error occurs.
* Added a cancel button in the dialog of the automatic precompilation to cancel the precompilation.
* COM Wizard: EiffelStudio button is enabled also if the Eiffel compilation fails.
* Generate an error if a configuration file used in a precompile has structurally been changed as the precompile is not usable in this case anymore.

===Feature removed===
===Bug fixes===
* Don't do an expensive degree 6 if assertion level or similar project settings have changed.
* Decreased amount of created GDI objects on windows in some grids.
* Fixed a problem with externals in the project settings.
* Fixed viewpoint handling for assemblies
* Fixed output to file redirection in the process library on windows.
* Fixed samples that would not compile.
* Fixed a crash if a library without an UUID is used.
* Fixed a problem that classes that were not visible before did not get compiled when they were made visible.
* Fixed CECIL name if there is a renaming specified in the visible clause.
* Fixed VTCT error was not detected if a prefix/renaming changed on an assembly or library.
* Vision2: Fixed bug when setting a pixmap on a menu entry which has a submenu, the submenu would disappear.
* COM wizard: Time library was not included which lead to problems if a COM component used the DATE_TIME data type.
* Fixed a bug in the check if local assemblies are present.
* Fixed some problems with sub clusters of overrides.
* Interpolate environment variables also in metadata cache path specified on the command line.
* Fixed some bugs in the documentation generation related to sub clusters.
* Option changes always led to an expensive degree 6 even if a fast degree 6 would have been enough.

===User changes===
* EXECUTION_ENVIRONMENT.get will only retrieve environment variable. It won't retrieve a value from the registry key on Windows (from HKLM\Software\ISE\Eiffelxx\app_name). This also means that MELT_PATH on Windows cannot be set in registry; this is not really a problem since now you do not need to set it since the W_code knows where to find it.

===Developer changes===
* cli_debugger is now under framework, and the corresponding clib has to be compiled.
* New delivery scripts on unix will now compress packages using bzip2 as they are about 30% smaller than the packages build with gzip.
* The eifinit/studio folder has now been moved into studio/eifinit
* build has been renamed into esbuilder
* vision2_tour has been renamed into vision2_demo
* Possibility to build a delivery which fits into the unix directory layout.

EiffelStudio 6.0 Releases

2006-11-14T23:36:54Z

Patrickr: /* Bug fixes */

[[Category:Releases]]__NOTOC__{{ReleaseHistoryHeader}}

= EiffelStudio 6.0.x Releases=
==6.0.x==
Placeholder for new stuff since last intermediate release.
===New features===
* Project settings such as arguments/working directory/location are now stored in a user specific location that does not depend on the UUID of the project, but on its path.
* Possibility for "hidden/implementation" clusters in libraries, clusters that are not accessible if the library is used (like libraries in libraries are not accessible).
* Don't do an expensive degree 6 when we freeze or finalize.
* Newly added clusters are recursive by default.
* Favorites are now stored in the user settings.
* Warning if an environment variable has changed and opportunity to (temporarily) use the old, stored value
* Trigger a full configuration rebuild if environment variables have changed
* Added configurable (project to class-level) optimization for .NET project that will mark all classes frozen if they are not descended by another.
* Add assemblies dialog shows more assembly information.
* Some diagram generation for assemblies
* Display documentation for .NET Framework assemblies on .NET 2.0
* Display features tree for .NET classes.
* Display uncompiled .NET classes.
* New Debugging options dialog (to set the arguments and other)
* Now we can pass modified environment variables to the debuggee application.
* Externals (includes, objects, resources, ...) can now be relative to the ecf file by using the new replacement $ECF_CONFIG_PATH.
* UUID is not needed for non library systems. If no uuid is specified a random one will be generated. (Startup dialog may not work correct if the config has not been saved with the random generated uuid)
* Integers can now also be specified with binary and octal representation
* Manifest characters can now also be specified with binary, octal and hexadecimal representation. Manifest characters can be specified up to 32 Bit.
* New contextual menu on breakpoints tool for multiple action on class (enable first bp on all features ...)
* Only expand the currently used target in the project settings.
* Changed version of configuration format to 1.1.0
* Only print warnings for unknown attributes and tags if we detect an unknown version (try to be upward compatible).
* Speed up consumer cache synchronization so working with large .NET caches or large assembly sets is much faster.
* Debugger: now it is possible to restart the debuggee without unraising and raising again the debugger's interface
* Debugger tools: now we keep the layout for each watch tool in preferences.
* Custom conditions now also take environment variables into account.
* Display unsubstitued path to cluster/assembly/library if a file/directory open error occurs.
* Added a cancel button in the dialog of the automatic precompilation to cancel the precompilation.
* COM Wizard: EiffelStudio button is enabled also if the Eiffel compilation fails.
* Generate an error if a configuration file used in a precompile has structurally been changed as the precompile is not usable in this case anymore.

===Feature removed===
===Bug fixes===
* Don't do an expensive degree 6 if assertion level or similar project settings have changed.
* Decreased amount of created GDI objects on windows in some grids.
* Fixed a problem with externals in the project settings.
* Fixed viewpoint handling for assemblies
* Fixed output to file redirection in the process library on windows.
* Fixed samples that would not compile.
* Fixed a crash if a library without an UUID is used.
* Fixed a problem that classes that were not visible before did not get compiled when they were made visible.
* Fixed CECIL name if there is a renaming specified in the visible clause.
* Fixed VTCT error was not detected if a prefix/renaming changed on an assembly or library.
* Vision2: Fixed bug when setting a pixmap on a menu entry which has a submenu, the submenu would disappear.
* COM wizard: Time library was not included which lead to problems if a COM component used the DATE_TIME data type.
* Fixed a bug in the check if local assemblies are present.
* Fixed some problems with sub clusters of overrides.
* Interpolate environment variables also in metadata cache path specified on the command line.
* Fixed some bugs in the documentation generation related to sub clusters.

===User changes===
* EXECUTION_ENVIRONMENT.get will only retrieve environment variable. It won't retrieve a value from the registry key on Windows (from HKLM\Software\ISE\Eiffelxx\app_name). This also means that MELT_PATH on Windows cannot be set in registry; this is not really a problem since now you do not need to set it since the W_code knows where to find it.

===Developer changes===
* cli_debugger is now under framework, and the corresponding clib has to be compiled.
* New delivery scripts on unix will now compress packages using bzip2 as they are about 30% smaller than the packages build with gzip.
* The eifinit/studio folder has now been moved into studio/eifinit
* build has been renamed into esbuilder
* vision2_tour has been renamed into vision2_demo
* Possibility to build a delivery which fits into the unix directory layout.

EiffelStudio 6.0 Releases

2006-11-14T23:05:16Z

Patrickr: /* New features */

[[Category:Releases]]__NOTOC__{{ReleaseHistoryHeader}}

= EiffelStudio 6.0.x Releases=
==6.0.x==
Placeholder for new stuff since last intermediate release.
===New features===
* Project settings such as arguments/working directory/location are now stored in a user specific location that does not depend on the UUID of the project, but on its path.
* Possibility for "hidden/implementation" clusters in libraries, clusters that are not accessible if the library is used (like libraries in libraries are not accessible).
* Don't do an expensive degree 6 when we freeze or finalize.
* Newly added clusters are recursive by default.
* Favorites are now stored in the user settings.
* Warning if an environment variable has changed and opportunity to (temporarily) use the old, stored value
* Trigger a full configuration rebuild if environment variables have changed
* Added configurable (project to class-level) optimization for .NET project that will mark all classes frozen if they are not descended by another.
* Add assemblies dialog shows more assembly information.
* Some diagram generation for assemblies
* Display documentation for .NET Framework assemblies on .NET 2.0
* Display features tree for .NET classes.
* Display uncompiled .NET classes.
* New Debugging options dialog (to set the arguments and other)
* Now we can pass modified environment variables to the debuggee application.
* Externals (includes, objects, resources, ...) can now be relative to the ecf file by using the new replacement $ECF_CONFIG_PATH.
* UUID is not needed for non library systems. If no uuid is specified a random one will be generated. (Startup dialog may not work correct if the config has not been saved with the random generated uuid)
* Integers can now also be specified with binary and octal representation
* Manifest characters can now also be specified with binary, octal and hexadecimal representation. Manifest characters can be specified up to 32 Bit.
* New contextual menu on breakpoints tool for multiple action on class (enable first bp on all features ...)
* Only expand the currently used target in the project settings.
* Changed version of configuration format to 1.1.0
* Only print warnings for unknown attributes and tags if we detect an unknown version (try to be upward compatible).
* Speed up consumer cache synchronization so working with large .NET caches or large assembly sets is much faster.
* Debugger: now it is possible to restart the debuggee without unraising and raising again the debugger's interface
* Debugger tools: now we keep the layout for each watch tool in preferences.
* Custom conditions now also take environment variables into account.
* Display unsubstitued path to cluster/assembly/library if a file/directory open error occurs.
* Added a cancel button in the dialog of the automatic precompilation to cancel the precompilation.
* COM Wizard: EiffelStudio button is enabled also if the Eiffel compilation fails.
* Generate an error if a configuration file used in a precompile has structurally been changed as the precompile is not usable in this case anymore.

===Feature removed===
===Bug fixes===
* Don't do an expensive degree 6 if assertion level or similar project settings have changed.
* Decreased amount of created GDI objects on windows in some grids.
* Fixed a problem with externals in the project settings.
* Fixed viewpoint handling for assemblies
* Fixed output to file redirection in the process library on windows.
* Fixed samples that would not compile.
* Fixed a crash if a library without an UUID is used.
* Fixed a problem that classes that were not visible before did not get compiled when they were made visible.
* Fixed CECIL name if there is a renaming specified in the visible clause.
* Fixed VTCT error was not detected if a prefix/renaming changed on an assembly or library.
* Vision2: Fixed bug when setting a pixmap on a menu entry which has a submenu, the submenu would disappear.
* COM wizard: Time library was not included which lead to problems if a COM component used the DATE_TIME data type.
* Fixed a bug in the check if local assemblies are present.
* Fixed some problems with sub clusters of overrides.
* Interpolate environment variables also in metadata cache path specified on the command line.

===User changes===
* EXECUTION_ENVIRONMENT.get will only retrieve environment variable. It won't retrieve a value from the registry key on Windows (from HKLM\Software\ISE\Eiffelxx\app_name). This also means that MELT_PATH on Windows cannot be set in registry; this is not really a problem since now you do not need to set it since the W_code knows where to find it.

===Developer changes===
* cli_debugger is now under framework, and the corresponding clib has to be compiled.
* New delivery scripts on unix will now compress packages using bzip2 as they are about 30% smaller than the packages build with gzip.
* The eifinit/studio folder has now been moved into studio/eifinit
* build has been renamed into esbuilder
* vision2_tour has been renamed into vision2_demo
* Possibility to build a delivery which fits into the unix directory layout.

User:Patrickr

2006-11-14T22:04:20Z

Patrickr: /* Contact */

[[Category:People]]
==Contact==
*Mail: [mailto:patrickr@eiffel.com patrickr@eiffel.com]
*GMT-8 (Santa Barbara)
*Skype: patrickruckstuhl

==Current projects==
*[[LinuxUnixLayout|Installation layout on Unix/Linux]]
*[[Configuration|New configuration system]]

==Past projects==
*Diff Library
*[[Refactoring|Refactoring facilities for EiffelStudio]]

==Contrib==
https://eiffelsoftware.origo.ethz.ch/svn/contrib/users/patrickr

*eiffel: a bash autocompletion script for the ec command line command

Talk:ProposalLibraryDependencies

2006-11-14T21:39:56Z

Patrickr:

'''--[[User:Paulb|Paulb]] 21:23, 14 November 2006 (CET)'''

I don't know if the Examples are going to turn into anything concrete. I don't like a useless "'''com.'''" prefix. "'''eiffel.'''" is useless also because it's an Eiffel library. I'm assuming you meant "'''eiffelsoftware.'''"

My suggestions for naming conventions should be:

<company>.<type>.<name>

*For EiffelBase: '''eiffelsoftware.library.base'''
*For a utiltiy framework: '''eiffelsoftware.framework.utilities'''
*For the Eiffel parser: '''eiffelsoftware.eiffel.parser'''
*For the Eiffel compiler: '''eiffelsoftware.eiffel.compiler'''

'''--[[User:Patrickr|Patrickr]] 22:37, 14 November 2006 (CET)'''

My idea was to use the url of the "company" producing the library to be sure that the name is unique, from most general to more specific. So for base from eiffel.com the idea was com.eiffel.base, gobo could then for example be net.sourceforge.gobo.base (basically the same schema that is used in the java world).
I would not put the type into the name, as there are no clear borders between a framework and a library and it's possible that a library can later turn into a framework.

Talk:ProposalLibraryDependencies

2006-11-14T21:38:17Z

Patrickr:

Talk:ProposalLibraryDependencies

2006-11-14T21:37:45Z

Patrickr:

'''--[[User:Paulb|Paulb]] 21:23, 14 November 2006 (CET)'''

I don't know if the Examples are going to turn into anything concrete. I don't like a useless "'''com.'''" prefix. "'''eiffel.'''" is useless also because it's an Eiffel library. I'm assuming you meant "'''eiffelsoftware.'''"

My suggestions for naming conventions should be:

<company>.<type>.<name>

*For EiffelBase: '''eiffelsoftware.library.base'''
*For a utiltiy framework: '''eiffelsoftware.framework.utilities'''
*For the Eiffel parser: '''eiffelsoftware.eiffel.parser'''
*For the Eiffel compiler: '''eiffelsoftware.eiffel.compiler'''

'''--[[User:Patrickr|Patrickr]] 22:37, 14 November 2006 (CET)'''

My idea was to use the url of the "company" producing the library to be sure that the name is unique, from most general to more specific. So from base from eiffel.com the idea was com.eiffel.base, gobo could then for example be net.sourceforge.gobo.base (basically the same schema that is used in the java world).

Talk:EiffelStudio Internationalization

2006-11-14T01:38:28Z

Patrickr:

'''--[[User:Patrickr|Patrickr]] 17:31, 9 November 2006 (CET)'''

The location for the mo files should be setup in the environment library, on Unix those files go under
/usr/share/locale

e.g.
/usr/share/locale/en/LC_MESSAGES/eiffelstudio.mo
/usr/share/locale/de/LC_MESSAGES/eiffelstudio.mo
/usr/share/locale/de_CH/LC_MESSAGES/eiffelstudio.mo

'''--[[User:Juliant|Juliant]] 19:53, 10 November 2006 (CET)'''

Is it really necessary that the language can be changed while running EiffelStudio? I would say this is set once (even during installation). It wouldn't be a problem to just restart EiffelStudio.

'''--[[User:Ted|Ted]] 03:20, 13 November 2006 (CET)'''
<pre>
What are the advantages of putting mo files under /usr/share/locale? mo files are not shared between applications and normally users do not need to change mo files.
All mo files are put in ES installation directory, we only need to store the locale id as a preference.
More over, mo files are implemented to be accepted by the library only with names of locale id.
</pre>
<pre>
We need to decide whether the language can be switched at runtime. Of course, not doing this as most applications definitely reduces a lot of time.
</pre>

'''--[[User:Patrickr|Patrickr]] 17:13, 13 November 2006 (CET)'''

On Unix there are rules where which part of an application belongs to. Standardising this locations makes various things easier.
I also think changing the language during runtime is not necessary.

EiffelStudio 6.0 Releases

2006-11-14T01:08:48Z

Patrickr: /* Developer changes */

[[Category:Releases]]__NOTOC__{{ReleaseHistoryHeader}}

= EiffelStudio 6.0.x Releases=
==6.0.x==
Placeholder for new stuff since last intermediate release.
===New features===
* Project settings such as arguments/working directory/location are now stored in a user specific location that does not depend on the UUID of the project, but on its path.
* Possibility for "hidden/implementation" clusters in libraries, clusters that are not accessible if the library is used (like libraries in libraries are not accessible).
* Don't do an expensive degree 6 when we freeze or finalize.
* Newly added clusters are recursive by default.
* Favorites are now stored in the user settings.
* Warning if an environment variable has changed and opportunity to (temporarily) use the old, stored value
* Trigger a full configuration rebuild if environment variables have changed
* Added configurable (project to class-level) optimization for .NET project that will mark all classes frozen if they are not descended by another.
* Add assemblies dialog shows more assembly information.
* Some diagram generation for assemblies
* Display documentation for .NET Framework assemblies on .NET 2.0
* Display features tree for .NET classes.
* Display uncompiled .NET classes.
* New Debugging options dialog (to set the arguments and other)
* Now we can pass modified environment variables to the debuggee application.
* Externals (includes, objects, resources, ...) can now be relative to the ecf file by using the new replacement $ECF_CONFIG_PATH.
* UUID is not needed for non library systems. If no uuid is specified a random one will be generated. (Startup dialog may not work correct if the config has not been saved with the random generated uuid)
* Integers can now also be specified with binary and octal representation
* Manifest characters can now also be specified with binary, octal and hexadecimal representation. Manifest characters can be specified up to 32 Bit.
* New contextual menu on breakpoints tool for multiple action on class (enable first bp on all features ...)
* Only expand the currently used target in the project settings.
* Changed version of configuration format to 1.1.0
* Only print warnings for unknown attributes and tags if we detect an unknown version (try to be upward compatible).
* Speed up consumer cache synchronization so working with large .NET caches or large assembly sets is much faster.
* Debugger: now it is possible to restart the debuggee without unraising and raising again the debugger's interface
* Debugger tools: now we keep the layout for each watch tool in preferences.
* Custom conditions now also take environment variables into account.
* Display unsubstitued path to cluster/assembly/library if a file/directory open error occurs.
* Added a cancel button in the dialog of the automatic precompilation to cancel the precompilation.
* COM Wizard: EiffelStudio button is enabled also if the Eiffel compilation fails.

===Feature removed===
===Bug fixes===
* Don't do an expensive degree 6 if assertion level or similar project settings have changed.
* Decreased amount of created GDI objects on windows in some grids.
* Fixed a problem with externals in the project settings.
* Fixed viewpoint handling for assemblies
* Fixed output to file redirection in the process library on windows.
* Fixed samples that would not compile.
* Fixed a crash if a library without an UUID is used.
* Fixed a problem that classes that were not visible before did not get compiled when they were made visible.
* Fixed CECIL name if there is a renaming specified in the visible clause.
* Fixed VTCT error was not detected if a prefix/renaming changed on an assembly or library.
* Vision2: Fixed bug when setting a pixmap on a menu entry which has a submenu, the submenu would disappear.
* COM wizard: Time library was not included which lead to problems if a COM component used the DATE_TIME data type.
* Fixed a bug in the check if local assemblies are present.
* Fixed some problems with sub clusters of overrides.
* Interpolate environment variables also in metadata cache path specified on the command line.

===User changes===
* EXECUTION_ENVIRONMENT.get will only retrieve environment variable. It won't retrieve a value from the registry key on Windows (from HKLM\Software\ISE\Eiffelxx\app_name). This also means that MELT_PATH on Windows cannot be set in registry; this is not really a problem since now you do not need to set it since the W_code knows where to find it.

===Developer changes===
* cli_debugger is now under framework, and the corresponding clib has to be compiled.
* New delivery scripts on unix will now compress packages using bzip2 as they are about 30% smaller than the packages build with gzip.
* The eifinit/studio folder has now been moved into studio/eifinit
* build has been renamed into esbuilder
* vision2_tour has been renamed into vision2_demo
* Possibility to build a delivery which fits into the unix directory layout.

ProposalLibraryDependencies

2006-11-13T21:44:23Z

Patrickr:

[[Category:EiffelStudio]]
[[Category:Configuration]]
= Problem =
Almost every Eiffel library has dependencies on other Eiffel libraries, at the moment those dependencies are specified by using a hard coded file location or expecting the library to be under $ISE_LIBRARY. This solution is not optimal for several reasons: It does not allow flexible installation of additional libraries if the user does not have write permissions in the $ISE_LIBRARY directory, it does not allow to have different, incompatible versions of a library installed at the same time.

= Proposal =
== Library creation ==
A library gets a unique name and a version number.

== Library usage ==
Instead of specifying the configuration file of the library, the name of the library and (optionally) a min/max version are specified.

== Implementation ==
A repository would map the name, version numbers to actual configuration files. Initially this could be implemented by giving a list of directories to search for libraries, later a possibility to get libraries from an online repository could be added (similar to the Debian apt system).

=== Versioning ===
As it should be possible for a library author to differentiate between bugfixes that don't change the library interface and interface changes, the version numbers should be used similar to the way it is done with shared libraries in the Unix world. The version number consists of four components: major.minor.release.build as long as major.minor version is equal, the library is expected to have the same interface and a newer version would replace an older version. If major.minor version would change this would lead to an additional available version.

== Example ==
'''library com.eiffel.base version 5.7.1.1'''

'''library com.eiffel.wel version 2.1.2.3'''
*com.eiffel.base min_version=5.7 max_version=5.7

'''library com.eiffel.vision2 version 2.5.3.1'''
*com.eiffel.base min_version=6.0 max_version=6.0
*com.eiffel.wel min_version=2.5 max_version=2.5

Installing com.eiffel.base version 5.7.2.1 would replace 5.7.1.1, installing 6.1.1.1 would just additionally install the new version.

ProposalLibraryDependencies

2006-11-13T20:24:38Z

Patrickr:

= Problem =
Almost every Eiffel library has dependencies on other Eiffel libraries, at the moment those dependencies are specified by using a hard coded file location or expecting the library to be under $ISE_LIBRARY. This solution is not optimal for several reasons: It does not allow flexible installation of additional libraries if the user does not have write permissions in the $ISE_LIBRARY directory, it does not allow to have different, incompatible versions of a library installed at the same time.

= Proposal =
== Library creation ==
A library gets a unique name and a version number.

== Library usage ==
Instead of specifying the configuration file of the library, the name of the library and (optionally) a min/max version are specified.

== Implementation ==
A repository would map the name, version numbers to actual configuration files. Initially this could be implemented by giving a list of directories to search for libraries, later a possibility to get libraries from an online repository could be added (similar to the Debian apt system).

Talk:EiffelStudio Internationalization

2006-11-13T16:13:41Z

Patrickr:

Talk:EiffelStudio Internationalization

2006-11-13T16:13:30Z

Patrickr:

'''--[[User:Patrickr|Patrickr]] 17:31, 9 November 2006 (CET)'''

The location for the mo files should be setup in the environment library, on Unix those files go under
/usr/share/locale

e.g.
/usr/share/locale/en/LC_MESSAGES/eiffelstudio.mo
/usr/share/locale/de/LC_MESSAGES/eiffelstudio.mo
/usr/share/locale/de_CH/LC_MESSAGES/eiffelstudio.mo

'''--[[User:Juliant|Juliant]] 19:53, 10 November 2006 (CET)'''

Is it really necessary that the language can be changed while running EiffelStudio? I would say this is set once (even during installation). It wouldn't be a problem to just restart EiffelStudio.

'''--[[User:Ted|Ted]] 03:20, 13 November 2006 (CET)'''
<pre>
What are the advantages of putting mo files under /usr/share/locale? mo files are not shared between applications and normally users do not need to change mo files.
All mo files are put in ES installation directory, we only need to store the locale id as a preference.
More over, mo files are implemented to be accepted by the library only with names of locale id.
</pre>
<pre>
We need to decide whether the language can be switched at runtime. Of course, not doing this as most applications definitely reduces a lot of time.
</pre>

'''--[[User:Patrickr|Patrickr]] 17:13, 13 November 2006 (CET)'''
On Unix there are rules where which part of an application belongs to. Standardising this locations makes various things easier.

Talk:EiffelStudio Internationalization

2006-11-10T19:14:15Z

Patrickr:

EiffelStudio 6.0 Releases

2006-11-10T16:35:11Z

Patrickr: /* Bug fixes */

[[Category:Releases]]__NOTOC__{{ReleaseHistoryHeader}}

= EiffelStudio 6.0.x Releases=
==6.0.x==
Placeholder for new stuff since last intermediate release.
===New features===
* Project settings such as arguments/working directory/location are now stored in a user specific location that does not depend on the UUID of the project, but on its path.
* Possibility for "hidden/implementation" clusters in libraries, clusters that are not accessible if the library is used (like libraries in libraries are not accessible).
* Don't do an expensive degree 6 when we freeze or finalize.
* Newly added clusters are recursive by default.
* Favorites are now stored in the user settings.
* Warning if an environment variable has changed and opportunity to (temporarily) use the old, stored value
* Trigger a full configuration rebuild if environment variables have changed
* Added configurable (project to class-level) optimization for .NET project that will mark all classes frozen if they are not descended by another.
* Add assemblies dialog shows more assembly information.
* Some diagram generation for assemblies
* Display documentation for .NET Framework assemblies on .NET 2.0
* Display features tree for .NET classes.
* Display uncompiled .NET classes.
* New Debugging options dialog (to set the arguments and other)
* Now we can pass modified environment variables to the debuggee application.
* Externals (includes, objects, resources, ...) can now be relative to the ecf file by using the new replacement $ECF_CONFIG_PATH.
* UUID is not needed for non library systems. If no uuid is specified a random one will be generated. (Startup dialog may not work correct if the config has not been saved with the random generated uuid)
* Integers can now also be specified with binary and octal representation
* Manifest characters can now also be specified with binary, octal and hexadecimal representation. Manifest characters can be specified up to 32 Bit.
* New contextual menu on breakpoints tool for multiple action on class (enable first bp on all features ...)
* Only expand the currently used target in the project settings.
* Changed version of configuration format to 1.1.0
* Only print warnings for unknown attributes and tags if we detect an unknown version (try to be upward compatible).
* Speed up consumer cache synchronization so working with large .NET caches or large assembly sets is much faster.
* Debugger: now it is possible to restart the debuggee without unraising and raising again the debugger's interface
* Debugger tools: now we keep the layout for each watch tool in preferences.
* Custom conditions now also take environment variables into account.
* Display unsubstitued path to cluster/assembly/library if a file/directory open error occurs.
* Added a cancel button in the dialog of the automatic precompilation to cancel the precompilation.
* COM Wizard: EiffelStudio button is enabled also if the Eiffel compilation fails.

===Feature removed===
===Bug fixes===
* Don't do an expensive degree 6 if assertion level or similar project settings have changed.
* Decreased amount of created GDI objects on windows in some grids.
* Fixed a problem with externals in the project settings.
* Fixed viewpoint handling for assemblies
* Fixed output to file redirection in the process library on windows.
* Fixed samples that would not compile.
* Fixed a crash if a library without an UUID is used.
* Fixed a problem that classes that were not visible before did not get compiled when they were made visible.
* Fixed CECIL name if there is a renaming specified in the visible clause.
* Fixed VTCT error was not detected if a prefix/renaming changed on an assembly or library.
* Vision2: Fixed bug when setting a pixmap on a menu entry which has a submenu, the submenu would disappear.
* COM wizard: Time library was not included which lead to problems if a COM component used the DATE_TIME data type.
* Fixed a bug in the check if local assemblies are present.
* Fixed some problems with sub clusters of overrides.
* Interpolate environment variables also in metadata cache path specified on the command line.

===User changes===
* EXECUTION_ENVIRONMENT.get will only retrieve environment variable. It won't retrieve a value from the registry key on Windows (from HKLM\Software\ISE\Eiffelxx\app_name). This also means that MELT_PATH on Windows cannot be set in registry; this is not really a problem since now you do not need to set it since the W_code knows where to find it.

===Developer changes===
* cli_debugger is now under framework, and the corresponding clib has to be compiled.
* New delivery scripts on unix will now compress packages using bzip2 as they are about 30% smaller than the packages build with gzip.
* The eifinit/studio folder has now been moved into studio/eifinit
* build has been renamed into esbuilder
* vision2_tour has been renamed into vision2_demo

ConfigurationGuiLibrary

2006-11-09T20:43:33Z

Patrickr:

[[Category:Configuration]]
=Usage=
==Configuration Window==
The normal way to use the configuration gui library is to create an instance of CONFIGURATION_WINDOW which provides the project settings dialog from EiffelStudio.
==Property Grid==
It is also possible to use display a property grid with the settings for a target, class, cluster. To do this inherit from GROUP_PROPERTIES or TARGET_PROPERTIES which provide features to add properties of a group, target to a PROPERTY_GRID.

See for example https://eiffelsoftware.origo.ethz.ch/svn/es/trunk/Src/Eiffel/interface/new_graphical/tools/eb_properties_tool.e

ConfigurationCompilerLibrary

2006-11-09T20:35:18Z

Patrickr: /* rebuild */

[[Category:Configuration]]
*if config file changed
**if configuration group equivalent with old (no changes of the cluster/library/assembly/override structure)
***set options
***check modified
**else
***rebuild
*else
**check modified

*if error like class not found that could be solved by rebuild
**rebuild

=== set options ===
{{Class|CONF_RECOMPUTE_OPTIONS}}

Set the options from the newly parsed configuration to the old configuration system.

=== check modified ===
{{Class|CONF_MODIFIED_VISITOR}}

Check for compiled classes that have been modified. In addition, check for classes added in override clusters and renamed classes which forces a rebuild.

=== rebuild ===
{{Class|CONF_BUILD_VISITOR}}
Build or rebuild the whole information, if possible try to reuse class objects from the old configuration system.

{{Class|CONF_CONSUMER_MANAGER}}
Is created and called by {{Class|CONF_BUILD_VISITOR}} and deals with (re)building/(re)consuming types of assemblies.
Assemblies are only partially consumed and if types of an assembly are actually used they are later fully consumed in degree 5 which calls the CONF_CONSUMER_MANAGER again.

ConfigurationParserLibrary

2006-11-09T20:22:21Z

Patrickr: /* Retrieval and Storage */

[[Category:Configuration]]
== General==
The basic layout of a configuration system is a system that has multiple targets (which may inherit from each other), every target can have some libraries, assemblies override clusters and normal clusters. Clusters can have sub clusters.
[[Image:Config_basic_layout.png|||none]]
=== CONF_SYSTEM ===
Every configuration file describes one CONF_SYSTEM and has one or more CONF_TARGET associated. Normally a CONF_SYSTEM object is generated by parsing a configuration file with CONF_LOAD.

==== Implementation ====
Every CONF_SYSTEM has an associated UUID. If there is no UUID specified in the configuration file a random one will be generated when the file is loaded. If a system is used as a library the UUID has to be specified in the configuration file as this is used to detect multiple usage of the same library.

=== CONF_TARGET ===
The target is the basic block that an application or a library is built of. A target can extend another target. If a system can be used as a library, one target has to be specified as the library target.

==== Implementation ====
In a fully parsed system, every CONF_SYSTEM has the application_target set. This is the back link in libraries to the target that represents the application.

One thing to take into account when extending another target is, that only classes in clusters/libraries in a target can be reached.
e.g.

*target common
**cluster a
*target special extends common
**cluster b

If we compile target special, classes in b can use classes in a but classes in a can not use classes in b as this is not in the scope of a.

=== CONF_LIBRARY ===
A CONF_LIBRARY node describes the use of a library in an application or another library. Once the configuration has been fully parsed it has a library target. All CONF_LIBRARY nodes for one library point to the same library_target.

=== CONF_ASSEMBLY ===
A CONF_ASSEMBLY is very similar to a CONF_LIBRARY. Instead of a library_target there is a CONF_PHYSICAL_ASSEMBLY that all references to the same assembly share.

=== CONF_CLUSTER ===
A CONF_CLUSTER represents a cluster that has actual classes in it.

=== CONF_OVERRIDE ===
An override cluster is a normal cluster with the special thing, that classes in here with the same name than other classes override classes in the other cluster.

=== CONF_ACCESS ===
For a class to be able to modify a configuration it needs to inherit from CONF_ACCESS.

== Retrieval and Storage ==
Loading a configuration from a file.
<code>[eiffel,n]
load_configuration (a_file: STRING) is
-- Load configuration file `a_file'.
require
a_file_ok: a_file /= Void and then not a_file.is_empty
local
l_loader: CONF_LOAD
do
create l_loader.make (create {CONF_PARSE_FACTORY})
l_loader.retrieve_configuration (a_file)
if l_loader.is_error then
display_error (l_loader.last_error)
else
system := l_loader.last_system
end
end
</code>
Storing a configuration to a file.
<code>[eiffel,n]
store_configuration (a_system: CONF_SYSTEM) is
-- Store `a_system' to its configuration file.
require
a_system_ok: a_system /= Void
do
a_system.store
if not a_system.store_successful then
display_error ("Could not store system in " + a_system.file_name)
end
end
</code>
Importing an ACE file.
<code>[eiffel,n]
import_ace (a_file: STRING) is
-- Load configuration file `a_file'.
require
a_file_ok: a_file /= Void and then not a_file.is_empty
local
l_loader: CONF_LOAD_LACE
do
create l_loader.make (create {CONF_PARSE_FACTORY}, "ecf")
l_loader.retrieve_configuration (a_file)
if l_loader.is_error then
display_error (l_loader.last_error)
else
system := l_loader.last_system
end
end
</code>

ConfigurationParserLibrary

2006-11-09T20:22:12Z

Patrickr: /* Retrieval and Storage */

[[Category:Configuration]]
== General==
The basic layout of a configuration system is a system that has multiple targets (which may inherit from each other), every target can have some libraries, assemblies override clusters and normal clusters. Clusters can have sub clusters.
[[Image:Config_basic_layout.png|||none]]
=== CONF_SYSTEM ===
Every configuration file describes one CONF_SYSTEM and has one or more CONF_TARGET associated. Normally a CONF_SYSTEM object is generated by parsing a configuration file with CONF_LOAD.

==== Implementation ====
Every CONF_SYSTEM has an associated UUID. If there is no UUID specified in the configuration file a random one will be generated when the file is loaded. If a system is used as a library the UUID has to be specified in the configuration file as this is used to detect multiple usage of the same library.

=== CONF_TARGET ===
The target is the basic block that an application or a library is built of. A target can extend another target. If a system can be used as a library, one target has to be specified as the library target.

==== Implementation ====
In a fully parsed system, every CONF_SYSTEM has the application_target set. This is the back link in libraries to the target that represents the application.

One thing to take into account when extending another target is, that only classes in clusters/libraries in a target can be reached.
e.g.

*target common
**cluster a
*target special extends common
**cluster b

If we compile target special, classes in b can use classes in a but classes in a can not use classes in b as this is not in the scope of a.

=== CONF_LIBRARY ===
A CONF_LIBRARY node describes the use of a library in an application or another library. Once the configuration has been fully parsed it has a library target. All CONF_LIBRARY nodes for one library point to the same library_target.

=== CONF_ASSEMBLY ===
A CONF_ASSEMBLY is very similar to a CONF_LIBRARY. Instead of a library_target there is a CONF_PHYSICAL_ASSEMBLY that all references to the same assembly share.

=== CONF_CLUSTER ===
A CONF_CLUSTER represents a cluster that has actual classes in it.

=== CONF_OVERRIDE ===
An override cluster is a normal cluster with the special thing, that classes in here with the same name than other classes override classes in the other cluster.

=== CONF_ACCESS ===
For a class to be able to modify a configuration it needs to inherit from CONF_ACCESS.

== Retrieval and Storage ==
Loading a configuration from a file.
<code>[eiffel,n]
load_configuration (a_file: STRING) is
-- Load configuration file `a_file'.
require
a_file_ok: a_file /= Void and then not a_file.is_empty
local
l_loader: CONF_LOAD
do
create l_loader.make (create {CONF_PARSE_FACTORY})
l_loader.retrieve_configuration (a_file)
if l_loader.is_error then
display_error (l_loader.last_error)
else
system := l_loader.last_system
end
end
</code>
Storing a configuration to a file.
<code>[eiffel,n]
store_configuration (a_system: CONF_SYSTEM) is
-- Store `a_system' to its configuration file.
require
a_system_ok: a_system /= Void
do
a_system.store
if not a_system.store_successful then
display_error ("Could not store system in " + a_system.file_name)
end
end
</code>
Importing a ACE file.
<code>[eiffel,n]
import_ace (a_file: STRING) is
-- Load configuration file `a_file'.
require
a_file_ok: a_file /= Void and then not a_file.is_empty
local
l_loader: CONF_LOAD_LACE
do
create l_loader.make (create {CONF_PARSE_FACTORY}, "ecf")
l_loader.retrieve_configuration (a_file)
if l_loader.is_error then
display_error (l_loader.last_error)
else
system := l_loader.last_system
end
end
</code>

ConfigurationParserLibrary

2006-11-09T20:18:20Z

Patrickr:

ConfigurationGuiLibrary

2006-11-09T19:50:34Z

Patrickr:

[[Category:Configuration]]
The normal way to use the configuration gui library is to create an instance of CONFIGURATION_WINDOW which provides the project settings dialog from EiffelStudio.

Talk:ProposalConfigurationDiscovery

2006-11-09T19:42:39Z

Patrickr:

'''--[[User:Patrickr|Patrickr]] 02:53, 14 September 2006 (CEST)'''

Maybe we could think of libraries more like "plugins" for eiffelstudio (and maybe at a later point there could even be plugins).
I could imagine a dialog where I could select the libraries to download (and this would also handle dependencies).

Points to think about I see are: dependency handling, nameing schema (for dependency handling), version handling (problems like library a needs version < 2 of b and library c needs version > 2 of b)

In general it may make sense to have a look at how others have solved this problems (e.g. plugin system in eclipse, apt system in debian, ...)

'''--[[User:Paco|Paco]] 10:08, 17 September 2006 (CEST)'''

I would very much like to see an application that is independent of Eiffel
Studio that could handle installation of Eiffel libraries and components, and
also depenedencies between libraries and components. I think that looking at
other "package" handlers like APT is a very good start. Maybe apt could be used
"as is" but with little tweaks.

It is important that the application is independent of Eiffel Studio in the
sense that it can be upgraded independently of Eiffel Studio. In general it
would be good if the application is independent of Eiffel Studio, but at the
same time that it can easily be started/called from within Eiffel Studio.

Some general requirements are:

* Ability to have multiple versions of a given library/component installed. This is useful both for people who are working in different projects using different library/component versions and when upgrading from one library/component version to another.

* Eiffel Studio itself should be regarded as any other library/component as regards dependencies. Eg: "requires EiffelStudio 5.7|6.0".

* A reference implementation of the application should be done as a command line program so that it is scriptable.

* It would be very nice if the application also could handle CVS/Subversion checkouts/updates for a given library/component (relying of course on the standard CVS/Subversion command line tools).

A requirement on ace/ecf files is that it must be easy to switch between different versions of a given library/component. Ace/ecf files should also explicitly list which version of each library/component the system should be compiled against.

'''--[[User:Patrickr|Patrickr]] 20:42, 9 November 2006 (CET)'''

I think it would make sense to have the actual location of a configuration (local, FTP, HTTP, ...) independent from the specification in a library. I could imagine a system like the APT system on Debian, where for the library just a name is used and at another location the possible places for libraries is specified.

Talk:ProposalConfigurationDiscovery

2006-11-09T19:42:12Z

Patrickr: Location independence

'''--[[User:Patrickr|Patrickr]] 02:53, 14 September 2006 (CEST)'''

Maybe we could think of libraries more like "plugins" for eiffelstudio (and maybe at a later point there could even be plugins).
I could imagine a dialog where I could select the libraries to download (and this would also handle dependencies).

Points to think about I see are: dependency handling, nameing schema (for dependency handling), version handling (problems like library a needs version < 2 of b and library c needs version > 2 of b)

In general it may make sense to have a look at how others have solved this problems (e.g. plugin system in eclipse, apt system in debian, ...)

'''--[[User:Paco|Paco]] 10:08, 17 September 2006 (CEST)'''

I would very much like to see an application that is independent of Eiffel
Studio that could handle installation of Eiffel libraries and components, and
also depenedencies between libraries and components. I think that looking at
other "package" handlers like APT is a very good start. Maybe apt could be used
"as is" but with little tweaks.

It is important that the application is independent of Eiffel Studio in the
sense that it can be upgraded independently of Eiffel Studio. In general it
would be good if the application is independent of Eiffel Studio, but at the
same time that it can easily be started/called from within Eiffel Studio.

Some general requirements are:

* Ability to have multiple versions of a given library/component installed. This is useful both for people who are working in different projects using different library/component versions and when upgrading from one library/component version to another.

* Eiffel Studio itself should be regarded as any other library/component as regards dependencies. Eg: "requires EiffelStudio 5.7|6.0".

* A reference implementation of the application should be done as a command line program so that it is scriptable.

* It would be very nice if the application also could handle CVS/Subversion checkouts/updates for a given library/component (relying of course on the standard CVS/Subversion command line tools).

A requirement on ace/ecf files is that it must be easy to switch between different versions of a given library/component. Ace/ecf files should also explicitly list which version of each library/component the system should be compiled against.

== Location independence ==

I think it would make sense to have the actual location of a configuration (local, FTP, HTTP, ...) independent from the specification in a library. I could imagine a system like the APT system on Debian, where for the library just a name is used and at another location the possible places for libraries is specified.

ProposalConfigurationDiscovery

2006-11-09T19:39:46Z

Patrickr: ConfigurationDiscovery moved to ProposalConfigurationDiscovery

[[Category:EiffelStudio]]
[[Category:Configuration]]
The idea behind configuration discovery is to make it easier to package a library or an application for free access through the web. In other words, having a website which collects libraries and their configuration file and from which users can select a library and it gets automatically used by the compiler.

==How==
Instead of having a location which is a path to a project configuration file on your file system you have a path to a URL (either ftp or HTTP). Then the compiler reads the configuration file and install all the needed files on your machine in a user defined directory (for caching purpose). Once it is done the compilation proceeds as usual.

This will result into the following advantages:
* Easy to install libraries: no complicated setup, no environment variable required
* If library comes with some C code, C code gets compiled.
* Track dependency automatically

==Issues==
* If a package requires a set of shared library, it is not straightforward to specify. For example EiffelVision2 on Unix requires GTK 2.4+ to be available; EiffelMedia requires SDL...

Talk:ProposalConfigurationDiscovery

2006-11-09T19:39:46Z

Patrickr: Talk:ConfigurationDiscovery moved to Talk:ProposalConfigurationDiscovery

ConfigurationDiscovery

2006-11-09T19:39:46Z

Patrickr: ConfigurationDiscovery moved to ProposalConfigurationDiscovery

#REDIRECT [[ProposalConfigurationDiscovery]]

Talk:ConfigurationDiscovery

2006-11-09T19:39:46Z

Patrickr: Talk:ConfigurationDiscovery moved to Talk:ProposalConfigurationDiscovery

#REDIRECT [[Talk:ProposalConfigurationDiscovery]]

Talk:ProposalConfigurationDiscovery

2006-11-09T19:38:53Z

Patrickr: Talk:Configuration Discovery moved to Talk:ConfigurationDiscovery

Configuration Discovery

2006-11-09T19:38:53Z

Patrickr: Configuration Discovery moved to ConfigurationDiscovery

#REDIRECT [[ConfigurationDiscovery]]