gobo-eiffel-develop

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

[Colin P. A. <co...@co...>]

After updaing Gobo today, I can no longer compile gestalt. I get:


Class: EPX_FTP_URI_RESOLVER
Feature: retrieve_file
Feature: exception Class: KL_EXCEPTIONS Version from: EXCEPTIONS
Not exported to class EPX_FTP_URI_RESOLVER
Line: 321
        else
->        set_local_error ("An attempt to retrieve a file by ftp resulted in exception code " + Exceptions.exception.out)
        end

-- 
Colin Adams
Preston Lancashire

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

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

Colin Paul Adams wrote:
> After updaing Gobo today, I can no longer compile gestalt. I get:
> 
> 
> Class: EPX_FTP_URI_RESOLVER
> Feature: retrieve_file
> Feature: exception Class: KL_EXCEPTIONS Version from: EXCEPTIONS
> Not exported to class EPX_FTP_URI_RESOLVER
> Line: 321
>         else
> ->        set_local_error ("An attempt to retrieve a file by ftp resulted in exception code " + Exceptions.exception.out)
>         end

It should be fixed now.

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

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

[Colin P. A. <co...@co...>]

>>>>> "Eric" == Eric Bezault <er...@go...> writes:

    Eric> Colin Paul Adams wrote:
    >> After updaing Gobo today, I can no longer compile gestalt. I
    >> get:
    >> 
    >> 
    >> Class: EPX_FTP_URI_RESOLVER Feature: retrieve_file Feature:
    >> exception Class: KL_EXCEPTIONS Version from: EXCEPTIONS Not
    >> exported to class EPX_FTP_URI_RESOLVER Line: 321 else
    -> set_local_error ("An attempt to retrieve a file by ftp resulted
    -> in exception code " + Exceptions.exception.out)
    >> end

    Eric> It should be fixed now.

I'm afraid not.

I got an update for KI_EXCEPTIONS, but I still get the same error. (I
did a goat install).
-- 
Colin Adams
Preston Lancashire

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> Colin Paul Adams wrote:
>     >> After updaing Gobo today, I can no longer compile gestalt. I
>     >> get:
>     >> 
>     >> 
>     >> Class: EPX_FTP_URI_RESOLVER Feature: retrieve_file Feature:
>     >> exception Class: KL_EXCEPTIONS Version from: EXCEPTIONS Not
>     >> exported to class EPX_FTP_URI_RESOLVER Line: 321 else
>     -> set_local_error ("An attempt to retrieve a file by ftp resulted
>     -> in exception code " + Exceptions.exception.out)
>     >> end
> 
>     Eric> It should be fixed now.
> 
> I'm afraid not.
> 
> I got an update for KI_EXCEPTIONS, but I still get the same error. (I
> did a goat install).

I don't understand, `exception' should now be exported.

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

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

[Colin P. A. <co...@co...>]

>>>>> "Eric" == Eric Bezault <er...@go...> writes:

    Eric> Colin Paul Adams wrote:
    >>>>>>> "Eric" == Eric Bezault <er...@go...> writes:
    >> 
    Eric> Colin Paul Adams wrote:
> >> After updaing Gobo today, I can no longer compile gestalt. I
    >> >> get: >> >> >> Class: EPX_FTP_URI_RESOLVER Feature:
    >> retrieve_file Feature: >> exception Class: KL_EXCEPTIONS
    >> Version from: EXCEPTIONS Not >> exported to class
    >> EPX_FTP_URI_RESOLVER Line: 321 else
    -> set_local_error ("An attempt to retrieve a file by ftp resulted
    -> in exception code " + Exceptions.exception.out)
    >> >> end
    >> 
    Eric> It should be fixed now.
    >> 
    >> I'm afraid not.
    >> 
    >> I got an update for KI_EXCEPTIONS, but I still get the same
    >> error. (I did a goat install).

    Eric> I don't understand, `exception' should now be exported.

Ah yes - but there are additional problems:


Error code: VUEX(2)
Error: feature of qualified call is not available to client class.
What to do: make sure feature after dot is exported to caller.

Class: EPX_FTP_URI_RESOLVER
Feature: retrieve_file
Feature: is_developer_exception Class: KL_EXCEPTIONS Version from: EXCEPTIONS
Not exported to class EPX_FTP_URI_RESOLVER
Line: 318
        is_retrieving := False
->      if Exceptions.is_developer_exception then
          set_local_error ("An attempt to retrieve a file by ftp resulted in the condition: " + Exceptions.developer_exception_name)


Error code: VUEX(2)
Error: feature of qualified call is not available to client class.
What to do: make sure feature after dot is exported to caller.

Class: EPX_FTP_URI_RESOLVER
Feature: retrieve_file
Feature: developer_exception_name Class: KL_EXCEPTIONS Version from: EXCEPTIONS
Not exported to class EPX_FTP_URI_RESOLVER
Line: 319
        if Exceptions.is_developer_exception then
->        set_local_error ("An attempt to retrieve a file by ftp resulted in the condition: " + Exceptions.developer_exception_name)
        else

-------------------------------------------------------------------------------

BUILD FAILED!

-- 
Colin Adams
Preston Lancashire

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> Colin Paul Adams wrote:
>     >>>>>>> "Eric" == Eric Bezault <er...@go...> writes:
>     >> 
>     Eric> Colin Paul Adams wrote:
>>>> After updaing Gobo today, I can no longer compile gestalt. I
>     >> >> get: >> >> >> Class: EPX_FTP_URI_RESOLVER Feature:
>     >> retrieve_file Feature: >> exception Class: KL_EXCEPTIONS
>     >> Version from: EXCEPTIONS Not >> exported to class
>     >> EPX_FTP_URI_RESOLVER Line: 321 else
>     -> set_local_error ("An attempt to retrieve a file by ftp resulted
>     -> in exception code " + Exceptions.exception.out)
>     >> >> end
>     >> 
>     Eric> It should be fixed now.
>     >> 
>     >> I'm afraid not.
>     >> 
>     >> I got an update for KI_EXCEPTIONS, but I still get the same
>     >> error. (I did a goat install).
> 
>     Eric> I don't understand, `exception' should now be exported.
> 
> Ah yes - but there are additional problems:
> 
> 
> Error code: VUEX(2)
> Error: feature of qualified call is not available to client class.
> What to do: make sure feature after dot is exported to caller.
> 
> Class: EPX_FTP_URI_RESOLVER
> Feature: retrieve_file
> Feature: is_developer_exception Class: KL_EXCEPTIONS Version from: EXCEPTIONS
> Not exported to class EPX_FTP_URI_RESOLVER
> Line: 318
>         is_retrieving := False
> ->      if Exceptions.is_developer_exception then
>           set_local_error ("An attempt to retrieve a file by ftp resulted in the condition: " + Exceptions.developer_exception_name)
> 
> 
> Error code: VUEX(2)
> Error: feature of qualified call is not available to client class.
> What to do: make sure feature after dot is exported to caller.
> 
> Class: EPX_FTP_URI_RESOLVER
> Feature: retrieve_file
> Feature: developer_exception_name Class: KL_EXCEPTIONS Version from: EXCEPTIONS
> Not exported to class EPX_FTP_URI_RESOLVER
> Line: 319
>         if Exceptions.is_developer_exception then
> ->        set_local_error ("An attempt to retrieve a file by ftp resulted in the condition: " + Exceptions.developer_exception_name)
>         else
> 
> -------------------------------------------------------------------------------

Fixed. You should note that for the second one, there is no guarantee
that `developer_exception_name' is never Void.

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

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

[Colin P. A. <co...@co...>]

>>>>> "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)?
-- 
Colin Adams
Preston Lancashire

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

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

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

Eric Bezault wrote:
> 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.

Note that `raise' has no precondition either. That might
explain why `developer_exception_name' has no postcondition.

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