checkers.nullness.quals
Annotation Type NonNullOnEntry

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

Indicates a method postcondition: the method expects the specified variables (typically field references) to be non-null when the annotated method is invoked.

Required Element Summary

Modifier and Type	Required Element and Description
String[]	value

Element Detail

value

public abstract String[] value