Top Description Methods
org.checkerframework.checker.lock.qual

public @Interface NewObject

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@TargetLocations:EXPLICIT_LOWER_BOUND, EXPLICIT_UPPER_BOUND
@SubtypeOf:GuardedBy, GuardSatisfied
@DefaultFor:CONSTRUCTOR_RESULT
@QualifierForLiterals:STRING, PRIMITIVE
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.DefaultFor, .LiteralKind, .QualifierForLiterals, .SubtypeOf, .TargetLocations, .TypeUseLocation
A type that represents a newly-constructed object. It can be treated as having any @GuardedBy type. Typically, it is only written on factory method return types.

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString