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.jspecify.nullness; 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 24 /* This is an annotation stub to avoid dependencies on annotations that aren't 25 * in the Android platform source tree. */ 26 27 @Target({ 28 ElementType.ANNOTATION_TYPE, 29 ElementType.CONSTRUCTOR, 30 ElementType.FIELD, 31 ElementType.LOCAL_VARIABLE, 32 ElementType.METHOD, 33 ElementType.PACKAGE, 34 ElementType.PARAMETER, 35 ElementType.TYPE, 36 ElementType.TYPE_PARAMETER, 37 ElementType.TYPE_USE 38 }) 39 @Retention(RetentionPolicy.SOURCE) 40 public @interface NullMarked {} 41