• Type: Bug
• Component: core-libs
• Sub-Component: java.lang.invoke
• Affected Version: 9

• Priority: P2
• Status: Closed
• Resolution: Fixed

• Submitted: 2016-03-03
• Updated: 2017-10-11
• Resolved: 2016-09-28

JDK 9
9 b139Fixed

Under this umbrella issue, there is a collection of subtasks concerned with documentation issues raised by [~asolodkaya]. Some of them, in particular JDK-8151736, get longer and longer, and the documentation gets ever more complicated. What this results in is not good API. It is completely overloaded with detailed discussions of the intricate relations between the parameter handles passed to the convenience wrappers abstracting from the generic loop combinator, MHs.loop(), also called the Mother Of All Loops (MOAL). At the root of this lies the expectation that all the parameter type list and omitted-handle inference goodness that the MOAL does should be available to the convenience wrappers as well. The problem is due to the fact that the convenience wrappers do their own fair share of MH combination, introducing new dependencies. Ultimately, the API documentation for the wrappers ends up documenting their implementation in great detail (by way of meticulously describing the effects of the MOAL's inference logic on the wrappers), leading to convenience (!) wrappers that are very inconveniently (!) documented. We should take a step back here. Work will proceed as follows: 1. Allow inference to the full degree only for the MOAL (leave it as it is). 2. Expect all arguments to be fully expressed for the convenience wrappers (no null inference, only very limited parameter type inference), and use strong language ("must") in the API docs to make this clear. Disallowing null inference is in line with what, e.g., MHs.guardWithTest() supports. 17-06-2016 Tested JDK: JDK 9 120 compact1 JCK: 9 b36 Testsuite: JCK-runtime-9 OS: Ubuntu.Linux.14.04 RULE "api/java_lang/invoke/MethodHandles/DoWhileLoop/index_DoWhileLoopTests" TestCase [implementationEqualsLimitWithVoidInit] Exceptions are different: null and java.lang.IllegalArgumentException: parameter type cannot be void RULE "api/java_lang/invoke/MethodHandles/WhileLoop/index_WhileLoopTests" TestCase [implementationEqualsIncrementWithVoidInit] Exceptions are different: null and java.lang.IllegalArgumentException: parameter type cannot be void RULE "api/java_lang/invoke/MethodHandles/WhileLoop/index_WhileLoopTests" TestCase [implementationEqualsIncrementWithNullPred] Exception messages are different Expected equal to : "no predicate found: [null, null]", was given: "parameter type cannot be void" RULE "api/java_lang/invoke/MethodHandles/WhileLoop/index_WhileLoopTests" TestCase [implementationEqualsIncrementWithNullBody] Exceptions are different: null and java.lang.IllegalArgumentException: parameter type cannot be void 31-05-2016