[Nice-commit] Nice/stdlib/nice/lang java.nice,1.17,1.18

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

Update of /cvsroot/nice/Nice/stdlib/nice/lang
In directory sc8-pr-cvs1:/tmp/cvs-serv24759/F:/nice/stdlib/nice/lang

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

Index: java.nice
===================================================================
RCS file: /cvsroot/nice/Nice/stdlib/nice/lang/java.nice,v
retrieving revision 1.17
retrieving revision 1.18
diff -C2 -d -r1.17 -r1.18
*** java.nice	10 Feb 2003 10:51:20 -0000	1.17
--- java.nice	20 Mar 2003 21:18:51 -0000	1.18
***************
*** 100,118 ****
  
  
! // Some methods use Object, when they should use a type variable:
! <E> boolean contains(java.util.Collection<E>, E) =
    native boolean java.util.Collection.contains(Object);
! <E> boolean remove(java.util.Collection<E>, E) =
    native boolean java.util.Collection.remove(Object);
  
! <E> int indexOf(java.util.List<E>, E) =
    native int java.util.List.indexOf(Object);
! <E> int lastIndexOf(java.util.List<E>, E) =
    native int java.util.List.lastIndexOf(Object);
! <E> int lastIndexOf(java.util.Vector<E>, E, int) =
    native int java.util.Vector.lastIndexOf(Object, int);
! <E> boolean removeElement(java.util.Vector<E>, E) =
    native boolean java.util.Vector.removeElement(Object);
! <E> int search(java.util.Stack<E>, E) = 
    native int java.util.Stack.search(Object);
  
--- 100,119 ----
  
  
! // Some methods use Object, when they should use a type variable.
! // It's in fact correct in java to use Object instead of a contravariant type.
! <E,T | E <: T> boolean contains(java.util.Collection<E>, T) =
    native boolean java.util.Collection.contains(Object);
! <E,T | E <: T> boolean remove(java.util.Collection<E>, T) =
    native boolean java.util.Collection.remove(Object);
  
! <E,T | E <: T> int indexOf(java.util.List<E>, T) =
    native int java.util.List.indexOf(Object);
! <E,T | E <: T> int lastIndexOf(java.util.List<E>, T) =
    native int java.util.List.lastIndexOf(Object);
! <E,T | E <: T> int lastIndexOf(java.util.Vector<E>, T, int) =
    native int java.util.Vector.lastIndexOf(Object, int);
! <E,T | E <: T> boolean removeElement(java.util.Vector<E>, T) =
    native boolean java.util.Vector.removeElement(Object);
! <E,T | E <: T> int search(java.util.Stack<E>, T) = 
    native int java.util.Stack.search(Object);