1 /* 2 * Copyright (C) 2019 The Android Open Source Project 3 * 4 * Licensed under the Apache License, Version 2.0 (the "License"); 5 * you may not use this file except in compliance with the License. 6 * You may obtain a copy of the License at 7 * 8 * http://www.apache.org/licenses/LICENSE-2.0 9 * 10 * Unless required by applicable law or agreed to in writing, software 11 * distributed under the License is distributed on an "AS IS" BASIS, 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13 * See the License for the specific language governing permissions and 14 * limitations under the License. 15 */ 16 17 package org.checkerframework.checker.nullness.qual; 18 19 import java.lang.annotation.ElementType; 20 import java.lang.annotation.Retention; 21 import java.lang.annotation.RetentionPolicy; 22 import java.lang.annotation.Target; 23 import kotlin.annotations.jvm.MigrationStatus; 24 25 // This is an annotation stub to avoid dependencies on annotations that aren't 26 // in the Android platform source tree. 27 28 @Target({ 29 ElementType.ANNOTATION_TYPE, 30 ElementType.CONSTRUCTOR, 31 ElementType.FIELD, 32 ElementType.LOCAL_VARIABLE, 33 ElementType.METHOD, 34 ElementType.PACKAGE, 35 ElementType.PARAMETER, 36 ElementType.TYPE, 37 ElementType.TYPE_PARAMETER, 38 ElementType.TYPE_USE}) 39 @Retention(RetentionPolicy.SOURCE) 40 public @interface RequiresNonNull { 41 42 // These fields maintain API compatibility with annotations that expect arguments. 43 value()44 String[] value() default {}; 45 result()46 boolean result() default false; 47 expression()48 String[] expression() default {}; 49 status()50 MigrationStatus status() default MigrationStatus.IGNORE; 51 52 } 53