@Documented
@Retention(RetentionPolicy.RUNTIME)
@Target({ElementType.CONSTRUCTOR, ElementType.METHOD})
public @interface EnsuresConditions

Container annotation for multiple Ensures postconditions on the same target. Synthesized by the compiler from stacked @Ensures annotations via Repeatable; not normally written by hand.

Since:

5.0.0

See Also:

Ensures