[Nice-commit] Nice/testsuite/lib/java/util collections.testsuite,1.6,1.7

[<ar...@us...>]

Update of /cvsroot/nice/Nice/testsuite/lib/java/util
In directory sc8-pr-cvs1:/tmp/cvs-serv24759/F:/nice/testsuite/lib/java/util

Modified Files:
	collections.testsuite 
Log Message:
More precise retypings for methods using Object in the java.util Collections.

Index: collections.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/lib/java/util/collections.testsuite,v
retrieving revision 1.6
retrieving revision 1.7
diff -C2 -d -r1.6 -r1.7
*** collections.testsuite	4 Mar 2003 17:08:57 -0000	1.6
--- collections.testsuite	20 Mar 2003 21:18:53 -0000	1.7
***************
*** 37,38 ****
--- 37,56 ----
    assert list[0] == "A";
    assert list[1] == "BA";
+ 
+ /// PASS
+   List<B> list = new ArrayList();
+   B b = new B();
+   list.add(b);
+   A obj = b;
+   assert(list.contains(obj));  
+   /// Toplevel
+   class A{}
+   class B extends A{}
+ 
+ /// FAIL
+   List<B> list = new ArrayList();
+   A obj = new A();
+   list.contains(obj);  
+   /// Toplevel
+   class A{}
+   class B{}