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 method from the `dex_file` with the given `field_index` 95 // annotated with @dalvik.annotation.optimization.NeverInline? 96 bool MethodIsNeverInline(const DexFile& dex_file, 97 const dex::ClassDef& class_def, 98 uint32_t method_index); 99 // Is the field from the `dex_file` with the given `field_index` 100 // annotated with @dalvik.annotation.optimization.ReachabilitySensitive? 101 bool FieldIsReachabilitySensitive(const DexFile& dex_file, 102 const dex::ClassDef& class_def, 103 uint32_t field_index); 104 // Is the method from the `dex_file` with the given `method_index` 105 // annotated with @dalvik.annotation.optimization.ReachabilitySensitive? 106 bool MethodIsReachabilitySensitive(const DexFile& dex_file, 107 const dex::ClassDef& class_def, 108 uint32_t method_index); 109 // Does the method from the `dex_file` with the given `method_index` contain an access to a field 110 // annotated with @dalvik.annotation.optimization.ReachabilitySensitive, or a call to a method 111 // with that annotation? 112 // Class_def is the class defining the method. We consider only accessses to classes or methods 113 // declared in the static type of the corresponding object. We may overlook accesses to annotated 114 // fields or methods that are in neither class_def nor a containing (outer) class. 115 bool MethodContainsRSensitiveAccess(const DexFile& dex_file, 116 const dex::ClassDef& class_def, 117 uint32_t method_index); 118 // Is the given class annotated with @dalvik.annotation.optimization.DeadReferenceSafe? 119 bool HasDeadReferenceSafeAnnotation(const DexFile& dex_file, 120 const dex::ClassDef& class_def); 121 122 // Class annotations. 123 ObjPtr<mirror::Object> GetAnnotationForClass(Handle<mirror::Class> klass, 124 Handle<mirror::Class> annotation_class) 125 REQUIRES_SHARED(Locks::mutator_lock_); 126 ObjPtr<mirror::ObjectArray<mirror::Object>> GetAnnotationsForClass(Handle<mirror::Class> klass) 127 REQUIRES_SHARED(Locks::mutator_lock_); 128 ObjPtr<mirror::ObjectArray<mirror::Class>> GetDeclaredClasses(Handle<mirror::Class> klass) 129 REQUIRES_SHARED(Locks::mutator_lock_); 130 ObjPtr<mirror::Class> GetDeclaringClass(Handle<mirror::Class> klass) 131 REQUIRES_SHARED(Locks::mutator_lock_); 132 ObjPtr<mirror::Class> GetEnclosingClass(Handle<mirror::Class> klass) 133 REQUIRES_SHARED(Locks::mutator_lock_); 134 ObjPtr<mirror::Object> GetEnclosingMethod(Handle<mirror::Class> klass) 135 REQUIRES_SHARED(Locks::mutator_lock_); 136 bool GetInnerClass(Handle<mirror::Class> klass, /*out*/ ObjPtr<mirror::String>* name) 137 REQUIRES_SHARED(Locks::mutator_lock_); 138 bool GetInnerClassFlags(Handle<mirror::Class> klass, uint32_t* flags) 139 REQUIRES_SHARED(Locks::mutator_lock_); 140 ObjPtr<mirror::ObjectArray<mirror::String>> GetSignatureAnnotationForClass( 141 Handle<mirror::Class> klass) REQUIRES_SHARED(Locks::mutator_lock_); 142 const char* GetSourceDebugExtension(Handle<mirror::Class> klass) 143 REQUIRES_SHARED(Locks::mutator_lock_); 144 ObjPtr<mirror::Class> GetNestHost(Handle<mirror::Class> klass) 145 REQUIRES_SHARED(Locks::mutator_lock_); 146 ObjPtr<mirror::ObjectArray<mirror::Class>> GetNestMembers(Handle<mirror::Class> klass) 147 REQUIRES_SHARED(Locks::mutator_lock_); 148 ObjPtr<mirror::Object> getRecordAnnotationElement(Handle<mirror::Class> klass, 149 Handle<mirror::Class> array_class, 150 const char* element_name) 151 REQUIRES_SHARED(Locks::mutator_lock_); 152 ObjPtr<mirror::ObjectArray<mirror::Class>> GetPermittedSubclasses(Handle<mirror::Class> klass) 153 REQUIRES_SHARED(Locks::mutator_lock_); 154 bool IsClassAnnotationPresent(Handle<mirror::Class> klass, 155 Handle<mirror::Class> annotation_class) 156 REQUIRES_SHARED(Locks::mutator_lock_); 157 158 // Map back from a PC to the line number in a method. 159 int32_t GetLineNumFromPC(const DexFile* dex_file, ArtMethod* method, uint32_t rel_pc) 160 REQUIRES_SHARED(Locks::mutator_lock_); 161 162 // Annotations iterator. 163 class RuntimeEncodedStaticFieldValueIterator : public EncodedStaticFieldValueIterator { 164 public: 165 // 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)166 RuntimeEncodedStaticFieldValueIterator(Handle<mirror::DexCache> dex_cache, 167 Handle<mirror::ClassLoader> class_loader, 168 ClassLinker* linker, 169 const dex::ClassDef& class_def) 170 REQUIRES_SHARED(Locks::mutator_lock_) 171 : EncodedStaticFieldValueIterator(*dex_cache->GetDexFile(), class_def), 172 dex_cache_(dex_cache), 173 class_loader_(class_loader), 174 linker_(linker) { 175 } 176 177 template<bool kTransactionActive> 178 void ReadValueToField(ArtField* field) const REQUIRES_SHARED(Locks::mutator_lock_); 179 180 private: 181 const Handle<mirror::DexCache> dex_cache_; // Dex cache to resolve literal objects. 182 const Handle<mirror::ClassLoader> class_loader_; // ClassLoader to resolve types. 183 ClassLinker* const linker_; // Linker to resolve literal objects. 184 DISALLOW_IMPLICIT_CONSTRUCTORS(RuntimeEncodedStaticFieldValueIterator); 185 }; 186 187 enum class VisitorStatus : uint8_t { kVisitBreak, kVisitNext, kVisitInner }; 188 189 class AnnotationVisitor { 190 public: ~AnnotationVisitor()191 virtual ~AnnotationVisitor() {} 192 virtual VisitorStatus VisitAnnotation(const char* annotation_descriptor, uint8_t visibility) = 0; 193 virtual VisitorStatus VisitAnnotationElement(const char* element_name, 194 uint8_t type, 195 const JValue& value) = 0; 196 virtual VisitorStatus VisitArrayElement(uint8_t depth, 197 uint32_t index, 198 uint8_t type, 199 const JValue& value) = 0; 200 }; 201 202 // Visit all annotation elements and array elements without creating 203 // Arrays or Objects in the managed heap. 204 void VisitClassAnnotations(Handle<mirror::Class> klass, AnnotationVisitor* visitor) 205 REQUIRES_SHARED(Locks::mutator_lock_); 206 207 } // namespace annotations 208 209 } // namespace art 210 211 #endif // ART_RUNTIME_DEX_DEX_FILE_ANNOTATIONS_H_ 212