1 /* 2 * Copyright (C) 2016 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 #ifndef ART_RUNTIME_DEX_DEX_FILE_ANNOTATIONS_H_ 18 #define ART_RUNTIME_DEX_DEX_FILE_ANNOTATIONS_H_ 19 20 #include "dex/dex_file.h" 21 #include "handle.h" 22 #include "mirror/dex_cache.h" 23 #include "mirror/object_array.h" 24 #include "obj_ptr.h" 25 26 namespace art { 27 28 namespace mirror { 29 class ClassLoader; 30 } // namespace mirror 31 class ArtField; 32 class ArtMethod; 33 class ClassLinker; 34 35 namespace annotations { 36 37 // Field annotations. 38 ObjPtr<mirror::Object> GetAnnotationForField(ArtField* field, 39 Handle<mirror::Class> annotation_class) 40 REQUIRES_SHARED(Locks::mutator_lock_); 41 ObjPtr<mirror::ObjectArray<mirror::Object>> GetAnnotationsForField(ArtField* field) 42 REQUIRES_SHARED(Locks::mutator_lock_); 43 ObjPtr<mirror::ObjectArray<mirror::String>> GetSignatureAnnotationForField(ArtField* field) 44 REQUIRES_SHARED(Locks::mutator_lock_); 45 bool IsFieldAnnotationPresent(ArtField* field, Handle<mirror::Class> annotation_class) 46 REQUIRES_SHARED(Locks::mutator_lock_); 47 48 // Method annotations. 49 ObjPtr<mirror::Object> GetAnnotationDefaultValue(ArtMethod* method) 50 REQUIRES_SHARED(Locks::mutator_lock_); 51 ObjPtr<mirror::Object> GetAnnotationForMethod(ArtMethod* method, 52 Handle<mirror::Class> annotation_class) 53 REQUIRES_SHARED(Locks::mutator_lock_); 54 ObjPtr<mirror::ObjectArray<mirror::Object>> GetAnnotationsForMethod(ArtMethod* method) 55 REQUIRES_SHARED(Locks::mutator_lock_); 56 ObjPtr<mirror::ObjectArray<mirror::Class>> GetExceptionTypesForMethod(ArtMethod* method) 57 REQUIRES_SHARED(Locks::mutator_lock_); 58 ObjPtr<mirror::ObjectArray<mirror::Object>> GetParameterAnnotations(ArtMethod* method) 59 REQUIRES_SHARED(Locks::mutator_lock_); 60 uint32_t GetNumberOfAnnotatedMethodParameters(ArtMethod* method) 61 REQUIRES_SHARED(Locks::mutator_lock_); 62 ObjPtr<mirror::Object> GetAnnotationForMethodParameter(ArtMethod* method, 63 uint32_t parameter_idx, 64 Handle<mirror::Class> annotation_class) 65 REQUIRES_SHARED(Locks::mutator_lock_); 66 bool GetParametersMetadataForMethod( 67 ArtMethod* method, 68 /*out*/ MutableHandle<mirror::ObjectArray<mirror::String>>* names, 69 /*out*/ MutableHandle<mirror::IntArray>* access_flags) REQUIRES_SHARED(Locks::mutator_lock_); 70 ObjPtr<mirror::ObjectArray<mirror::String>> GetSignatureAnnotationForMethod(ArtMethod* method) 71 REQUIRES_SHARED(Locks::mutator_lock_); 72 // Check whether `method` is annotated with `annotation_class`. 73 // If `lookup_in_resolved_boot_classes` is true, look up any of the 74 // method's annotations' classes in the bootstrap class loader's 75 // resolved types; if it is false (default value), resolve them as a 76 // side effect. 77 bool IsMethodAnnotationPresent(ArtMethod* method, 78 Handle<mirror::Class> annotation_class, 79 uint32_t visibility = DexFile::kDexVisibilityRuntime) 80 REQUIRES_SHARED(Locks::mutator_lock_); 81 82 // Check whether a method from the `dex_file` with the given `method_index` 83 // is annotated with @dalvik.annotation.optimization.FastNative or 84 // @dalvik.annotation.optimization.CriticalNative with build visibility. 85 // If yes, return the associated access flags, i.e. kAccFastNative or kAccCriticalNative. 86 uint32_t GetNativeMethodAnnotationAccessFlags(const DexFile& dex_file, 87 const dex::ClassDef& class_def, 88 uint32_t method_index); 89 // Is the method from the `dex_file` with the given `field_index` 90 // annotated with @dalvik.annotation.optimization.NeverCompile? 91 bool MethodIsNeverCompile(const DexFile& dex_file, 92 const dex::ClassDef& class_def, 93 uint32_t method_index); 94 // Is the field from the `dex_file` with the given `field_index` 95 // annotated with @dalvik.annotation.optimization.ReachabilitySensitive? 96 bool FieldIsReachabilitySensitive(const DexFile& dex_file, 97 const dex::ClassDef& class_def, 98 uint32_t field_index); 99 // Is the method from the `dex_file` with the given `method_index` 100 // annotated with @dalvik.annotation.optimization.ReachabilitySensitive? 101 bool MethodIsReachabilitySensitive(const DexFile& dex_file, 102 const dex::ClassDef& class_def, 103 uint32_t method_index); 104 // Does the method from the `dex_file` with the given `method_index` contain an access to a field 105 // annotated with @dalvik.annotation.optimization.ReachabilitySensitive, or a call to a method 106 // with that annotation? 107 // Class_def is the class defining the method. We consider only accessses to classes or methods 108 // declared in the static type of the corresponding object. We may overlook accesses to annotated 109 // fields or methods that are in neither class_def nor a containing (outer) class. 110 bool MethodContainsRSensitiveAccess(const DexFile& dex_file, 111 const dex::ClassDef& class_def, 112 uint32_t method_index); 113 // Is the given class annotated with @dalvik.annotation.optimization.DeadReferenceSafe? 114 bool HasDeadReferenceSafeAnnotation(const DexFile& dex_file, 115 const dex::ClassDef& class_def); 116 117 // Class annotations. 118 ObjPtr<mirror::Object> GetAnnotationForClass(Handle<mirror::Class> klass, 119 Handle<mirror::Class> annotation_class) 120 REQUIRES_SHARED(Locks::mutator_lock_); 121 ObjPtr<mirror::ObjectArray<mirror::Object>> GetAnnotationsForClass(Handle<mirror::Class> klass) 122 REQUIRES_SHARED(Locks::mutator_lock_); 123 ObjPtr<mirror::ObjectArray<mirror::Class>> GetDeclaredClasses(Handle<mirror::Class> klass) 124 REQUIRES_SHARED(Locks::mutator_lock_); 125 ObjPtr<mirror::Class> GetDeclaringClass(Handle<mirror::Class> klass) 126 REQUIRES_SHARED(Locks::mutator_lock_); 127 ObjPtr<mirror::Class> GetEnclosingClass(Handle<mirror::Class> klass) 128 REQUIRES_SHARED(Locks::mutator_lock_); 129 ObjPtr<mirror::Object> GetEnclosingMethod(Handle<mirror::Class> klass) 130 REQUIRES_SHARED(Locks::mutator_lock_); 131 bool GetInnerClass(Handle<mirror::Class> klass, /*out*/ ObjPtr<mirror::String>* name) 132 REQUIRES_SHARED(Locks::mutator_lock_); 133 bool GetInnerClassFlags(Handle<mirror::Class> klass, uint32_t* flags) 134 REQUIRES_SHARED(Locks::mutator_lock_); 135 ObjPtr<mirror::ObjectArray<mirror::String>> GetSignatureAnnotationForClass( 136 Handle<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_); 137 const char* GetSourceDebugExtension(Handle<mirror::Class> klass) 138 REQUIRES_SHARED(Locks::mutator_lock_); 139 bool IsClassAnnotationPresent(Handle<mirror::Class> klass, 140 Handle<mirror::Class> annotation_class) 141 REQUIRES_SHARED(Locks::mutator_lock_); 142 143 // Map back from a PC to the line number in a method. 144 int32_t GetLineNumFromPC(const DexFile* dex_file, ArtMethod* method, uint32_t rel_pc) 145 REQUIRES_SHARED(Locks::mutator_lock_); 146 147 // Annotations iterator. 148 class RuntimeEncodedStaticFieldValueIterator : public EncodedStaticFieldValueIterator { 149 public: 150 // A constructor meant to be called from runtime code. RuntimeEncodedStaticFieldValueIterator(Handle<mirror::DexCache> dex_cache,Handle<mirror::ClassLoader> class_loader,ClassLinker * linker,const dex::ClassDef & class_def)151 RuntimeEncodedStaticFieldValueIterator(Handle<mirror::DexCache> dex_cache, 152 Handle<mirror::ClassLoader> class_loader, 153 ClassLinker* linker, 154 const dex::ClassDef& class_def) 155 REQUIRES_SHARED(Locks::mutator_lock_) 156 : EncodedStaticFieldValueIterator(*dex_cache->GetDexFile(), class_def), 157 dex_cache_(dex_cache), 158 class_loader_(class_loader), 159 linker_(linker) { 160 } 161 162 template<bool kTransactionActive> 163 void ReadValueToField(ArtField* field) const REQUIRES_SHARED(Locks::mutator_lock_); 164 165 private: 166 const Handle<mirror::DexCache> dex_cache_; // Dex cache to resolve literal objects. 167 const Handle<mirror::ClassLoader> class_loader_; // ClassLoader to resolve types. 168 ClassLinker* const linker_; // Linker to resolve literal objects. 169 DISALLOW_IMPLICIT_CONSTRUCTORS(RuntimeEncodedStaticFieldValueIterator); 170 }; 171 172 } // namespace annotations 173 174 } // namespace art 175 176 #endif // ART_RUNTIME_DEX_DEX_FILE_ANNOTATIONS_H_ 177