Re: Strategies with SPARK which does not support exceptions

[stefan-lucks@see-the.signature]

On Tue, 29 Jun 2010, Randy Brukardt wrote:

> Returning to the dark ages of programming (that is BE - Before Exceptions) 
> and reintroducing all of the problems of early C code just because of 
> inadequate tools seems like a horrible step backwards to me.

I agree that error returns in code that isn't statically checked is a 
first-class flight into the world of severe errors and bugs.

But for SPARK, if a subprogram can return an error code and you forget to 
handle the error code, SPARK will remind you -- your program will not pass 
the static verification. So the kind of errors introduced by error returns 
can easily be avoided in SPARK.

So long

Stefan

-- 
------ Stefan Lucks   --  Bauhaus-University Weimar  --   Germany  ------
               Stefan dot Lucks at uni minus weimar dot de
------  I  love  the  taste  of  Cryptanalysis  in  the  morning!  ------