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

public @Interface LockPossiblyHeld

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target
@InvisibleQualifier
@SubtypeOf
@DefaultQualifierInHierarchy
@DefaultFor:LOWER_BOUND
types:Void
@QualifierForLiterals:NULL
Imports
java.lang.annotation.Documented, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.DefaultFor, .DefaultQualifierInHierarchy, .InvisibleQualifier, .LiteralKind, .QualifierForLiterals, .SubtypeOf, .TypeUseLocation
Indicates that an expression is not known to be LockHeld.

This annotation may not be written in source code; it is an implementation detail of the checker.

See Also
LockHeld

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString