commit f21ba38c90598c9cdc8b21d95d9ac7e4cc43d798
author jaimeyap@google.com <jaimeyap@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> Wed Mar 02 14:04:24 2011 +0000
committer jaimeyap@google.com <jaimeyap@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> Wed Mar 02 14:04:24 2011 +0000
tree 621cee4c782eecd09617b1b93cf94e6725e862c4
parent 628a6942ace7c51c0ac5150165e2ef8728e876dd

Fixes a bug in TypeOracle for computing information about single JSO impls.

If you have an interface (lets call it B) that doesn't declare any new methods,
but implements some other interface (lets call it A) that may or may not declare
methods, then it should be permissible to have a JSO implement B so long as all
the methods in A are implemented by a superclass of the JSO.

Currently, classFullyImplements() requires that the JSO that actually implements the methods of A, needs to nominally implement B. This patch simply loosens the restriction such that if B declares no new methods, then it is sufficent to check that all the methods inheritable from B are implemented by the JSO.

The method classFullyImplements() will still check to make sure that some
overlay type implements the inheritable methods of the interface. Which should
be sufficient.

Review at http://gwt-code-reviews.appspot.com/1373803


git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@9790 8db76d5a-ed1c-0410-87a9-c151d255dfc7