Nice/testsuite/compiler/methods constrained.testsuite,1.7,1.8 coverage.testsuite,1.6,1.7 implementations.testsuite,1.20,1.21 nativeOverride.testsuite,1.10,1.11 overriding.testsuite,1.12,1.13 super.testsuite,1.15,1.16
Arjan Boeijink <[email protected]> Sun, 13 Mar 2005 15:27:44 +0000
| Newsgroups | gmane.comp.lang.nice.cvs |
|---|---|
| Message-ID | <[email protected]> |
Update of /cvsroot/nice/Nice/testsuite/compiler/methods
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv25445/F:/nice/testsuite/compiler/methods
Modified Files:
constrained.testsuite coverage.testsuite
implementations.testsuite nativeOverride.testsuite
overriding.testsuite super.testsuite
Log Message:
Added the rest of the obvious failure locations.
Index: super.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/super.testsuite,v
retrieving revision 1.15
retrieving revision 1.16
diff -C2 -d -r1.15 -r1.16
*** super.testsuite 1 Mar 2005 18:56:21 -0000 1.15
--- super.testsuite 13 Mar 2005 15:27:42 -0000 1.16
***************
*** 86,90 ****
m(#A a) = new A();
! m(B b) = super;
/// FAIL
--- 86,90 ----
m(#A a) = new A();
! m(B b) = /*/// FAIL HERE */ super;
/// FAIL
***************
*** 93,119 ****
<A T> T m(T);
! m(a#A) = new A();
! m(b#B) = super;
/// FAIL
/// Toplevel
! <Any T> T myclone(T) = native Object Object.clone();
! myclone(a#A) = new A();
! myclone(b#B) = super;
/// FAIL
/// Toplevel
! <Any T> T myclone(T) = native Object Object.clone();
class C extends java.text.DecimalFormat {}
! myclone(c#C) = super;
/// FAIL
/// Toplevel
! <Any T> T myclone(T) = native Object Object.clone();
! myclone(a#A) = super;
/// PASS
--- 93,119 ----
<A T> T m(T);
! m(#A a) = new A();
! m(#B b) = /*/// FAIL HERE */ super;
/// FAIL
/// Toplevel
! <T> T myclone(T) = native Object Object.clone();
! myclone(#A a) = new A();
! myclone(#B b) = /*/// FAIL HERE */ super;
/// FAIL
/// Toplevel
! <T> T myclone(T) = native Object Object.clone();
class C extends java.text.DecimalFormat {}
! myclone(#C c) = /*/// FAIL HERE */ super;
/// FAIL
/// Toplevel
! <T> T myclone(T) = native Object Object.clone();
! myclone(#A a) = /*/// FAIL HERE */ super;
/// PASS
Index: coverage.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/coverage.testsuite,v
retrieving revision 1.6
retrieving revision 1.7
diff -C2 -d -r1.6 -r1.7
*** coverage.testsuite 1 Mar 2005 18:56:21 -0000 1.6
--- coverage.testsuite 13 Mar 2005 15:27:41 -0000 1.7
***************
*** 8,12 ****
/// Toplevel
abstract interface I {
! boolean fooI(alike);
}
--- 8,12 ----
/// Toplevel
abstract interface I {
! boolean /*/// FAIL HERE */ fooI(alike);
}
***************
*** 21,25 ****
/// Toplevel
abstract interface I {
! boolean fooI(String);
}
--- 21,25 ----
/// Toplevel
abstract interface I {
! boolean /*/// FAIL HERE */ fooI(String);
}
Index: constrained.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/constrained.testsuite,v
retrieving revision 1.7
retrieving revision 1.8
diff -C2 -d -r1.7 -r1.8
*** constrained.testsuite 1 Mar 2005 18:56:21 -0000 1.7
--- constrained.testsuite 13 Mar 2005 15:27:41 -0000 1.8
***************
*** 34,38 ****
class X<T | A <: T> implements I<T>{}
! void foo(I<A>);
/// FAIL
--- 34,38 ----
class X<T | A <: T> implements I<T>{}
! void /*/// FAIL HERE */ foo(I<A>);
/// FAIL
***************
*** 46,50 ****
class Y<T> implements I<T> {}
! void foo(I<A>, I<B>);
foo(Y a, Y b) {}
// @X,@Y is missing
--- 46,50 ----
class Y<T> implements I<T> {}
! void /*/// FAIL HERE */ foo(I<A>, I<B>);
foo(Y a, Y b) {}
// @X,@Y is missing
***************
*** 86,89 ****
{
// Use type parameter that does not exist in the declaration
! <U> f() {}
}
--- 86,89 ----
{
// Use type parameter that does not exist in the declaration
! <U> /*/// FAIL HERE */ f() {}
}
Index: overriding.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/overriding.testsuite,v
retrieving revision 1.12
retrieving revision 1.13
diff -C2 -d -r1.12 -r1.13
*** overriding.testsuite 12 Feb 2005 17:48:39 -0000 1.12
--- overriding.testsuite 13 Mar 2005 15:27:42 -0000 1.13
***************
*** 172,176 ****
class B extends A {}
B foo(A x) = new B();
! A foo(B x) = new A();
/// PASS
--- 172,176 ----
class B extends A {}
B foo(A x) = new B();
! A /*/// FAIL HERE */ foo(B x) = new A();
/// PASS
***************
*** 195,199 ****
abstract class B extends A {}
<A T> T foo(T x);
! <B T> A foo(T x);
/// FAIL
--- 195,199 ----
abstract class B extends A {}
<A T> T foo(T x);
! <B T> /*/// FAIL HERE */ A foo(T x);
/// FAIL
***************
*** 202,206 ****
abstract class B extends A {}
<A T1, B U1> U1 foo(A a, T1 t, U1 u);
! <A T2, B U2> T2 foo(B b, T2 t, U2 u);
/// PASS
--- 202,206 ----
abstract class B extends A {}
<A T1, B U1> U1 foo(A a, T1 t, U1 u);
! <A T2, B U2> /*/// FAIL HERE */ T2 foo(B b, T2 t, U2 u);
/// PASS
***************
*** 219,223 ****
class B {}
void foo(A a) {}
! override void foo(B b) {}
/// PASS
--- 219,223 ----
class B {}
void foo(A a) {}
! override void /*/// FAIL HERE */ foo(B b) {}
/// PASS
***************
*** 242,246 ****
<T> void foo(Collection<T> list) {}
// This is NOT an override
! override void foo(List<int> list) {}
/// FAIL
--- 242,246 ----
<T> void foo(Collection<T> list) {}
// This is NOT an override
! override void /*/// FAIL HERE */ foo(List<int> list) {}
/// FAIL
***************
*** 249,253 ****
void foo(A<Object> x) {}
// This is NOT an override
! override void foo(A<String> x) {}
/// PASS
--- 249,253 ----
void foo(A<Object> x) {}
// This is NOT an override
! override void /*/// FAIL HERE */ foo(A<String> x) {}
/// PASS
Index: implementations.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/implementations.testsuite,v
retrieving revision 1.20
retrieving revision 1.21
diff -C2 -d -r1.20 -r1.21
*** implementations.testsuite 12 Mar 2005 19:24:45 -0000 1.20
--- implementations.testsuite 13 Mar 2005 15:27:41 -0000 1.21
***************
*** 30,34 ****
interface _Map<K, V> {}
! <K, V0, V | V <: ?V0> ?V0 put(_Map<K, V>, V, K);
class MapWrapper<K, V> implements _Map<K, V> {}
--- 30,34 ----
interface _Map<K, V> {}
! <K, V0, V | V <: ?V0> ?V0 /*/// FAIL HERE */ put(_Map<K, V>, V, K);
class MapWrapper<K, V> implements _Map<K, V> {}
***************
*** 37,41 ****
/// TOPLEVEL
class A {
! void fA() {} // default implementation
}
--- 37,41 ----
/// TOPLEVEL
class A {
! void /*/// FAIL HERE */ fA() {} // default implementation
}
***************
*** 65,69 ****
void paint(java.awt.Graphics g);
}
! paint(java.awt.Component p, g) {
(notNull (g)).drawString("I love java", 20, 20);
}
--- 65,69 ----
void paint(java.awt.Graphics g);
}
! /*/// FAIL HERE */ paint(java.awt.Component p, g) {
(notNull (g)).drawString("I love java", 20, 20);
}
***************
*** 108,116 ****
class A<T> {}
class B<T> extends A<T> {}
! <T> void j(A<A<T>>);
/// FAIL
/// Toplevel
! void f(List<Array<String>>);
/// PASS
--- 108,116 ----
class A<T> {}
class B<T> extends A<T> {}
! <T> void /*/// FAIL HERE */ j(A<A<T>>);
/// FAIL
/// Toplevel
! void /*/// FAIL HERE */ f(List<Array<String>>);
/// PASS
Index: nativeOverride.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/nativeOverride.testsuite,v
retrieving revision 1.10
retrieving revision 1.11
diff -C2 -d -r1.10 -r1.11
*** nativeOverride.testsuite 1 Mar 2005 18:56:21 -0000 1.10
--- nativeOverride.testsuite 13 Mar 2005 15:27:42 -0000 1.11
***************
*** 188,193 ****
/// FAIL
! interface I{}
! equals(I x, I y) = true;
/// PASS
--- 188,194 ----
/// FAIL
! /// Toplevel
! interface I{}
! /*/// FAIL HERE */ equals(I x, I y) = true;
/// PASS
-------------------------------------------------------
SF email is sponsored by - The IT Product Guide
Read honest & candid reviews on hundreds of IT Products from real users.
Discover which products truly live up to the hype. Start reading now.
http://ads.osdn.com/?ad_id=6595&alloc_id=14396&op=click