blob: 33822d1b27172178f3b8ae72da96cd4aaa45ef07 [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
Brian Carlstromfc0e3212013-07-17 14:40:12 -070017#ifndef ART_RUNTIME_MIRROR_CLASS_INL_H_
18#define ART_RUNTIME_MIRROR_CLASS_INL_H_
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080019
20#include "class.h"
21
Andreas Gampea1d2f952017-04-20 22:53:58 -070022#include "art_field.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070023#include "art_method.h"
Alex Lighte64300b2015-12-15 15:02:47 -080024#include "base/array_slice.h"
25#include "base/length_prefixed_array.h"
David Sehrc431b9d2018-03-02 12:01:51 -080026#include "base/utils.h"
Andreas Gampe508fdf32017-06-05 16:42:13 -070027#include "class_linker.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070028#include "class_loader.h"
Vladimir Marko23a28212014-01-09 19:24:37 +000029#include "common_throws.h"
David Sehr9e734c72018-01-04 17:56:19 -080030#include "dex/dex_file-inl.h"
David Sehr8c0961f2018-01-23 16:11:38 -080031#include "dex/invoke_type.h"
32#include "dex_cache.h"
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070033#include "gc/heap-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080034#include "iftable.h"
Andreas Gampec15a2f42017-04-21 12:09:39 -070035#include "object-inl.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070036#include "object_array.h"
Mingyao Yang98d1cc82014-05-15 17:02:16 -070037#include "read_barrier-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080038#include "runtime.h"
39#include "string.h"
Mathieu Chartier8d1a9962016-08-17 16:39:45 -070040#include "subtype_check.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080041
42namespace art {
43namespace mirror {
44
Vladimir Marko98db89c2018-09-07 11:45:46 +010045template<VerifyObjectFlags kVerifyFlags>
Ian Rogersef7d42f2014-01-06 12:55:46 -080046inline uint32_t Class::GetObjectSize() {
Vladimir Marko3481ba22015-04-13 12:22:36 +010047 // Note: Extra parentheses to avoid the comma being interpreted as macro parameter separator.
Vladimir Marko98db89c2018-09-07 11:45:46 +010048 DCHECK((!IsVariableSize<kVerifyFlags>())) << "class=" << PrettyTypeOf();
Hiroshi Yamauchie01a5202015-03-19 12:35:04 -070049 return GetField32(ObjectSizeOffset());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080050}
51
Vladimir Marko98db89c2018-09-07 11:45:46 +010052template<VerifyObjectFlags kVerifyFlags>
Mathieu Chartier161db1d2016-09-01 14:06:54 -070053inline uint32_t Class::GetObjectSizeAllocFastPath() {
54 // Note: Extra parentheses to avoid the comma being interpreted as macro parameter separator.
Vladimir Marko98db89c2018-09-07 11:45:46 +010055 DCHECK((!IsVariableSize<kVerifyFlags>())) << "class=" << PrettyTypeOf();
Mathieu Chartier161db1d2016-09-01 14:06:54 -070056 return GetField32(ObjectSizeAllocFastPathOffset());
57}
58
Mathieu Chartier161db1d2016-09-01 14:06:54 -070059template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Ian Rogersef7d42f2014-01-06 12:55:46 -080060inline Class* Class::GetSuperClass() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080061 // Can only get super class for loaded classes (hack for when runtime is
62 // initializing)
Mathieu Chartierfbc31082016-01-24 11:59:56 -080063 DCHECK(IsLoaded<kVerifyFlags>() ||
64 IsErroneous<kVerifyFlags>() ||
65 !Runtime::Current()->IsStarted()) << IsLoaded();
66 return GetFieldObject<Class, kVerifyFlags, kReadBarrierOption>(
67 OFFSET_OF_OBJECT_MEMBER(Class, super_class_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080068}
69
Roland Levillain8ca4e4e2017-02-03 15:12:38 +000070inline void Class::SetSuperClass(ObjPtr<Class> new_super_class) {
71 // Super class is assigned once, except during class linker initialization.
72 if (kIsDebugBuild) {
73 ObjPtr<Class> old_super_class =
74 GetFieldObject<Class>(OFFSET_OF_OBJECT_MEMBER(Class, super_class_));
75 DCHECK(old_super_class == nullptr || old_super_class == new_super_class);
76 }
77 DCHECK(new_super_class != nullptr);
78 SetFieldObject<false>(OFFSET_OF_OBJECT_MEMBER(Class, super_class_), new_super_class);
79}
80
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +000081template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Ian Rogersef7d42f2014-01-06 12:55:46 -080082inline ClassLoader* Class::GetClassLoader() {
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +000083 return GetFieldObject<ClassLoader, kVerifyFlags, kReadBarrierOption>(
84 OFFSET_OF_OBJECT_MEMBER(Class, class_loader_));
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070085}
86
Mathieu Chartier137cdfa2017-01-26 14:03:11 -080087template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Alex Light4f2e9572017-03-16 13:13:31 -070088inline ClassExt* Class::GetExtData() {
89 return GetFieldObject<ClassExt, kVerifyFlags, kReadBarrierOption>(
90 OFFSET_OF_OBJECT_MEMBER(Class, ext_data_));
91}
92
93template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Ian Rogersef7d42f2014-01-06 12:55:46 -080094inline DexCache* Class::GetDexCache() {
Mathieu Chartier137cdfa2017-01-26 14:03:11 -080095 return GetFieldObject<DexCache, kVerifyFlags, kReadBarrierOption>(
96 OFFSET_OF_OBJECT_MEMBER(Class, dex_cache_));
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070097}
98
Alex Lighte64300b2015-12-15 15:02:47 -080099inline uint32_t Class::GetCopiedMethodsStartOffset() {
Roland Levillain6680e332017-04-24 16:27:43 +0100100 // Object::GetFieldShort returns an int16_t value, but
101 // Class::copied_methods_offset_ is an uint16_t value; cast the
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100102 // latter to uint16_t before returning it as an uint32_t value, so
Roland Levillain6680e332017-04-24 16:27:43 +0100103 // that uint16_t values between 2^15 and 2^16-1 are correctly
104 // handled.
105 return static_cast<uint16_t>(
106 GetFieldShort(OFFSET_OF_OBJECT_MEMBER(Class, copied_methods_offset_)));
Alex Lighte64300b2015-12-15 15:02:47 -0800107}
108
109inline uint32_t Class::GetDirectMethodsStartOffset() {
110 return 0;
111}
112
113inline uint32_t Class::GetVirtualMethodsStartOffset() {
Roland Levillain6680e332017-04-24 16:27:43 +0100114 // Object::GetFieldShort returns an int16_t value, but
115 // Class::virtual_method_offset_ is an uint16_t value; cast the
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100116 // latter to uint16_t before returning it as an uint32_t value, so
Roland Levillain6680e332017-04-24 16:27:43 +0100117 // that uint16_t values between 2^15 and 2^16-1 are correctly
118 // handled.
119 return static_cast<uint16_t>(
120 GetFieldShort(OFFSET_OF_OBJECT_MEMBER(Class, virtual_methods_offset_)));
Alex Lighte64300b2015-12-15 15:02:47 -0800121}
122
123template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700124inline ArraySlice<ArtMethod> Class::GetDirectMethodsSlice(PointerSize pointer_size) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800125 DCHECK(IsLoaded() || IsErroneous());
Alex Lighte64300b2015-12-15 15:02:47 -0800126 return GetDirectMethodsSliceUnchecked(pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800127}
128
Andreas Gampe542451c2016-07-26 09:02:02 -0700129inline ArraySlice<ArtMethod> Class::GetDirectMethodsSliceUnchecked(PointerSize pointer_size) {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700130 return GetMethodsSliceRangeUnchecked(GetMethodsPtr(),
131 pointer_size,
Vladimir Marko9ac77492017-06-14 18:07:03 +0100132 GetDirectMethodsStartOffset(),
133 GetVirtualMethodsStartOffset());
Alex Lighte64300b2015-12-15 15:02:47 -0800134}
135
136template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700137inline ArraySlice<ArtMethod> Class::GetDeclaredMethodsSlice(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800138 DCHECK(IsLoaded() || IsErroneous());
Alex Lighte64300b2015-12-15 15:02:47 -0800139 return GetDeclaredMethodsSliceUnchecked(pointer_size);
140}
141
Andreas Gampe542451c2016-07-26 09:02:02 -0700142inline ArraySlice<ArtMethod> Class::GetDeclaredMethodsSliceUnchecked(PointerSize pointer_size) {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700143 return GetMethodsSliceRangeUnchecked(GetMethodsPtr(),
144 pointer_size,
Vladimir Marko9ac77492017-06-14 18:07:03 +0100145 GetDirectMethodsStartOffset(),
146 GetCopiedMethodsStartOffset());
Alex Lighte64300b2015-12-15 15:02:47 -0800147}
Roland Levillaind32ead22018-05-30 17:38:21 +0100148
Alex Lighte64300b2015-12-15 15:02:47 -0800149template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700150inline ArraySlice<ArtMethod> Class::GetDeclaredVirtualMethodsSlice(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800151 DCHECK(IsLoaded() || IsErroneous());
Alex Lighte64300b2015-12-15 15:02:47 -0800152 return GetDeclaredVirtualMethodsSliceUnchecked(pointer_size);
153}
154
Andreas Gampe542451c2016-07-26 09:02:02 -0700155inline ArraySlice<ArtMethod> Class::GetDeclaredVirtualMethodsSliceUnchecked(
156 PointerSize pointer_size) {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700157 return GetMethodsSliceRangeUnchecked(GetMethodsPtr(),
158 pointer_size,
Vladimir Marko9ac77492017-06-14 18:07:03 +0100159 GetVirtualMethodsStartOffset(),
160 GetCopiedMethodsStartOffset());
Alex Lighte64300b2015-12-15 15:02:47 -0800161}
162
163template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700164inline ArraySlice<ArtMethod> Class::GetVirtualMethodsSlice(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800165 DCHECK(IsLoaded() || IsErroneous());
Alex Lighte64300b2015-12-15 15:02:47 -0800166 return GetVirtualMethodsSliceUnchecked(pointer_size);
167}
168
Andreas Gampe542451c2016-07-26 09:02:02 -0700169inline ArraySlice<ArtMethod> Class::GetVirtualMethodsSliceUnchecked(PointerSize pointer_size) {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700170 LengthPrefixedArray<ArtMethod>* methods = GetMethodsPtr();
171 return GetMethodsSliceRangeUnchecked(methods,
172 pointer_size,
Vladimir Marko9ac77492017-06-14 18:07:03 +0100173 GetVirtualMethodsStartOffset(),
Mathieu Chartier2466d622017-09-26 13:52:26 -0700174 NumMethods(methods));
Alex Lighte64300b2015-12-15 15:02:47 -0800175}
176
177template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700178inline ArraySlice<ArtMethod> Class::GetCopiedMethodsSlice(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800179 DCHECK(IsLoaded() || IsErroneous());
Alex Lighte64300b2015-12-15 15:02:47 -0800180 return GetCopiedMethodsSliceUnchecked(pointer_size);
181}
182
Andreas Gampe542451c2016-07-26 09:02:02 -0700183inline ArraySlice<ArtMethod> Class::GetCopiedMethodsSliceUnchecked(PointerSize pointer_size) {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700184 LengthPrefixedArray<ArtMethod>* methods = GetMethodsPtr();
185 return GetMethodsSliceRangeUnchecked(methods,
186 pointer_size,
187 GetCopiedMethodsStartOffset(),
188 NumMethods(methods));
Alex Lighte64300b2015-12-15 15:02:47 -0800189}
190
191inline LengthPrefixedArray<ArtMethod>* Class::GetMethodsPtr() {
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700192 return reinterpret_cast<LengthPrefixedArray<ArtMethod>*>(
Mathieu Chartierf4b3dba2016-01-26 20:11:06 -0800193 static_cast<uintptr_t>(GetField64(OFFSET_OF_OBJECT_MEMBER(Class, methods_))));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800194}
195
Alex Lighte64300b2015-12-15 15:02:47 -0800196template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700197inline ArraySlice<ArtMethod> Class::GetMethodsSlice(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800198 DCHECK(IsLoaded() || IsErroneous());
Mathieu Chartier2466d622017-09-26 13:52:26 -0700199 LengthPrefixedArray<ArtMethod>* methods = GetMethodsPtr();
200 return GetMethodsSliceRangeUnchecked(methods, pointer_size, 0, NumMethods(methods));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800201}
202
Mathieu Chartier2466d622017-09-26 13:52:26 -0700203inline ArraySlice<ArtMethod> Class::GetMethodsSliceRangeUnchecked(
204 LengthPrefixedArray<ArtMethod>* methods,
205 PointerSize pointer_size,
206 uint32_t start_offset,
207 uint32_t end_offset) {
Vladimir Marko9ac77492017-06-14 18:07:03 +0100208 DCHECK_LE(start_offset, end_offset);
Mathieu Chartier2466d622017-09-26 13:52:26 -0700209 DCHECK_LE(end_offset, NumMethods(methods));
Vladimir Marko9ac77492017-06-14 18:07:03 +0100210 uint32_t size = end_offset - start_offset;
211 if (size == 0u) {
212 return ArraySlice<ArtMethod>();
213 }
Vladimir Marko9ac77492017-06-14 18:07:03 +0100214 DCHECK(methods != nullptr);
215 DCHECK_LE(end_offset, methods->size());
216 size_t method_size = ArtMethod::Size(pointer_size);
217 size_t method_alignment = ArtMethod::Alignment(pointer_size);
218 ArraySlice<ArtMethod> slice(&methods->At(0u, method_size, method_alignment),
219 methods->size(),
220 method_size);
221 return slice.SubArray(start_offset, size);
222}
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800223
Alex Lighte64300b2015-12-15 15:02:47 -0800224inline uint32_t Class::NumMethods() {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700225 return NumMethods(GetMethodsPtr());
226}
227
228inline uint32_t Class::NumMethods(LengthPrefixedArray<ArtMethod>* methods) {
Alex Lighte64300b2015-12-15 15:02:47 -0800229 return (methods == nullptr) ? 0 : methods->size();
Mathieu Chartiere401d142015-04-22 13:56:20 -0700230}
231
Andreas Gampe542451c2016-07-26 09:02:02 -0700232inline ArtMethod* Class::GetDirectMethodUnchecked(size_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700233 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100234 return &GetDirectMethodsSliceUnchecked(pointer_size)[i];
Mathieu Chartiere401d142015-04-22 13:56:20 -0700235}
236
Andreas Gampe542451c2016-07-26 09:02:02 -0700237inline ArtMethod* Class::GetDirectMethod(size_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700238 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100239 return &GetDirectMethodsSlice(pointer_size)[i];
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800240}
241
Alex Lighte64300b2015-12-15 15:02:47 -0800242inline void Class::SetMethodsPtr(LengthPrefixedArray<ArtMethod>* new_methods,
243 uint32_t num_direct,
244 uint32_t num_virtual) {
245 DCHECK(GetMethodsPtr() == nullptr);
246 SetMethodsPtrUnchecked(new_methods, num_direct, num_virtual);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800247}
248
Alex Lighte64300b2015-12-15 15:02:47 -0800249
250inline void Class::SetMethodsPtrUnchecked(LengthPrefixedArray<ArtMethod>* new_methods,
251 uint32_t num_direct,
252 uint32_t num_virtual) {
253 DCHECK_LE(num_direct + num_virtual, (new_methods == nullptr) ? 0 : new_methods->size());
254 SetMethodsPtrInternal(new_methods);
255 SetFieldShort<false>(OFFSET_OF_OBJECT_MEMBER(Class, copied_methods_offset_),
256 dchecked_integral_cast<uint16_t>(num_direct + num_virtual));
257 SetFieldShort<false>(OFFSET_OF_OBJECT_MEMBER(Class, virtual_methods_offset_),
258 dchecked_integral_cast<uint16_t>(num_direct));
259}
260
261inline void Class::SetMethodsPtrInternal(LengthPrefixedArray<ArtMethod>* new_methods) {
262 SetField64<false>(OFFSET_OF_OBJECT_MEMBER(Class, methods_),
Mathieu Chartierf4b3dba2016-01-26 20:11:06 -0800263 static_cast<uint64_t>(reinterpret_cast<uintptr_t>(new_methods)));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800264}
265
Mathieu Chartier4e305412014-02-19 10:54:44 -0800266template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700267inline ArtMethod* Class::GetVirtualMethod(size_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700268 CheckPointerSize(pointer_size);
Hiroshi Yamauchif4c15a12014-10-20 16:56:58 -0700269 DCHECK(IsResolved<kVerifyFlags>() || IsErroneous<kVerifyFlags>())
David Sehr709b0702016-10-13 09:12:37 -0700270 << Class::PrettyClass() << " status=" << GetStatus();
Mathieu Chartiere401d142015-04-22 13:56:20 -0700271 return GetVirtualMethodUnchecked(i, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800272}
273
Andreas Gampe542451c2016-07-26 09:02:02 -0700274inline ArtMethod* Class::GetVirtualMethodDuringLinking(size_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700275 CheckPointerSize(pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800276 DCHECK(IsLoaded() || IsErroneous());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700277 return GetVirtualMethodUnchecked(i, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800278}
279
Andreas Gampe542451c2016-07-26 09:02:02 -0700280inline ArtMethod* Class::GetVirtualMethodUnchecked(size_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700281 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100282 return &GetVirtualMethodsSliceUnchecked(pointer_size)[i];
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800283}
284
Roland Levillaind32ead22018-05-30 17:38:21 +0100285template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700286inline PointerArray* Class::GetVTable() {
Mingyao Yang063fc772016-08-02 11:02:54 -0700287 DCHECK(IsLoaded<kVerifyFlags>() || IsErroneous<kVerifyFlags>());
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800288 return GetFieldObject<PointerArray, kVerifyFlags, kReadBarrierOption>(
289 OFFSET_OF_OBJECT_MEMBER(Class, vtable_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800290}
291
Mathieu Chartiere401d142015-04-22 13:56:20 -0700292inline PointerArray* Class::GetVTableDuringLinking() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800293 DCHECK(IsLoaded() || IsErroneous());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700294 return GetFieldObject<PointerArray>(OFFSET_OF_OBJECT_MEMBER(Class, vtable_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800295}
296
Vladimir Markobcf17522018-06-01 13:14:32 +0100297inline void Class::SetVTable(ObjPtr<PointerArray> new_vtable) {
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700298 SetFieldObject<false>(OFFSET_OF_OBJECT_MEMBER(Class, vtable_), new_vtable);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800299}
300
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700301inline bool Class::HasVTable() {
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000302 return GetVTable() != nullptr || ShouldHaveEmbeddedVTable();
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700303}
304
Roland Levillaind32ead22018-05-30 17:38:21 +0100305template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700306inline int32_t Class::GetVTableLength() {
Vladimir Marko98db89c2018-09-07 11:45:46 +0100307 if (ShouldHaveEmbeddedVTable<kVerifyFlags>()) {
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700308 return GetEmbeddedVTableLength();
309 }
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300310 return GetVTable<kVerifyFlags, kReadBarrierOption>() != nullptr ?
311 GetVTable<kVerifyFlags, kReadBarrierOption>()->GetLength() : 0;
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700312}
313
Roland Levillaind32ead22018-05-30 17:38:21 +0100314template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Andreas Gampe542451c2016-07-26 09:02:02 -0700315inline ArtMethod* Class::GetVTableEntry(uint32_t i, PointerSize pointer_size) {
Vladimir Marko98db89c2018-09-07 11:45:46 +0100316 if (ShouldHaveEmbeddedVTable<kVerifyFlags>()) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700317 return GetEmbeddedVTableEntry(i, pointer_size);
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700318 }
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300319 auto* vtable = GetVTable<kVerifyFlags, kReadBarrierOption>();
Mathieu Chartiere401d142015-04-22 13:56:20 -0700320 DCHECK(vtable != nullptr);
Roland Levillaind32ead22018-05-30 17:38:21 +0100321 return vtable->template GetElementPtrSize<ArtMethod*, kVerifyFlags, kReadBarrierOption>(
322 i, pointer_size);
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700323}
324
Vladimir Marko98db89c2018-09-07 11:45:46 +0100325template<VerifyObjectFlags kVerifyFlags>
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700326inline int32_t Class::GetEmbeddedVTableLength() {
Vladimir Marko98db89c2018-09-07 11:45:46 +0100327 return GetField32<kVerifyFlags>(MemberOffset(EmbeddedVTableLengthOffset()));
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700328}
329
330inline void Class::SetEmbeddedVTableLength(int32_t len) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700331 SetField32<false>(MemberOffset(EmbeddedVTableLengthOffset()), len);
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700332}
333
Andreas Gampe542451c2016-07-26 09:02:02 -0700334inline ImTable* Class::GetImt(PointerSize pointer_size) {
Vladimir Markoca8de0a2018-07-04 11:56:08 +0100335 return GetFieldPtrWithSize<ImTable*>(ImtPtrOffset(pointer_size), pointer_size);
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000336}
337
Andreas Gampe542451c2016-07-26 09:02:02 -0700338inline void Class::SetImt(ImTable* imt, PointerSize pointer_size) {
Vladimir Markoca8de0a2018-07-04 11:56:08 +0100339 return SetFieldPtrWithSize<false>(ImtPtrOffset(pointer_size), imt, pointer_size);
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000340}
341
Andreas Gampe542451c2016-07-26 09:02:02 -0700342inline MemberOffset Class::EmbeddedVTableEntryOffset(uint32_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700343 return MemberOffset(
344 EmbeddedVTableOffset(pointer_size).Uint32Value() + i * VTableEntrySize(pointer_size));
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700345}
346
Andreas Gampe542451c2016-07-26 09:02:02 -0700347inline ArtMethod* Class::GetEmbeddedVTableEntry(uint32_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700348 return GetFieldPtrWithSize<ArtMethod*>(EmbeddedVTableEntryOffset(i, pointer_size), pointer_size);
349}
350
351inline void Class::SetEmbeddedVTableEntryUnchecked(
Andreas Gampe542451c2016-07-26 09:02:02 -0700352 uint32_t i, ArtMethod* method, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700353 SetFieldPtrWithSize<false>(EmbeddedVTableEntryOffset(i, pointer_size), method, pointer_size);
354}
355
Andreas Gampe542451c2016-07-26 09:02:02 -0700356inline void Class::SetEmbeddedVTableEntry(uint32_t i, ArtMethod* method, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700357 auto* vtable = GetVTableDuringLinking();
358 CHECK_EQ(method, vtable->GetElementPtrSize<ArtMethod*>(i, pointer_size));
359 SetEmbeddedVTableEntryUnchecked(i, method, pointer_size);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700360}
361
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700362inline bool Class::Implements(ObjPtr<Class> klass) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700363 DCHECK(klass != nullptr);
David Sehr709b0702016-10-13 09:12:37 -0700364 DCHECK(klass->IsInterface()) << PrettyClass();
Ian Rogers693ff612013-02-01 10:56:12 -0800365 // All interfaces implemented directly and by our superclass, and
366 // recursively all super-interfaces of those interfaces, are listed
367 // in iftable_, so we can just do a linear scan through that.
368 int32_t iftable_count = GetIfTableCount();
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700369 ObjPtr<IfTable> iftable = GetIfTable();
Ian Rogers693ff612013-02-01 10:56:12 -0800370 for (int32_t i = 0; i < iftable_count; i++) {
371 if (iftable->GetInterface(i) == klass) {
372 return true;
373 }
374 }
375 return false;
376}
377
Vladimir Marko98db89c2018-09-07 11:45:46 +0100378template<VerifyObjectFlags kVerifyFlags>
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800379inline bool Class::IsVariableSize() {
380 // Classes, arrays, and strings vary in size, and so the object_size_ field cannot
381 // be used to Get their instance size
Mathieu Chartierd7a7f2f2018-09-07 11:57:18 -0700382 return IsClassClass<kVerifyFlags>() ||
Vladimir Marko98db89c2018-09-07 11:45:46 +0100383 IsArrayClass<kVerifyFlags>() ||
384 IsStringClass<kVerifyFlags>();
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800385}
386
387inline void Class::SetObjectSize(uint32_t new_object_size) {
388 DCHECK(!IsVariableSize());
389 // Not called within a transaction.
390 return SetField32<false>(OFFSET_OF_OBJECT_MEMBER(Class, object_size_), new_object_size);
391}
392
Ian Rogers693ff612013-02-01 10:56:12 -0800393// Determine whether "this" is assignable from "src", where both of these
394// are array classes.
395//
396// Consider an array class, e.g. Y[][], where Y is a subclass of X.
397// Y[][] = Y[][] --> true (identity)
398// X[][] = Y[][] --> true (element superclass)
399// Y = Y[][] --> false
400// Y[] = Y[][] --> false
401// Object = Y[][] --> true (everything is an object)
402// Object[] = Y[][] --> true
403// Object[][] = Y[][] --> true
404// Object[][][] = Y[][] --> false (too many []s)
405// Serializable = Y[][] --> true (all arrays are Serializable)
406// Serializable[] = Y[][] --> true
407// Serializable[][] = Y[][] --> false (unless Y is Serializable)
408//
409// Don't forget about primitive types.
410// Object[] = int[] --> false
411//
Mathieu Chartier3398c782016-09-30 10:27:43 -0700412inline bool Class::IsArrayAssignableFromArray(ObjPtr<Class> src) {
Roland Levillaind32ead22018-05-30 17:38:21 +0100413 DCHECK(IsArrayClass()) << PrettyClass();
David Sehr709b0702016-10-13 09:12:37 -0700414 DCHECK(src->IsArrayClass()) << src->PrettyClass();
Ian Rogers693ff612013-02-01 10:56:12 -0800415 return GetComponentType()->IsAssignableFrom(src->GetComponentType());
416}
417
Mathieu Chartier3398c782016-09-30 10:27:43 -0700418inline bool Class::IsAssignableFromArray(ObjPtr<Class> src) {
David Sehr709b0702016-10-13 09:12:37 -0700419 DCHECK(!IsInterface()) << PrettyClass(); // handled first in IsAssignableFrom
420 DCHECK(src->IsArrayClass()) << src->PrettyClass();
Ian Rogers693ff612013-02-01 10:56:12 -0800421 if (!IsArrayClass()) {
422 // If "this" is not also an array, it must be Object.
423 // src's super should be java_lang_Object, since it is an array.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700424 ObjPtr<Class> java_lang_Object = src->GetSuperClass();
David Sehr709b0702016-10-13 09:12:37 -0700425 DCHECK(java_lang_Object != nullptr) << src->PrettyClass();
426 DCHECK(java_lang_Object->GetSuperClass() == nullptr) << src->PrettyClass();
Ian Rogers693ff612013-02-01 10:56:12 -0800427 return this == java_lang_Object;
428 }
429 return IsArrayAssignableFromArray(src);
430}
431
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100432template <bool throw_on_failure>
Mathieu Chartierb8901302016-09-30 10:27:43 -0700433inline bool Class::ResolvedFieldAccessTest(ObjPtr<Class> access_to,
Mathieu Chartier3398c782016-09-30 10:27:43 -0700434 ArtField* field,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100435 ObjPtr<DexCache> dex_cache,
436 uint32_t field_idx) {
437 DCHECK(dex_cache != nullptr);
Vladimir Marko23a28212014-01-09 19:24:37 +0000438 if (UNLIKELY(!this->CanAccess(access_to))) {
439 // The referrer class can't access the field's declaring class but may still be able
440 // to access the field if the FieldId specifies an accessible subclass of the declaring
441 // class rather than the declaring class itself.
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100442 dex::TypeIndex class_idx = dex_cache->GetDexFile()->GetFieldId(field_idx).class_idx_;
Mathieu Chartier279ac5c2016-09-08 17:34:25 -0700443 // The referenced class has already been resolved with the field, but may not be in the dex
Mathieu Chartierb8901302016-09-30 10:27:43 -0700444 // cache. Use LookupResolveType here to search the class table if it is not in the dex cache.
Mathieu Chartier279ac5c2016-09-08 17:34:25 -0700445 // should be no thread suspension due to the class being resolved.
Mathieu Chartierb8901302016-09-30 10:27:43 -0700446 ObjPtr<Class> dex_access_to = Runtime::Current()->GetClassLinker()->LookupResolvedType(
Mathieu Chartierb8901302016-09-30 10:27:43 -0700447 class_idx,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100448 dex_cache,
Mathieu Chartierb8901302016-09-30 10:27:43 -0700449 access_to->GetClassLoader());
Vladimir Marko23a28212014-01-09 19:24:37 +0000450 DCHECK(dex_access_to != nullptr);
451 if (UNLIKELY(!this->CanAccess(dex_access_to))) {
452 if (throw_on_failure) {
Mathieu Chartier6b3d12b2016-10-13 13:59:58 -0700453 ThrowIllegalAccessErrorClass(this, dex_access_to);
Vladimir Marko23a28212014-01-09 19:24:37 +0000454 }
455 return false;
456 }
Vladimir Marko23a28212014-01-09 19:24:37 +0000457 }
458 if (LIKELY(this->CanAccessMember(access_to, field->GetAccessFlags()))) {
459 return true;
460 }
461 if (throw_on_failure) {
462 ThrowIllegalAccessErrorField(this, field);
463 }
464 return false;
465}
466
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100467template <bool throw_on_failure>
Mathieu Chartierb8901302016-09-30 10:27:43 -0700468inline bool Class::ResolvedMethodAccessTest(ObjPtr<Class> access_to,
469 ArtMethod* method,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100470 ObjPtr<DexCache> dex_cache,
Mathieu Chartierb8901302016-09-30 10:27:43 -0700471 uint32_t method_idx,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100472 InvokeType throw_invoke_type) {
473 DCHECK(throw_on_failure || throw_invoke_type == kStatic);
474 DCHECK(dex_cache != nullptr);
Vladimir Marko23a28212014-01-09 19:24:37 +0000475 if (UNLIKELY(!this->CanAccess(access_to))) {
476 // The referrer class can't access the method's declaring class but may still be able
477 // to access the method if the MethodId specifies an accessible subclass of the declaring
478 // class rather than the declaring class itself.
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100479 dex::TypeIndex class_idx = dex_cache->GetDexFile()->GetMethodId(method_idx).class_idx_;
Mathieu Chartier279ac5c2016-09-08 17:34:25 -0700480 // The referenced class has already been resolved with the method, but may not be in the dex
Mathieu Chartierb8901302016-09-30 10:27:43 -0700481 // cache.
482 ObjPtr<Class> dex_access_to = Runtime::Current()->GetClassLinker()->LookupResolvedType(
Mathieu Chartierb8901302016-09-30 10:27:43 -0700483 class_idx,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100484 dex_cache,
Mathieu Chartierb8901302016-09-30 10:27:43 -0700485 access_to->GetClassLoader());
Vladimir Marko23a28212014-01-09 19:24:37 +0000486 DCHECK(dex_access_to != nullptr);
487 if (UNLIKELY(!this->CanAccess(dex_access_to))) {
488 if (throw_on_failure) {
Mathieu Chartierb8901302016-09-30 10:27:43 -0700489 ThrowIllegalAccessErrorClassForMethodDispatch(this,
Vladimir Markobcf17522018-06-01 13:14:32 +0100490 dex_access_to,
Mathieu Chartierb8901302016-09-30 10:27:43 -0700491 method,
492 throw_invoke_type);
Vladimir Marko23a28212014-01-09 19:24:37 +0000493 }
494 return false;
495 }
Vladimir Marko23a28212014-01-09 19:24:37 +0000496 }
497 if (LIKELY(this->CanAccessMember(access_to, method->GetAccessFlags()))) {
498 return true;
499 }
500 if (throw_on_failure) {
501 ThrowIllegalAccessErrorMethod(this, method);
502 }
503 return false;
504}
505
Mathieu Chartier3398c782016-09-30 10:27:43 -0700506inline bool Class::CanAccessResolvedField(ObjPtr<Class> access_to,
507 ArtField* field,
508 ObjPtr<DexCache> dex_cache,
509 uint32_t field_idx) {
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100510 return ResolvedFieldAccessTest<false>(access_to, field, dex_cache, field_idx);
Vladimir Marko89786432014-01-31 15:03:55 +0000511}
512
Mathieu Chartier3398c782016-09-30 10:27:43 -0700513inline bool Class::CheckResolvedFieldAccess(ObjPtr<Class> access_to,
514 ArtField* field,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100515 ObjPtr<DexCache> dex_cache,
Vladimir Marko89786432014-01-31 15:03:55 +0000516 uint32_t field_idx) {
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100517 return ResolvedFieldAccessTest<true>(access_to, field, dex_cache, field_idx);
Vladimir Marko89786432014-01-31 15:03:55 +0000518}
519
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700520inline bool Class::CanAccessResolvedMethod(ObjPtr<Class> access_to,
521 ArtMethod* method,
522 ObjPtr<DexCache> dex_cache,
523 uint32_t method_idx) {
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100524 return ResolvedMethodAccessTest<false>(access_to, method, dex_cache, method_idx, kStatic);
Vladimir Marko89786432014-01-31 15:03:55 +0000525}
526
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700527inline bool Class::CheckResolvedMethodAccess(ObjPtr<Class> access_to,
528 ArtMethod* method,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100529 ObjPtr<DexCache> dex_cache,
530 uint32_t method_idx,
531 InvokeType throw_invoke_type) {
532 return ResolvedMethodAccessTest<true>(
533 access_to, method, dex_cache, method_idx, throw_invoke_type);
Vladimir Marko89786432014-01-31 15:03:55 +0000534}
535
Mathieu Chartier3398c782016-09-30 10:27:43 -0700536inline bool Class::IsSubClass(ObjPtr<Class> klass) {
Igor Murashkin86083f72017-10-27 10:59:04 -0700537 // Since the SubtypeCheck::IsSubtypeOf needs to lookup the Depth,
538 // it is always O(Depth) in terms of speed to do the check.
539 //
540 // So always do the "slow" linear scan in normal release builds.
541 //
542 // Future note: If we could have the depth in O(1) we could use the 'fast'
543 // method instead as it avoids a loop and a read barrier.
544 bool result = false;
David Sehr709b0702016-10-13 09:12:37 -0700545 DCHECK(!IsInterface()) << PrettyClass();
546 DCHECK(!IsArrayClass()) << PrettyClass();
Mathieu Chartier3398c782016-09-30 10:27:43 -0700547 ObjPtr<Class> current = this;
Ian Rogers693ff612013-02-01 10:56:12 -0800548 do {
549 if (current == klass) {
Igor Murashkin86083f72017-10-27 10:59:04 -0700550 result = true;
551 break;
Ian Rogers693ff612013-02-01 10:56:12 -0800552 }
553 current = current->GetSuperClass();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700554 } while (current != nullptr);
Igor Murashkin86083f72017-10-27 10:59:04 -0700555
Vladimir Marko305c38b2018-02-14 11:50:07 +0000556 if (kIsDebugBuild && kBitstringSubtypeCheckEnabled) {
Igor Murashkin86083f72017-10-27 10:59:04 -0700557 ObjPtr<mirror::Class> dis(this);
558
559 SubtypeCheckInfo::Result sc_result = SubtypeCheck<ObjPtr<Class>>::IsSubtypeOf(dis, klass);
560 if (sc_result != SubtypeCheckInfo::kUnknownSubtypeOf) {
561 // Note: The "kUnknownSubTypeOf" can be avoided if and only if:
562 // SubtypeCheck::EnsureInitialized(source)
563 // happens-before source.IsSubClass(target)
564 // SubtypeCheck::EnsureAssigned(target).GetState() == Assigned
565 // happens-before source.IsSubClass(target)
566 //
567 // When code generated by optimizing compiler executes this operation, both
568 // happens-before are guaranteed, so there is no fallback code there.
569 SubtypeCheckInfo::Result expected_result =
570 result ? SubtypeCheckInfo::kSubtypeOf : SubtypeCheckInfo::kNotSubtypeOf;
571 DCHECK_EQ(expected_result, sc_result)
572 << "source: " << PrettyClass() << "target: " << klass->PrettyClass();
573 }
574 }
575
576 return result;
Ian Rogers693ff612013-02-01 10:56:12 -0800577}
578
Andreas Gampe542451c2016-07-26 09:02:02 -0700579inline ArtMethod* Class::FindVirtualMethodForInterface(ArtMethod* method,
580 PointerSize pointer_size) {
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700581 ObjPtr<Class> declaring_class = method->GetDeclaringClass();
David Sehr709b0702016-10-13 09:12:37 -0700582 DCHECK(declaring_class != nullptr) << PrettyClass();
Vladimir Markoba118822017-06-12 15:41:56 +0100583 if (UNLIKELY(!declaring_class->IsInterface())) {
584 DCHECK(declaring_class->IsObjectClass()) << method->PrettyMethod();
585 DCHECK(method->IsPublic() && !method->IsStatic());
586 return FindVirtualMethodForVirtual(method, pointer_size);
587 }
Alex Light0f7e8f52016-07-19 11:21:32 -0700588 DCHECK(!method->IsCopied());
Ian Rogers693ff612013-02-01 10:56:12 -0800589 // TODO cache to improve lookup speed
Mathieu Chartiere401d142015-04-22 13:56:20 -0700590 const int32_t iftable_count = GetIfTableCount();
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700591 ObjPtr<IfTable> iftable = GetIfTable();
Ian Rogers693ff612013-02-01 10:56:12 -0800592 for (int32_t i = 0; i < iftable_count; i++) {
593 if (iftable->GetInterface(i) == declaring_class) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700594 return iftable->GetMethodArray(i)->GetElementPtrSize<ArtMethod*>(
595 method->GetMethodIndex(), pointer_size);
Ian Rogers693ff612013-02-01 10:56:12 -0800596 }
597 }
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700598 return nullptr;
Ian Rogers693ff612013-02-01 10:56:12 -0800599}
600
Andreas Gampe542451c2016-07-26 09:02:02 -0700601inline ArtMethod* Class::FindVirtualMethodForVirtual(ArtMethod* method, PointerSize pointer_size) {
Alex Lighteb7c1442015-08-31 13:17:42 -0700602 // Only miranda or default methods may come from interfaces and be used as a virtual.
603 DCHECK(!method->GetDeclaringClass()->IsInterface() || method->IsDefault() || method->IsMiranda());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800604 // The argument method may from a super class.
605 // Use the index to a potentially overridden one for this instance's class.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700606 return GetVTableEntry(method->GetMethodIndex(), pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800607}
608
Andreas Gampe542451c2016-07-26 09:02:02 -0700609inline ArtMethod* Class::FindVirtualMethodForSuper(ArtMethod* method, PointerSize pointer_size) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800610 DCHECK(!method->GetDeclaringClass()->IsInterface());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700611 return GetSuperClass()->GetVTableEntry(method->GetMethodIndex(), pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800612}
613
Mathieu Chartiere401d142015-04-22 13:56:20 -0700614inline ArtMethod* Class::FindVirtualMethodForVirtualOrInterface(ArtMethod* method,
Andreas Gampe542451c2016-07-26 09:02:02 -0700615 PointerSize pointer_size) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800616 if (method->IsDirect()) {
617 return method;
618 }
Alex Light36121492016-02-22 13:43:29 -0800619 if (method->GetDeclaringClass()->IsInterface() && !method->IsCopied()) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700620 return FindVirtualMethodForInterface(method, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800621 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700622 return FindVirtualMethodForVirtual(method, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800623}
624
Roland Levillaind32ead22018-05-30 17:38:21 +0100625template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Ian Rogersef7d42f2014-01-06 12:55:46 -0800626inline IfTable* Class::GetIfTable() {
Mathieu Chartier6beced42016-11-15 15:51:31 -0800627 ObjPtr<IfTable> ret = GetFieldObject<IfTable, kVerifyFlags, kReadBarrierOption>(IfTableOffset());
628 DCHECK(ret != nullptr) << PrettyClass(this);
629 return ret.Ptr();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800630}
631
Roland Levillaind32ead22018-05-30 17:38:21 +0100632template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Ian Rogersef7d42f2014-01-06 12:55:46 -0800633inline int32_t Class::GetIfTableCount() {
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300634 return GetIfTable<kVerifyFlags, kReadBarrierOption>()->Count();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800635}
636
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700637inline void Class::SetIfTable(ObjPtr<IfTable> new_iftable) {
Mathieu Chartier6beced42016-11-15 15:51:31 -0800638 DCHECK(new_iftable != nullptr) << PrettyClass(this);
Mathieu Chartier2ecfd272016-11-01 10:10:05 -0700639 SetFieldObject<false>(IfTableOffset(), new_iftable);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800640}
641
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700642inline LengthPrefixedArray<ArtField>* Class::GetIFieldsPtr() {
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800643 DCHECK(IsLoaded() || IsErroneous()) << GetStatus();
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700644 return GetFieldPtr<LengthPrefixedArray<ArtField>*>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800645}
646
Hiroshi Yamauchi5496f692016-02-17 13:29:59 -0800647template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Vladimir Marko76649e82014-11-10 18:32:59 +0000648inline MemberOffset Class::GetFirstReferenceInstanceFieldOffset() {
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700649 ObjPtr<Class> super_class = GetSuperClass<kVerifyFlags, kReadBarrierOption>();
Vladimir Marko76649e82014-11-10 18:32:59 +0000650 return (super_class != nullptr)
Vladimir Marko98db89c2018-09-07 11:45:46 +0100651 ? MemberOffset(RoundUp(super_class->GetObjectSize<kVerifyFlags>(), kHeapReferenceSize))
Vladimir Marko76649e82014-11-10 18:32:59 +0000652 : ClassOffset();
653}
654
Vladimir Marko98db89c2018-09-07 11:45:46 +0100655template <VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700656inline MemberOffset Class::GetFirstReferenceStaticFieldOffset(PointerSize pointer_size) {
Vladimir Marko98db89c2018-09-07 11:45:46 +0100657 DCHECK(IsResolved<kVerifyFlags>());
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700658 uint32_t base = sizeof(Class); // Static fields come after the class.
Vladimir Marko98db89c2018-09-07 11:45:46 +0100659 if (ShouldHaveEmbeddedVTable<kVerifyFlags>()) {
Vladimir Marko76649e82014-11-10 18:32:59 +0000660 // Static fields come after the embedded tables.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700661 base = Class::ComputeClassSize(
Vladimir Marko98db89c2018-09-07 11:45:46 +0100662 true, GetEmbeddedVTableLength<kVerifyFlags>(), 0, 0, 0, 0, 0, pointer_size);
Vladimir Marko76649e82014-11-10 18:32:59 +0000663 }
664 return MemberOffset(base);
665}
666
Andreas Gampe542451c2016-07-26 09:02:02 -0700667inline MemberOffset Class::GetFirstReferenceStaticFieldOffsetDuringLinking(
668 PointerSize pointer_size) {
Vladimir Marko76649e82014-11-10 18:32:59 +0000669 DCHECK(IsLoaded());
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700670 uint32_t base = sizeof(Class); // Static fields come after the class.
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000671 if (ShouldHaveEmbeddedVTable()) {
Vladimir Marko76649e82014-11-10 18:32:59 +0000672 // Static fields come after the embedded tables.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700673 base = Class::ComputeClassSize(true, GetVTableDuringLinking()->GetLength(),
Mathieu Chartiere401d142015-04-22 13:56:20 -0700674 0, 0, 0, 0, 0, pointer_size);
Vladimir Marko76649e82014-11-10 18:32:59 +0000675 }
676 return MemberOffset(base);
677}
678
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700679inline void Class::SetIFieldsPtr(LengthPrefixedArray<ArtField>* new_ifields) {
680 DCHECK(GetIFieldsPtrUnchecked() == nullptr);
Mathieu Chartierc7853442015-03-27 14:35:38 -0700681 return SetFieldPtr<false>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_), new_ifields);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800682}
683
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700684inline void Class::SetIFieldsPtrUnchecked(LengthPrefixedArray<ArtField>* new_ifields) {
Mathieu Chartierc7853442015-03-27 14:35:38 -0700685 SetFieldPtr<false, true, kVerifyNone>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_), new_ifields);
686}
687
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700688inline LengthPrefixedArray<ArtField>* Class::GetSFieldsPtrUnchecked() {
689 return GetFieldPtr<LengthPrefixedArray<ArtField>*>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_));
Mathieu Chartierc7853442015-03-27 14:35:38 -0700690}
691
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700692inline LengthPrefixedArray<ArtField>* Class::GetIFieldsPtrUnchecked() {
693 return GetFieldPtr<LengthPrefixedArray<ArtField>*>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_));
Mathieu Chartierc7853442015-03-27 14:35:38 -0700694}
695
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700696inline LengthPrefixedArray<ArtField>* Class::GetSFieldsPtr() {
Mathieu Chartier987ca8b2015-03-15 14:19:14 -0700697 DCHECK(IsLoaded() || IsErroneous()) << GetStatus();
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700698 return GetSFieldsPtrUnchecked();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800699}
700
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700701inline void Class::SetSFieldsPtr(LengthPrefixedArray<ArtField>* new_sfields) {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700702 DCHECK((IsRetired() && new_sfields == nullptr) ||
Mathieu Chartierc7853442015-03-27 14:35:38 -0700703 GetFieldPtr<ArtField*>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_)) == nullptr);
704 SetFieldPtr<false>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_), new_sfields);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800705}
706
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700707inline void Class::SetSFieldsPtrUnchecked(LengthPrefixedArray<ArtField>* new_sfields) {
Mathieu Chartierc7853442015-03-27 14:35:38 -0700708 SetFieldPtr<false, true, kVerifyNone>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_), new_sfields);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800709}
710
Mathieu Chartierc7853442015-03-27 14:35:38 -0700711inline ArtField* Class::GetStaticField(uint32_t i) {
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700712 return &GetSFieldsPtr()->At(i);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800713}
714
Mathieu Chartierc7853442015-03-27 14:35:38 -0700715inline ArtField* Class::GetInstanceField(uint32_t i) {
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700716 return &GetIFieldsPtr()->At(i);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800717}
718
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700719template<VerifyObjectFlags kVerifyFlags>
720inline uint32_t Class::GetReferenceInstanceOffsets() {
721 DCHECK(IsResolved<kVerifyFlags>() || IsErroneous<kVerifyFlags>());
722 return GetField32<kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Class, reference_instance_offsets_));
723}
724
725inline void Class::SetClinitThreadId(pid_t new_clinit_thread_id) {
Chang Xing6d3e7682017-07-11 10:31:29 -0700726 SetField32Transaction(OFFSET_OF_OBJECT_MEMBER(Class, clinit_thread_id_), new_clinit_thread_id);
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700727}
728
Ian Rogersef7d42f2014-01-06 12:55:46 -0800729inline String* Class::GetName() {
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700730 return GetFieldObject<String>(OFFSET_OF_OBJECT_MEMBER(Class, name_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800731}
Mathieu Chartier52a7f5c2015-08-18 18:35:52 -0700732
Mathieu Chartier1a5337f2016-10-13 13:48:23 -0700733inline void Class::SetName(ObjPtr<String> name) {
Roland Levillaind32ead22018-05-30 17:38:21 +0100734 SetFieldObjectTransaction(OFFSET_OF_OBJECT_MEMBER(Class, name_), name);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800735}
736
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700737template<VerifyObjectFlags kVerifyFlags>
738inline Primitive::Type Class::GetPrimitiveType() {
Roland Levillain33d69032015-06-18 18:20:59 +0100739 static_assert(sizeof(Primitive::Type) == sizeof(int32_t),
740 "art::Primitive::Type and int32_t have different sizes.");
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700741 int32_t v32 = GetField32<kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Class, primitive_type_));
Mathieu Chartier8261d022016-08-08 09:41:04 -0700742 Primitive::Type type = static_cast<Primitive::Type>(v32 & kPrimitiveTypeMask);
743 DCHECK_EQ(static_cast<size_t>(v32 >> kPrimitiveTypeSizeShiftShift),
744 Primitive::ComponentSizeShift(type));
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700745 return type;
746}
747
748template<VerifyObjectFlags kVerifyFlags>
749inline size_t Class::GetPrimitiveTypeSizeShift() {
Roland Levillain33d69032015-06-18 18:20:59 +0100750 static_assert(sizeof(Primitive::Type) == sizeof(int32_t),
751 "art::Primitive::Type and int32_t have different sizes.");
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700752 int32_t v32 = GetField32<kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Class, primitive_type_));
Mathieu Chartier8261d022016-08-08 09:41:04 -0700753 size_t size_shift = static_cast<Primitive::Type>(v32 >> kPrimitiveTypeSizeShiftShift);
754 DCHECK_EQ(size_shift,
755 Primitive::ComponentSizeShift(static_cast<Primitive::Type>(v32 & kPrimitiveTypeMask)));
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700756 return size_shift;
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700757}
758
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700759inline void Class::CheckObjectAlloc() {
Hiroshi Yamauchi4cd662e2014-04-03 16:28:10 -0700760 DCHECK(!IsArrayClass())
David Sehr709b0702016-10-13 09:12:37 -0700761 << PrettyClass()
Hiroshi Yamauchi4cd662e2014-04-03 16:28:10 -0700762 << "A array shouldn't be allocated through this "
763 << "as it requires a pre-fence visitor that sets the class size.";
764 DCHECK(!IsClassClass())
David Sehr709b0702016-10-13 09:12:37 -0700765 << PrettyClass()
Hiroshi Yamauchi4cd662e2014-04-03 16:28:10 -0700766 << "A class object shouldn't be allocated through this "
767 << "as it requires a pre-fence visitor that sets the class size.";
Jeff Hao848f70a2014-01-15 13:49:50 -0800768 DCHECK(!IsStringClass())
David Sehr709b0702016-10-13 09:12:37 -0700769 << PrettyClass()
Jeff Hao848f70a2014-01-15 13:49:50 -0800770 << "A string shouldn't be allocated through this "
771 << "as it requires a pre-fence visitor that sets the class size.";
David Sehr709b0702016-10-13 09:12:37 -0700772 DCHECK(IsInstantiable()) << PrettyClass();
Hiroshi Yamauchi967a0ad2013-09-10 16:24:21 -0700773 // TODO: decide whether we want this check. It currently fails during bootstrap.
David Sehr709b0702016-10-13 09:12:37 -0700774 // DCHECK(!Runtime::Current()->IsStarted() || IsInitializing()) << PrettyClass();
Hiroshi Yamauchi967a0ad2013-09-10 16:24:21 -0700775 DCHECK_GE(this->object_size_, sizeof(Object));
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700776}
777
Mathieu Chartier8668c3c2014-04-24 16:48:11 -0700778template<bool kIsInstrumented, bool kCheckAddFinalizer>
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700779inline ObjPtr<Object> Class::Alloc(Thread* self, gc::AllocatorType allocator_type) {
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700780 CheckObjectAlloc();
Mathieu Chartier590fee92013-09-13 13:46:47 -0700781 gc::Heap* heap = Runtime::Current()->GetHeap();
Mathieu Chartier8668c3c2014-04-24 16:48:11 -0700782 const bool add_finalizer = kCheckAddFinalizer && IsFinalizable();
783 if (!kCheckAddFinalizer) {
784 DCHECK(!IsFinalizable());
785 }
Mathieu Chartier9d156d52016-10-06 17:44:26 -0700786 // Note that the this pointer may be invalidated after the allocation.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700787 ObjPtr<Object> obj =
Mathieu Chartier9d156d52016-10-06 17:44:26 -0700788 heap->AllocObjectWithAllocator<kIsInstrumented, false>(self,
789 this,
790 this->object_size_,
791 allocator_type,
792 VoidFunctor());
Mathieu Chartier8668c3c2014-04-24 16:48:11 -0700793 if (add_finalizer && LIKELY(obj != nullptr)) {
794 heap->AddFinalizerReference(self, &obj);
Pavel Vyssotski3ac90da2014-12-02 19:54:50 +0600795 if (UNLIKELY(self->IsExceptionPending())) {
796 // Failed to allocate finalizer reference, it means that the whole allocation failed.
797 obj = nullptr;
798 }
Mathieu Chartier8668c3c2014-04-24 16:48:11 -0700799 }
Vladimir Markobcf17522018-06-01 13:14:32 +0100800 return obj;
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800801}
802
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700803inline ObjPtr<Object> Class::AllocObject(Thread* self) {
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800804 return Alloc<true>(self, Runtime::Current()->GetHeap()->GetCurrentAllocator());
805}
806
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700807inline ObjPtr<Object> Class::AllocNonMovableObject(Thread* self) {
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800808 return Alloc<true>(self, Runtime::Current()->GetHeap()->GetCurrentNonMovingAllocator());
Hiroshi Yamauchi967a0ad2013-09-10 16:24:21 -0700809}
810
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000811inline uint32_t Class::ComputeClassSize(bool has_embedded_vtable,
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700812 uint32_t num_vtable_entries,
Fred Shih37f05ef2014-07-16 18:38:08 -0700813 uint32_t num_8bit_static_fields,
814 uint32_t num_16bit_static_fields,
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700815 uint32_t num_32bit_static_fields,
816 uint32_t num_64bit_static_fields,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700817 uint32_t num_ref_static_fields,
Andreas Gampe542451c2016-07-26 09:02:02 -0700818 PointerSize pointer_size) {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700819 // Space used by java.lang.Class and its instance fields.
820 uint32_t size = sizeof(Class);
821 // Space used by embedded tables.
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000822 if (has_embedded_vtable) {
Andreas Gampe542451c2016-07-26 09:02:02 -0700823 size = RoundUp(size + sizeof(uint32_t), static_cast<size_t>(pointer_size));
824 size += static_cast<size_t>(pointer_size); // size of pointer to IMT
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000825 size += num_vtable_entries * VTableEntrySize(pointer_size);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700826 }
Fred Shih37f05ef2014-07-16 18:38:08 -0700827
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700828 // Space used by reference statics.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700829 size += num_ref_static_fields * kHeapReferenceSize;
Fred Shih37f05ef2014-07-16 18:38:08 -0700830 if (!IsAligned<8>(size) && num_64bit_static_fields > 0) {
831 uint32_t gap = 8 - (size & 0x7);
832 size += gap; // will be padded
833 // Shuffle 4-byte fields forward.
834 while (gap >= sizeof(uint32_t) && num_32bit_static_fields != 0) {
835 --num_32bit_static_fields;
836 gap -= sizeof(uint32_t);
837 }
838 // Shuffle 2-byte fields forward.
839 while (gap >= sizeof(uint16_t) && num_16bit_static_fields != 0) {
840 --num_16bit_static_fields;
841 gap -= sizeof(uint16_t);
842 }
843 // Shuffle byte fields forward.
844 while (gap >= sizeof(uint8_t) && num_8bit_static_fields != 0) {
845 --num_8bit_static_fields;
846 gap -= sizeof(uint8_t);
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700847 }
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700848 }
Fred Shih37f05ef2014-07-16 18:38:08 -0700849 // Guaranteed to be at least 4 byte aligned. No need for further alignments.
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700850 // Space used for primitive static fields.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700851 size += num_8bit_static_fields * sizeof(uint8_t) + num_16bit_static_fields * sizeof(uint16_t) +
852 num_32bit_static_fields * sizeof(uint32_t) + num_64bit_static_fields * sizeof(uint64_t);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700853 return size;
854}
855
Mathieu Chartierd7a7f2f2018-09-07 11:57:18 -0700856template<VerifyObjectFlags kVerifyFlags>
Hiroshi Yamauchi25023c72014-05-09 11:45:53 -0700857inline bool Class::IsClassClass() {
Mathieu Chartierd7a7f2f2018-09-07 11:57:18 -0700858 // OK to look at from-space copies since java.lang.Class.class is not movable.
859 // See b/114413743
Vladimir Marko98db89c2018-09-07 11:45:46 +0100860 ObjPtr<Class> java_lang_Class = GetClass<kVerifyFlags, kWithoutReadBarrier>();
Hiroshi Yamauchi25023c72014-05-09 11:45:53 -0700861 return this == java_lang_Class;
862}
863
Mathieu Chartierf8322842014-05-16 10:59:25 -0700864inline const DexFile& Class::GetDexFile() {
Mathieu Chartierbc632f02017-04-20 13:31:39 -0700865 // From-space version is the same as the to-space version since the dex file never changes.
866 // Avoiding the read barrier here is important to prevent recursive AssertToSpaceInvariant issues
867 // from PrettyTypeOf.
868 return *GetDexCache<kDefaultVerifyFlags, kWithoutReadBarrier>()->GetDexFile();
Mathieu Chartierf8322842014-05-16 10:59:25 -0700869}
870
871inline bool Class::DescriptorEquals(const char* match) {
Ian Rogers1ff3c982014-08-12 02:30:58 -0700872 if (IsArrayClass()) {
Mathieu Chartierf8322842014-05-16 10:59:25 -0700873 return match[0] == '[' && GetComponentType()->DescriptorEquals(match + 1);
Ian Rogers1ff3c982014-08-12 02:30:58 -0700874 } else if (IsPrimitive()) {
Mathieu Chartierf8322842014-05-16 10:59:25 -0700875 return strcmp(Primitive::Descriptor(GetPrimitiveType()), match) == 0;
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000876 } else if (IsProxyClass()) {
877 return ProxyDescriptorEquals(match);
Mathieu Chartierf8322842014-05-16 10:59:25 -0700878 } else {
879 const DexFile& dex_file = GetDexFile();
880 const DexFile::TypeId& type_id = dex_file.GetTypeId(GetClassDef()->class_idx_);
881 return strcmp(dex_file.GetTypeDescriptor(type_id), match) == 0;
882 }
883}
884
Sebastien Hertz4e99b3d2014-06-24 14:35:40 +0200885inline void Class::AssertInitializedOrInitializingInThread(Thread* self) {
886 if (kIsDebugBuild && !IsInitialized()) {
David Sehr709b0702016-10-13 09:12:37 -0700887 CHECK(IsInitializing()) << PrettyClass() << " is not initializing: " << GetStatus();
Roland Levillaind32ead22018-05-30 17:38:21 +0100888 CHECK_EQ(GetClinitThreadId(), self->GetTid())
889 << PrettyClass() << " is initializing in a different thread";
Sebastien Hertz4e99b3d2014-06-24 14:35:40 +0200890 }
891}
892
Narayan Kamath6b2dc312017-03-14 13:26:12 +0000893inline ObjectArray<Class>* Class::GetProxyInterfaces() {
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000894 CHECK(IsProxyClass());
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700895 // First static field.
Mathieu Chartierc7853442015-03-27 14:35:38 -0700896 auto* field = GetStaticField(0);
897 DCHECK_STREQ(field->GetName(), "interfaces");
898 MemberOffset field_offset = field->GetOffset();
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000899 return GetFieldObject<ObjectArray<Class>>(field_offset);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700900}
901
Narayan Kamath6b2dc312017-03-14 13:26:12 +0000902inline ObjectArray<ObjectArray<Class>>* Class::GetProxyThrows() {
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000903 CHECK(IsProxyClass());
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700904 // Second static field.
Mathieu Chartierc7853442015-03-27 14:35:38 -0700905 auto* field = GetStaticField(1);
906 DCHECK_STREQ(field->GetName(), "throws");
907 MemberOffset field_offset = field->GetOffset();
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000908 return GetFieldObject<ObjectArray<ObjectArray<Class>>>(field_offset);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700909}
910
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700911inline void Class::InitializeClassVisitor::operator()(ObjPtr<Object> obj,
Mathieu Chartier9d156d52016-10-06 17:44:26 -0700912 size_t usable_size) const {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700913 DCHECK_LE(class_size_, usable_size);
914 // Avoid AsClass as object is not yet in live bitmap or allocation stack.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700915 ObjPtr<Class> klass = ObjPtr<Class>::DownCast(obj);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700916 klass->SetClassSize(class_size_);
917 klass->SetPrimitiveType(Primitive::kPrimNot); // Default to not being primitive.
918 klass->SetDexClassDefIndex(DexFile::kDexNoIndex16); // Default to no valid class def index.
Andreas Gampea5b09a62016-11-17 15:21:22 -0800919 klass->SetDexTypeIndex(dex::TypeIndex(DexFile::kDexNoIndex16)); // Default to no valid type
920 // index.
Mathieu Chartier93bbee02016-08-31 09:38:40 -0700921 // Default to force slow path until initialized.
Mathieu Chartier161db1d2016-09-01 14:06:54 -0700922 klass->SetObjectSizeAllocFastPath(std::numeric_limits<uint32_t>::max());
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700923}
924
Andreas Gampe48498592014-09-10 19:48:05 -0700925inline void Class::SetAccessFlags(uint32_t new_access_flags) {
926 // Called inside a transaction when setting pre-verified flag during boot image compilation.
927 if (Runtime::Current()->IsActiveTransaction()) {
Mathieu Chartier52a7f5c2015-08-18 18:35:52 -0700928 SetField32<true>(AccessFlagsOffset(), new_access_flags);
Andreas Gampe48498592014-09-10 19:48:05 -0700929 } else {
Mathieu Chartier52a7f5c2015-08-18 18:35:52 -0700930 SetField32<false>(AccessFlagsOffset(), new_access_flags);
931 }
932}
933
934inline void Class::SetClassFlags(uint32_t new_flags) {
935 if (Runtime::Current()->IsActiveTransaction()) {
936 SetField32<true>(OFFSET_OF_OBJECT_MEMBER(Class, class_flags_), new_flags);
937 } else {
938 SetField32<false>(OFFSET_OF_OBJECT_MEMBER(Class, class_flags_), new_flags);
Andreas Gampe48498592014-09-10 19:48:05 -0700939 }
940}
941
Mathieu Chartier2d2621a2014-10-23 16:48:06 -0700942inline uint32_t Class::NumDirectInterfaces() {
943 if (IsPrimitive()) {
944 return 0;
945 } else if (IsArrayClass()) {
946 return 2;
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000947 } else if (IsProxyClass()) {
Narayan Kamath6b2dc312017-03-14 13:26:12 +0000948 ObjectArray<Class>* interfaces = GetProxyInterfaces();
Mathieu Chartier2d2621a2014-10-23 16:48:06 -0700949 return interfaces != nullptr ? interfaces->GetLength() : 0;
950 } else {
951 const DexFile::TypeList* interfaces = GetInterfaceTypeList();
952 if (interfaces == nullptr) {
953 return 0;
954 } else {
955 return interfaces->Size();
956 }
957 }
958}
959
Vladimir Marko9ac77492017-06-14 18:07:03 +0100960inline ArraySlice<ArtMethod> Class::GetDirectMethods(PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700961 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100962 return GetDirectMethodsSliceUnchecked(pointer_size);
Alex Lighte64300b2015-12-15 15:02:47 -0800963}
964
Roland Levillaind32ead22018-05-30 17:38:21 +0100965inline ArraySlice<ArtMethod> Class::GetDeclaredMethods(PointerSize pointer_size) {
Vladimir Marko9ac77492017-06-14 18:07:03 +0100966 return GetDeclaredMethodsSliceUnchecked(pointer_size);
Alex Lighte64300b2015-12-15 15:02:47 -0800967}
968
Roland Levillaind32ead22018-05-30 17:38:21 +0100969inline ArraySlice<ArtMethod> Class::GetDeclaredVirtualMethods(PointerSize pointer_size) {
Vladimir Marko9ac77492017-06-14 18:07:03 +0100970 return GetDeclaredVirtualMethodsSliceUnchecked(pointer_size);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700971}
972
Roland Levillaind32ead22018-05-30 17:38:21 +0100973inline ArraySlice<ArtMethod> Class::GetVirtualMethods(PointerSize pointer_size) {
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700974 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100975 return GetVirtualMethodsSliceUnchecked(pointer_size);
Alex Lighte64300b2015-12-15 15:02:47 -0800976}
977
Vladimir Marko9ac77492017-06-14 18:07:03 +0100978inline ArraySlice<ArtMethod> Class::GetCopiedMethods(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800979 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100980 return GetCopiedMethodsSliceUnchecked(pointer_size);
Alex Lighte64300b2015-12-15 15:02:47 -0800981}
982
983
Vladimir Marko9ac77492017-06-14 18:07:03 +0100984inline ArraySlice<ArtMethod> Class::GetMethods(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800985 CheckPointerSize(pointer_size);
Mathieu Chartier2466d622017-09-26 13:52:26 -0700986 LengthPrefixedArray<ArtMethod>* methods = GetMethodsPtr();
987 return GetMethodsSliceRangeUnchecked(methods, pointer_size, 0u, NumMethods(methods));
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700988}
989
990inline IterationRange<StrideIterator<ArtField>> Class::GetIFields() {
Vladimir Markocf36d492015-08-12 19:27:26 +0100991 return MakeIterationRangeFromLengthPrefixedArray(GetIFieldsPtr());
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700992}
993
994inline IterationRange<StrideIterator<ArtField>> Class::GetSFields() {
Vladimir Markocf36d492015-08-12 19:27:26 +0100995 return MakeIterationRangeFromLengthPrefixedArray(GetSFieldsPtr());
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700996}
997
998inline IterationRange<StrideIterator<ArtField>> Class::GetIFieldsUnchecked() {
Vladimir Markocf36d492015-08-12 19:27:26 +0100999 return MakeIterationRangeFromLengthPrefixedArray(GetIFieldsPtrUnchecked());
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001000}
1001
1002inline IterationRange<StrideIterator<ArtField>> Class::GetSFieldsUnchecked() {
Vladimir Markocf36d492015-08-12 19:27:26 +01001003 return MakeIterationRangeFromLengthPrefixedArray(GetSFieldsPtrUnchecked());
Mathieu Chartiere401d142015-04-22 13:56:20 -07001004}
1005
Andreas Gampe542451c2016-07-26 09:02:02 -07001006inline MemberOffset Class::EmbeddedVTableOffset(PointerSize pointer_size) {
Andreas Gampe542451c2016-07-26 09:02:02 -07001007 return MemberOffset(ImtPtrOffset(pointer_size).Uint32Value() + static_cast<size_t>(pointer_size));
Mathieu Chartiere401d142015-04-22 13:56:20 -07001008}
1009
Andreas Gampe542451c2016-07-26 09:02:02 -07001010inline void Class::CheckPointerSize(PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -07001011 DCHECK_EQ(pointer_size, Runtime::Current()->GetClassLinker()->GetImagePointerSize());
Mathieu Chartierc7853442015-03-27 14:35:38 -07001012}
1013
Calin Juravle2e768302015-07-28 14:41:11 +00001014template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
1015inline Class* Class::GetComponentType() {
1016 return GetFieldObject<Class, kVerifyFlags, kReadBarrierOption>(ComponentTypeOffset());
1017}
1018
Vladimir Marko98db89c2018-09-07 11:45:46 +01001019template<VerifyObjectFlags kVerifyFlags>
Calin Juravle2e768302015-07-28 14:41:11 +00001020inline bool Class::IsArrayClass() {
Vladimir Marko98db89c2018-09-07 11:45:46 +01001021 // We do not need a read barrier for comparing with null.
1022 return GetComponentType<kVerifyFlags, kWithoutReadBarrier>() != nullptr;
Calin Juravle2e768302015-07-28 14:41:11 +00001023}
1024
Vladimir Marko98db89c2018-09-07 11:45:46 +01001025template<VerifyObjectFlags kVerifyFlags>
Andreas Gampec6ea7d02017-02-01 16:46:28 -08001026inline bool Class::IsObjectArrayClass() {
Vladimir Marko98db89c2018-09-07 11:45:46 +01001027 // We do not need a read barrier here as the primitive type is constant,
1028 // both from-space and to-space component type classes shall yield the same result.
1029 ObjPtr<Class> const component_type = GetComponentType<kVerifyFlags, kWithoutReadBarrier>();
1030 return component_type != nullptr && !component_type->IsPrimitive<kVerifyFlags>();
Andreas Gampec6ea7d02017-02-01 16:46:28 -08001031}
1032
Mathieu Chartier3398c782016-09-30 10:27:43 -07001033inline bool Class::IsAssignableFrom(ObjPtr<Class> src) {
Calin Juravle2e768302015-07-28 14:41:11 +00001034 DCHECK(src != nullptr);
1035 if (this == src) {
1036 // Can always assign to things of the same type.
1037 return true;
1038 } else if (IsObjectClass()) {
1039 // Can assign any reference to java.lang.Object.
1040 return !src->IsPrimitive();
1041 } else if (IsInterface()) {
1042 return src->Implements(this);
1043 } else if (src->IsArrayClass()) {
1044 return IsAssignableFromArray(src);
1045 } else {
1046 return !src->IsInterface() && src->IsSubClass(this);
1047 }
1048}
1049
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001050inline uint32_t Class::NumDirectMethods() {
Alex Lighte64300b2015-12-15 15:02:47 -08001051 return GetVirtualMethodsStartOffset();
1052}
1053
1054inline uint32_t Class::NumDeclaredVirtualMethods() {
1055 return GetCopiedMethodsStartOffset() - GetVirtualMethodsStartOffset();
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001056}
1057
1058inline uint32_t Class::NumVirtualMethods() {
Alex Lighte64300b2015-12-15 15:02:47 -08001059 return NumMethods() - GetVirtualMethodsStartOffset();
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001060}
1061
1062inline uint32_t Class::NumInstanceFields() {
1063 LengthPrefixedArray<ArtField>* arr = GetIFieldsPtrUnchecked();
Vladimir Marko35831e82015-09-11 11:59:18 +01001064 return arr != nullptr ? arr->size() : 0u;
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001065}
1066
1067inline uint32_t Class::NumStaticFields() {
1068 LengthPrefixedArray<ArtField>* arr = GetSFieldsPtrUnchecked();
Vladimir Marko35831e82015-09-11 11:59:18 +01001069 return arr != nullptr ? arr->size() : 0u;
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001070}
1071
Mathieu Chartierdfe02f62016-02-01 20:15:11 -08001072template <VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption, typename Visitor>
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001073inline void Class::FixupNativePointers(Class* dest,
Andreas Gampe542451c2016-07-26 09:02:02 -07001074 PointerSize pointer_size,
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001075 const Visitor& visitor) {
Vladimir Markoca8de0a2018-07-04 11:56:08 +01001076 auto dest_address_fn = [dest](MemberOffset offset) {
1077 return reinterpret_cast<void**>(reinterpret_cast<uintptr_t>(dest) + offset.Uint32Value());
1078 };
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001079 // Update the field arrays.
1080 LengthPrefixedArray<ArtField>* const sfields = GetSFieldsPtr();
Vladimir Markoca8de0a2018-07-04 11:56:08 +01001081 void** sfields_dest_address = dest_address_fn(OFFSET_OF_OBJECT_MEMBER(Class, sfields_));
1082 LengthPrefixedArray<ArtField>* const new_sfields = visitor(sfields, sfields_dest_address);
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001083 if (sfields != new_sfields) {
1084 dest->SetSFieldsPtrUnchecked(new_sfields);
1085 }
1086 LengthPrefixedArray<ArtField>* const ifields = GetIFieldsPtr();
Vladimir Markoca8de0a2018-07-04 11:56:08 +01001087 void** ifields_dest_address = dest_address_fn(OFFSET_OF_OBJECT_MEMBER(Class, ifields_));
1088 LengthPrefixedArray<ArtField>* const new_ifields = visitor(ifields, ifields_dest_address);
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001089 if (ifields != new_ifields) {
1090 dest->SetIFieldsPtrUnchecked(new_ifields);
1091 }
Alex Lighte64300b2015-12-15 15:02:47 -08001092 // Update method array.
1093 LengthPrefixedArray<ArtMethod>* methods = GetMethodsPtr();
Vladimir Markoca8de0a2018-07-04 11:56:08 +01001094 void** methods_dest_address = dest_address_fn(OFFSET_OF_OBJECT_MEMBER(Class, methods_));
1095 LengthPrefixedArray<ArtMethod>* new_methods = visitor(methods, methods_dest_address);
Alex Lighte64300b2015-12-15 15:02:47 -08001096 if (methods != new_methods) {
1097 dest->SetMethodsPtrInternal(new_methods);
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001098 }
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001099 // Fix up embedded tables.
Vladimir Marko98db89c2018-09-07 11:45:46 +01001100 if (!IsTemp<kVerifyNone>() && ShouldHaveEmbeddedVTable<kVerifyNone>()) {
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001101 for (int32_t i = 0, count = GetEmbeddedVTableLength(); i < count; ++i) {
1102 ArtMethod* method = GetEmbeddedVTableEntry(i, pointer_size);
Vladimir Markoca8de0a2018-07-04 11:56:08 +01001103 void** method_dest_addr = dest_address_fn(EmbeddedVTableEntryOffset(i, pointer_size));
1104 ArtMethod* new_method = visitor(method, method_dest_addr);
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001105 if (method != new_method) {
1106 dest->SetEmbeddedVTableEntryUnchecked(i, new_method, pointer_size);
1107 }
1108 }
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001109 }
Vladimir Marko98db89c2018-09-07 11:45:46 +01001110 if (!IsTemp<kVerifyNone>() && ShouldHaveImt<kVerifyNone>()) {
Vladimir Markoca8de0a2018-07-04 11:56:08 +01001111 ImTable* imt = GetImt(pointer_size);
1112 void** imt_dest_addr = dest_address_fn(ImtPtrOffset(pointer_size));
1113 ImTable* new_imt = visitor(imt, imt_dest_addr);
1114 dest->SetImt(new_imt, pointer_size);
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001115 }
1116}
1117
Mathieu Chartier3398c782016-09-30 10:27:43 -07001118inline bool Class::CanAccess(ObjPtr<Class> that) {
1119 return that->IsPublic() || this->IsInSamePackage(that);
1120}
1121
1122
1123inline bool Class::CanAccessMember(ObjPtr<Class> access_to, uint32_t member_flags) {
1124 // Classes can access all of their own members
1125 if (this == access_to) {
1126 return true;
1127 }
1128 // Public members are trivially accessible
1129 if (member_flags & kAccPublic) {
1130 return true;
1131 }
1132 // Private members are trivially not accessible
1133 if (member_flags & kAccPrivate) {
1134 return false;
1135 }
1136 // Check for protected access from a sub-class, which may or may not be in the same package.
1137 if (member_flags & kAccProtected) {
1138 if (!this->IsInterface() && this->IsSubClass(access_to)) {
1139 return true;
1140 }
1141 }
1142 // Allow protected access from other classes in the same package.
1143 return this->IsInSamePackage(access_to);
1144}
1145
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001146inline bool Class::CannotBeAssignedFromOtherTypes() {
1147 if (!IsArrayClass()) {
1148 return IsFinal();
1149 }
1150 ObjPtr<Class> component = GetComponentType();
1151 return component->IsPrimitive() || component->CannotBeAssignedFromOtherTypes();
1152}
1153
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001154} // namespace mirror
1155} // namespace art
1156
Brian Carlstromfc0e3212013-07-17 14:40:12 -07001157#endif // ART_RUNTIME_MIRROR_CLASS_INL_H_