gobo-eiffel-develop

[gobo-eiffel-develop] Gelint output

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

Now that I have an integration ace file again, I ran gelint on it with
the command line:

gelint --ise=5.7 --flat --cat ise.ace >gelint.out 2>&1

(are those the best options to use? I ask because the size of the
output file is 422545209 bytes, which is a lot to look at :-). I think
it is all just one catcall, in essence - I will take a look at
correcting this in the near future.)

This message at the top of the output was:

[GVKFE-2] class TYPED_POINTER: feature `to_pointer' in kernel class TYPED_POINTER is not an attribute.

-- 
Colin Adams
Preston Lancashire

Re: [gobo-eiffel-develop] Gelint output

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

Colin Paul Adams wrote:
> Now that I have an integration ace file again, I ran gelint on it with
> the command line:
> 
> gelint --ise=5.7 --flat --cat ise.ace >gelint.out 2>&1

--cat does not make sense with an integration ace file.
It is to be used with application ace files.

I use the integration Ace file that I gave you only with
EiffelStudio. The --cat option is exercised when running
'geant test_debug_ge' in $GOBO/test/example and
$GOBO/test/src because 'gec' uses it. --flat is exercised
on the libraries when running 'geant test_debug_ge'
in $GOBO/test/precomp.

> This message at the top of the output was:
> 
> [GVKFE-2] class TYPED_POINTER: feature `to_pointer' in kernel class TYPED_POINTER is not an attribute.

It's because gelint/gec expects to get the version from
FreeELKS I guess, and ISE 5.7 still uses its own version.
I'll look at it.

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

Re: [gobo-eiffel-develop] Gelint output

[Colin A. <col...@ho...>]

>From: Eric Bezault <er...@go...>
> > This message at the top of the output was:
> >
> > [GVKFE-2] class TYPED_POINTER: feature `to_pointer' in kernel class 
>TYPED_POINTER is not an attribute.
>
>It's because gelint/gec expects to get the version from
>FreeELKS I guess, and ISE 5.7 still uses its own version.
>I'll look at it.

Last night, it caused the build to fail when I tried:

geant test_debug_ge

for the XPath test suite.

This is with ISE 5.7.

_________________________________________________________________
Rate your skiving credentials with our Slack-o-meter 
http://www.slack-o-meter.com