Precise Definition of Functional Interface in Java Annotation Type FunctionalInterface Annotation Type FunctionalInterface ReferenceLink