org.checkerframework.common.value.qual
public @Interface StaticallyExecutable
extends Annotation
- Annotations
- @Documented
- @Retention:RUNTIME
- @Target:METHOD, CONSTRUCTOR
- Imports
- java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target
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.
