[Tecomp-user] version 0.24 released

[Helmut B. <hel...@gm...>]

= Version 0.24 (r464 10.10.2010) =

== New features ==

=== Simplified void safety syntax implemented ===

A simplified syntax for void safety has been implemented which
replaces the more verbose old syntax

    exp:     detachable E
    anc_exp: detachable E_ANCESTOR  -- conformant

    -- old syntax
    check attached exp as x  then
       x.some_feature
    end
    check attached {E} anc_exp as x then
       x.some_feature
    end

    -- new syntax
    exp.attached.some_feature
    anc_exp.attached{E}.some_feature


If `exp' is not attached to an object or `anc_exp' is not
attached to an object of type E, an exception is thrown, i.e. the
semantics is the same as with the old syntax, the syntax is more
concise.

For more details see the white paper at
[[http://tecomp.sourceforge.net]] -> white papers -> language
discussion -> improved void safety.