[DrJava] [ drjava-Bugs-520538 ] Incompatible Types Ignored.

[<no...@so...>]

Bugs item #520538, was opened at 2002-02-20 08:55
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=438935&aid=520538&group_id=44253

Category: Interactions
Group: Annoying
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Incompatible Types Ignored.

Initial Comment:
Hi,

Still using my stupid class file:

class VehiculeRoutier
{
}

class Voiture extends VehiculeRoutier
{
}

class Monospace extends Voiture
{
}

class Berline extends Voiture
{
}

class Coupe extends Voiture
{
}

class Velo extends VehiculeRoutier
{
}

class VTT extends Velo
{
}


class Tandem extends Velo
{
}

class Bus extends VehiculeRoutier
{
}



In interactions if I do:

Welcome to DrJava.
> VehiculeRoutier V1= new Voiture();
> Voiture V2 = new VehiculeRoutier();
>

The first line is OK, but the second one should be
rejected for 'incompatible types'.
Did I miss something ?

Regards,

Fabien


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

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=438935&aid=520538&group_id=44253