What is "full class checking"?

[Jimmy Johnson]

I just turned on full class checking for a project I thought was solid and now have 150 errors, most are non-compatability errors.  What is this checking?

jjj

[peter7723]

--- In [hidden email], "Jimmy Johnson" <boxer41a@...> wrote:
>
> I just turned on full class checking for a project I thought was solid and now have 150 errors, most are non-compatability errors.  What is this checking?

You need to use the libraries in experimental/library. Do this by using the -experiment switch to the compiler (estudio -experiment or ec -experiment). In windows, a shortcut is set up.

Peter Horan

[Jann Röder]

Full class checking re-checks a class after flattening it. Flattening is
the process of "copying" inherited code into the class. This check can
detect errors such as when you have a feature
set(a_a: A)
do
a := a_a
end

and an attribute a: A

in a class X. If you now inherit from X in your class Y and redefine a
as type B.

This is a problem because now you can do stuff like Y.set(A) which will
assign an object of type A to an attribute of type B which should not
happen.

Full class checking will detect this and other similar errors.

Jann

Am 28.10.09 04:01, schrieb Jimmy Johnson:

> I just turned on full class checking for a project I thought was
> solid and now have 150 errors, most are non-compatability errors.
> What is this checking?
>
> jjj
>
>
>
> ------------------------------------
>
> Yahoo! Groups Links
>
>
>