@Retention(value=RUNTIME)
@Target(value=METHOD)
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