org.checkerframework.common.util.report.qual
public @Interface ReportCreation
extends Annotation
- Annotations
- @Documented
- @Retention:RUNTIME
- @Target:TYPE, CONSTRUCTOR
- Imports
- java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target
Report all instantiations of a class/interface that has this annotation, including any subclass.
Report all invocations of a particular constructor. (There is no overriding of constructors, so
use on a constructor reports only that particular constructor.)
