The Eiffel Compiler tecomp version 0.21 released.
Helmut
download http://www.sourceforge.net/projects/tecomp
== New features ==
- HASHABLE available in library/kernel
- all INTEGERs, NATURALs and STRINGs are HASHABLE
- INTEGER_GENERAL available in library/kernel which is a common
ancestor to all INTEGER_xx and NATURAL_xx classes
- Constraint creators implemented, i.e. class CG[G->CONSTRAINT
create cp1, cp2, ... end] now possible. A formal generic with
"G -> CONSTRAINT create default_create end" is self
initializing.
- New syntax for object test available (replaces the old syntax
{var:T} expr)
- attached expr
- attached {T} expr
- attached expr as var
- attached {T} expr as var
- check attached expr as var then var.some_feature end
- ARRAY and SPECIAL now completely void safe (features which are
not void safe like make(lower, upper), force etc. removed).
- ARRAY does automatic resize in extend_rear and extend_front
== Bugfixes ==
- Tecomp did not work well on SPARC machines due to an alignment
bug.
- Formal arguments and local variables are not allowed to shadow
attributes. This rule is valid in the defining class only. A
descendant can introduce attributes with the same name as local
variables and formal arguments of inherited features. The
latter is not invalid.
- Validity: creation procedure rule 8.20.3 now fully checked (no
unqualified calls and no Current in the precondition of a
creation procedure)
- bugfix in validator/variable_tracker: empty else branch not
handled correctly during checking the proper initialization of
local variables.