org.checkerframework.framework.qual
public @Interface FromByteCode
extends Annotation
- Annotations
- @Documented
- @Retention:RUNTIME
- @Target:METHOD, CONSTRUCTOR, TYPE, PACKAGE
- @SubtypeOf
- Imports
- java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target
If a method is annotated with this declaration annotation, then its signature is not written in a
stub file and the method is not declared in source. This annotation is added in
AnnotatedTypeFactory. (If a method is already annotated with @FromStubFile, this annotation is
not added.)