Do not use this annotation for formal parameters; instead, give their type a @CalledMethods annotation. The @RequiresCalledMethods annotation is intended for other
expressions, such as field accesses or method calls.
| Modifier and Type | Class and Description |
|---|---|
| public static @interface | RequiresCalledMethods.List
A wrapper annotation that makes the |
| Modifier and Type | Method and Description |
|---|---|
| public String[] | Returns: the methods guaranteed to be invoked on the expressionsThe methods guaranteed to be invoked on the expressions. |
| public String[] | Returns: the Java expressions that must have had methods called on themThe Java expressions that must have had methods called on them. |
| methods | back to summary |
|---|---|
| public String[] methods() The methods guaranteed to be invoked on the expressions.
| |
| value | back to summary |
|---|---|
| public String[] value() The Java expressions that must have had methods called on them.
| |
RequiresCalledMethods annotation repeatable.
Programmers generally do not need to write this. It is created by Java when a programmer
writes more than one RequiresCalledMethods annotation at the same location.
| Modifier and Type | Method and Description |
|---|---|
| public RequiresCalledMethods[] |
| value | back to summary |
|---|---|
| public RequiresCalledMethods[] value() Returns the repeatable annotations.
| |