org.jetbrains.annotations

Annotation Type Contract

@Documented
@Retention(value=CLASS)
@Target(value=METHOD)
public @interface Contract

Placeholder for the JetBrains annotation which requires Java 8. Will be removed once using Java 8.

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
boolean	pure
String	value

Element Detail

value

public abstract String value

Default:

""

pure

public abstract boolean pure

Default:

false