[Nice-commit] Nice/src/nice/tools/typing Types.java,1.7,1.8

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

Update of /cvsroot/nice/Nice/src/nice/tools/typing
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv6432/src/nice/tools/typing

Modified Files:
	Types.java 
Log Message:
java.lang.Class is now parameterized by the type it represents.


Index: Types.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/nice/tools/typing/Types.java,v
retrieving revision 1.7
retrieving revision 1.8
diff -C2 -d -r1.7 -r1.8
*** Types.java	16 Jun 2004 10:00:34 -0000	1.7
--- Types.java	30 Jul 2004 19:08:43 -0000	1.8
***************
*** 177,181 ****
      return Typing.lowestInstance(res);
    }
!   
    /****************************************************************
     * Type parameters
--- 177,192 ----
      return Typing.lowestInstance(res);
    }
! 
!   public static Monotype zeroArgMonotype(TypeConstructor tc)
!     throws BadSizeEx
!   {
!     // Handle 'Class' as 'Class<?>'
!     if (tc == PrimitiveType.classTC)
!       return new MonotypeConstructor
!         (tc, new mlsub.typing.Monotype[]{ UnknownMonotype.instance });
! 
!     return new MonotypeConstructor(tc, null);
!   }
! 
    /****************************************************************
     * Type parameters