| package org.checkerframework.common.util.report.qual; |
| |
| import java.lang.annotation.Documented; |
| import java.lang.annotation.ElementType; |
| import java.lang.annotation.Retention; |
| import java.lang.annotation.RetentionPolicy; |
| import java.lang.annotation.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.) |
| */ |
| @Documented |
| @Retention(RetentionPolicy.RUNTIME) |
| @Target({ElementType.TYPE, ElementType.CONSTRUCTOR}) |
| public @interface ReportCreation {} |