org.fuin.objects4j
Annotation Type Requires

@Retention(value=RUNTIME)
@Documented
public @interface Requires

Documents a precondition. If violated, the effect of the annotated section of code becomes undefined and thus may or may not carry out its intended work.

This is intended to be replaced by the corresponding JML Annotation:
http://sourceforge.net/apps/trac/jmlspecs/browser/JMLAnnotations.

Required Element Summary

String

value

Optional Element Summary

boolean

redundantly

Element Detail

value

public abstract String value

redundantly

public abstract boolean redundantly

Default:

false