EiffelStudio / News: Recent posts

6.4 Release Candidate. For backward compatibility issue we are including 2 versions of the libraries. By default it will use the backward compatible version. To use the new library, you have to use the `-experiment' switch. It is possible to create code that compiles against both versions as long as some little changes are brought to the code.

Happy Eiffeling,
The EiffelStudio Team

Development of iPhone applications in Eiffel has been added. Currently it only supports command line applications but graphical application support should be coming soon. The following libraries have been added to the delivery: the dynamic library API wrapper, the encoding library and the internationalization library. Some issues on GTK were fixed. Some runtime bugs related to thread or serialization have been fixed. The precompilation bug on Mac OS X has been fixed.... read more

Description of routines displayed in the completion window is now available. A compiler crash during finalization has been fixed when a deferred query is being implemented as an attribute or a constant. A code generation error when using object test locals has been fixed which caused the object test local to reuse another value in a multidot chain call. Some issues while evaluation the ~ operator in the debugger have been fixed. DATE_TIME_VALUE is now deferred.... read more

Some incrementality problems were fixed when you have a syntax error during a clean compilation of a project. An issue with anchors to argument causing a crash of the compiler was fixed (note that anchors to arguments are obsolete since not part of the ECMA specification). A code generation bug involving object test and creation expression was fixed. A new way to override settings from a library was put in place. ... read more

A few regression in the debugger from last revision has been fixed. A memory corruption in generated code in frozen/finalized mode when an expanded objects contains references to young objects has been fixed. Wrong shortcut installation was fixed in the Windows installer. A crash in EiffelBuild was prevented when opening or sving a project. The process library will now append the output redirection to the end of a file rather than recreating when it already exists.... read more

A backward compatibility option is now supported by the compiler to allow code that is still using `infix/prefix' to compile even though the inherited version if using the new `alias' syntax. New levels of void-safety have been added to help users migrate their code slowly to full void-safety. Some bugs in the debugger were fixed. The missing detection of stack-overflows in a different thread than the root thread has been fixed.... read more

A few issues with thread creations/exits have been fixed. Some issues with runtime queries not working properly in multithreaded mode were fixed. On Windows, a typo was fixed in the template for creation of a shared library. {INTERNAL}.set_reference_field now accepts detachable values. The EiffelStudio editor now supports highlighting of the ~ and /~ operators. The formatter for handling object tests has been fixed since it would crash if no type was provided. Some bugs with exception handling in the interpreter were fixed. An incorrect type computation of entities using Precursor was fixed.... read more

Some issues with the interpreter crashing were fixed. A buffer overflow when displaying the content of an object using {ANY}.out was fixed when the object had a long class name or a long attribute name (i.e. greater than 512 characters). NATURAL_32 values of attributes are now properly displayed in {ANY}.out when the value is greater than 0x7FFFFFFF. A crash when storing or duplicating an expanded objects (via deep_twin) was fixed. EiffelParse is now void-safe. An issue with the formatting of certain classes has been fixed. Handling of object-test locals in the debugger has been improved. ... read more

An issue with IPv4 and IPv6 listening mode for any or loopback address has been fixed on Windows, as well as a security fix since listening on the IPv6 loopback address would also listen on the any address on IPv4. To fix an incompatibility with exception handling as it was done in older version of EiffelStudio, we have added the `cause' of an exception to better find out what triggered it. Detection of Mac OS X platform was added. A stack corruption was fixed when you have a mix of melted and frozen code and an exception is being raised. Performance of encoding in batch mode was dramatically improved, especially for Solaris. ... read more

Display of verbatim strings in formatters has been improved so that you can get roundtrip between code and formatter via copy/paste. Some issues in the runtime with the handling of signals and Solaris specific runtime issues have been fixed. Compiler does not wrongly accept anymore unknown characters in a C external declaration. A code generation issue with creation expression was fixed. Some classes of EiffelBase have been removed from the void-safe variant since making them void-safe would break their original design. ... read more

This release adds the ability to automatically generate tests from source code to the command line compiler. It uses the new syntax for displaying object tests and attached/detachable types. An issue where creating an agent whose return type is a formal generic parameter would crash the compiler was fixed. Evaluation of expressions in the debugger is allowed even if the target of the call is detachable. The project name is now displayed once you open a project (there is no need to wait for the end of the Eiffel compilation).... read more

Some invariant violations were fixed in EiffelBase. Some internal HASH_TABLE lookups which failed when the implementation of HASH_TABLE started to use ~ instead of is_equal were fixed in EiffelStore. Other minor small bug fixes. Internally more of the compiler's code is now using void-safe libraries. The syntax_updater tool is now included in the Unix deliveries.

Happy Eiffeling,
The EiffelStudio Team

Taken into account attachment status of formal generic constraints when checking conformance and detecting VUTA errors when target type is a formal generic (this is a new ECMA feature). Fixed up precedence of the new `attached' operator as previous version could cause some spurious syntax errors. Speed up C compilation of E1 directory under Windows using VS 2005 on 64-bit. Improved speed of errors and warnings when the number reaches more than a thousands errors. Fixed full class checking of inherited binary expression. Enabled proper evaluation in the debugger of equality expression a ~ b. Fixed memory corruption that could occur while accessing elements above the 4GB limits for arrays larger than 4GB in size.... read more

Added support for new syntax of object test, i.e. "attached {T} expression as x" rather than the criptic "{x: T} expression". Allowed two or more object tests to reuse the same local name as specified in ECMA. Minor compiler speed up of about 3%. Fixed an issue with debugger not saving the breakpoints from one session to the next. Fixed some issues with non-conforming inheritance.... read more

Made Eiffel2Java and EiffelWeb void-safe. Improved compiler for attached attribute initialization in creation procedures (we now detect not only by inspecting the top-level instructions, but also the nested complex instructions with several possible execution paths, like conditional instruction, multi-branch, etc.). Fixed an issue with generated test that were too long because minimization failed. Introduced breaking changes in class CELL so that it can be used in both void-safe and non-void-safe mode; users have to remove the use of `default_create' as creation procedure in their code.... read more

Added a 6.3 backward compatibility through the -compat option. This will preserve the default settings which will change in the final 6.4 release. Fixed a memory corruption that occurs when duplicating SPECIAL/TUPLE objects. Fixed an issue where compiler did not report a wrong usage of Precursor. Fixed incorrect typing of agents in void-safe mode.

Happy Eiffeling,
The EiffelStudio Team

Made EiffelLex, Encoding, Process, WEL void-safe. Improved compiler speed and memory/disk footprint during compilation (about 100MB disk saving for a 6000 classes project). Various testing tool improvements. Fixed bug where the editor panel would disappear without the possibility to make it appear again.

Happy Eiffeling,
The EiffelStudio Team

Fixed C retrieval mismatch when storables are created with version 6.1 or older. Fixed Eiffel retrieval mismatch when using attached attributes. Implemented efficient substring operations on immutable strings without duplicating the internal data. Fixed pre/post compilation action so that conditions are properly taken into account. Fixed broken test facilities in the previous 6.4 development versions. Fixed the new EiffelNet library so that it can be used with MinGW and recent versions of the Microsoft SDKs. Fixed iteration routines in ARRAYED_LIST to use the inherited one from ARRAY for better performance.... read more

Major speed up of degree 6 when classes being compiled are not on a local drive. Improved the compiled time catcall checker. Fixed missing call on Void target exception when accessing labels of a TUPLE which is Void. Fixed missing detection of VRFT errors on labels of a TUPLE nested in another TUPLE. Reduced output of batch compiler, to get the old behavior specify the `-behavior' option.

Happy Eiffeling,
The EiffelStudio Team

This is our first intermediate release of 6.4. This version contains small bug fixes on the compiler. The major change is in EiffelBase where we do not use infix/prefix keywords anymore causing some classes inheriting from either NUMERIC or COMPARABLE to not compile anymore. A backward compatibility option will be added in future revisions of EiffelStudio.

Happy Eiffeling,
The EiffelStudio Team

A new major milestone of EiffelStudio is now available for download.

This release brings some new and innovative testing tools to EiffelStudio:
* Tool for managing and running test cases.
* Creation of manual test cases.
* Automatic creation of test cases while debugging a failure.
* Automatic creation of test cases via AutoTest which exercises a class to find all possible failures.

In addition, a few new libraries have been added:
* argument parser library to easily manage command line arguments
* IPv6 support for EiffelNet... read more

This is the Release Candidate of 6.3. It fixes various issues with the .NET debugger which was not working properly so far. It properly implements the generic conformance when using attached types. It fixes an issue with AutoTest on Windows. This is also the first version of EiffelBase which is void-safe thanks to the attached type mechanism.

Happy Eiffeling,
The EiffelStudio Team

Added updated version of the EiffelNet library with IPv6 support.

AutoTest has been integrated to EiffelStudio as part of the testing framework which now includes: unit testing (manual test cases), extracted tests (from failures while debugging under the environment) and autotest (given a class automatically find all possible failures).

Fixed various bugs in the compiler and the debugger.

Happy Eiffeling,
The EiffelStudio Team

Better debugging description when an invariant is violated, we know show the proper stack trace.

Fixed C compilation error when using CECIL on system using gcc 3.4 or greater as the later generated an abort sequence rather than calling a feature.

Reduced likelihood that C code will not compile if compiled in C++ mode in .NET code generation by ensuring that C++ externals are generated in their own file.... read more

Fixed an issue with the Windows installer improperly registering the .NET consumer. Fixed some issues with the .NET code generation when generating code for manifest arrays/tuples or agents. Fixed a bug in SORTED_TWO_WAY_LIST when duplicating it would only duplicate the head not the entire list; this might break descendant code. Fixed a bug in code completion where if you have some comments containing a feature reference it would simply not compile.... read more