blob: 7dff9df1dbb9663d010d7106459fc2b7013a7bef [file] [log] [blame]
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001/*
2 * Copyright (C) 2011 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#include "class.h"
18
Alex Light79d6c802019-06-27 15:50:11 +000019#include "android-base/macros.h"
Andreas Gampe46ee31b2016-12-14 10:11:49 -080020#include "android-base/stringprintf.h"
21
Alex Light79d6c802019-06-27 15:50:11 +000022#include "array-inl.h"
Brian Carlstromea46f952013-07-30 01:26:50 -070023#include "art_field-inl.h"
24#include "art_method-inl.h"
Alex Light79d6c802019-06-27 15:50:11 +000025#include "base/enums.h"
Andreas Gampe170331f2017-12-07 18:41:03 -080026#include "base/logging.h" // For VLOG.
David Sehrc431b9d2018-03-02 12:01:51 -080027#include "base/utils.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070028#include "class-inl.h"
Alex Light79d6c802019-06-27 15:50:11 +000029#include "class_ext-inl.h"
Vladimir Marko3481ba22015-04-13 12:22:36 +010030#include "class_linker-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080031#include "class_loader.h"
Vladimir Markob4eb1b12018-05-24 11:09:38 +010032#include "class_root.h"
David Sehrb2ec9f52018-02-21 13:20:31 -080033#include "dex/descriptors_names.h"
David Sehr9e734c72018-01-04 17:56:19 -080034#include "dex/dex_file-inl.h"
35#include "dex/dex_file_annotations.h"
Andreas Gampead1aa632019-01-02 10:30:54 -080036#include "dex/signature-inl.h"
Vladimir Marko58412b12019-04-01 13:26:34 +010037#include "dex_cache-inl.h"
Ian Rogers1d54e732013-05-02 21:10:01 -070038#include "gc/accounting/card_table-inl.h"
Andreas Gampee15b9b12018-10-29 12:54:27 -070039#include "gc/heap-inl.h"
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070040#include "handle_scope-inl.h"
David Brazdil4bcd6572019-02-02 20:08:44 +000041#include "hidden_api.h"
Alex Lightf3677472019-06-26 16:31:53 -070042#include "jni_id_type.h"
Igor Murashkin86083f72017-10-27 10:59:04 -070043#include "subtype_check.h"
Mathieu Chartierfc58af42015-04-16 18:00:39 -070044#include "method.h"
Ian Rogers22d5e732014-07-15 22:23:51 -070045#include "object-inl.h"
Andreas Gampec6ea7d02017-02-01 16:46:28 -080046#include "object-refvisitor-inl.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070047#include "object_array-inl.h"
Alex Lightd6251582016-10-31 11:12:30 -070048#include "object_lock.h"
Vladimir Marko5924a4a2018-05-29 17:40:41 +010049#include "string-inl.h"
Ian Rogers22d5e732014-07-15 22:23:51 -070050#include "runtime.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080051#include "thread.h"
52#include "throwable.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080053#include "well_known_classes.h"
54
55namespace art {
Igor Murashkin86083f72017-10-27 10:59:04 -070056
57// TODO: move to own CC file?
58constexpr size_t BitString::kBitSizeAtPosition[BitString::kCapacity];
59constexpr size_t BitString::kCapacity;
60
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080061namespace mirror {
62
Andreas Gampe46ee31b2016-12-14 10:11:49 -080063using android::base::StringPrintf;
64
Vladimir Marko7287c4d2018-02-15 10:41:07 +000065ObjPtr<mirror::Class> Class::GetPrimitiveClass(ObjPtr<mirror::String> name) {
66 const char* expected_name = nullptr;
Vladimir Markob4eb1b12018-05-24 11:09:38 +010067 ClassRoot class_root = ClassRoot::kJavaLangObject; // Invalid.
Vladimir Marko7287c4d2018-02-15 10:41:07 +000068 if (name != nullptr && name->GetLength() >= 2) {
69 // Perfect hash for the expected values: from the second letters of the primitive types,
70 // only 'y' has the bit 0x10 set, so use it to change 'b' to 'B'.
71 char hash = name->CharAt(0) ^ ((name->CharAt(1) & 0x10) << 1);
72 switch (hash) {
Vladimir Markob4eb1b12018-05-24 11:09:38 +010073 case 'b': expected_name = "boolean"; class_root = ClassRoot::kPrimitiveBoolean; break;
74 case 'B': expected_name = "byte"; class_root = ClassRoot::kPrimitiveByte; break;
75 case 'c': expected_name = "char"; class_root = ClassRoot::kPrimitiveChar; break;
76 case 'd': expected_name = "double"; class_root = ClassRoot::kPrimitiveDouble; break;
77 case 'f': expected_name = "float"; class_root = ClassRoot::kPrimitiveFloat; break;
78 case 'i': expected_name = "int"; class_root = ClassRoot::kPrimitiveInt; break;
79 case 'l': expected_name = "long"; class_root = ClassRoot::kPrimitiveLong; break;
80 case 's': expected_name = "short"; class_root = ClassRoot::kPrimitiveShort; break;
81 case 'v': expected_name = "void"; class_root = ClassRoot::kPrimitiveVoid; break;
Vladimir Marko7287c4d2018-02-15 10:41:07 +000082 default: break;
83 }
84 }
85 if (expected_name != nullptr && name->Equals(expected_name)) {
Vladimir Markob4eb1b12018-05-24 11:09:38 +010086 ObjPtr<mirror::Class> klass = GetClassRoot(class_root);
Vladimir Marko7287c4d2018-02-15 10:41:07 +000087 DCHECK(klass != nullptr);
88 return klass;
89 } else {
90 Thread* self = Thread::Current();
91 if (name == nullptr) {
92 // Note: ThrowNullPointerException() requires a message which we deliberately want to omit.
Andreas Gampe98ea9d92018-10-19 14:06:15 -070093 self->ThrowNewException("Ljava/lang/NullPointerException;", /* msg= */ nullptr);
Vladimir Marko7287c4d2018-02-15 10:41:07 +000094 } else {
95 self->ThrowNewException("Ljava/lang/ClassNotFoundException;", name->ToModifiedUtf8().c_str());
96 }
97 return nullptr;
98 }
99}
100
Vladimir Marko3068d582019-05-28 16:39:29 +0100101ObjPtr<ClassExt> Class::EnsureExtDataPresent(Handle<Class> h_this, Thread* self) {
102 ObjPtr<ClassExt> existing(h_this->GetExtData());
Alex Light0273ad12016-11-02 11:19:31 -0700103 if (!existing.IsNull()) {
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000104 return existing;
Alex Light0273ad12016-11-02 11:19:31 -0700105 }
Vladimir Marko3068d582019-05-28 16:39:29 +0100106 StackHandleScope<2> hs(self);
Alex Light0273ad12016-11-02 11:19:31 -0700107 // Clear exception so we can allocate.
108 Handle<Throwable> throwable(hs.NewHandle(self->GetException()));
109 self->ClearException();
110 // Allocate the ClassExt
111 Handle<ClassExt> new_ext(hs.NewHandle(ClassExt::Alloc(self)));
Andreas Gampefa4333d2017-02-14 11:10:34 -0800112 if (new_ext == nullptr) {
Alex Light0273ad12016-11-02 11:19:31 -0700113 // OOM allocating the classExt.
114 // TODO Should we restore the suppressed exception?
115 self->AssertPendingOOMException();
116 return nullptr;
Andreas Gampe99babb62015-11-02 16:20:00 -0800117 } else {
Alex Light0273ad12016-11-02 11:19:31 -0700118 MemberOffset ext_offset(OFFSET_OF_OBJECT_MEMBER(Class, ext_data_));
119 bool set;
120 // Set the ext_data_ field using CAS semantics.
121 if (Runtime::Current()->IsActiveTransaction()) {
Mathieu Chartiera9746b92018-06-22 10:25:40 -0700122 set = h_this->CasFieldObject<true>(ext_offset,
123 nullptr,
124 new_ext.Get(),
125 CASMode::kStrong,
126 std::memory_order_seq_cst);
Alex Light0273ad12016-11-02 11:19:31 -0700127 } else {
Mathieu Chartiera9746b92018-06-22 10:25:40 -0700128 set = h_this->CasFieldObject<false>(ext_offset,
129 nullptr,
130 new_ext.Get(),
131 CASMode::kStrong,
132 std::memory_order_seq_cst);
Alex Light0273ad12016-11-02 11:19:31 -0700133 }
134 ObjPtr<ClassExt> ret(set ? new_ext.Get() : h_this->GetExtData());
135 DCHECK(!set || h_this->GetExtData() == new_ext.Get());
136 CHECK(!ret.IsNull());
137 // Restore the exception if there was one.
Andreas Gampefa4333d2017-02-14 11:10:34 -0800138 if (throwable != nullptr) {
Alex Light0273ad12016-11-02 11:19:31 -0700139 self->SetException(throwable.Get());
140 }
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000141 return ret;
Andreas Gampe99babb62015-11-02 16:20:00 -0800142 }
143}
144
Vladimir Marko2c64a832018-01-04 11:31:56 +0000145void Class::SetStatus(Handle<Class> h_this, ClassStatus new_status, Thread* self) {
146 ClassStatus old_status = h_this->GetStatus();
Mathieu Chartier590fee92013-09-13 13:46:47 -0700147 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
148 bool class_linker_initialized = class_linker != nullptr && class_linker->IsInitialized();
Ian Rogers7dfb28c2013-08-22 08:18:36 -0700149 if (LIKELY(class_linker_initialized)) {
Vladimir Marko72ab6842017-01-20 19:32:50 +0000150 if (UNLIKELY(new_status <= old_status &&
Vladimir Marko2c64a832018-01-04 11:31:56 +0000151 new_status != ClassStatus::kErrorUnresolved &&
152 new_status != ClassStatus::kErrorResolved &&
153 new_status != ClassStatus::kRetired)) {
David Sehr709b0702016-10-13 09:12:37 -0700154 LOG(FATAL) << "Unexpected change back of class status for " << h_this->PrettyClass()
Hiroshi Yamauchi5b783e62015-03-18 17:20:11 -0700155 << " " << old_status << " -> " << new_status;
Ian Rogers8f3c9ae2013-08-20 17:26:41 -0700156 }
Vladimir Marko422a9eb2019-08-01 12:54:07 +0100157 if (old_status == ClassStatus::kInitialized) {
158 // We do not hold the lock for making the class visibly initialized
159 // as this is unnecessary and could lead to deadlocks.
160 CHECK_EQ(new_status, ClassStatus::kVisiblyInitialized);
161 } else if (new_status >= ClassStatus::kResolved || old_status >= ClassStatus::kResolved) {
Ian Rogers7dfb28c2013-08-22 08:18:36 -0700162 // When classes are being resolved the resolution code should hold the lock.
Hiroshi Yamauchi5b783e62015-03-18 17:20:11 -0700163 CHECK_EQ(h_this->GetLockOwnerThreadId(), self->GetThreadId())
Ian Rogers7dfb28c2013-08-22 08:18:36 -0700164 << "Attempt to change status of class while not holding its lock: "
David Sehr709b0702016-10-13 09:12:37 -0700165 << h_this->PrettyClass() << " " << old_status << " -> " << new_status;
Ian Rogers7dfb28c2013-08-22 08:18:36 -0700166 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800167 }
Vladimir Marko72ab6842017-01-20 19:32:50 +0000168 if (UNLIKELY(IsErroneous(new_status))) {
169 CHECK(!h_this->IsErroneous())
Hiroshi Yamauchi5b783e62015-03-18 17:20:11 -0700170 << "Attempt to set as erroneous an already erroneous class "
Vladimir Marko72ab6842017-01-20 19:32:50 +0000171 << h_this->PrettyClass()
172 << " old_status: " << old_status << " new_status: " << new_status;
Vladimir Marko2c64a832018-01-04 11:31:56 +0000173 CHECK_EQ(new_status == ClassStatus::kErrorResolved, old_status >= ClassStatus::kResolved);
Andreas Gampe31decb12015-08-24 21:09:05 -0700174 if (VLOG_IS_ON(class_linker)) {
David Sehr709b0702016-10-13 09:12:37 -0700175 LOG(ERROR) << "Setting " << h_this->PrettyDescriptor() << " to erroneous.";
Andreas Gampe31decb12015-08-24 21:09:05 -0700176 if (self->IsExceptionPending()) {
177 LOG(ERROR) << "Exception: " << self->GetException()->Dump();
178 }
179 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800180
Vladimir Marko3068d582019-05-28 16:39:29 +0100181 ObjPtr<ClassExt> ext(EnsureExtDataPresent(h_this, self));
Alex Light0273ad12016-11-02 11:19:31 -0700182 if (!ext.IsNull()) {
183 self->AssertPendingException();
184 ext->SetVerifyError(self->GetException());
185 } else {
186 self->AssertPendingOOMException();
Alex Lightd6251582016-10-31 11:12:30 -0700187 }
188 self->AssertPendingException();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800189 }
Alex Light0273ad12016-11-02 11:19:31 -0700190
Vladimir Marko305c38b2018-02-14 11:50:07 +0000191 if (kBitstringSubtypeCheckEnabled) {
192 // FIXME: This looks broken with respect to aborted transactions.
Igor Murashkin86083f72017-10-27 10:59:04 -0700193 ObjPtr<mirror::Class> h_this_ptr = h_this.Get();
194 SubtypeCheck<ObjPtr<mirror::Class>>::WriteStatus(h_this_ptr, new_status);
Vladimir Marko305c38b2018-02-14 11:50:07 +0000195 } else {
196 // The ClassStatus is always in the 4 most-significant bits of status_.
197 static_assert(sizeof(status_) == sizeof(uint32_t), "Size of status_ not equal to uint32");
198 uint32_t new_status_value = static_cast<uint32_t>(new_status) << (32 - kClassStatusBitSize);
199 if (Runtime::Current()->IsActiveTransaction()) {
200 h_this->SetField32Volatile<true>(StatusOffset(), new_status_value);
201 } else {
202 h_this->SetField32Volatile<false>(StatusOffset(), new_status_value);
203 }
Mathieu Chartier93bbee02016-08-31 09:38:40 -0700204 }
205
206 // Setting the object size alloc fast path needs to be after the status write so that if the
207 // alloc path sees a valid object size, we would know that it's initialized as long as it has a
208 // load-acquire/fake dependency.
Vladimir Marko8e110652019-07-30 10:14:41 +0100209 if (new_status == ClassStatus::kVisiblyInitialized && !h_this->IsVariableSize()) {
Mathieu Chartier161db1d2016-09-01 14:06:54 -0700210 DCHECK_EQ(h_this->GetObjectSizeAllocFastPath(), std::numeric_limits<uint32_t>::max());
211 // Finalizable objects must always go slow path.
212 if (!h_this->IsFinalizable()) {
213 h_this->SetObjectSizeAllocFastPath(RoundUp(h_this->GetObjectSize(), kObjectAlignment));
Mathieu Chartier93bbee02016-08-31 09:38:40 -0700214 }
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100215 }
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700216
Andreas Gampe5b20b352018-10-11 19:03:20 -0700217 if (kIsDebugBuild && new_status >= ClassStatus::kInitialized) {
218 CHECK(h_this->WasVerificationAttempted()) << h_this->PrettyClassAndClassLoader();
219 }
220
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700221 if (!class_linker_initialized) {
222 // When the class linker is being initialized its single threaded and by definition there can be
223 // no waiters. During initialization classes may appear temporary but won't be retired as their
224 // size was statically computed.
225 } else {
226 // Classes that are being resolved or initialized need to notify waiters that the class status
227 // changed. See ClassLinker::EnsureResolved and ClassLinker::WaitForInitializeClass.
Hiroshi Yamauchi5b783e62015-03-18 17:20:11 -0700228 if (h_this->IsTemp()) {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700229 // Class is a temporary one, ensure that waiters for resolution get notified of retirement
230 // so that they can grab the new version of the class from the class linker's table.
Vladimir Marko2c64a832018-01-04 11:31:56 +0000231 CHECK_LT(new_status, ClassStatus::kResolved) << h_this->PrettyDescriptor();
232 if (new_status == ClassStatus::kRetired || new_status == ClassStatus::kErrorUnresolved) {
Hiroshi Yamauchi5b783e62015-03-18 17:20:11 -0700233 h_this->NotifyAll(self);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700234 }
Vladimir Marko422a9eb2019-08-01 12:54:07 +0100235 } else if (old_status == ClassStatus::kInitialized) {
236 // Do not notify for transition from kInitialized to ClassStatus::kVisiblyInitialized.
237 // This is a hidden transition, not observable by bytecode.
238 DCHECK_EQ(new_status, ClassStatus::kVisiblyInitialized); // Already CHECK()ed above.
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700239 } else {
Vladimir Marko2c64a832018-01-04 11:31:56 +0000240 CHECK_NE(new_status, ClassStatus::kRetired);
241 if (old_status >= ClassStatus::kResolved || new_status >= ClassStatus::kResolved) {
Hiroshi Yamauchi5b783e62015-03-18 17:20:11 -0700242 h_this->NotifyAll(self);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700243 }
244 }
Ian Rogers7dfb28c2013-08-22 08:18:36 -0700245 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800246}
247
Vladimir Marko70e2a762019-07-12 16:49:00 +0100248void Class::SetStatusForPrimitiveOrArray(ClassStatus new_status) {
249 DCHECK(IsPrimitive<kVerifyNone>() || IsArrayClass<kVerifyNone>());
250 DCHECK(!IsErroneous(new_status));
251 DCHECK(!IsErroneous(GetStatus<kVerifyNone>()));
252 DCHECK_GT(new_status, GetStatus<kVerifyNone>());
253
254 if (kBitstringSubtypeCheckEnabled) {
255 LOG(FATAL) << "Unimplemented";
256 }
257 // The ClassStatus is always in the 4 most-significant bits of status_.
258 static_assert(sizeof(status_) == sizeof(uint32_t), "Size of status_ not equal to uint32");
259 uint32_t new_status_value = static_cast<uint32_t>(new_status) << (32 - kClassStatusBitSize);
260 // Use normal store. For primitives and core arrays classes (Object[],
261 // Class[], String[] and primitive arrays), the status is set while the
262 // process is still single threaded. For other arrays classes, it is set
263 // in a pre-fence visitor which initializes all fields and the subsequent
264 // fence together with address dependency shall ensure memory visibility.
265 SetField32</*kTransactionActive=*/ false,
266 /*kCheckTransaction=*/ false,
267 kVerifyNone>(StatusOffset(), new_status_value);
268
269 // Do not update `object_alloc_fast_path_`. Arrays are variable size and
270 // instances of primitive classes cannot be created at all.
271
272 if (kIsDebugBuild && new_status >= ClassStatus::kInitialized) {
273 CHECK(WasVerificationAttempted()) << PrettyClassAndClassLoader();
274 }
275
276 // There can be no waiters to notify as these classes are initialized
277 // before another thread can see them.
278}
279
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700280void Class::SetDexCache(ObjPtr<DexCache> new_dex_cache) {
Chang Xing6d3e7682017-07-11 10:31:29 -0700281 SetFieldObjectTransaction(OFFSET_OF_OBJECT_MEMBER(Class, dex_cache_), new_dex_cache);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800282}
283
Ian Rogersef7d42f2014-01-06 12:55:46 -0800284void Class::SetClassSize(uint32_t new_class_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700285 if (kIsDebugBuild && new_class_size < GetClassSize()) {
Andreas Gampe3fec9ac2016-09-13 10:47:28 -0700286 DumpClass(LOG_STREAM(FATAL_WITHOUT_ABORT), kDumpClassFullDetail);
287 LOG(FATAL_WITHOUT_ABORT) << new_class_size << " vs " << GetClassSize();
David Sehr709b0702016-10-13 09:12:37 -0700288 LOG(FATAL) << "class=" << PrettyTypeOf();
Ian Rogers8b2c0b92013-09-19 02:56:49 -0700289 }
Chang Xing6d3e7682017-07-11 10:31:29 -0700290 SetField32Transaction(OFFSET_OF_OBJECT_MEMBER(Class, class_size_), new_class_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800291}
292
293// Return the class' name. The exact format is bizarre, but it's the specified behavior for
294// Class.getName: keywords for primitive types, regular "[I" form for primitive arrays (so "int"
295// but "[I"), and arrays of reference types written between "L" and ";" but with dots rather than
296// slashes (so "java.lang.String" but "[Ljava.lang.String;"). Madness.
Vladimir Marko179b7c62019-03-22 13:38:57 +0000297ObjPtr<String> Class::ComputeName(Handle<Class> h_this) {
298 ObjPtr<String> name = h_this->GetName();
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800299 if (name != nullptr) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800300 return name;
301 }
Ian Rogers1ff3c982014-08-12 02:30:58 -0700302 std::string temp;
303 const char* descriptor = h_this->GetDescriptor(&temp);
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800304 Thread* self = Thread::Current();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800305 if ((descriptor[0] != 'L') && (descriptor[0] != '[')) {
306 // The descriptor indicates that this is the class for
307 // a primitive type; special-case the return value.
Brian Carlstrom004644f2014-06-18 08:34:01 -0700308 const char* c_name = nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800309 switch (descriptor[0]) {
310 case 'Z': c_name = "boolean"; break;
311 case 'B': c_name = "byte"; break;
312 case 'C': c_name = "char"; break;
313 case 'S': c_name = "short"; break;
314 case 'I': c_name = "int"; break;
315 case 'J': c_name = "long"; break;
316 case 'F': c_name = "float"; break;
317 case 'D': c_name = "double"; break;
318 case 'V': c_name = "void"; break;
319 default:
320 LOG(FATAL) << "Unknown primitive type: " << PrintableChar(descriptor[0]);
321 }
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800322 name = String::AllocFromModifiedUtf8(self, c_name);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800323 } else {
324 // Convert the UTF-8 name to a java.lang.String. The name must use '.' to separate package
325 // components.
Ian Rogers1ff3c982014-08-12 02:30:58 -0700326 name = String::AllocFromModifiedUtf8(self, DescriptorToDot(descriptor).c_str());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800327 }
Mathieu Chartierf8322842014-05-16 10:59:25 -0700328 h_this->SetName(name);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800329 return name;
330}
331
Ian Rogersef7d42f2014-01-06 12:55:46 -0800332void Class::DumpClass(std::ostream& os, int flags) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800333 if ((flags & kDumpClassFullDetail) == 0) {
David Sehr709b0702016-10-13 09:12:37 -0700334 os << PrettyClass();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800335 if ((flags & kDumpClassClassLoader) != 0) {
336 os << ' ' << GetClassLoader();
337 }
338 if ((flags & kDumpClassInitialized) != 0) {
339 os << ' ' << GetStatus();
340 }
341 os << "\n";
342 return;
343 }
344
Mathieu Chartiere401d142015-04-22 13:56:20 -0700345 Thread* const self = Thread::Current();
Mathieu Chartierf8322842014-05-16 10:59:25 -0700346 StackHandleScope<2> hs(self);
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700347 Handle<Class> h_this(hs.NewHandle(this));
348 Handle<Class> h_super(hs.NewHandle(GetSuperClass()));
Mathieu Chartiere401d142015-04-22 13:56:20 -0700349 auto image_pointer_size = Runtime::Current()->GetClassLinker()->GetImagePointerSize();
Mathieu Chartierf8322842014-05-16 10:59:25 -0700350
Ian Rogers1ff3c982014-08-12 02:30:58 -0700351 std::string temp;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800352 os << "----- " << (IsInterface() ? "interface" : "class") << " "
Ian Rogers1ff3c982014-08-12 02:30:58 -0700353 << "'" << GetDescriptor(&temp) << "' cl=" << GetClassLoader() << " -----\n",
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800354 os << " objectSize=" << SizeOf() << " "
Andreas Gampefa4333d2017-02-14 11:10:34 -0800355 << "(" << (h_super != nullptr ? h_super->SizeOf() : -1) << " from super)\n",
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800356 os << StringPrintf(" access=0x%04x.%04x\n",
357 GetAccessFlags() >> 16, GetAccessFlags() & kAccJavaFlagsMask);
Andreas Gampefa4333d2017-02-14 11:10:34 -0800358 if (h_super != nullptr) {
David Sehr709b0702016-10-13 09:12:37 -0700359 os << " super='" << h_super->PrettyClass() << "' (cl=" << h_super->GetClassLoader()
Mathieu Chartierf8322842014-05-16 10:59:25 -0700360 << ")\n";
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800361 }
362 if (IsArrayClass()) {
363 os << " componentType=" << PrettyClass(GetComponentType()) << "\n";
364 }
Mathieu Chartierf8322842014-05-16 10:59:25 -0700365 const size_t num_direct_interfaces = NumDirectInterfaces();
366 if (num_direct_interfaces > 0) {
367 os << " interfaces (" << num_direct_interfaces << "):\n";
368 for (size_t i = 0; i < num_direct_interfaces; ++i) {
Vladimir Marko19a4d372016-12-08 14:41:46 +0000369 ObjPtr<Class> interface = GetDirectInterface(self, h_this.Get(), i);
Andreas Gampe16f149c2015-03-23 10:10:20 -0700370 if (interface == nullptr) {
371 os << StringPrintf(" %2zd: nullptr!\n", i);
372 } else {
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700373 ObjPtr<ClassLoader> cl = interface->GetClassLoader();
374 os << StringPrintf(" %2zd: %s (cl=%p)\n", i, PrettyClass(interface).c_str(), cl.Ptr());
Andreas Gampe16f149c2015-03-23 10:10:20 -0700375 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800376 }
377 }
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700378 if (!IsLoaded()) {
379 os << " class not yet loaded";
380 } else {
381 // After this point, this may have moved due to GetDirectInterface.
382 os << " vtable (" << h_this->NumVirtualMethods() << " entries, "
Andreas Gampefa4333d2017-02-14 11:10:34 -0800383 << (h_super != nullptr ? h_super->NumVirtualMethods() : 0) << " in super):\n";
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700384 for (size_t i = 0; i < NumVirtualMethods(); ++i) {
David Sehr709b0702016-10-13 09:12:37 -0700385 os << StringPrintf(" %2zd: %s\n", i, ArtMethod::PrettyMethod(
Mathieu Chartiere401d142015-04-22 13:56:20 -0700386 h_this->GetVirtualMethodDuringLinking(i, image_pointer_size)).c_str());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800387 }
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700388 os << " direct methods (" << h_this->NumDirectMethods() << " entries):\n";
389 for (size_t i = 0; i < h_this->NumDirectMethods(); ++i) {
David Sehr709b0702016-10-13 09:12:37 -0700390 os << StringPrintf(" %2zd: %s\n", i, ArtMethod::PrettyMethod(
Mathieu Chartiere401d142015-04-22 13:56:20 -0700391 h_this->GetDirectMethod(i, image_pointer_size)).c_str());
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700392 }
393 if (h_this->NumStaticFields() > 0) {
394 os << " static fields (" << h_this->NumStaticFields() << " entries):\n";
Vladimir Marko72ab6842017-01-20 19:32:50 +0000395 if (h_this->IsResolved()) {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700396 for (size_t i = 0; i < h_this->NumStaticFields(); ++i) {
David Sehr709b0702016-10-13 09:12:37 -0700397 os << StringPrintf(" %2zd: %s\n", i,
398 ArtField::PrettyField(h_this->GetStaticField(i)).c_str());
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700399 }
400 } else {
401 os << " <not yet available>";
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800402 }
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700403 }
404 if (h_this->NumInstanceFields() > 0) {
405 os << " instance fields (" << h_this->NumInstanceFields() << " entries):\n";
Vladimir Marko72ab6842017-01-20 19:32:50 +0000406 if (h_this->IsResolved()) {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700407 for (size_t i = 0; i < h_this->NumInstanceFields(); ++i) {
David Sehr709b0702016-10-13 09:12:37 -0700408 os << StringPrintf(" %2zd: %s\n", i,
409 ArtField::PrettyField(h_this->GetInstanceField(i)).c_str());
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700410 }
411 } else {
412 os << " <not yet available>";
413 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800414 }
415 }
416}
417
418void Class::SetReferenceInstanceOffsets(uint32_t new_reference_offsets) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700419 if (kIsDebugBuild && new_reference_offsets != kClassWalkSuper) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800420 // Sanity check that the number of bits set in the reference offset bitmap
421 // agrees with the number of references
Ian Rogerscdc1aaf2014-10-09 13:21:38 -0700422 uint32_t count = 0;
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700423 for (ObjPtr<Class> c = this; c != nullptr; c = c->GetSuperClass()) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800424 count += c->NumReferenceInstanceFieldsDuringLinking();
425 }
Ian Rogerscdc1aaf2014-10-09 13:21:38 -0700426 // +1 for the Class in Object.
427 CHECK_EQ(static_cast<uint32_t>(POPCOUNT(new_reference_offsets)) + 1, count);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800428 }
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100429 // Not called within a transaction.
430 SetField32<false>(OFFSET_OF_OBJECT_MEMBER(Class, reference_instance_offsets_),
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700431 new_reference_offsets);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800432}
433
Vladimir Markoe027d722019-02-05 10:13:49 +0000434bool Class::IsInSamePackage(std::string_view descriptor1, std::string_view descriptor2) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800435 size_t i = 0;
Ian Rogers6b604a12014-09-25 15:35:37 -0700436 size_t min_length = std::min(descriptor1.size(), descriptor2.size());
437 while (i < min_length && descriptor1[i] == descriptor2[i]) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800438 ++i;
439 }
Vladimir Markoe027d722019-02-05 10:13:49 +0000440 if (descriptor1.find('/', i) != std::string_view::npos ||
441 descriptor2.find('/', i) != std::string_view::npos) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800442 return false;
443 } else {
444 return true;
445 }
446}
447
Mathieu Chartier3398c782016-09-30 10:27:43 -0700448bool Class::IsInSamePackage(ObjPtr<Class> that) {
449 ObjPtr<Class> klass1 = this;
450 ObjPtr<Class> klass2 = that;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800451 if (klass1 == klass2) {
452 return true;
453 }
454 // Class loaders must match.
455 if (klass1->GetClassLoader() != klass2->GetClassLoader()) {
456 return false;
457 }
458 // Arrays are in the same package when their element classes are.
459 while (klass1->IsArrayClass()) {
460 klass1 = klass1->GetComponentType();
461 }
462 while (klass2->IsArrayClass()) {
463 klass2 = klass2->GetComponentType();
464 }
Anwar Ghuloum9fa3f202013-03-26 14:32:54 -0700465 // trivial check again for array types
466 if (klass1 == klass2) {
467 return true;
468 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800469 // Compare the package part of the descriptor string.
Ian Rogers1ff3c982014-08-12 02:30:58 -0700470 std::string temp1, temp2;
471 return IsInSamePackage(klass1->GetDescriptor(&temp1), klass2->GetDescriptor(&temp2));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800472}
473
Ian Rogersef7d42f2014-01-06 12:55:46 -0800474bool Class::IsThrowableClass() {
Vladimir Markoc13fbd82018-06-04 16:16:28 +0100475 return GetClassRoot<mirror::Throwable>()->IsAssignableFrom(this);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800476}
477
Vladimir Markoba118822017-06-12 15:41:56 +0100478template <typename SignatureType>
479static inline ArtMethod* FindInterfaceMethodWithSignature(ObjPtr<Class> klass,
Vladimir Markoe027d722019-02-05 10:13:49 +0000480 std::string_view name,
Vladimir Markoba118822017-06-12 15:41:56 +0100481 const SignatureType& signature,
482 PointerSize pointer_size)
483 REQUIRES_SHARED(Locks::mutator_lock_) {
484 // If the current class is not an interface, skip the search of its declared methods;
485 // such lookup is used only to distinguish between IncompatibleClassChangeError and
486 // NoSuchMethodError and the caller has already tried to search methods in the class.
487 if (LIKELY(klass->IsInterface())) {
488 // Search declared methods, both direct and virtual.
489 // (This lookup is used also for invoke-static on interface classes.)
490 for (ArtMethod& method : klass->GetDeclaredMethodsSlice(pointer_size)) {
Eric Holkabdb4592019-05-16 08:33:12 -0700491 if (method.GetNameView() == name && method.GetSignature() == signature) {
Vladimir Markoba118822017-06-12 15:41:56 +0100492 return &method;
493 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800494 }
495 }
Brian Carlstrom004644f2014-06-18 08:34:01 -0700496
Vladimir Markoba118822017-06-12 15:41:56 +0100497 // TODO: If there is a unique maximally-specific non-abstract superinterface method,
498 // we should return it, otherwise an arbitrary one can be returned.
499 ObjPtr<IfTable> iftable = klass->GetIfTable();
500 for (int32_t i = 0, iftable_count = iftable->Count(); i < iftable_count; ++i) {
501 ObjPtr<Class> iface = iftable->GetInterface(i);
502 for (ArtMethod& method : iface->GetVirtualMethodsSlice(pointer_size)) {
Eric Holkabdb4592019-05-16 08:33:12 -0700503 if (method.GetNameView() == name && method.GetSignature() == signature) {
Vladimir Markoba118822017-06-12 15:41:56 +0100504 return &method;
505 }
Brian Carlstrom004644f2014-06-18 08:34:01 -0700506 }
507 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800508
Vladimir Markoba118822017-06-12 15:41:56 +0100509 // Then search for public non-static methods in the java.lang.Object.
510 if (LIKELY(klass->IsInterface())) {
511 ObjPtr<Class> object_class = klass->GetSuperClass();
512 DCHECK(object_class->IsObjectClass());
513 for (ArtMethod& method : object_class->GetDeclaredMethodsSlice(pointer_size)) {
514 if (method.IsPublic() && !method.IsStatic() &&
Eric Holkabdb4592019-05-16 08:33:12 -0700515 method.GetNameView() == name && method.GetSignature() == signature) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700516 return &method;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800517 }
518 }
519 }
Brian Carlstrom004644f2014-06-18 08:34:01 -0700520 return nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800521}
522
Vladimir Markoe027d722019-02-05 10:13:49 +0000523ArtMethod* Class::FindInterfaceMethod(std::string_view name,
524 std::string_view signature,
Vladimir Markoba118822017-06-12 15:41:56 +0100525 PointerSize pointer_size) {
Vladimir Markoeb37ba52019-02-05 14:10:38 +0000526 return FindInterfaceMethodWithSignature(this, name, signature, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800527}
528
Vladimir Markoe027d722019-02-05 10:13:49 +0000529ArtMethod* Class::FindInterfaceMethod(std::string_view name,
Vladimir Markoba118822017-06-12 15:41:56 +0100530 const Signature& signature,
531 PointerSize pointer_size) {
532 return FindInterfaceMethodWithSignature(this, name, signature, pointer_size);
Ian Rogersd91d6d62013-09-25 20:26:14 -0700533}
534
Vladimir Markoba118822017-06-12 15:41:56 +0100535ArtMethod* Class::FindInterfaceMethod(ObjPtr<DexCache> dex_cache,
536 uint32_t dex_method_idx,
537 PointerSize pointer_size) {
538 // We always search by name and signature, ignoring the type index in the MethodId.
539 const DexFile& dex_file = *dex_cache->GetDexFile();
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800540 const dex::MethodId& method_id = dex_file.GetMethodId(dex_method_idx);
Eric Holkabdb4592019-05-16 08:33:12 -0700541 std::string_view name = dex_file.StringViewByIdx(method_id.name_idx_);
Vladimir Markoba118822017-06-12 15:41:56 +0100542 const Signature signature = dex_file.GetMethodSignature(method_id);
543 return FindInterfaceMethod(name, signature, pointer_size);
544}
545
Alex Lightafb66472017-08-01 09:54:49 -0700546static inline bool IsValidInheritanceCheck(ObjPtr<mirror::Class> klass,
547 ObjPtr<mirror::Class> declaring_class)
548 REQUIRES_SHARED(Locks::mutator_lock_) {
549 if (klass->IsArrayClass()) {
550 return declaring_class->IsObjectClass();
551 } else if (klass->IsInterface()) {
552 return declaring_class->IsObjectClass() || declaring_class == klass;
553 } else {
554 return klass->IsSubClass(declaring_class);
555 }
556}
557
Vladimir Markoba118822017-06-12 15:41:56 +0100558static inline bool IsInheritedMethod(ObjPtr<mirror::Class> klass,
559 ObjPtr<mirror::Class> declaring_class,
560 ArtMethod& method)
561 REQUIRES_SHARED(Locks::mutator_lock_) {
562 DCHECK_EQ(declaring_class, method.GetDeclaringClass());
563 DCHECK_NE(klass, declaring_class);
Alex Lightafb66472017-08-01 09:54:49 -0700564 DCHECK(IsValidInheritanceCheck(klass, declaring_class));
Vladimir Markoba118822017-06-12 15:41:56 +0100565 uint32_t access_flags = method.GetAccessFlags();
566 if ((access_flags & (kAccPublic | kAccProtected)) != 0) {
567 return true;
568 }
569 if ((access_flags & kAccPrivate) != 0) {
570 return false;
571 }
572 for (; klass != declaring_class; klass = klass->GetSuperClass()) {
573 if (!klass->IsInSamePackage(declaring_class)) {
574 return false;
575 }
576 }
577 return true;
578}
579
580template <typename SignatureType>
581static inline ArtMethod* FindClassMethodWithSignature(ObjPtr<Class> this_klass,
Vladimir Markoe027d722019-02-05 10:13:49 +0000582 std::string_view name,
Vladimir Markoba118822017-06-12 15:41:56 +0100583 const SignatureType& signature,
584 PointerSize pointer_size)
585 REQUIRES_SHARED(Locks::mutator_lock_) {
586 // Search declared methods first.
587 for (ArtMethod& method : this_klass->GetDeclaredMethodsSlice(pointer_size)) {
588 ArtMethod* np_method = method.GetInterfaceMethodIfProxy(pointer_size);
589 if (np_method->GetName() == name && np_method->GetSignature() == signature) {
590 return &method;
591 }
592 }
593
594 // Then search the superclass chain. If we find an inherited method, return it.
595 // If we find a method that's not inherited because of access restrictions,
596 // try to find a method inherited from an interface in copied methods.
597 ObjPtr<Class> klass = this_klass->GetSuperClass();
598 ArtMethod* uninherited_method = nullptr;
599 for (; klass != nullptr; klass = klass->GetSuperClass()) {
600 DCHECK(!klass->IsProxyClass());
601 for (ArtMethod& method : klass->GetDeclaredMethodsSlice(pointer_size)) {
602 if (method.GetName() == name && method.GetSignature() == signature) {
603 if (IsInheritedMethod(this_klass, klass, method)) {
604 return &method;
605 }
606 uninherited_method = &method;
607 break;
608 }
609 }
610 if (uninherited_method != nullptr) {
611 break;
612 }
613 }
614
615 // Then search copied methods.
616 // If we found a method that's not inherited, stop the search in its declaring class.
617 ObjPtr<Class> end_klass = klass;
618 DCHECK_EQ(uninherited_method != nullptr, end_klass != nullptr);
619 klass = this_klass;
620 if (UNLIKELY(klass->IsProxyClass())) {
621 DCHECK(klass->GetCopiedMethodsSlice(pointer_size).empty());
622 klass = klass->GetSuperClass();
623 }
624 for (; klass != end_klass; klass = klass->GetSuperClass()) {
625 DCHECK(!klass->IsProxyClass());
626 for (ArtMethod& method : klass->GetCopiedMethodsSlice(pointer_size)) {
627 if (method.GetName() == name && method.GetSignature() == signature) {
628 return &method; // No further check needed, copied methods are inherited by definition.
629 }
630 }
631 }
632 return uninherited_method; // Return the `uninherited_method` if any.
633}
634
635
Vladimir Markoe027d722019-02-05 10:13:49 +0000636ArtMethod* Class::FindClassMethod(std::string_view name,
637 std::string_view signature,
Vladimir Markoba118822017-06-12 15:41:56 +0100638 PointerSize pointer_size) {
Vladimir Markoeb37ba52019-02-05 14:10:38 +0000639 return FindClassMethodWithSignature(this, name, signature, pointer_size);
Vladimir Markoba118822017-06-12 15:41:56 +0100640}
641
Vladimir Markoe027d722019-02-05 10:13:49 +0000642ArtMethod* Class::FindClassMethod(std::string_view name,
Vladimir Markoba118822017-06-12 15:41:56 +0100643 const Signature& signature,
644 PointerSize pointer_size) {
645 return FindClassMethodWithSignature(this, name, signature, pointer_size);
646}
647
648ArtMethod* Class::FindClassMethod(ObjPtr<DexCache> dex_cache,
649 uint32_t dex_method_idx,
650 PointerSize pointer_size) {
651 // FIXME: Hijacking a proxy class by a custom class loader can break this assumption.
652 DCHECK(!IsProxyClass());
653
654 // First try to find a declared method by dex_method_idx if we have a dex_cache match.
655 ObjPtr<DexCache> this_dex_cache = GetDexCache();
656 if (this_dex_cache == dex_cache) {
657 // Lookup is always performed in the class referenced by the MethodId.
658 DCHECK_EQ(dex_type_idx_, GetDexFile().GetMethodId(dex_method_idx).class_idx_.index_);
659 for (ArtMethod& method : GetDeclaredMethodsSlice(pointer_size)) {
660 if (method.GetDexMethodIndex() == dex_method_idx) {
661 return &method;
662 }
663 }
664 }
665 // If not found, we need to search by name and signature.
666 const DexFile& dex_file = *dex_cache->GetDexFile();
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800667 const dex::MethodId& method_id = dex_file.GetMethodId(dex_method_idx);
Vladimir Markoba118822017-06-12 15:41:56 +0100668 const Signature signature = dex_file.GetMethodSignature(method_id);
Vladimir Markoe027d722019-02-05 10:13:49 +0000669 std::string_view name; // Delay strlen() until actually needed.
Vladimir Markoba118822017-06-12 15:41:56 +0100670 // If we do not have a dex_cache match, try to find the declared method in this class now.
671 if (this_dex_cache != dex_cache && !GetDeclaredMethodsSlice(pointer_size).empty()) {
672 DCHECK(name.empty());
David Srbecky39d8c872018-11-01 16:44:20 +0000673 // Avoid string comparisons by comparing the respective unicode lengths first.
674 uint32_t length, other_length; // UTF16 length.
675 name = dex_file.GetMethodName(method_id, &length);
Vladimir Markoba118822017-06-12 15:41:56 +0100676 for (ArtMethod& method : GetDeclaredMethodsSlice(pointer_size)) {
David Srbecky39d8c872018-11-01 16:44:20 +0000677 DCHECK_NE(method.GetDexMethodIndex(), dex::kDexNoIndex);
678 const char* other_name = method.GetDexFile()->GetMethodName(
679 method.GetDexMethodIndex(), &other_length);
680 if (length == other_length && name == other_name && signature == method.GetSignature()) {
Vladimir Markoba118822017-06-12 15:41:56 +0100681 return &method;
682 }
683 }
684 }
685
686 // Then search the superclass chain. If we find an inherited method, return it.
687 // If we find a method that's not inherited because of access restrictions,
688 // try to find a method inherited from an interface in copied methods.
689 ArtMethod* uninherited_method = nullptr;
690 ObjPtr<Class> klass = GetSuperClass();
691 for (; klass != nullptr; klass = klass->GetSuperClass()) {
692 ArtMethod* candidate_method = nullptr;
693 ArraySlice<ArtMethod> declared_methods = klass->GetDeclaredMethodsSlice(pointer_size);
694 if (klass->GetDexCache() == dex_cache) {
695 // Matching dex_cache. We cannot compare the `dex_method_idx` anymore because
696 // the type index differs, so compare the name index and proto index.
697 for (ArtMethod& method : declared_methods) {
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800698 const dex::MethodId& cmp_method_id = dex_file.GetMethodId(method.GetDexMethodIndex());
Vladimir Markoba118822017-06-12 15:41:56 +0100699 if (cmp_method_id.name_idx_ == method_id.name_idx_ &&
700 cmp_method_id.proto_idx_ == method_id.proto_idx_) {
701 candidate_method = &method;
702 break;
703 }
704 }
705 } else {
706 if (!declared_methods.empty() && name.empty()) {
707 name = dex_file.StringDataByIdx(method_id.name_idx_);
708 }
709 for (ArtMethod& method : declared_methods) {
710 if (method.GetName() == name && method.GetSignature() == signature) {
711 candidate_method = &method;
712 break;
713 }
714 }
715 }
716 if (candidate_method != nullptr) {
717 if (IsInheritedMethod(this, klass, *candidate_method)) {
718 return candidate_method;
719 } else {
720 uninherited_method = candidate_method;
721 break;
722 }
723 }
724 }
725
726 // Then search copied methods.
727 // If we found a method that's not inherited, stop the search in its declaring class.
728 ObjPtr<Class> end_klass = klass;
729 DCHECK_EQ(uninherited_method != nullptr, end_klass != nullptr);
730 // After we have searched the declared methods of the super-class chain,
731 // search copied methods which can contain methods from interfaces.
732 for (klass = this; klass != end_klass; klass = klass->GetSuperClass()) {
733 ArraySlice<ArtMethod> copied_methods = klass->GetCopiedMethodsSlice(pointer_size);
734 if (!copied_methods.empty() && name.empty()) {
735 name = dex_file.StringDataByIdx(method_id.name_idx_);
736 }
737 for (ArtMethod& method : copied_methods) {
738 if (method.GetName() == name && method.GetSignature() == signature) {
739 return &method; // No further check needed, copied methods are inherited by definition.
740 }
741 }
742 }
743 return uninherited_method; // Return the `uninherited_method` if any.
744}
745
Vladimir Markoe027d722019-02-05 10:13:49 +0000746ArtMethod* Class::FindConstructor(std::string_view signature, PointerSize pointer_size) {
Vladimir Markoba118822017-06-12 15:41:56 +0100747 // Internal helper, never called on proxy classes. We can skip GetInterfaceMethodIfProxy().
748 DCHECK(!IsProxyClass());
Vladimir Markoe027d722019-02-05 10:13:49 +0000749 std::string_view name("<init>");
Vladimir Markoba118822017-06-12 15:41:56 +0100750 for (ArtMethod& method : GetDirectMethodsSliceUnchecked(pointer_size)) {
Vladimir Markoeb37ba52019-02-05 14:10:38 +0000751 if (method.GetName() == name && method.GetSignature() == signature) {
Vladimir Markoba118822017-06-12 15:41:56 +0100752 return &method;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800753 }
754 }
Brian Carlstrom004644f2014-06-18 08:34:01 -0700755 return nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800756}
757
Vladimir Markoe027d722019-02-05 10:13:49 +0000758ArtMethod* Class::FindDeclaredDirectMethodByName(std::string_view name, PointerSize pointer_size) {
Nicolas Geoffraya42363f2015-12-17 14:57:09 +0000759 for (auto& method : GetDirectMethods(pointer_size)) {
760 ArtMethod* const np_method = method.GetInterfaceMethodIfProxy(pointer_size);
761 if (name == np_method->GetName()) {
762 return &method;
763 }
764 }
765 return nullptr;
766}
767
Vladimir Markoe027d722019-02-05 10:13:49 +0000768ArtMethod* Class::FindDeclaredVirtualMethodByName(std::string_view name, PointerSize pointer_size) {
Jeff Hao13e748b2015-08-25 20:44:19 +0000769 for (auto& method : GetVirtualMethods(pointer_size)) {
770 ArtMethod* const np_method = method.GetInterfaceMethodIfProxy(pointer_size);
771 if (name == np_method->GetName()) {
772 return &method;
773 }
774 }
775 return nullptr;
776}
777
Andreas Gampe542451c2016-07-26 09:02:02 -0700778ArtMethod* Class::FindVirtualMethodForInterfaceSuper(ArtMethod* method, PointerSize pointer_size) {
Alex Light705ad492015-09-21 11:36:30 -0700779 DCHECK(method->GetDeclaringClass()->IsInterface());
780 DCHECK(IsInterface()) << "Should only be called on a interface class";
781 // Check if we have one defined on this interface first. This includes searching copied ones to
782 // get any conflict methods. Conflict methods are copied into each subtype from the supertype. We
783 // don't do any indirect method checks here.
784 for (ArtMethod& iface_method : GetVirtualMethods(pointer_size)) {
785 if (method->HasSameNameAndSignature(&iface_method)) {
786 return &iface_method;
787 }
788 }
789
790 std::vector<ArtMethod*> abstract_methods;
791 // Search through the IFTable for a working version. We don't need to check for conflicts
792 // because if there was one it would appear in this classes virtual_methods_ above.
793
794 Thread* self = Thread::Current();
795 StackHandleScope<2> hs(self);
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700796 MutableHandle<IfTable> iftable(hs.NewHandle(GetIfTable()));
797 MutableHandle<Class> iface(hs.NewHandle<Class>(nullptr));
Alex Light705ad492015-09-21 11:36:30 -0700798 size_t iftable_count = GetIfTableCount();
799 // Find the method. We don't need to check for conflicts because they would have been in the
800 // copied virtuals of this interface. Order matters, traverse in reverse topological order; most
801 // subtypiest interfaces get visited first.
802 for (size_t k = iftable_count; k != 0;) {
803 k--;
804 DCHECK_LT(k, iftable->Count());
805 iface.Assign(iftable->GetInterface(k));
806 // Iterate through every declared method on this interface. Each direct method's name/signature
807 // is unique so the order of the inner loop doesn't matter.
808 for (auto& method_iter : iface->GetDeclaredVirtualMethods(pointer_size)) {
809 ArtMethod* current_method = &method_iter;
810 if (current_method->HasSameNameAndSignature(method)) {
811 if (current_method->IsDefault()) {
812 // Handle JLS soft errors, a default method from another superinterface tree can
813 // "override" an abstract method(s) from another superinterface tree(s). To do this,
814 // ignore any [default] method which are dominated by the abstract methods we've seen so
815 // far. Check if overridden by any in abstract_methods. We do not need to check for
816 // default_conflicts because we would hit those before we get to this loop.
817 bool overridden = false;
818 for (ArtMethod* possible_override : abstract_methods) {
819 DCHECK(possible_override->HasSameNameAndSignature(current_method));
820 if (iface->IsAssignableFrom(possible_override->GetDeclaringClass())) {
821 overridden = true;
822 break;
823 }
824 }
825 if (!overridden) {
826 return current_method;
827 }
828 } else {
829 // Is not default.
830 // This might override another default method. Just stash it for now.
831 abstract_methods.push_back(current_method);
832 }
833 }
834 }
835 }
836 // If we reach here we either never found any declaration of the method (in which case
837 // 'abstract_methods' is empty or we found no non-overriden default methods in which case
838 // 'abstract_methods' contains a number of abstract implementations of the methods. We choose one
839 // of these arbitrarily.
840 return abstract_methods.empty() ? nullptr : abstract_methods[0];
841}
842
Andreas Gampe542451c2016-07-26 09:02:02 -0700843ArtMethod* Class::FindClassInitializer(PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700844 for (ArtMethod& method : GetDirectMethods(pointer_size)) {
845 if (method.IsClassInitializer()) {
846 DCHECK_STREQ(method.GetName(), "<clinit>");
847 DCHECK_STREQ(method.GetSignature().ToString().c_str(), "()V");
848 return &method;
Ian Rogersd91d6d62013-09-25 20:26:14 -0700849 }
850 }
Brian Carlstrom004644f2014-06-18 08:34:01 -0700851 return nullptr;
Ian Rogersd91d6d62013-09-25 20:26:14 -0700852}
853
Mathieu Chartiere2aa3262015-10-20 18:30:03 -0700854// Custom binary search to avoid double comparisons from std::binary_search.
855static ArtField* FindFieldByNameAndType(LengthPrefixedArray<ArtField>* fields,
Vladimir Markoe027d722019-02-05 10:13:49 +0000856 std::string_view name,
857 std::string_view type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700858 REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartiere2aa3262015-10-20 18:30:03 -0700859 if (fields == nullptr) {
860 return nullptr;
861 }
862 size_t low = 0;
Vladimir Marko35831e82015-09-11 11:59:18 +0100863 size_t high = fields->size();
Mathieu Chartiere2aa3262015-10-20 18:30:03 -0700864 ArtField* ret = nullptr;
865 while (low < high) {
866 size_t mid = (low + high) / 2;
867 ArtField& field = fields->At(mid);
868 // Fields are sorted by class, then name, then type descriptor. This is verified in dex file
869 // verifier. There can be multiple fields with the same in the same class name due to proguard.
Vladimir Markoe027d722019-02-05 10:13:49 +0000870 // Note: std::string_view::compare() uses lexicographical comparison and treats the `char` as
871 // unsigned; for modified-UTF-8 without embedded nulls this is consistent with the
872 // CompareModifiedUtf8ToModifiedUtf8AsUtf16CodePointValues() ordering.
873 int result = std::string_view(field.GetName()).compare(name);
Mathieu Chartiere2aa3262015-10-20 18:30:03 -0700874 if (result == 0) {
Vladimir Markoe027d722019-02-05 10:13:49 +0000875 result = std::string_view(field.GetTypeDescriptor()).compare(type);
Mathieu Chartiere2aa3262015-10-20 18:30:03 -0700876 }
877 if (result < 0) {
878 low = mid + 1;
879 } else if (result > 0) {
880 high = mid;
881 } else {
882 ret = &field;
883 break;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800884 }
885 }
Mathieu Chartiere2aa3262015-10-20 18:30:03 -0700886 if (kIsDebugBuild) {
887 ArtField* found = nullptr;
888 for (ArtField& field : MakeIterationRangeFromLengthPrefixedArray(fields)) {
889 if (name == field.GetName() && type == field.GetTypeDescriptor()) {
890 found = &field;
891 break;
892 }
893 }
David Sehr709b0702016-10-13 09:12:37 -0700894 CHECK_EQ(found, ret) << "Found " << found->PrettyField() << " vs " << ret->PrettyField();
Mathieu Chartiere2aa3262015-10-20 18:30:03 -0700895 }
896 return ret;
897}
898
Vladimir Markoe027d722019-02-05 10:13:49 +0000899ArtField* Class::FindDeclaredInstanceField(std::string_view name, std::string_view type) {
Mathieu Chartiere2aa3262015-10-20 18:30:03 -0700900 // Binary search by name. Interfaces are not relevant because they can't contain instance fields.
901 return FindFieldByNameAndType(GetIFieldsPtr(), name, type);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800902}
903
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700904ArtField* Class::FindDeclaredInstanceField(ObjPtr<DexCache> dex_cache, uint32_t dex_field_idx) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800905 if (GetDexCache() == dex_cache) {
Mathieu Chartiere2aa3262015-10-20 18:30:03 -0700906 for (ArtField& field : GetIFields()) {
907 if (field.GetDexFieldIndex() == dex_field_idx) {
908 return &field;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800909 }
910 }
911 }
Brian Carlstrom004644f2014-06-18 08:34:01 -0700912 return nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800913}
914
Vladimir Markoe027d722019-02-05 10:13:49 +0000915ArtField* Class::FindInstanceField(std::string_view name, std::string_view type) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800916 // Is the field in this class, or any of its superclasses?
917 // Interfaces are not relevant because they can't contain instance fields.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700918 for (ObjPtr<Class> c = this; c != nullptr; c = c->GetSuperClass()) {
Brian Carlstromea46f952013-07-30 01:26:50 -0700919 ArtField* f = c->FindDeclaredInstanceField(name, type);
Brian Carlstrom004644f2014-06-18 08:34:01 -0700920 if (f != nullptr) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800921 return f;
922 }
923 }
Brian Carlstrom004644f2014-06-18 08:34:01 -0700924 return nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800925}
926
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700927ArtField* Class::FindInstanceField(ObjPtr<DexCache> dex_cache, uint32_t dex_field_idx) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800928 // Is the field in this class, or any of its superclasses?
929 // Interfaces are not relevant because they can't contain instance fields.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700930 for (ObjPtr<Class> c = this; c != nullptr; c = c->GetSuperClass()) {
Brian Carlstromea46f952013-07-30 01:26:50 -0700931 ArtField* f = c->FindDeclaredInstanceField(dex_cache, dex_field_idx);
Brian Carlstrom004644f2014-06-18 08:34:01 -0700932 if (f != nullptr) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800933 return f;
934 }
935 }
Brian Carlstrom004644f2014-06-18 08:34:01 -0700936 return nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800937}
938
Vladimir Markoe027d722019-02-05 10:13:49 +0000939ArtField* Class::FindDeclaredStaticField(std::string_view name, std::string_view type) {
940 DCHECK(!type.empty());
Mathieu Chartiere2aa3262015-10-20 18:30:03 -0700941 return FindFieldByNameAndType(GetSFieldsPtr(), name, type);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800942}
943
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700944ArtField* Class::FindDeclaredStaticField(ObjPtr<DexCache> dex_cache, uint32_t dex_field_idx) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800945 if (dex_cache == GetDexCache()) {
Mathieu Chartiere2aa3262015-10-20 18:30:03 -0700946 for (ArtField& field : GetSFields()) {
947 if (field.GetDexFieldIndex() == dex_field_idx) {
948 return &field;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800949 }
950 }
951 }
Brian Carlstrom004644f2014-06-18 08:34:01 -0700952 return nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800953}
954
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700955ArtField* Class::FindStaticField(Thread* self,
Vladimir Marko19a4d372016-12-08 14:41:46 +0000956 ObjPtr<Class> klass,
Vladimir Markoe027d722019-02-05 10:13:49 +0000957 std::string_view name,
958 std::string_view type) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800959 // Is the field in this class (or its interfaces), or any of its
960 // superclasses (or their interfaces)?
Vladimir Marko19a4d372016-12-08 14:41:46 +0000961 for (ObjPtr<Class> k = klass; k != nullptr; k = k->GetSuperClass()) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800962 // Is the field in this class?
Brian Carlstromea46f952013-07-30 01:26:50 -0700963 ArtField* f = k->FindDeclaredStaticField(name, type);
Mathieu Chartierf8322842014-05-16 10:59:25 -0700964 if (f != nullptr) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800965 return f;
966 }
967 // Is this field in any of this class' interfaces?
Vladimir Marko19a4d372016-12-08 14:41:46 +0000968 for (uint32_t i = 0, num_interfaces = k->NumDirectInterfaces(); i != num_interfaces; ++i) {
969 ObjPtr<Class> interface = GetDirectInterface(self, k, i);
970 DCHECK(interface != nullptr);
Mathieu Chartierf8322842014-05-16 10:59:25 -0700971 f = FindStaticField(self, interface, name, type);
972 if (f != nullptr) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800973 return f;
974 }
975 }
976 }
Mathieu Chartierf8322842014-05-16 10:59:25 -0700977 return nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800978}
979
Vladimir Markobb268b12016-06-30 15:52:56 +0100980ArtField* Class::FindStaticField(Thread* self,
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700981 ObjPtr<Class> klass,
982 ObjPtr<DexCache> dex_cache,
Mathieu Chartierf8322842014-05-16 10:59:25 -0700983 uint32_t dex_field_idx) {
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700984 for (ObjPtr<Class> k = klass; k != nullptr; k = k->GetSuperClass()) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800985 // Is the field in this class?
Brian Carlstromea46f952013-07-30 01:26:50 -0700986 ArtField* f = k->FindDeclaredStaticField(dex_cache, dex_field_idx);
Brian Carlstrom004644f2014-06-18 08:34:01 -0700987 if (f != nullptr) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800988 return f;
989 }
Vladimir Markobb268b12016-06-30 15:52:56 +0100990 // Though GetDirectInterface() should not cause thread suspension when called
991 // from here, it takes a Handle as an argument, so we need to wrap `k`.
Mathieu Chartier268764d2016-09-13 12:09:38 -0700992 ScopedAssertNoThreadSuspension ants(__FUNCTION__);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800993 // Is this field in any of this class' interfaces?
Vladimir Marko19a4d372016-12-08 14:41:46 +0000994 for (uint32_t i = 0, num_interfaces = k->NumDirectInterfaces(); i != num_interfaces; ++i) {
995 ObjPtr<Class> interface = GetDirectInterface(self, k, i);
996 DCHECK(interface != nullptr);
Mathieu Chartierf8322842014-05-16 10:59:25 -0700997 f = FindStaticField(self, interface, dex_cache, dex_field_idx);
998 if (f != nullptr) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800999 return f;
1000 }
1001 }
1002 }
Mathieu Chartierf8322842014-05-16 10:59:25 -07001003 return nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001004}
1005
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001006ArtField* Class::FindField(Thread* self,
Vladimir Marko19a4d372016-12-08 14:41:46 +00001007 ObjPtr<Class> klass,
Vladimir Markoe027d722019-02-05 10:13:49 +00001008 std::string_view name,
1009 std::string_view type) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001010 // Find a field using the JLS field resolution order
Vladimir Marko19a4d372016-12-08 14:41:46 +00001011 for (ObjPtr<Class> k = klass; k != nullptr; k = k->GetSuperClass()) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001012 // Is the field in this class?
Brian Carlstromea46f952013-07-30 01:26:50 -07001013 ArtField* f = k->FindDeclaredInstanceField(name, type);
Mathieu Chartierf8322842014-05-16 10:59:25 -07001014 if (f != nullptr) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001015 return f;
1016 }
1017 f = k->FindDeclaredStaticField(name, type);
Mathieu Chartierf8322842014-05-16 10:59:25 -07001018 if (f != nullptr) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001019 return f;
1020 }
1021 // Is this field in any of this class' interfaces?
Vladimir Marko19a4d372016-12-08 14:41:46 +00001022 for (uint32_t i = 0, num_interfaces = k->NumDirectInterfaces(); i != num_interfaces; ++i) {
1023 ObjPtr<Class> interface = GetDirectInterface(self, k, i);
1024 DCHECK(interface != nullptr);
1025 f = FindStaticField(self, interface, name, type);
Mathieu Chartierf8322842014-05-16 10:59:25 -07001026 if (f != nullptr) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001027 return f;
1028 }
1029 }
1030 }
Mathieu Chartierf8322842014-05-16 10:59:25 -07001031 return nullptr;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001032}
1033
Andreas Gampe542451c2016-07-26 09:02:02 -07001034void Class::SetSkipAccessChecksFlagOnAllMethods(PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -07001035 DCHECK(IsVerified());
Alex Lighte64300b2015-12-15 15:02:47 -08001036 for (auto& m : GetMethods(pointer_size)) {
Alex Light9139e002015-10-09 15:59:48 -07001037 if (!m.IsNative() && m.IsInvokable()) {
Igor Murashkindf707e42016-02-02 16:56:50 -08001038 m.SetSkipAccessChecks();
Mathieu Chartiere401d142015-04-22 13:56:20 -07001039 }
1040 }
Sebastien Hertz233ea8e2013-06-06 11:57:09 +02001041}
1042
Ian Rogers1ff3c982014-08-12 02:30:58 -07001043const char* Class::GetDescriptor(std::string* storage) {
Vladimir Marko3892e622019-03-15 15:22:18 +00001044 size_t dim = 0u;
1045 ObjPtr<mirror::Class> klass = this;
1046 while (klass->IsArrayClass()) {
1047 ++dim;
Vladimir Markod355acf2019-03-21 17:09:40 +00001048 // No read barrier needed, we're reading a chain of constant references for comparison
1049 // with null. Then we follow up below with reading constant references to read constant
1050 // primitive data in both proxy and non-proxy paths. See ReadBarrierOption.
1051 klass = klass->GetComponentType<kDefaultVerifyFlags, kWithoutReadBarrier>();
Mathieu Chartierf8322842014-05-16 10:59:25 -07001052 }
Vladimir Marko3892e622019-03-15 15:22:18 +00001053 if (klass->IsProxyClass()) {
1054 // No read barrier needed, the `name` field is constant for proxy classes and
1055 // the contents of the String are also constant. See ReadBarrierOption.
1056 ObjPtr<mirror::String> name = klass->GetName<kVerifyNone, kWithoutReadBarrier>();
1057 DCHECK(name != nullptr);
1058 *storage = DotToDescriptor(name->ToModifiedUtf8().c_str());
1059 } else {
1060 const char* descriptor;
1061 if (klass->IsPrimitive()) {
1062 descriptor = Primitive::Descriptor(klass->GetPrimitiveType());
1063 } else {
1064 const DexFile& dex_file = klass->GetDexFile();
1065 const dex::TypeId& type_id = dex_file.GetTypeId(klass->GetDexTypeIndex());
1066 descriptor = dex_file.GetTypeDescriptor(type_id);
1067 }
1068 if (dim == 0) {
1069 return descriptor;
1070 }
1071 *storage = descriptor;
1072 }
1073 storage->insert(0u, dim, '[');
Ian Rogers1ff3c982014-08-12 02:30:58 -07001074 return storage->c_str();
Mathieu Chartierf8322842014-05-16 10:59:25 -07001075}
1076
Andreas Gampe3f1dcd32018-12-28 09:39:56 -08001077const dex::ClassDef* Class::GetClassDef() {
Mathieu Chartierf8322842014-05-16 10:59:25 -07001078 uint16_t class_def_idx = GetDexClassDefIndex();
1079 if (class_def_idx == DexFile::kDexNoIndex16) {
1080 return nullptr;
1081 }
1082 return &GetDexFile().GetClassDef(class_def_idx);
1083}
1084
Andreas Gampea5b09a62016-11-17 15:21:22 -08001085dex::TypeIndex Class::GetDirectInterfaceTypeIdx(uint32_t idx) {
Mathieu Chartierf8322842014-05-16 10:59:25 -07001086 DCHECK(!IsPrimitive());
1087 DCHECK(!IsArrayClass());
1088 return GetInterfaceTypeList()->GetTypeItem(idx).type_idx_;
1089}
1090
Vladimir Marko19a4d372016-12-08 14:41:46 +00001091ObjPtr<Class> Class::GetDirectInterface(Thread* self, ObjPtr<Class> klass, uint32_t idx) {
1092 DCHECK(klass != nullptr);
Mathieu Chartierf8322842014-05-16 10:59:25 -07001093 DCHECK(!klass->IsPrimitive());
1094 if (klass->IsArrayClass()) {
1095 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Vladimir Marko19a4d372016-12-08 14:41:46 +00001096 // Use ClassLinker::LookupClass(); avoid poisoning ObjPtr<>s by ClassLinker::FindSystemClass().
1097 ObjPtr<Class> interface;
Mathieu Chartierf8322842014-05-16 10:59:25 -07001098 if (idx == 0) {
Vladimir Marko19a4d372016-12-08 14:41:46 +00001099 interface = class_linker->LookupClass(self, "Ljava/lang/Cloneable;", nullptr);
Mathieu Chartierf8322842014-05-16 10:59:25 -07001100 } else {
1101 DCHECK_EQ(1U, idx);
Vladimir Marko19a4d372016-12-08 14:41:46 +00001102 interface = class_linker->LookupClass(self, "Ljava/io/Serializable;", nullptr);
Mathieu Chartierf8322842014-05-16 10:59:25 -07001103 }
Vladimir Marko19a4d372016-12-08 14:41:46 +00001104 DCHECK(interface != nullptr);
1105 return interface;
Nicolas Geoffray3a090922015-11-24 09:17:30 +00001106 } else if (klass->IsProxyClass()) {
Narayan Kamath6b2dc312017-03-14 13:26:12 +00001107 ObjPtr<ObjectArray<Class>> interfaces = klass->GetProxyInterfaces();
Mathieu Chartierf8322842014-05-16 10:59:25 -07001108 DCHECK(interfaces != nullptr);
1109 return interfaces->Get(idx);
1110 } else {
Andreas Gampea5b09a62016-11-17 15:21:22 -08001111 dex::TypeIndex type_idx = klass->GetDirectInterfaceTypeIdx(idx);
Vladimir Marko666ee3d2017-12-11 18:37:36 +00001112 ObjPtr<Class> interface = Runtime::Current()->GetClassLinker()->LookupResolvedType(
Vladimir Marko8d6768d2017-03-14 10:13:21 +00001113 type_idx, klass->GetDexCache(), klass->GetClassLoader());
Mathieu Chartierf8322842014-05-16 10:59:25 -07001114 return interface;
1115 }
1116}
1117
Vladimir Marko19a4d372016-12-08 14:41:46 +00001118ObjPtr<Class> Class::ResolveDirectInterface(Thread* self, Handle<Class> klass, uint32_t idx) {
1119 ObjPtr<Class> interface = GetDirectInterface(self, klass.Get(), idx);
1120 if (interface == nullptr) {
1121 DCHECK(!klass->IsArrayClass());
1122 DCHECK(!klass->IsProxyClass());
1123 dex::TypeIndex type_idx = klass->GetDirectInterfaceTypeIdx(idx);
Vladimir Marko666ee3d2017-12-11 18:37:36 +00001124 interface = Runtime::Current()->GetClassLinker()->ResolveType(type_idx, klass.Get());
Vladimir Marko19a4d372016-12-08 14:41:46 +00001125 CHECK(interface != nullptr || self->IsExceptionPending());
1126 }
1127 return interface;
1128}
1129
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001130ObjPtr<Class> Class::GetCommonSuperClass(Handle<Class> klass) {
Andreas Gampefa4333d2017-02-14 11:10:34 -08001131 DCHECK(klass != nullptr);
Calin Juravle52503d82015-11-11 16:58:31 +00001132 DCHECK(!klass->IsInterface());
1133 DCHECK(!IsInterface());
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001134 ObjPtr<Class> common_super_class = this;
Calin Juravle52503d82015-11-11 16:58:31 +00001135 while (!common_super_class->IsAssignableFrom(klass.Get())) {
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001136 ObjPtr<Class> old_common = common_super_class;
Aart Bik22deed02016-04-04 14:19:01 -07001137 common_super_class = old_common->GetSuperClass();
David Sehr709b0702016-10-13 09:12:37 -07001138 DCHECK(common_super_class != nullptr) << old_common->PrettyClass();
Calin Juravle52503d82015-11-11 16:58:31 +00001139 }
Calin Juravle52503d82015-11-11 16:58:31 +00001140 return common_super_class;
1141}
1142
Mathieu Chartierf8322842014-05-16 10:59:25 -07001143const char* Class::GetSourceFile() {
Mathieu Chartierf8322842014-05-16 10:59:25 -07001144 const DexFile& dex_file = GetDexFile();
Andreas Gampe3f1dcd32018-12-28 09:39:56 -08001145 const dex::ClassDef* dex_class_def = GetClassDef();
Sebastien Hertz4206eb52014-06-05 10:15:45 +02001146 if (dex_class_def == nullptr) {
1147 // Generated classes have no class def.
1148 return nullptr;
1149 }
Mathieu Chartierf8322842014-05-16 10:59:25 -07001150 return dex_file.GetSourceFile(*dex_class_def);
1151}
1152
1153std::string Class::GetLocation() {
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001154 ObjPtr<DexCache> dex_cache = GetDexCache();
Nicolas Geoffray3a090922015-11-24 09:17:30 +00001155 if (dex_cache != nullptr && !IsProxyClass()) {
Mathieu Chartierf8322842014-05-16 10:59:25 -07001156 return dex_cache->GetLocation()->ToModifiedUtf8();
1157 }
1158 // Arrays and proxies are generated and have no corresponding dex file location.
1159 return "generated class";
1160}
1161
Andreas Gampe3f1dcd32018-12-28 09:39:56 -08001162const dex::TypeList* Class::GetInterfaceTypeList() {
1163 const dex::ClassDef* class_def = GetClassDef();
Mathieu Chartierf8322842014-05-16 10:59:25 -07001164 if (class_def == nullptr) {
1165 return nullptr;
1166 }
1167 return GetDexFile().GetInterfacesList(*class_def);
1168}
1169
Andreas Gampe542451c2016-07-26 09:02:02 -07001170void Class::PopulateEmbeddedVTable(PointerSize pointer_size) {
Vladimir Markoc524e9e2019-03-26 10:54:50 +00001171 ObjPtr<PointerArray> table = GetVTableDuringLinking();
David Sehr709b0702016-10-13 09:12:37 -07001172 CHECK(table != nullptr) << PrettyClass();
Mathieu Chartiere401d142015-04-22 13:56:20 -07001173 const size_t table_length = table->GetLength();
1174 SetEmbeddedVTableLength(table_length);
1175 for (size_t i = 0; i < table_length; i++) {
1176 SetEmbeddedVTableEntry(i, table->GetElementPtrSize<ArtMethod*>(i, pointer_size), pointer_size);
Mingyao Yang98d1cc82014-05-15 17:02:16 -07001177 }
Mingyao Yang2cdbad72014-07-16 10:44:41 -07001178 // Keep java.lang.Object class's vtable around for since it's easier
1179 // to be reused by array classes during their linking.
1180 if (!IsObjectClass()) {
1181 SetVTable(nullptr);
1182 }
Mingyao Yang98d1cc82014-05-15 17:02:16 -07001183}
1184
Mathieu Chartier3ee25bb2015-08-10 10:13:02 -07001185class ReadBarrierOnNativeRootsVisitor {
1186 public:
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001187 void operator()(ObjPtr<Object> obj ATTRIBUTE_UNUSED,
Mathieu Chartier3ee25bb2015-08-10 10:13:02 -07001188 MemberOffset offset ATTRIBUTE_UNUSED,
1189 bool is_static ATTRIBUTE_UNUSED) const {}
1190
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001191 void VisitRootIfNonNull(CompressedReference<Object>* root) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001192 REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier3ee25bb2015-08-10 10:13:02 -07001193 if (!root->IsNull()) {
1194 VisitRoot(root);
1195 }
1196 }
1197
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001198 void VisitRoot(CompressedReference<Object>* root) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001199 REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001200 ObjPtr<Object> old_ref = root->AsMirrorPtr();
1201 ObjPtr<Object> new_ref = ReadBarrier::BarrierForRoot(root);
Mathieu Chartier3ee25bb2015-08-10 10:13:02 -07001202 if (old_ref != new_ref) {
1203 // Update the field atomically. This may fail if mutator updates before us, but it's ok.
1204 auto* atomic_root =
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001205 reinterpret_cast<Atomic<CompressedReference<Object>>*>(root);
Orion Hodson4557b382018-01-03 11:47:54 +00001206 atomic_root->CompareAndSetStrongSequentiallyConsistent(
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001207 CompressedReference<Object>::FromMirrorPtr(old_ref.Ptr()),
1208 CompressedReference<Object>::FromMirrorPtr(new_ref.Ptr()));
Mathieu Chartier3ee25bb2015-08-10 10:13:02 -07001209 }
1210 }
1211};
1212
Hiroshi Yamauchi0fbd6e62014-07-17 16:16:31 -07001213// The pre-fence visitor for Class::CopyOf().
1214class CopyClassVisitor {
1215 public:
Andreas Gampe542451c2016-07-26 09:02:02 -07001216 CopyClassVisitor(Thread* self,
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001217 Handle<Class>* orig,
Andreas Gampe542451c2016-07-26 09:02:02 -07001218 size_t new_length,
1219 size_t copy_bytes,
1220 ImTable* imt,
1221 PointerSize pointer_size)
Hiroshi Yamauchi0fbd6e62014-07-17 16:16:31 -07001222 : self_(self), orig_(orig), new_length_(new_length),
Mathieu Chartiere401d142015-04-22 13:56:20 -07001223 copy_bytes_(copy_bytes), imt_(imt), pointer_size_(pointer_size) {
Hiroshi Yamauchi0fbd6e62014-07-17 16:16:31 -07001224 }
1225
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001226 void operator()(ObjPtr<Object> obj, size_t usable_size ATTRIBUTE_UNUSED) const
Andreas Gampebdf7f1c2016-08-30 16:38:47 -07001227 REQUIRES_SHARED(Locks::mutator_lock_) {
Hiroshi Yamauchi5b783e62015-03-18 17:20:11 -07001228 StackHandleScope<1> hs(self_);
1229 Handle<mirror::Class> h_new_class_obj(hs.NewHandle(obj->AsClass()));
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001230 Object::CopyObject(h_new_class_obj.Get(), orig_->Get(), copy_bytes_);
Vladimir Marko2c64a832018-01-04 11:31:56 +00001231 Class::SetStatus(h_new_class_obj, ClassStatus::kResolving, self_);
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001232 h_new_class_obj->PopulateEmbeddedVTable(pointer_size_);
1233 h_new_class_obj->SetImt(imt_, pointer_size_);
Hiroshi Yamauchi5b783e62015-03-18 17:20:11 -07001234 h_new_class_obj->SetClassSize(new_length_);
Mathieu Chartier3ee25bb2015-08-10 10:13:02 -07001235 // Visit all of the references to make sure there is no from space references in the native
1236 // roots.
Vladimir Markod7e9bbf2019-03-28 13:18:57 +00001237 h_new_class_obj->Object::VisitReferences(ReadBarrierOnNativeRootsVisitor(), VoidFunctor());
Hiroshi Yamauchi0fbd6e62014-07-17 16:16:31 -07001238 }
1239
1240 private:
1241 Thread* const self_;
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001242 Handle<Class>* const orig_;
Hiroshi Yamauchi0fbd6e62014-07-17 16:16:31 -07001243 const size_t new_length_;
1244 const size_t copy_bytes_;
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001245 ImTable* imt_;
Andreas Gampe542451c2016-07-26 09:02:02 -07001246 const PointerSize pointer_size_;
Hiroshi Yamauchi0fbd6e62014-07-17 16:16:31 -07001247 DISALLOW_COPY_AND_ASSIGN(CopyClassVisitor);
1248};
1249
Vladimir Marko3068d582019-05-28 16:39:29 +01001250ObjPtr<Class> Class::CopyOf(Handle<Class> h_this,
1251 Thread* self,
1252 int32_t new_length,
1253 ImTable* imt,
1254 PointerSize pointer_size) {
Mingyao Yang98d1cc82014-05-15 17:02:16 -07001255 DCHECK_GE(new_length, static_cast<int32_t>(sizeof(Class)));
1256 // We may get copied by a compacting GC.
Vladimir Marko317892b2018-05-31 11:11:32 +01001257 Runtime* runtime = Runtime::Current();
1258 gc::Heap* heap = runtime->GetHeap();
Hiroshi Yamauchi0fbd6e62014-07-17 16:16:31 -07001259 // The num_bytes (3rd param) is sizeof(Class) as opposed to SizeOf()
1260 // to skip copying the tail part that we will overwrite here.
Mathieu Chartiere401d142015-04-22 13:56:20 -07001261 CopyClassVisitor visitor(self, &h_this, new_length, sizeof(Class), imt, pointer_size);
Vladimir Marko317892b2018-05-31 11:11:32 +01001262 ObjPtr<mirror::Class> java_lang_Class = GetClassRoot<mirror::Class>(runtime->GetClassLinker());
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001263 ObjPtr<Object> new_class = kMovingClasses ?
Vladimir Marko991cd5c2019-05-30 14:23:39 +01001264 heap->AllocObject(self, java_lang_Class, new_length, visitor) :
1265 heap->AllocNonMovableObject(self, java_lang_Class, new_length, visitor);
Mingyao Yang98d1cc82014-05-15 17:02:16 -07001266 if (UNLIKELY(new_class == nullptr)) {
Mathieu Chartiere401d142015-04-22 13:56:20 -07001267 self->AssertPendingOOMException();
Mathieu Chartier2d2621a2014-10-23 16:48:06 -07001268 return nullptr;
Mingyao Yang98d1cc82014-05-15 17:02:16 -07001269 }
Hiroshi Yamauchi0fbd6e62014-07-17 16:16:31 -07001270 return new_class->AsClass();
Mingyao Yang98d1cc82014-05-15 17:02:16 -07001271}
1272
Nicolas Geoffray3a090922015-11-24 09:17:30 +00001273bool Class::ProxyDescriptorEquals(const char* match) {
1274 DCHECK(IsProxyClass());
Vladimir Marko3892e622019-03-15 15:22:18 +00001275 std::string storage;
1276 const char* descriptor = GetDescriptor(&storage);
1277 DCHECK(descriptor == storage.c_str());
1278 return storage == match;
Vladimir Marko3481ba22015-04-13 12:22:36 +01001279}
1280
Mathieu Chartiere401d142015-04-22 13:56:20 -07001281// TODO: Move this to java_lang_Class.cc?
1282ArtMethod* Class::GetDeclaredConstructor(
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001283 Thread* self, Handle<ObjectArray<Class>> args, PointerSize pointer_size) {
Andreas Gampe6039e562016-04-05 18:18:43 -07001284 for (auto& m : GetDirectMethods(pointer_size)) {
Mathieu Chartierfc58af42015-04-16 18:00:39 -07001285 // Skip <clinit> which is a static constructor, as well as non constructors.
Mathieu Chartiere401d142015-04-22 13:56:20 -07001286 if (m.IsStatic() || !m.IsConstructor()) {
Mathieu Chartierfc58af42015-04-16 18:00:39 -07001287 continue;
1288 }
1289 // May cause thread suspension and exceptions.
Andreas Gampe542451c2016-07-26 09:02:02 -07001290 if (m.GetInterfaceMethodIfProxy(kRuntimePointerSize)->EqualParameters(args)) {
Mathieu Chartiere401d142015-04-22 13:56:20 -07001291 return &m;
Mathieu Chartierfc58af42015-04-16 18:00:39 -07001292 }
Mathieu Chartiere401d142015-04-22 13:56:20 -07001293 if (UNLIKELY(self->IsExceptionPending())) {
Mathieu Chartierfc58af42015-04-16 18:00:39 -07001294 return nullptr;
1295 }
1296 }
1297 return nullptr;
1298}
1299
Mathieu Chartiere401d142015-04-22 13:56:20 -07001300uint32_t Class::Depth() {
1301 uint32_t depth = 0;
Roland Levillaind32ead22018-05-30 17:38:21 +01001302 for (ObjPtr<Class> cls = this; cls->GetSuperClass() != nullptr; cls = cls->GetSuperClass()) {
Mathieu Chartiere401d142015-04-22 13:56:20 -07001303 depth++;
1304 }
1305 return depth;
1306}
1307
Andreas Gampea5b09a62016-11-17 15:21:22 -08001308dex::TypeIndex Class::FindTypeIndexInOtherDexFile(const DexFile& dex_file) {
Nicolas Geoffraye4084a52016-02-18 14:43:42 +00001309 std::string temp;
Andreas Gampe3f1dcd32018-12-28 09:39:56 -08001310 const dex::TypeId* type_id = dex_file.FindTypeId(GetDescriptor(&temp));
Andreas Gampe2722f382017-06-08 18:03:25 -07001311 return (type_id == nullptr) ? dex::TypeIndex() : dex_file.GetIndexForTypeId(*type_id);
Nicolas Geoffraye4084a52016-02-18 14:43:42 +00001312}
1313
David Brazdil4bcd6572019-02-02 20:08:44 +00001314ALWAYS_INLINE
1315static bool IsMethodPreferredOver(ArtMethod* orig_method,
1316 bool orig_method_hidden,
1317 ArtMethod* new_method,
1318 bool new_method_hidden) {
1319 DCHECK(new_method != nullptr);
1320
1321 // Is this the first result?
1322 if (orig_method == nullptr) {
1323 return true;
1324 }
1325
1326 // Original method is hidden, the new one is not?
1327 if (orig_method_hidden && !new_method_hidden) {
1328 return true;
1329 }
1330
1331 // We iterate over virtual methods first and then over direct ones,
1332 // so we can never be in situation where `orig_method` is direct and
1333 // `new_method` is virtual.
1334 DCHECK(!orig_method->IsDirect() || new_method->IsDirect());
1335
1336 // Original method is synthetic, the new one is not?
1337 if (orig_method->IsSynthetic() && !new_method->IsSynthetic()) {
1338 return true;
1339 }
1340
1341 return false;
1342}
1343
Andreas Gampe542451c2016-07-26 09:02:02 -07001344template <PointerSize kPointerSize, bool kTransactionActive>
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001345ObjPtr<Method> Class::GetDeclaredMethodInternal(
1346 Thread* self,
1347 ObjPtr<Class> klass,
1348 ObjPtr<String> name,
David Brazdil4bcd6572019-02-02 20:08:44 +00001349 ObjPtr<ObjectArray<Class>> args,
1350 const std::function<hiddenapi::AccessContext()>& fn_get_access_context) {
1351 // Covariant return types (or smali) permit the class to define
1352 // multiple methods with the same name and parameter types.
1353 // Prefer (in decreasing order of importance):
1354 // 1) non-hidden method over hidden
1355 // 2) virtual methods over direct
1356 // 3) non-synthetic methods over synthetic
1357 // We never return miranda methods that were synthesized by the runtime.
Andreas Gampebc4d2182016-02-22 10:03:12 -08001358 StackHandleScope<3> hs(self);
1359 auto h_method_name = hs.NewHandle(name);
Andreas Gampefa4333d2017-02-14 11:10:34 -08001360 if (UNLIKELY(h_method_name == nullptr)) {
Andreas Gampebc4d2182016-02-22 10:03:12 -08001361 ThrowNullPointerException("name == null");
1362 return nullptr;
1363 }
1364 auto h_args = hs.NewHandle(args);
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001365 Handle<Class> h_klass = hs.NewHandle(klass);
David Brazdil4bcd6572019-02-02 20:08:44 +00001366 constexpr hiddenapi::AccessMethod access_method = hiddenapi::AccessMethod::kNone;
Andreas Gampebc4d2182016-02-22 10:03:12 -08001367 ArtMethod* result = nullptr;
David Brazdil4bcd6572019-02-02 20:08:44 +00001368 bool result_hidden = false;
Andreas Gampee01e3642016-07-25 13:06:04 -07001369 for (auto& m : h_klass->GetDeclaredVirtualMethods(kPointerSize)) {
David Brazdil4bcd6572019-02-02 20:08:44 +00001370 if (m.IsMiranda()) {
1371 continue;
1372 }
Andreas Gampee01e3642016-07-25 13:06:04 -07001373 auto* np_method = m.GetInterfaceMethodIfProxy(kPointerSize);
Andreas Gampebc4d2182016-02-22 10:03:12 -08001374 // May cause thread suspension.
Vladimir Marko18090d12018-06-01 16:53:12 +01001375 ObjPtr<String> np_name = np_method->ResolveNameString();
Andreas Gampebc4d2182016-02-22 10:03:12 -08001376 if (!np_name->Equals(h_method_name.Get()) || !np_method->EqualParameters(h_args)) {
1377 if (UNLIKELY(self->IsExceptionPending())) {
1378 return nullptr;
1379 }
1380 continue;
1381 }
David Brazdil4bcd6572019-02-02 20:08:44 +00001382 bool m_hidden = hiddenapi::ShouldDenyAccessToMember(&m, fn_get_access_context, access_method);
1383 if (!m_hidden && !m.IsSynthetic()) {
1384 // Non-hidden, virtual, non-synthetic. Best possible result, exit early.
1385 return Method::CreateFromArtMethod<kPointerSize, kTransactionActive>(self, &m);
1386 } else if (IsMethodPreferredOver(result, result_hidden, &m, m_hidden)) {
1387 // Remember as potential result.
1388 result = &m;
1389 result_hidden = m_hidden;
Andreas Gampebc4d2182016-02-22 10:03:12 -08001390 }
1391 }
David Brazdil4bcd6572019-02-02 20:08:44 +00001392
1393 if ((result != nullptr) && !result_hidden) {
1394 // We have not found a non-hidden, virtual, non-synthetic method, but
1395 // if we have found a non-hidden, virtual, synthetic method, we cannot
1396 // do better than that later.
1397 DCHECK(!result->IsDirect());
1398 DCHECK(result->IsSynthetic());
1399 } else {
Andreas Gampee01e3642016-07-25 13:06:04 -07001400 for (auto& m : h_klass->GetDirectMethods(kPointerSize)) {
Andreas Gampebc4d2182016-02-22 10:03:12 -08001401 auto modifiers = m.GetAccessFlags();
1402 if ((modifiers & kAccConstructor) != 0) {
1403 continue;
1404 }
Andreas Gampee01e3642016-07-25 13:06:04 -07001405 auto* np_method = m.GetInterfaceMethodIfProxy(kPointerSize);
Andreas Gampebc4d2182016-02-22 10:03:12 -08001406 // May cause thread suspension.
Vladimir Marko18090d12018-06-01 16:53:12 +01001407 ObjPtr<String> np_name = np_method->ResolveNameString();
Andreas Gampebc4d2182016-02-22 10:03:12 -08001408 if (np_name == nullptr) {
1409 self->AssertPendingException();
1410 return nullptr;
1411 }
1412 if (!np_name->Equals(h_method_name.Get()) || !np_method->EqualParameters(h_args)) {
1413 if (UNLIKELY(self->IsExceptionPending())) {
1414 return nullptr;
1415 }
1416 continue;
1417 }
Vladimir Markob0a6aee2017-10-27 10:34:04 +01001418 DCHECK(!m.IsMiranda()); // Direct methods cannot be miranda methods.
David Brazdil4bcd6572019-02-02 20:08:44 +00001419 bool m_hidden = hiddenapi::ShouldDenyAccessToMember(&m, fn_get_access_context, access_method);
1420 if (!m_hidden && !m.IsSynthetic()) {
1421 // Non-hidden, direct, non-synthetic. Any virtual result could only have been
1422 // hidden, therefore this is the best possible match. Exit now.
1423 DCHECK((result == nullptr) || result_hidden);
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001424 return Method::CreateFromArtMethod<kPointerSize, kTransactionActive>(self, &m);
David Brazdil4bcd6572019-02-02 20:08:44 +00001425 } else if (IsMethodPreferredOver(result, result_hidden, &m, m_hidden)) {
1426 // Remember as potential result.
1427 result = &m;
1428 result_hidden = m_hidden;
Andreas Gampebc4d2182016-02-22 10:03:12 -08001429 }
Andreas Gampebc4d2182016-02-22 10:03:12 -08001430 }
1431 }
David Brazdil4bcd6572019-02-02 20:08:44 +00001432
Andreas Gampebc4d2182016-02-22 10:03:12 -08001433 return result != nullptr
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001434 ? Method::CreateFromArtMethod<kPointerSize, kTransactionActive>(self, result)
Andreas Gampebc4d2182016-02-22 10:03:12 -08001435 : nullptr;
1436}
1437
1438template
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001439ObjPtr<Method> Class::GetDeclaredMethodInternal<PointerSize::k32, false>(
Andreas Gampee01e3642016-07-25 13:06:04 -07001440 Thread* self,
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001441 ObjPtr<Class> klass,
1442 ObjPtr<String> name,
David Brazdil4bcd6572019-02-02 20:08:44 +00001443 ObjPtr<ObjectArray<Class>> args,
1444 const std::function<hiddenapi::AccessContext()>& fn_get_access_context);
Andreas Gampebc4d2182016-02-22 10:03:12 -08001445template
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001446ObjPtr<Method> Class::GetDeclaredMethodInternal<PointerSize::k32, true>(
Andreas Gampee01e3642016-07-25 13:06:04 -07001447 Thread* self,
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001448 ObjPtr<Class> klass,
1449 ObjPtr<String> name,
David Brazdil4bcd6572019-02-02 20:08:44 +00001450 ObjPtr<ObjectArray<Class>> args,
1451 const std::function<hiddenapi::AccessContext()>& fn_get_access_context);
Andreas Gampee01e3642016-07-25 13:06:04 -07001452template
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001453ObjPtr<Method> Class::GetDeclaredMethodInternal<PointerSize::k64, false>(
Andreas Gampee01e3642016-07-25 13:06:04 -07001454 Thread* self,
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001455 ObjPtr<Class> klass,
1456 ObjPtr<String> name,
David Brazdil4bcd6572019-02-02 20:08:44 +00001457 ObjPtr<ObjectArray<Class>> args,
1458 const std::function<hiddenapi::AccessContext()>& fn_get_access_context);
Andreas Gampee01e3642016-07-25 13:06:04 -07001459template
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001460ObjPtr<Method> Class::GetDeclaredMethodInternal<PointerSize::k64, true>(
Andreas Gampee01e3642016-07-25 13:06:04 -07001461 Thread* self,
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001462 ObjPtr<Class> klass,
1463 ObjPtr<String> name,
David Brazdil4bcd6572019-02-02 20:08:44 +00001464 ObjPtr<ObjectArray<Class>> args,
1465 const std::function<hiddenapi::AccessContext()>& fn_get_access_context);
Andreas Gampebc4d2182016-02-22 10:03:12 -08001466
Andreas Gampe542451c2016-07-26 09:02:02 -07001467template <PointerSize kPointerSize, bool kTransactionActive>
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001468ObjPtr<Constructor> Class::GetDeclaredConstructorInternal(
Andreas Gampe6039e562016-04-05 18:18:43 -07001469 Thread* self,
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001470 ObjPtr<Class> klass,
1471 ObjPtr<ObjectArray<Class>> args) {
Andreas Gampe6039e562016-04-05 18:18:43 -07001472 StackHandleScope<1> hs(self);
Andreas Gampee01e3642016-07-25 13:06:04 -07001473 ArtMethod* result = klass->GetDeclaredConstructor(self, hs.NewHandle(args), kPointerSize);
Andreas Gampe6039e562016-04-05 18:18:43 -07001474 return result != nullptr
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001475 ? Constructor::CreateFromArtMethod<kPointerSize, kTransactionActive>(self, result)
Andreas Gampe6039e562016-04-05 18:18:43 -07001476 : nullptr;
1477}
1478
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001479// Constructor::CreateFromArtMethod<kTransactionActive>(self, result)
Andreas Gampe6039e562016-04-05 18:18:43 -07001480
Andreas Gampe542451c2016-07-26 09:02:02 -07001481template
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001482ObjPtr<Constructor> Class::GetDeclaredConstructorInternal<PointerSize::k32, false>(
Andreas Gampe6039e562016-04-05 18:18:43 -07001483 Thread* self,
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001484 ObjPtr<Class> klass,
1485 ObjPtr<ObjectArray<Class>> args);
Andreas Gampe542451c2016-07-26 09:02:02 -07001486template
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001487ObjPtr<Constructor> Class::GetDeclaredConstructorInternal<PointerSize::k32, true>(
Andreas Gampee01e3642016-07-25 13:06:04 -07001488 Thread* self,
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001489 ObjPtr<Class> klass,
1490 ObjPtr<ObjectArray<Class>> args);
Andreas Gampe542451c2016-07-26 09:02:02 -07001491template
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001492ObjPtr<Constructor> Class::GetDeclaredConstructorInternal<PointerSize::k64, false>(
Andreas Gampee01e3642016-07-25 13:06:04 -07001493 Thread* self,
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001494 ObjPtr<Class> klass,
1495 ObjPtr<ObjectArray<Class>> args);
Andreas Gampe542451c2016-07-26 09:02:02 -07001496template
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001497ObjPtr<Constructor> Class::GetDeclaredConstructorInternal<PointerSize::k64, true>(
Andreas Gampe6039e562016-04-05 18:18:43 -07001498 Thread* self,
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001499 ObjPtr<Class> klass,
1500 ObjPtr<ObjectArray<Class>> args);
Andreas Gampe6039e562016-04-05 18:18:43 -07001501
Andreas Gampe715fdc22016-04-18 17:07:30 -07001502int32_t Class::GetInnerClassFlags(Handle<Class> h_this, int32_t default_value) {
1503 if (h_this->IsProxyClass() || h_this->GetDexCache() == nullptr) {
1504 return default_value;
1505 }
1506 uint32_t flags;
David Sehr9323e6e2016-09-13 08:58:35 -07001507 if (!annotations::GetInnerClassFlags(h_this, &flags)) {
Andreas Gampe715fdc22016-04-18 17:07:30 -07001508 return default_value;
1509 }
1510 return flags;
1511}
1512
Mathieu Chartier93bbee02016-08-31 09:38:40 -07001513void Class::SetObjectSizeAllocFastPath(uint32_t new_object_size) {
1514 if (Runtime::Current()->IsActiveTransaction()) {
1515 SetField32Volatile<true>(ObjectSizeAllocFastPathOffset(), new_object_size);
1516 } else {
1517 SetField32Volatile<false>(ObjectSizeAllocFastPathOffset(), new_object_size);
1518 }
1519}
1520
David Sehr709b0702016-10-13 09:12:37 -07001521std::string Class::PrettyDescriptor(ObjPtr<mirror::Class> klass) {
1522 if (klass == nullptr) {
1523 return "null";
1524 }
1525 return klass->PrettyDescriptor();
1526}
1527
1528std::string Class::PrettyDescriptor() {
1529 std::string temp;
1530 return art::PrettyDescriptor(GetDescriptor(&temp));
1531}
1532
1533std::string Class::PrettyClass(ObjPtr<mirror::Class> c) {
1534 if (c == nullptr) {
1535 return "null";
1536 }
1537 return c->PrettyClass();
1538}
1539
1540std::string Class::PrettyClass() {
1541 std::string result;
1542 result += "java.lang.Class<";
1543 result += PrettyDescriptor();
1544 result += ">";
1545 return result;
1546}
1547
1548std::string Class::PrettyClassAndClassLoader(ObjPtr<mirror::Class> c) {
1549 if (c == nullptr) {
1550 return "null";
1551 }
1552 return c->PrettyClassAndClassLoader();
1553}
1554
1555std::string Class::PrettyClassAndClassLoader() {
1556 std::string result;
1557 result += "java.lang.Class<";
1558 result += PrettyDescriptor();
1559 result += ",";
1560 result += mirror::Object::PrettyTypeOf(GetClassLoader());
1561 // TODO: add an identifying hash value for the loader
1562 result += ">";
1563 return result;
1564}
1565
Andreas Gampe90b936d2017-01-31 08:58:55 -08001566template<VerifyObjectFlags kVerifyFlags> void Class::GetAccessFlagsDCheck() {
1567 // Check class is loaded/retired or this is java.lang.String that has a
1568 // circularity issue during loading the names of its members
1569 DCHECK(IsIdxLoaded<kVerifyFlags>() || IsRetired<kVerifyFlags>() ||
1570 IsErroneous<static_cast<VerifyObjectFlags>(kVerifyFlags & ~kVerifyThis)>() ||
Vladimir Markoacb906d2018-05-30 10:23:49 +01001571 this == GetClassRoot<String>())
Andreas Gampe90b936d2017-01-31 08:58:55 -08001572 << "IsIdxLoaded=" << IsIdxLoaded<kVerifyFlags>()
1573 << " IsRetired=" << IsRetired<kVerifyFlags>()
1574 << " IsErroneous=" <<
1575 IsErroneous<static_cast<VerifyObjectFlags>(kVerifyFlags & ~kVerifyThis)>()
Vladimir Markoacb906d2018-05-30 10:23:49 +01001576 << " IsString=" << (this == GetClassRoot<String>())
Andreas Gampe90b936d2017-01-31 08:58:55 -08001577 << " status= " << GetStatus<kVerifyFlags>()
1578 << " descriptor=" << PrettyDescriptor();
1579}
1580// Instantiate the common cases.
1581template void Class::GetAccessFlagsDCheck<kVerifyNone>();
1582template void Class::GetAccessFlagsDCheck<kVerifyThis>();
1583template void Class::GetAccessFlagsDCheck<kVerifyReads>();
1584template void Class::GetAccessFlagsDCheck<kVerifyWrites>();
1585template void Class::GetAccessFlagsDCheck<kVerifyAll>();
1586
Andreas Gampe62f6e902018-10-11 18:58:50 -07001587void Class::SetAccessFlagsDCheck(uint32_t new_access_flags) {
1588 uint32_t old_access_flags = GetField32<kVerifyNone>(AccessFlagsOffset());
1589 // kAccVerificationAttempted is retained.
1590 CHECK((old_access_flags & kAccVerificationAttempted) == 0 ||
1591 (new_access_flags & kAccVerificationAttempted) != 0);
1592}
1593
Alex Light79d6c802019-06-27 15:50:11 +00001594ObjPtr<PointerArray> Class::GetMethodIds() {
1595 ObjPtr<ClassExt> ext(GetExtData());
1596 if (ext.IsNull()) {
1597 return nullptr;
1598 } else {
1599 return ext->GetJMethodIDs();
1600 }
1601}
Alex Lightbb5b4f32019-07-09 02:31:48 -07001602ObjPtr<PointerArray> Class::GetOrCreateMethodIds(Handle<Class> h_this) {
Alex Lightf3677472019-06-26 16:31:53 -07001603 DCHECK_NE(Runtime::Current()->GetJniIdType(), JniIdType::kPointer) << "JNI Ids are pointers!";
Alex Light79d6c802019-06-27 15:50:11 +00001604 Thread* self = Thread::Current();
Alex Light79d6c802019-06-27 15:50:11 +00001605 ObjPtr<ClassExt> ext(EnsureExtDataPresent(h_this, self));
1606 if (ext.IsNull()) {
1607 self->AssertPendingOOMException();
1608 return nullptr;
1609 }
Alex Lightbb5b4f32019-07-09 02:31:48 -07001610 return ext->EnsureJMethodIDsArrayPresent(h_this->NumMethods());
Alex Light79d6c802019-06-27 15:50:11 +00001611}
1612
1613ObjPtr<PointerArray> Class::GetStaticFieldIds() {
1614 ObjPtr<ClassExt> ext(GetExtData());
1615 if (ext.IsNull()) {
1616 return nullptr;
1617 } else {
1618 return ext->GetStaticJFieldIDs();
1619 }
1620}
Alex Lightbb5b4f32019-07-09 02:31:48 -07001621ObjPtr<PointerArray> Class::GetOrCreateStaticFieldIds(Handle<Class> h_this) {
Alex Lightf3677472019-06-26 16:31:53 -07001622 DCHECK_NE(Runtime::Current()->GetJniIdType(), JniIdType::kPointer) << "JNI Ids are pointers!";
Alex Light79d6c802019-06-27 15:50:11 +00001623 Thread* self = Thread::Current();
Alex Light79d6c802019-06-27 15:50:11 +00001624 ObjPtr<ClassExt> ext(EnsureExtDataPresent(h_this, self));
1625 if (ext.IsNull()) {
1626 self->AssertPendingOOMException();
1627 return nullptr;
1628 }
Alex Lightbb5b4f32019-07-09 02:31:48 -07001629 return ext->EnsureStaticJFieldIDsArrayPresent(h_this->NumStaticFields());
Alex Light79d6c802019-06-27 15:50:11 +00001630}
1631ObjPtr<PointerArray> Class::GetInstanceFieldIds() {
1632 ObjPtr<ClassExt> ext(GetExtData());
1633 if (ext.IsNull()) {
1634 return nullptr;
1635 } else {
1636 return ext->GetInstanceJFieldIDs();
1637 }
1638}
Alex Lightbb5b4f32019-07-09 02:31:48 -07001639ObjPtr<PointerArray> Class::GetOrCreateInstanceFieldIds(Handle<Class> h_this) {
Alex Lightf3677472019-06-26 16:31:53 -07001640 DCHECK_NE(Runtime::Current()->GetJniIdType(), JniIdType::kPointer) << "JNI Ids are pointers!";
Alex Light79d6c802019-06-27 15:50:11 +00001641 Thread* self = Thread::Current();
Alex Light79d6c802019-06-27 15:50:11 +00001642 ObjPtr<ClassExt> ext(EnsureExtDataPresent(h_this, self));
1643 if (ext.IsNull()) {
1644 self->AssertPendingOOMException();
1645 return nullptr;
1646 }
Alex Lightbb5b4f32019-07-09 02:31:48 -07001647 return ext->EnsureInstanceJFieldIDsArrayPresent(h_this->NumInstanceFields());
Alex Light79d6c802019-06-27 15:50:11 +00001648}
1649
1650size_t Class::GetStaticFieldIdOffset(ArtField* field) {
1651 DCHECK_LT(reinterpret_cast<uintptr_t>(field),
1652 reinterpret_cast<uintptr_t>(&*GetSFieldsPtr()->end()))
1653 << "field not part of the current class. " << field->PrettyField() << " class is "
1654 << PrettyClass();
1655 DCHECK_GE(reinterpret_cast<uintptr_t>(field),
1656 reinterpret_cast<uintptr_t>(&*GetSFieldsPtr()->begin()))
1657 << "field not part of the current class. " << field->PrettyField() << " class is "
1658 << PrettyClass();
1659 uintptr_t start = reinterpret_cast<uintptr_t>(&GetSFieldsPtr()->At(0));
1660 uintptr_t fld = reinterpret_cast<uintptr_t>(field);
1661 size_t res = (fld - start) / sizeof(ArtField);
1662 DCHECK_EQ(&GetSFieldsPtr()->At(res), field)
1663 << "Incorrect field computation expected: " << field->PrettyField()
1664 << " got: " << GetSFieldsPtr()->At(res).PrettyField();
1665 return res;
1666}
1667
1668size_t Class::GetInstanceFieldIdOffset(ArtField* field) {
1669 DCHECK_LT(reinterpret_cast<uintptr_t>(field),
1670 reinterpret_cast<uintptr_t>(&*GetIFieldsPtr()->end()))
1671 << "field not part of the current class. " << field->PrettyField() << " class is "
1672 << PrettyClass();
1673 DCHECK_GE(reinterpret_cast<uintptr_t>(field),
1674 reinterpret_cast<uintptr_t>(&*GetIFieldsPtr()->begin()))
1675 << "field not part of the current class. " << field->PrettyField() << " class is "
1676 << PrettyClass();
1677 uintptr_t start = reinterpret_cast<uintptr_t>(&GetIFieldsPtr()->At(0));
1678 uintptr_t fld = reinterpret_cast<uintptr_t>(field);
1679 size_t res = (fld - start) / sizeof(ArtField);
1680 DCHECK_EQ(&GetIFieldsPtr()->At(res), field)
1681 << "Incorrect field computation expected: " << field->PrettyField()
1682 << " got: " << GetIFieldsPtr()->At(res).PrettyField();
1683 return res;
1684}
1685
1686size_t Class::GetMethodIdOffset(ArtMethod* method, PointerSize pointer_size) {
1687 DCHECK(GetMethodsSlice(kRuntimePointerSize).Contains(method))
1688 << "method not part of the current class. " << method->PrettyMethod() << "( " << reinterpret_cast<void*>(method) << ")" << " class is "
1689 << PrettyClass() << [&]() REQUIRES_SHARED(Locks::mutator_lock_) {
1690 std::ostringstream os;
1691 os << " Methods are [";
1692 for (ArtMethod& m : GetMethodsSlice(kRuntimePointerSize)) {
1693 os << m.PrettyMethod() << "( " << reinterpret_cast<void*>(&m) << "), ";
1694 }
1695 os << "]";
1696 return os.str();
1697 }();
1698 uintptr_t start = reinterpret_cast<uintptr_t>(&*GetMethodsSlice(pointer_size).begin());
1699 uintptr_t fld = reinterpret_cast<uintptr_t>(method);
1700 size_t art_method_size = ArtMethod::Size(pointer_size);
1701 size_t art_method_align = ArtMethod::Alignment(pointer_size);
1702 size_t res = (fld - start) / art_method_size;
1703 DCHECK_EQ(&GetMethodsPtr()->At(res, art_method_size, art_method_align), method)
1704 << "Incorrect method computation expected: " << method->PrettyMethod()
1705 << " got: " << GetMethodsPtr()->At(res, art_method_size, art_method_align).PrettyMethod();
1706 return res;
1707}
1708
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001709} // namespace mirror
1710} // namespace art