Re: [gobo-eiffel-develop] Change in export status to exceptions?

[Eric B. <er...@go...>]

Colin Paul Adams wrote:
>>>>>> "Eric" == Eric Bezault <er...@go...> writes:
> 
>     Eric> Fixed. You should note that for the second one, there is no
>     Eric> guarantee that `developer_exception_name' is never Void.
> 
> Thanks.
> 
> Under what circumstances might it be Void (given
> Exceptions.is_developer_exception is True)?

I don't know either. I'm just reporting that neither ISE
nor SmartEiffel have a postcondition stating that it is
not Void.

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com