EiffelStudio 18.01 is now available!

We are pleased to announce the availability of EiffelStudio 18.01.

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

The highlights are:

• You can now declare an array with an explicit type, for example {ARRAY [FIGURE]} << a_circle, a_rectangle>>.
• You now have access to a considerably extended form of "non-object call". A non-object call does not need an object – just a class, as in {CLASS_NAME}.feature_name. So far there were strict limits on feature_name – basically, it had to be a constant, as in {MATH_CONSTANTS}.Pi, or an external (non-Eiffel) routine, which by default does not need an instance (an object). Now it is possible to use any "instance-free feature", where "instance-free" means that it does not access the state, in particular any non-constant attribute (if it did, of course, it would need an object) and is marked as instance-free by having a postcondition clause that reads just class (meaning that it is a "class feature", relative to the class, not objects).
• In EiffelStudio you have access to a range of new menu entries and tool-bar buttons to launch code analysis on a class (from the active editor), on a previously analyzed item, on a parent cluster of a selected item, on a currently selected target. The results of the analysis go to the error list similar to compilation results.
• If you who occasionally need to work from a command line, for example to run projects from a script, you can use a new command line-tool, simply called "eiffel", to build and launch Eiffel projects directly, in a single step, using the project.ecf file.
• Plus numerous smaller improvements across the environment and the technology.

See the release notes for details.

Happy Eiffeling,

-- The Eiffel Software Team