Re: 202_jess bug?

[Tom Tromey]

>>>>> "Patrick" == Patrick Doyle <address@hidden> writes:

Patrick> What is Class.getConstructor supposed to do when the matching
Patrick> constructor is not public?

I think it should fail with NoSuchMethodException.
I base this on the description of getConstructor here:

    
http://java.sun.com/j2se/1.3/docs/api/java/lang/Class.html#getConstructor(java.lang.Class[])

Patrick> So what going on here?

I think you've found a bug in SPECjvm.
Try reporting it to them and see what they say.

Tom