EiffelStudio

Eiffel Software offers development tools that make a concrete and immediate difference in how companies produce software.

The company's flagship product, EiffelStudio, is available under Dual Licensing: choose between Open Source and commercial.

While Eiffel is widely regarded as the best language for creating fast, robust, scalable applications, EiffelStudioTM is the only tool for realizing the full power of the Eiffel Development FrameworkTM.

EiffelStudio is more than just an IDE.

Imagine being able to model your system as you think - capturing your requirements and your thought processes in Eiffel. Then, when you are ready to Design, you build upon the model you just created, still in Eiffel. And then you implement, in Eiffel. You never need to throw anything out and start over. You don't need extra tools to be able to go back and make changes in architecture safely. Roundtrip engineering? It's built in by design. Testing, metrics and productivity tools? They're built in.

And debugging? Eiffel's native Design by ContractTM prevents 90% of the bugs from ever occurring in the first place - and what bugs remain are easily traced and repaired, typically within ten minutes.

If you have multiple platforms to consolidate, reconcile or communicate with, no problem. Eiffel runs on Windows, Unix, Linux, embedded, and even VMS systems. You can create an application in Eiffel (even importing your existing applications as a starting point), and then migrate it to any other platform Eiffel compiles to.

What is new in this release:

• This release candidate for EiffelStudio 6.8 which includes the following new features: SCOOP (Simple Concurrent Object-Oriented Programming technology), the ability to attach a running process to the EiffelStudio debugger, an improved EiffelStore library and MySQL handle, and various compiler and EiffelStudio bugfixes.

What is new in version 13.11.9.3542:

• New features:
• compiler: Supported parenthesis aliases that allow treating feature calls with arguments on entities that take no arguments to look as regular feature calls. This is mostly useful to make calls on agent objects, e.g. instead of my_agent.call (x) it may be possible to use my_agent (x). Unlike bracket alias, parenthesis alias can be used with both queries and commands, but as with bracket alias, the corresponding feature should have at least one argument.
• compiler: Supported new rules to handle actual arguments in a feature call that wrap last arguments into a tuple when: the number of actual arguments exceeds the number of formal arguments or when the number of actual arguments is equal to the number of formal arguments, but the last actual argument is not type-compatible with the last formal argument unless wrapped in a tuple. This is mostly useful to make calls on agent objects avoiding explicit manifest tuple notation. For example, my_agent.call ([123, "abc", value]) can be written as my_agent.call (123, "abc", value), or, when combined with parenthesis alias, as my_agent (123, "abc", value).
• compiler: Supported conditional expressions that allow using different expressions to compute a value depending on some condition: if x < y and x < z then x elseif y < z then y else z end.
• compiler: ecf redirection support -> provide a way to create redirection from a .ecf to another (similar to link)
• Improvements:
• library: Added parenthesis aliases for PROCEDURE.call and FUNCTION.item so that the calls to agents foo.call (1, 2, 3) and x := bar.item ("qux") can be replaced with foo (1, 2, 3) and x := bar ("qux").
• library: Added void-safe version of Gobo, only arguments, test, tools and XML are not yet void-safe.
• Bug fixes:
• compiler: bug#18266 (test#svalid031) - Fixed a bug that caused reporting a non-existent error for a renamed feature with a bracket alias.
• compiler: bug#18282 (test#multicon062) - Fixed a bug that caused incorrect error report for features with a bracket alias specified in multiple formal generic constraints.
• compiler: test#attach108 - Corrected computation of scopes of read-only variables used in implicative expressions with conjuctions.

What is new in version 7.1.8.8986:

• This version adds a new Eiffel Web framework, improves the SCOOP implementation to allow more running processors, adds support for GTK 3.4 and its HTML5 backend, improves the Eiffel Information System tool, and adds various bugfixes and improvements.

What is new in version 7.0.8.8074:

• This version contains major improvements in the areas of concurrency (via the SCOOP technology) and void-safety by making it easier to migrate to void-safe code.
• In addition, it has many small improvements to make EiffelStudio easy to use includes more and more external contributions.

What is new in version 6.7.8.5049:

• This release solves some incrementality issues when using the testing facilities.
• Some display issues with the new across construct were solved.

What is new in version 6.6.8.2636:

• New features:
• base Added support for correct mismatch in the SED serialization cluster.
• Improvements:
• runtime When twinning a SPECIAL instance where `capacity' is much higher than its `count' the new copy will have its `capacity' set to `count'.
• studio added new Error List tool preference "tools.error_list.show_tooltip", so end users can specify if rich tooltip window should be shown automatically in the Error List tool.
• Feature removed
• Bug fixes:
• compiler Fixed bug#16545 when compiler did not detect that a new file does not contain an expected class after referencing it in a system (see test#incr340).
• compiler Fixed several recompilation bugs (bug#16546, bug#16547, bug#16553) for cases when a feature with assertions is removed from a parent class while a child class remains unchanged (see test#incr341, test#incr342, test#incr343).
• studio Fixed bug#15788 (bug#16209, bug#16278) Error tooltip flashing when mouse outside of EiffelStudio
• studio Fixed bug#16543 Searching in feature Implementers or Descendants does not scroll to show match
• compiler Fixed recompilation bugs (bug#14525, bug#16052) that caused compiler crash or incorrect error message when checking inherited code of a client that refers to a feature that is (re)moved (see test#incr293, test#incr338).
• User changes:
• studio The experimental mode is now gone, it has become the default. To have access to the default mode of 6.5, one has to use the compatible version.

What is new in version 6.5.8.524:

• The EiffelBase extension library was added to the EiffelStudio delivery.
• This library provides a new class SEARCH_TABLE, which is a set where items are HASHABLE, and some new sorting facilities for descendants of INDEXABLE.
• A few issues with PART_SORTED_SET and BINARY_SEARCH_TREE_SET were fixed.
• Various EiffelStudio bugs were fixed. 'clear_all' in STRING classes and HASH_TABLE has been made obsolete in favor of 'wipe_out'.
• A behavior change in STRING.resize was done to prevent calling 'resize' with a smaller size.

What is new in version 6.4.7.9263:

• 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.

What is new in version 6.4.7.8984:

• 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.

What is new in version 6.4.7.8382:

• Bug fixes:
• debugger: fixed recently introduced bug#15610: Feature call on void target in {DBG_EXPRESSION_EVALUATOR_B}.is_boolean_expression in EiffelStudio.
• debugger: fixed bug#15669 Feature call on void target in {AST_DEBUGGER_BREAKABLE_STRATEGY}.initialize_current_context
• debugger: improved support for object test locals
• runtime: Fixed a non-detection of stack overflow in a multithreaded application on Linux.
• User changes:
• compiler: Incremented ECF XML schema version to reflect the recent changes.
• compiler: Replaced ECF schema attribute syntax_level of an integer type with syntax of a string type that contains one of the three possible values.
• compiler: Replaced ECF schema attribute is_void_safe of a boolean type with void_safety of a string type that contains one of the three possible values (none - no void safety checks, all - all void safety checks, initialization - on-demand void safety checks, i.e. only for entities that are attached).
• compiler: Application options are applied after applying options specified in the library when option Use application options is set to true.
• compiler: Added compatibility for recognizing code using `infix/prefix' instead of `alias'.

Requirements:

• gtk+