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

public @Interface EnsuresLockHeld

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:METHOD, CONSTRUCTOR
@PostconditionAnnotation
qualifier:LockHeld
@InheritedAnnotation
@Repeatable:List
Imports
java.lang.annotation.Documented, .ElementType, .Repeatable, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.InheritedAnnotation, .PostconditionAnnotation
Indicates that the given expressions are held if the method terminates successfully.
See Also
EnsuresLockHeldIf

Nested and Inner Type Summary

Modifier and TypeClass and Description
public static @interface
EnsuresLockHeld.List

A wrapper annotation that makes the EnsuresLockHeld annotation repeatable.

Method Summary

Modifier and TypeMethod and Description
public String[]

Returns:

Java expressions whose values are locks that are held after successful method termination
value()

Returns Java expressions whose values are locks that are held after successful method termination.

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString

Method Detail

valueback to summary
public String[] value()

Returns Java expressions whose values are locks that are held after successful method termination.

Returns:String[]

Java expressions whose values are locks that are held after successful method termination

See Also
Syntax of Java expressions
org.checkerframework.checker.lock.qual back to summary

public @Interface EnsuresLockHeld.List

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:METHOD, CONSTRUCTOR
@PostconditionAnnotation
qualifier:LockHeld
@InheritedAnnotation
A wrapper annotation that makes the EnsuresLockHeld annotation repeatable.

Programmers generally do not need to write this. It is created by Java when a programmer writes more than one EnsuresLockHeld annotation at the same location.

Method Summary

Modifier and TypeMethod and Description
public EnsuresLockHeld[]

Returns:

the repeatable annotations
value()

Return the repeatable annotations.

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString

Method Detail

valueback to summary
public EnsuresLockHeld[] value()

Return the repeatable annotations.

Returns:EnsuresLockHeld[]

the repeatable annotations