forum-msg-id-126105-edit
Original date:2015-01-11 07:41:31 Edited by: Shian_Lee Subject: Re: Try/Catch
...One thing is quite visible from the examples above - to handle exceptions with Specifications - functions must be used, since functions are able to return error codes. I think that's fair enough and accepted condition and may be implemented and verified this way or another.
Edit: Cleaning up resources is not a simple issue anyway. But defining precisely the behaviour of 'Specifications' can eliminate over-complexity. For example, if Specifications can/cannot be applied to module level exceptions, or to procedures (not functions), etc.
Not Categorized, Please Help
|