An informative annotation type used to indicate that an interface type declaration is intended to be a functional interface as defined by the Java Language Specification . Indicates that a method declaration is intended to override a method declaration in a supertype.