@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