package net.ssehub.kernel_haven.util.null_checks;

import static java.lang.annotation.ElementType.PACKAGE;
import static java.lang.annotation.RetentionPolicy.SOURCE;

import java.lang.annotation.Retention;
import java.lang.annotation.Target;

/**
 * Specifies, that all variables inside the package are {@link NonNull} by default.
 * 
 * @author Adam
 */
@Retention(SOURCE)
@Target({ PACKAGE })
public @interface NonNullByDefault {

}

@@ -91,22 +91,130 @@
 entType.
-PACKAG
+METHOD;%0Aimport static java.lang.annotation.ElementType.PACKAGE;%0Aimport static java.lang.annotation.ElementType.TYP
 E;%0Aimpor
@@ -492,16 +492,30 @@
  PACKAGE
+, TYPE, METHOD
  %7D)%0Apubl

Allow @NonNullByDefault on types and methods, too