[Nice-commit] Nice/src/nice/tools/code Types.java,1.45,1.46

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

Update of /cvsroot/nice/Nice/src/nice/tools/code
In directory sc8-pr-cvs1:/tmp/cvs-serv18080/src/nice/tools/code

Modified Files:
	Types.java 
Log Message:
Computed expected bytecode type for actual arguments of 
polymorphic methods.


Index: Types.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/nice/tools/code/Types.java,v
retrieving revision 1.45
retrieving revision 1.46
diff -C2 -d -r1.45 -r1.46
*** Types.java	24 Jan 2003 13:18:16 -0000	1.45
--- Types.java	1 Mar 2003 00:58:28 -0000	1.46
***************
*** 641,644 ****
--- 641,650 ----
    }
  
+   /** @return the domain of a functional polytype with nullness marker */
+   public static Monotype[] domain(Polytype type)
+   {
+     return rawType(type.getMonotype()).domain();
+   }
+ 
    /** @return the codomain of a functional polytype with nullness marker */
    public static Monotype codomain(Polytype type)