net.digitalid.utility.validation.annotations.method

Annotation Type Ensures

@Documented
 @Target(value=METHOD)
 @Retention(value=RUNTIME)
public @interface Ensures

This annotation indicates that a method ensures that the given condition holds after its execution.

See Also:

Requires

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
@Nonnull @JavaExpression String	condition Returns the condition that holds after the execution of the annotated method.
@Nonnull String	message Returns the message which is thrown if the given condition is not fulfilled.

Element Detail

condition

@Nonnull
 @JavaExpression
public abstract @Nonnull @JavaExpression String condition

Returns the condition that holds after the execution of the annotated method.

message

@Nonnull
public abstract @Nonnull String message

Returns the message which is thrown if the given condition is not fulfilled.