Annotation Type RequiresCalledMethods

    • Required Element Summary

      Required Elements 
      Modifier and Type Required Element Description
      String[] methods
      The methods guaranteed to be invoked on the expressions.
      String[] value
      The Java expressions that must have had methods called on them.
    • Element Detail

      • value

        String[] value
        The Java expressions that must have had methods called on them.
        Returns:
        the Java expressions that must have had methods called on them
        See Also:
        EnsuresQualifier
      • methods

        @QualifierArgument("value")
        String[] methods
        The methods guaranteed to be invoked on the expressions.
        Returns:
        the methods guaranteed to be invoked on the expressions