Annotation Interface StaticallyExecutable


@Documented @Retention(RUNTIME) @Target({METHOD,CONSTRUCTOR}) public @interface StaticallyExecutable
StaticallyExecutable is a method annotation that indicates that the compiler is allowed to run the method at compile time, if all of the method's arguments are compile-time constants. It is used by the Constant Value Checker.
See the Checker Framework Manual:
Constant Value Checker