Indicates a method precondition: the specified expressions must be held when the annotated method
The argument is a string or set of strings that indicates the expression(s) that must be held,
using the syntax of
Java expressions described in the manual. The expressions evaluate to an intrinsic (built-in,
synchronization) monitor, or an explicit Lock.