[Nice-commit] Nice/testsuite/compiler/typing coverage.testsuite,1.2,1.3

[Daniel B. <bo...@us...>]

Update of /cvsroot/nice/Nice/testsuite/compiler/typing
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv316/testsuite/compiler/typing

Modified Files:
	coverage.testsuite 
Log Message:
When check class constraints during method coverage tests, make sure not to
modify a type parameter, which would prevent some solutions to be found later.


Index: coverage.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/coverage.testsuite,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** coverage.testsuite	2 Sep 2003 19:57:52 -0000	1.2
--- coverage.testsuite	14 Oct 2004 20:35:34 -0000	1.3
***************
*** 24,25 ****
--- 24,74 ----
  method3(f@String) {} // this case is mandatory to cover method3
  method3(/*/// FAIL HERE */null) {}
+ 
+ /// FAIL
+   new B().foo("");
+   /// Toplevel
+ abstract interface I<T> {
+   void /*/// FAIL HERE */ foo(T);
+ }
+ 
+ class A<T> implements I<T> {
+   int x;
+   foo(t) { this.x = 0; }
+ }
+ 
+ class B<T> implements I<T> {
+   // Missing implementation of foo.
+ }
+ 
+ /// FAIL
+   new B().foo("");
+   /// Toplevel
+ abstract interface I<T> {
+   void /*/// FAIL HERE */ foo(T);
+ }
+ 
+ class A implements I<String> {
+   foo(t) { this.bar(); }
+ }
+ void bar(A a) {}
+ 
+ 
+ class B<T> implements I<T> {
+   // Missing implementation of foo.
+ }
+ 
+ /// FAIL
+   new B().foo(0);
+   /// Toplevel
+ abstract interface I<T> {
+   void /*/// FAIL HERE */ foo(T);
+ }
+ 
+ class A implements I<String> {
+   foo(t) { this.bar(); }
+ }
+ void bar(A a) {}
+ 
+ class B implements I<int> {
+   // Missing implementation of foo.
+ }