EnsuresKeyFor |
Indicates that the value expressions evaluate to a value that is a key in all the given maps, if
the method terminates successfully.
|
EnsuresKeyForIf |
Indicates that the given expressions evaluate to a value that is a key in all the given maps, if
the method returns the given result (either true or false).
|
EnsuresNonNull |
Indicates that the value expressions are non-null just after a method call, if the method
terminates successfully.
|
EnsuresNonNullIf |
Indicates that the given expressions are non-null, if the method returns the given result (either
true or false).
|
RequiresNonNull |
Indicates a method precondition: the method expects the specified expressions to be non-null when
the annotated method is invoked.
|