[Nice-commit] Nice/regtest/java retyping.nice,NONE,1.1

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

Update of /cvsroot/nice/Nice/regtest/java
In directory sc8-pr-cvs1:/tmp/cvs-serv16565/regtest/java

Added Files:
	retyping.nice 
Log Message:
Made sure that ignored retypings do not cause failures when implementing
a method with the same name.


--- NEW FILE: retyping.nice ---
package regtest.java;

// We define an invalid retyping.
// Then we override a method with the same name, so that the retyped
// method should normally be considered.

void init(regtest.java.J.J, Map<int, int>) = 
  native void regtest.java.J.J.init(WrongName);

class Ret1 {
  void init(String) {}
}

class Ret2 extends Ret1 {
  init(m) {}
}