hg: lambda/lambda/langtools: Enhancements:

[maurizio.cimadamore at oracle.com]

Changeset: 4ae8b4be4d33
Author:    mcimadamore
Date:      2012-08-16 17:15 +0100
URL:       http://hg.openjdk.java.net/lambda/lambda/langtools/rev/4ae8b4be4d33

Enhancements:
*) Full out-of-order method check logic. Argument expressions are decomposed into subexpressions that are independently type-checked in order to derive more inference constraints.
Old ('all or none') logic can be enabled with the flag '-XDuseRecursiveStuck'.
*) Add doclet support for defender methods, sam types
Fixes:
*) Scopes are not exited when Attr throws exceptions
*) Method resolution doesn't report nested errors associated with erroneous deferred types

! src/share/classes/com/sun/javadoc/ClassDoc.java
! src/share/classes/com/sun/javadoc/MethodDoc.java
! src/share/classes/com/sun/tools/javac/code/Type.java
! src/share/classes/com/sun/tools/javac/comp/Attr.java
! src/share/classes/com/sun/tools/javac/comp/Check.java
! src/share/classes/com/sun/tools/javac/comp/DeferredAttr.java
! src/share/classes/com/sun/tools/javac/comp/Flow.java
! src/share/classes/com/sun/tools/javac/comp/GraphInfer.java
! src/share/classes/com/sun/tools/javac/comp/Infer.java
! src/share/classes/com/sun/tools/javac/comp/LegacyInfer.java
! src/share/classes/com/sun/tools/javac/comp/Resolve.java
! src/share/classes/com/sun/tools/javadoc/ClassDocImpl.java
! src/share/classes/com/sun/tools/javadoc/MethodDocImpl.java
+ test/tools/javac/lambda/BadMethodCall.java
+ test/tools/javac/lambda/BadMethodCall.out
+ test/tools/javac/lambda/LambdaExpr19.java
+ test/tools/javac/lambda/LambdaExpr19.out
! test/tools/javac/lambda/TargetType27.out
+ test/tools/javac/lambda/TargetType39.java
+ test/tools/javac/lambda/TargetType39.out