[Nice-commit] Nice/src/nice/tools/code SpecialTypes.java,1.5,1.6 SpecialArray.java,1.17,1.18

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

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

Modified Files:
	SpecialTypes.java SpecialArray.java 
Log Message:
Minor: more precise typing of the SpecialTypes.array(_) method.


Index: SpecialTypes.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/nice/tools/code/SpecialTypes.java,v
retrieving revision 1.5
retrieving revision 1.6
diff -C2 -d -r1.5 -r1.6
*** SpecialTypes.java	8 Oct 2003 13:34:50 -0000	1.5
--- SpecialTypes.java	11 Feb 2004 16:06:05 -0000	1.6
***************
*** 59,63 ****
         if elements is null.
    */
!   static public Type array(Type elements)
    {
      if (elements == null)
--- 59,63 ----
         if elements is null.
    */
!   static public ArrayType array(Type elements)
    {
      if (elements == null)

Index: SpecialArray.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/nice/tools/code/SpecialArray.java,v
retrieving revision 1.17
retrieving revision 1.18
diff -C2 -d -r1.17 -r1.18
*** SpecialArray.java	11 Feb 2004 12:46:39 -0000	1.17
--- SpecialArray.java	11 Feb 2004 16:06:05 -0000	1.18
***************
*** 16,20 ****
       Return a SpecialArray holding elements of type <tt>elements</tt>.
    */
!   public static Type create(Type elements)
    {
      String prefix;
--- 16,20 ----
       Return a SpecialArray holding elements of type <tt>elements</tt>.
    */
!   public static SpecialArray create(Type elements)
    {
      String prefix;
***************
*** 25,29 ****
      Type res = Type.lookupType("[" + elements.getSignature());
      if(res != null && res instanceof SpecialArray)
!       return res;
      
      return new SpecialArray(elements, prefix, false, true);
--- 25,29 ----
      Type res = Type.lookupType("[" + elements.getSignature());
      if(res != null && res instanceof SpecialArray)
!       return (SpecialArray) res;
      
      return new SpecialArray(elements, prefix, false, true);