Package org.checkerframework.checker.lock.qual

Annotation Interface NewObject

@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@TargetLocations({LOWER_BOUND,UPPER_BOUND,CONSTRUCTOR_RESULT,RETURN})
@SubtypeOf({GuardedBy.class,GuardSatisfied.class})
@DefaultFor(CONSTRUCTOR_RESULT)
@QualifierForLiterals({STRING,PRIMITIVE})
public @interface NewObject

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.

See the Checker Framework Manual:

Lock Checker