The Eiffel Compiler tecomp version 0.22 released

Helmut <helmut.brandl@gmx.net>
Mon, 26 Apr 2010 18:02:09 -0700 (PDT)

          From comp.compilers

Related articles
The Eiffel Compiler tecomp version 0.22 released helmut.brandl@gmx.net (Helmut) (2010-04-26)
| List of all articles for this month |

From: Helmut <helmut.brandl@gmx.net>
Newsgroups: comp.compilers
Date: Mon, 26 Apr 2010 18:02:09 -0700 (PDT)
Organization: Compilers Central
Keywords: Eiffel, available
Posted-Date: 28 Apr 2010 00:35:27 EDT

documentation http://tecomp.sourceforge.net
download http://www.sourceforge.net/projects/tecomp


== New features ==


- inherited contracts implemented (effective classes can inherit
    the pre- and postconditions from its abstract/deferred parent).


- assertion monitoring can be set for specific classes
    individually


- ABSTRACT_SEQUENCE introduced and used as an ancestor of SPECIAL


- Precursor construct implemented


- Monitoring of supplier preconditions possible:


    > This feature is important if well tested and proven libraries
    are used. In that case, assertion monitoring is normally
    switched off for the library. But if a class using that library
    is in a cluster with monitoring on (i.e. assertions(all)), then
    preconditions of called routines of the library are still
    checked.


== Bugfixes ==


- Wrong line numbers were printed if unqualified calls are not
    unique because of replication.


- Crash, if a replicated feature has been redeclared in the current
class.



Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.