EiffelStudio 14.05 now available!

by Emmanuel Stapf (modified: 2014 Jun 06)

We are pleased to announce the availability of EiffelStudio 14.05. It can be downloaded at http://www.eiffel.com/downloads.

The release notes are available at https://docs.eiffel.com/book/eiffelstudio/release-notes-eiffelstudio-1405

The major two highlights of this release are:

  • Eiffel Inspector
  • Automatic Fixing

We are quite excited about the Eiffel Inspector. It is a static analysis tool that will analyze your code to detect potential programming mistake or provide some recommendations. To give you an idea of what it is capable of, here is an example. Assume that you write the following code:

set_x (a_x: INTEGER) do x := x end

From the Eiffel compiler's point of view, everything is ok. From the Eiffel Inspector's point of view this is a CA001 warning. In this particular case, it is obvious that the original author meant:

set_x (a_x: INTEGER) do x := a_x end

The second new major addition is Automatic Fixing. As its name indicates it will automatically fix some compiler warnings or errors. At the moment, only two fixes are available:

  • Unused local warning
  • Untyped local

For unused locals, select all the warnings reported by EiffelStudio and simply press the Fix button. All the unused locals are now gone.

For untyped local, the compiler will actually try to figure out the proper type and suggest it as a fix. Have a look at the video from Alexander Kogtenkov on the Eiffel channel on YouTube to see it in action.

Finally, we are expanding our platforms by adding support for the Raspberry Pi board.

Happy Eiffeling!

On behalf of the Eiffel Software Team