| Online Eiffel Documentation

EiffelStudio

# Release notes for EiffelStudio 5.3

## Graphical environment

### Changes

- In project settings, we now accept a root class without creation procedure.
- In .NET code generation, we do not force the C compilation at each compilation. It is only done when necessary (for example when a C external has been added).
- Incremental .NET code generation (See compiler release notes for more info).
- Recoverable storable (See compiler release notes for more info).

### Bug fixes

- Fixed issue with setting of arguments. After restarting EiffelStudio the command line argument contains an extra `]' character.
- Fixed issue with working directories where only the first one ever set was used even if new ones have been set afterwards.
- Fixed issue where generating documentation for all/library cluster would stop during generation without completing.
- Fixed crash in diagram tool when moving label on client/supplier link between two classes.
- Fixed resource leak on Windows 98 and Windows Me.
- Fixed issue in projects where clusters are specified with relative path would not compile after adding a local assembly.
- Fixed problem with cluster tool management where moving classes around or looking up a class will generate an error box instead of performing the requested operation.
- Fixed incorrect configuration file specification for EiffelVision2 examples and wizards on Unix platforms where application could be linked dynamically with `libpng' but should not.
- Fixed disappearance of EiffelStudio when debugging a routine `infix' or `prefix' in which an exception was raised. This issue was only occurring with melted code (usually noticeable when using a precompiled library).
- Changing the project specific command line arguments will not touch the project settings configuration file (ace file).

## Compiler

- Click here for the compiler release notes.

## Libraries

### CECIL

- Enforced definition of EIF_OBJECT so that it is different from EIF_REFERENCE to better catch errors when passing a protected reference to a feature accepting an unprotected reference and vice versa. Because of this change some C code might not compile anymore which is good as it points out that code was doing something wrong that could corrupt the Eiffel memory.

### EiffelBase

- Added in INTERNAL the following new features: field_static_type_of_type , class_name_of_type , type_name and type_name_of_type .
- Added truncated_to_integer_64 in REAL and DOUBLE .
- Added to_integer_64 in STRING .
- Added new classes MEMORY_STRUCTURE , MANAGED_POINTER and C_STRING to better manage access to C and C++ memory structure.
- Fixed incorrect implementation of area and substring for STRING in dotnet mode.
- Fixed bug in copy from STRING where following code was violating valid_count invariant from STRING :

      local
      	s, t: STRING
      do
      	create s.make (9)
      	create t.make (10)
      	t.append ("1234567890")
      	s.copy (t)
      end

- Added support for storable in .NET. However .NET and classic implementation are completely different and independent_store will not be able to retrieve a storable file if not made using the same code generation.
- Fixed a bug in is_equal from LIST where comparing two lists of different counts could break the comparison:

      make is
      	local
      		a, b: LIST [INTEGER]
      	do
      		create {ARRAYED_LIST [INTEGER]} a.make (2)
      		a.extend (10)

      		create {ARRAYED_LIST [INTEGER]} b.make (2)
      		b.extend (10)
      		b.extend (11)

      		print (equal (b, a))
      	end

- Fixed .NET implementation of open_write and create_read_write in FILE . They were not resetting the file size to zero if file already existed.
- Added correct_mismatch on ANY used for `recoverable storable'.
- Added correct_mismatch on HASH_TABLE to enable retrieval of the 5.1 and older version of HASH_TABLE.
- Fixed bug in implementation of copy and is_equal for TREE and descendant classes. Now descendants of TREE that would like to compare additional attributes of their class needs to redefine node_is_equal whose default implementation will always result in a true value.
- Changed default semantic of make and put_child from FIXED_TREE, to preserve existing semantic, you should use make_filled and replace_child instead.

### Eiffel2Java

- Updated library so that it works both in classic and dotnet mode.

### EiffelCOM

- Fixed crash in ccom_set_name from FONT_IMPL_PROXY.

### EiffelNet

- Fixed assertion violation of call to to_integer in feature get_content_length from HTTP_PROTOCOL if assertions are enabled on EiffelBase.

### EiffelStore

- Updated library so that it works both in classic and dotnet mode.
- Fixed issue with oracle handle which did not work with the included Borland C compiler.
- Removed nb_classes from EXT_INTERNAL .
- Removed need for additional object file (`support.lib' on Windows and `libsupport.a' on Unix platforms), so make sure to remove it from your project configurations.

### EiffelVision2

- Click here to see list of update and modification to Eiffel Vision2.

### WEL

- Removed inheritance to WEL_STRUCTURE in WEL_STRING, it now inherits from new C_STRING class. In the process removed the following features which were inherited from WEL_STRUCTURE and did not make sense to WEL_STRING memory_copy, structure_size, dispose, set_item, set_shared, set_unshared, shared, to_integer. No replacements have been provided for those features. Made initialize and initialize_with_character obsolete, instead we now provide two features inherited from C_STRING fill_blank and fill_value.

Click here to check out what was new in other versions