EiffelStudio 18.07 is now available!

We are pleased to announce the availability of EiffelStudio 18.07.

Try it right now! All the download sites have been updated.

The highlights are:

• The rules for class features were relaxed. Re-declaration into or joining with a class feature is valid as soon as combined assertions satisfy the class feature conditions. A non-static external and constant feature automatically gets a class post-condition if its contracts do not involve constructs that can access Current object .
• Updated the Eiffel grammar to support bracket expressions as bracket targets (such as table[x][y][z])
• Supports detection of VHPR(5) violations for arbitrary ancestors, not just for immediate parents. This may be a breaking change for classes that inherit different generic derivations of the same class.
• Extended sets of constructs checked by some default rules of the code analyzer and made sure the checks do not trigger false positives.
• The execution parameters can be automatically loaded from the default file saved from a previous execution session (this way, an Eiffel project can have default execution parameters).
• The auto completion behavior got slightly improved and the associated dialog accepts single-clicking behavior.
• It is now possible to extend a project target from a different project (ECF).
• Added detection of a type mismatch between a manifest array and a target of the reattachment where the manifest array is used for projects created before 18.01 release.
• Plus numerous smaller improvements across the environment and the technology.

See the release notes for details.

Happy Eiffeling,

-- The Eiffel Software Team