Re: Interesting article on ARG work

["Randy Brukardt" <randy@rrsoftware.com>]

"Bojan Bozovic" <bozovic.bojan@gmail.com> wrote in message 
news:2be6c759-1a2f-48fc-81b1-ffab1d1c957d@googlegroups.com...
...
>If assertions/invariants encompassed type invariants and were used
>in loops as well, like in Eiffel, readability would be better in my
>humble opinion, while Ada have pragma assert that can be used in
>loops, and static_predicate and dynamic_predicate on types.
>
>Maybe assertion blocks would work better as in Eiffel for loops?
>Like exception block in Ada?

No idea. There are definitely other kinds of contracts not currently defined 
in Ada -- loop invariants certainly are one of those. Ada 2020 adds 
Default_Initial_Condition as a contract, and Stable_Properties as a 
technique for managing contracts (postconditions). We haven't talked much 
about other contracts, but certainly we'll do so in the future.

Such contracts would certainly in addition to pragma Assert (which is 
general, but completely manual). And of course the form hasn't been decided.

Giving a different form to existing contracts isn't likely to get much 
interest. Additional contracts might (or might) be different.

                          Randy.