Kaffe and Mauve (Was: Re: [kaffe] Re: LinkedList.subList severely broken)

[Helmer Krämer]

On Tue, 27 May 2003 15:35:10 -0700 (PDT)
Dalibor Topic <robilad at yahoo.com> wrote:

Hi Dalibor,
 
> --- Helmer Kr_mer <hkraemer at freenet.de> wrote:
> > On Thu, 22 May 2003 09:30:26 -0700 (PDT)
> > Dalibor Topic <robilad at yahoo.com> wrote:
> > 
> > Hi all,
> > 
> > does anybody know why mauve tests whether the implementation
> > throws a NullPointerException under certain circumstances?
> > 
> > I've got Kaffe's java.util.Vector down to:
> > 
> > FAIL: gnu.testlet.java.util.Vector.AcuniaVectorTest: should throw
> > NullPointerException (number 1)
> > FAIL: gnu.testlet.java.util.Vector.AcuniaVectorTest: should throw
> > NullPointerException (number 1)
> > FAIL: gnu.testlet.java.util.Vector.AcuniaVectorTest: should throw
> > NullPointerException (number 1)
> > FAIL: gnu.testlet.java.util.Vector.AcuniaVectorTest: should throw
> > NullPointerException (number 1)
> > 4 of 388 tests failed
> > 
> > and all of these tests fail because mauve expects
> > Vector.removeAll() and Vector.retainAll() to throw
> > a NullPointerException when the collection passed
> > as a parameter is null. I wouldn't call that a
> > correct behaviour, though.
> 
> From the spec:
> http://java.sun.com/j2se/1.4.1/docs/api/java/util/Vector.html#removeAll(java.util.Collection)
> 
> Throws:
>     NullPointerException - if the specified collection is null.
> 
> (and the same holds for retainAll).

ouch. Then we've got zero failures, of course ;)

Greetings,
Helmer