 * <p>S &rarr; method name | (S) | S &amp;&amp; S | S || S
 *
 * <p>That is, the permitted elements are method names, parentheses, and the strings "&amp;&amp;"
 * and "||". "&amp;&amp;" has higher precedence than "||", following standard Java operator
 * semantics.
 */
@Retention(RetentionPolicy.RUNTIME)
@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
@SubtypeOf({CalledMethodsTop.class})
public @interface CalledMethodsPredicate {
  String value();
}