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.dataflow.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 // NOTE: This is an autogenerated file. Do not modify its contents. See annotation_template.java and 26 // gen_annotations.sh under platform/external/exoplayer/annotation-stubs. 27 28 // This is an annotation stub to avoid dependencies on annotations that aren't 29 // in the Android platform source tree. 30 31 @Target({ 32 ElementType.ANNOTATION_TYPE, 33 ElementType.CONSTRUCTOR, 34 ElementType.FIELD, 35 ElementType.LOCAL_VARIABLE, 36 ElementType.METHOD, 37 ElementType.PACKAGE, 38 ElementType.PARAMETER, 39 ElementType.TYPE, 40 ElementType.TYPE_PARAMETER, 41 ElementType.TYPE_USE 42 }) 43 @Retention(RetentionPolicy.SOURCE) 44 public @interface Pure { 45 46 // These fields maintain API compatibility with annotations that expect arguments. 47 value()48 String[] value() default {}; 49 result()50 boolean result() default false; 51 expression()52 String[] expression() default {}; 53 status()54 MigrationStatus status() default MigrationStatus.IGNORE; 55 } 56