checker-framework icon indicating copy to clipboard operation
checker-framework copied to clipboard
verified publisher icon typetools

Implement `JavaExpression` for a `FunctionalInterfaceNode`

Open jyoo980 opened this issue 1 year ago • 0 comments

A Java FunctionalInterfaceNode can be one of:

  • Method Reference: https://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.13
  • Lambda Expression: https://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.27

jyoo980 avatar May 08 '24 20:05 jyoo980