Package org.checkerframework.common.value.qual

Annotation Type 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