Fix for 15001.

Fix for 15001.

R=brianwilkerson@google.com

Committed: https://code.google.com/p/dart/source/detail?r=33293

[Brian Wilkerson, 2014-03-04 19:22:37]

LGTM

https://codereview.chromium.org/179783007/diff/1/editor/tools/plugins/com.goo...
File
editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/resolver/InheritanceManager.java
(right):

https://codereview.chromium.org/179783007/diff/1/editor/tools/plugins/com.goo...
editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/resolver/InheritanceManager.java:212:
* Given some {@link ExecutableElement} return cast the element to either a
{@link MethodElement}
nit: "return cast"?

(I generally think that comments should reflect *what* code does, not *how*, so
I'd write it as "Return {@code true} if the given element is an abstract member
of a class." but it's a smaller change to remove the first "return".)

[jwren, 2014-03-04 19:46:03]

https://codereview.chromium.org/179783007/diff/1/editor/tools/plugins/com.goo...
File
editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/resolver/InheritanceManager.java
(right):

https://codereview.chromium.org/179783007/diff/1/editor/tools/plugins/com.goo...
editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/resolver/InheritanceManager.java:212:
* Given some {@link ExecutableElement} return cast the element to either a
{@link MethodElement}
On 2014/03/04 19:22:37, Brian Wilkerson wrote:
> nit: "return cast"?
> 
> (I generally think that comments should reflect *what* code does, not *how*,
so
> I'd write it as "Return {@code true} if the given element is an abstract
member
> of a class." but it's a smaller change to remove the first "return".)

Done.

[jwren, 2014-03-04 19:49:12]

Committed patchset #3 manually as r33293 (presubmit successful).