[Nice-commit] 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 B. <ar...@us...>]

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