nashorn/src/jdk.scripting.nashorn/share/classes/jdk/internal/dynalink/GuardedInvocationFilter.java
changeset 33330 35531ae624ef
parent 25865 d38d876f1654
child 33333 0bad500ce4e0
--- a/nashorn/src/jdk.scripting.nashorn/share/classes/jdk/internal/dynalink/GuardedInvocationFilter.java	Thu Oct 15 16:50:08 2015 -0700
+++ b/nashorn/src/jdk.scripting.nashorn/share/classes/jdk/internal/dynalink/GuardedInvocationFilter.java	Mon Oct 19 08:23:03 2015 +0200
@@ -91,6 +91,7 @@
  * Interface for objects that are used to transform one guarded invocation into another one. Typical usage is for
  * implementing {@link DynamicLinkerFactory#setPrelinkFilter(GuardedInvocationFilter) pre-link filters}.
  */
+@FunctionalInterface
 public interface GuardedInvocationFilter {
     /**
      * Given a guarded invocation, return a potentially different guarded invocation.