Re: Ada exceptions. unchecked?

[dennison@telepath.com (Ted Dennison)]

nma124@hotmail.com (steve_H) wrote in message news:<8db3d6c8.0206112300.3965a62b@posting.google.com>...
> I have thought that Ada exceptions were unchecked, is this correct?
> 
> I saw this below:
> 
> http://www.mindview.net/Etc/Discussions/CheckedExceptions
> 
> "To clarify a couple of points in your article, Ada does not have any 
> form of exception specification, and so does not have a 
> checked/unchecked model."
> 
> could some Ada expert comment if the above statment is correct or not?

It looks to me like his "checked exceptions" means that the compiler
forces a caller to provide an explicit check for all exceptions listed
in the spec of a routine as being thrown by that routine. If that is
the case (I'm not a Java expert, so I don't know) then Ada indeed does
not have "checked exceptions". There is no language-defined way to
specify what exceptions are raised by a routine in Ada, as there is in
C++ (and Java?).

I would certianly agree that requiring an exception handler for every
possible exception in every single encolsing block around a procedure
call in Ada would be a pain.


-- 
T.E.D. 
Home     -  mailto:dennison@telepath.com (Yahoo: Ted_Dennison)
Homepage -  (temporarily down)