blob: db5cbce6474caba3129b3bc77eac9f033718a38a [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"
Andreas Gampe436896c2019-01-02 15:06:53 -080025#include "base/iteration_range.h"
Alex Lighte64300b2015-12-15 15:02:47 -080026#include "base/length_prefixed_array.h"
Andreas Gampe3ff45bf2019-05-08 16:58:52 -070027#include "base/stride_iterator.h"
David Sehrc431b9d2018-03-02 12:01:51 -080028#include "base/utils.h"
Andreas Gampe508fdf32017-06-05 16:42:13 -070029#include "class_linker.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070030#include "class_loader.h"
Vladimir Marko23a28212014-01-09 19:24:37 +000031#include "common_throws.h"
David Sehr9e734c72018-01-04 17:56:19 -080032#include "dex/dex_file-inl.h"
David Sehr8c0961f2018-01-23 16:11:38 -080033#include "dex/invoke_type.h"
34#include "dex_cache.h"
Vladimir Marko557fece2019-03-26 14:29:41 +000035#include "iftable-inl.h"
Andreas Gampe62629592019-01-03 16:08:31 -080036#include "imtable.h"
Andreas Gampec15a2f42017-04-21 12:09:39 -070037#include "object-inl.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070038#include "object_array.h"
Mingyao Yang98d1cc82014-05-15 17:02:16 -070039#include "read_barrier-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080040#include "runtime.h"
41#include "string.h"
Mathieu Chartier8d1a9962016-08-17 16:39:45 -070042#include "subtype_check.h"
Andreas Gampe49b74a82019-01-07 10:19:49 -080043#include "thread-current-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080044
45namespace art {
46namespace mirror {
47
Vladimir Marko98db89c2018-09-07 11:45:46 +010048template<VerifyObjectFlags kVerifyFlags>
Ian Rogersef7d42f2014-01-06 12:55:46 -080049inline uint32_t Class::GetObjectSize() {
Vladimir Marko3481ba22015-04-13 12:22:36 +010050 // Note: Extra parentheses to avoid the comma being interpreted as macro parameter separator.
Vladimir Marko98db89c2018-09-07 11:45:46 +010051 DCHECK((!IsVariableSize<kVerifyFlags>())) << "class=" << PrettyTypeOf();
Hiroshi Yamauchie01a5202015-03-19 12:35:04 -070052 return GetField32(ObjectSizeOffset());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080053}
54
Vladimir Marko98db89c2018-09-07 11:45:46 +010055template<VerifyObjectFlags kVerifyFlags>
Mathieu Chartier161db1d2016-09-01 14:06:54 -070056inline uint32_t Class::GetObjectSizeAllocFastPath() {
57 // Note: Extra parentheses to avoid the comma being interpreted as macro parameter separator.
Vladimir Marko98db89c2018-09-07 11:45:46 +010058 DCHECK((!IsVariableSize<kVerifyFlags>())) << "class=" << PrettyTypeOf();
Mathieu Chartier161db1d2016-09-01 14:06:54 -070059 return GetField32(ObjectSizeAllocFastPathOffset());
60}
61
Mathieu Chartier161db1d2016-09-01 14:06:54 -070062template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Andreas Gampe98104992018-10-16 12:49:47 -070063inline ObjPtr<Class> Class::GetSuperClass() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080064 // Can only get super class for loaded classes (hack for when runtime is
65 // initializing)
Mathieu Chartierfbc31082016-01-24 11:59:56 -080066 DCHECK(IsLoaded<kVerifyFlags>() ||
67 IsErroneous<kVerifyFlags>() ||
68 !Runtime::Current()->IsStarted()) << IsLoaded();
Vladimir Markod7e9bbf2019-03-28 13:18:57 +000069 return GetFieldObject<Class, kVerifyFlags, kReadBarrierOption>(
70 OFFSET_OF_OBJECT_MEMBER(Class, super_class_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080071}
72
Roland Levillain8ca4e4e2017-02-03 15:12:38 +000073inline void Class::SetSuperClass(ObjPtr<Class> new_super_class) {
74 // Super class is assigned once, except during class linker initialization.
75 if (kIsDebugBuild) {
76 ObjPtr<Class> old_super_class =
77 GetFieldObject<Class>(OFFSET_OF_OBJECT_MEMBER(Class, super_class_));
78 DCHECK(old_super_class == nullptr || old_super_class == new_super_class);
79 }
80 DCHECK(new_super_class != nullptr);
81 SetFieldObject<false>(OFFSET_OF_OBJECT_MEMBER(Class, super_class_), new_super_class);
82}
83
Vladimir Markoc524e9e2019-03-26 10:54:50 +000084inline bool Class::HasSuperClass() {
85 // No read barrier is needed for comparing with null. See ReadBarrierOption.
86 return GetSuperClass<kDefaultVerifyFlags, kWithoutReadBarrier>() != nullptr;
87}
88
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +000089template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Vladimir Markoc524e9e2019-03-26 10:54:50 +000090inline ObjPtr<ClassLoader> Class::GetClassLoader() {
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +000091 return GetFieldObject<ClassLoader, kVerifyFlags, kReadBarrierOption>(
92 OFFSET_OF_OBJECT_MEMBER(Class, class_loader_));
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070093}
94
Mathieu Chartier137cdfa2017-01-26 14:03:11 -080095template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Vladimir Markoc524e9e2019-03-26 10:54:50 +000096inline ObjPtr<ClassExt> Class::GetExtData() {
Alex Light4f2e9572017-03-16 13:13:31 -070097 return GetFieldObject<ClassExt, kVerifyFlags, kReadBarrierOption>(
98 OFFSET_OF_OBJECT_MEMBER(Class, ext_data_));
99}
100
101template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000102inline ObjPtr<DexCache> Class::GetDexCache() {
Mathieu Chartier137cdfa2017-01-26 14:03:11 -0800103 return GetFieldObject<DexCache, kVerifyFlags, kReadBarrierOption>(
104 OFFSET_OF_OBJECT_MEMBER(Class, dex_cache_));
Ian Rogers4f6ad8a2013-03-18 15:27:28 -0700105}
106
Alex Lighte64300b2015-12-15 15:02:47 -0800107inline uint32_t Class::GetCopiedMethodsStartOffset() {
Roland Levillain6680e332017-04-24 16:27:43 +0100108 // Object::GetFieldShort returns an int16_t value, but
109 // Class::copied_methods_offset_ is an uint16_t value; cast the
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100110 // latter to uint16_t before returning it as an uint32_t value, so
Roland Levillain6680e332017-04-24 16:27:43 +0100111 // that uint16_t values between 2^15 and 2^16-1 are correctly
112 // handled.
113 return static_cast<uint16_t>(
114 GetFieldShort(OFFSET_OF_OBJECT_MEMBER(Class, copied_methods_offset_)));
Alex Lighte64300b2015-12-15 15:02:47 -0800115}
116
117inline uint32_t Class::GetDirectMethodsStartOffset() {
118 return 0;
119}
120
121inline uint32_t Class::GetVirtualMethodsStartOffset() {
Roland Levillain6680e332017-04-24 16:27:43 +0100122 // Object::GetFieldShort returns an int16_t value, but
123 // Class::virtual_method_offset_ is an uint16_t value; cast the
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100124 // latter to uint16_t before returning it as an uint32_t value, so
Roland Levillain6680e332017-04-24 16:27:43 +0100125 // that uint16_t values between 2^15 and 2^16-1 are correctly
126 // handled.
127 return static_cast<uint16_t>(
128 GetFieldShort(OFFSET_OF_OBJECT_MEMBER(Class, virtual_methods_offset_)));
Alex Lighte64300b2015-12-15 15:02:47 -0800129}
130
131template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700132inline ArraySlice<ArtMethod> Class::GetDirectMethodsSlice(PointerSize pointer_size) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800133 DCHECK(IsLoaded() || IsErroneous());
Alex Lighte64300b2015-12-15 15:02:47 -0800134 return GetDirectMethodsSliceUnchecked(pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800135}
136
Andreas Gampe542451c2016-07-26 09:02:02 -0700137inline ArraySlice<ArtMethod> Class::GetDirectMethodsSliceUnchecked(PointerSize pointer_size) {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700138 return GetMethodsSliceRangeUnchecked(GetMethodsPtr(),
139 pointer_size,
Vladimir Marko9ac77492017-06-14 18:07:03 +0100140 GetDirectMethodsStartOffset(),
141 GetVirtualMethodsStartOffset());
Alex Lighte64300b2015-12-15 15:02:47 -0800142}
143
144template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700145inline ArraySlice<ArtMethod> Class::GetDeclaredMethodsSlice(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800146 DCHECK(IsLoaded() || IsErroneous());
Alex Lighte64300b2015-12-15 15:02:47 -0800147 return GetDeclaredMethodsSliceUnchecked(pointer_size);
148}
149
Andreas Gampe542451c2016-07-26 09:02:02 -0700150inline ArraySlice<ArtMethod> Class::GetDeclaredMethodsSliceUnchecked(PointerSize pointer_size) {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700151 return GetMethodsSliceRangeUnchecked(GetMethodsPtr(),
152 pointer_size,
Vladimir Marko9ac77492017-06-14 18:07:03 +0100153 GetDirectMethodsStartOffset(),
154 GetCopiedMethodsStartOffset());
Alex Lighte64300b2015-12-15 15:02:47 -0800155}
Roland Levillaind32ead22018-05-30 17:38:21 +0100156
Alex Lighte64300b2015-12-15 15:02:47 -0800157template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700158inline ArraySlice<ArtMethod> Class::GetDeclaredVirtualMethodsSlice(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800159 DCHECK(IsLoaded() || IsErroneous());
Alex Lighte64300b2015-12-15 15:02:47 -0800160 return GetDeclaredVirtualMethodsSliceUnchecked(pointer_size);
161}
162
Andreas Gampe542451c2016-07-26 09:02:02 -0700163inline ArraySlice<ArtMethod> Class::GetDeclaredVirtualMethodsSliceUnchecked(
164 PointerSize pointer_size) {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700165 return GetMethodsSliceRangeUnchecked(GetMethodsPtr(),
166 pointer_size,
Vladimir Marko9ac77492017-06-14 18:07:03 +0100167 GetVirtualMethodsStartOffset(),
168 GetCopiedMethodsStartOffset());
Alex Lighte64300b2015-12-15 15:02:47 -0800169}
170
171template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700172inline ArraySlice<ArtMethod> Class::GetVirtualMethodsSlice(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800173 DCHECK(IsLoaded() || IsErroneous());
Alex Lighte64300b2015-12-15 15:02:47 -0800174 return GetVirtualMethodsSliceUnchecked(pointer_size);
175}
176
Andreas Gampe542451c2016-07-26 09:02:02 -0700177inline ArraySlice<ArtMethod> Class::GetVirtualMethodsSliceUnchecked(PointerSize pointer_size) {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700178 LengthPrefixedArray<ArtMethod>* methods = GetMethodsPtr();
179 return GetMethodsSliceRangeUnchecked(methods,
180 pointer_size,
Vladimir Marko9ac77492017-06-14 18:07:03 +0100181 GetVirtualMethodsStartOffset(),
Mathieu Chartier2466d622017-09-26 13:52:26 -0700182 NumMethods(methods));
Alex Lighte64300b2015-12-15 15:02:47 -0800183}
184
185template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700186inline ArraySlice<ArtMethod> Class::GetCopiedMethodsSlice(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800187 DCHECK(IsLoaded() || IsErroneous());
Alex Lighte64300b2015-12-15 15:02:47 -0800188 return GetCopiedMethodsSliceUnchecked(pointer_size);
189}
190
Andreas Gampe542451c2016-07-26 09:02:02 -0700191inline ArraySlice<ArtMethod> Class::GetCopiedMethodsSliceUnchecked(PointerSize pointer_size) {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700192 LengthPrefixedArray<ArtMethod>* methods = GetMethodsPtr();
193 return GetMethodsSliceRangeUnchecked(methods,
194 pointer_size,
195 GetCopiedMethodsStartOffset(),
196 NumMethods(methods));
Alex Lighte64300b2015-12-15 15:02:47 -0800197}
198
199inline LengthPrefixedArray<ArtMethod>* Class::GetMethodsPtr() {
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700200 return reinterpret_cast<LengthPrefixedArray<ArtMethod>*>(
Mathieu Chartierf4b3dba2016-01-26 20:11:06 -0800201 static_cast<uintptr_t>(GetField64(OFFSET_OF_OBJECT_MEMBER(Class, methods_))));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800202}
203
Alex Lighte64300b2015-12-15 15:02:47 -0800204template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700205inline ArraySlice<ArtMethod> Class::GetMethodsSlice(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800206 DCHECK(IsLoaded() || IsErroneous());
Mathieu Chartier2466d622017-09-26 13:52:26 -0700207 LengthPrefixedArray<ArtMethod>* methods = GetMethodsPtr();
208 return GetMethodsSliceRangeUnchecked(methods, pointer_size, 0, NumMethods(methods));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800209}
210
Mathieu Chartier2466d622017-09-26 13:52:26 -0700211inline ArraySlice<ArtMethod> Class::GetMethodsSliceRangeUnchecked(
212 LengthPrefixedArray<ArtMethod>* methods,
213 PointerSize pointer_size,
214 uint32_t start_offset,
215 uint32_t end_offset) {
Vladimir Marko9ac77492017-06-14 18:07:03 +0100216 DCHECK_LE(start_offset, end_offset);
Mathieu Chartier2466d622017-09-26 13:52:26 -0700217 DCHECK_LE(end_offset, NumMethods(methods));
Vladimir Marko9ac77492017-06-14 18:07:03 +0100218 uint32_t size = end_offset - start_offset;
219 if (size == 0u) {
220 return ArraySlice<ArtMethod>();
221 }
Vladimir Marko9ac77492017-06-14 18:07:03 +0100222 DCHECK(methods != nullptr);
223 DCHECK_LE(end_offset, methods->size());
224 size_t method_size = ArtMethod::Size(pointer_size);
225 size_t method_alignment = ArtMethod::Alignment(pointer_size);
226 ArraySlice<ArtMethod> slice(&methods->At(0u, method_size, method_alignment),
227 methods->size(),
228 method_size);
229 return slice.SubArray(start_offset, size);
230}
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800231
Alex Lighte64300b2015-12-15 15:02:47 -0800232inline uint32_t Class::NumMethods() {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700233 return NumMethods(GetMethodsPtr());
234}
235
236inline uint32_t Class::NumMethods(LengthPrefixedArray<ArtMethod>* methods) {
Alex Lighte64300b2015-12-15 15:02:47 -0800237 return (methods == nullptr) ? 0 : methods->size();
Mathieu Chartiere401d142015-04-22 13:56:20 -0700238}
239
Andreas Gampe542451c2016-07-26 09:02:02 -0700240inline ArtMethod* Class::GetDirectMethodUnchecked(size_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700241 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100242 return &GetDirectMethodsSliceUnchecked(pointer_size)[i];
Mathieu Chartiere401d142015-04-22 13:56:20 -0700243}
244
Andreas Gampe542451c2016-07-26 09:02:02 -0700245inline ArtMethod* Class::GetDirectMethod(size_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700246 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100247 return &GetDirectMethodsSlice(pointer_size)[i];
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800248}
249
Alex Lighte64300b2015-12-15 15:02:47 -0800250inline void Class::SetMethodsPtr(LengthPrefixedArray<ArtMethod>* new_methods,
251 uint32_t num_direct,
252 uint32_t num_virtual) {
253 DCHECK(GetMethodsPtr() == nullptr);
254 SetMethodsPtrUnchecked(new_methods, num_direct, num_virtual);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800255}
256
Alex Lighte64300b2015-12-15 15:02:47 -0800257
258inline void Class::SetMethodsPtrUnchecked(LengthPrefixedArray<ArtMethod>* new_methods,
259 uint32_t num_direct,
260 uint32_t num_virtual) {
261 DCHECK_LE(num_direct + num_virtual, (new_methods == nullptr) ? 0 : new_methods->size());
Vladimir Marko924ad502018-09-19 09:48:04 +0100262 SetField64<false>(OFFSET_OF_OBJECT_MEMBER(Class, methods_),
263 static_cast<uint64_t>(reinterpret_cast<uintptr_t>(new_methods)));
Alex Lighte64300b2015-12-15 15:02:47 -0800264 SetFieldShort<false>(OFFSET_OF_OBJECT_MEMBER(Class, copied_methods_offset_),
265 dchecked_integral_cast<uint16_t>(num_direct + num_virtual));
266 SetFieldShort<false>(OFFSET_OF_OBJECT_MEMBER(Class, virtual_methods_offset_),
267 dchecked_integral_cast<uint16_t>(num_direct));
268}
269
Mathieu Chartier4e305412014-02-19 10:54:44 -0800270template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700271inline ArtMethod* Class::GetVirtualMethod(size_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700272 CheckPointerSize(pointer_size);
Hiroshi Yamauchif4c15a12014-10-20 16:56:58 -0700273 DCHECK(IsResolved<kVerifyFlags>() || IsErroneous<kVerifyFlags>())
David Sehr709b0702016-10-13 09:12:37 -0700274 << Class::PrettyClass() << " status=" << GetStatus();
Mathieu Chartiere401d142015-04-22 13:56:20 -0700275 return GetVirtualMethodUnchecked(i, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800276}
277
Andreas Gampe542451c2016-07-26 09:02:02 -0700278inline ArtMethod* Class::GetVirtualMethodDuringLinking(size_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700279 CheckPointerSize(pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800280 DCHECK(IsLoaded() || IsErroneous());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700281 return GetVirtualMethodUnchecked(i, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800282}
283
Andreas Gampe542451c2016-07-26 09:02:02 -0700284inline ArtMethod* Class::GetVirtualMethodUnchecked(size_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700285 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100286 return &GetVirtualMethodsSliceUnchecked(pointer_size)[i];
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800287}
288
Roland Levillaind32ead22018-05-30 17:38:21 +0100289template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000290inline ObjPtr<PointerArray> Class::GetVTable() {
Mingyao Yang063fc772016-08-02 11:02:54 -0700291 DCHECK(IsLoaded<kVerifyFlags>() || IsErroneous<kVerifyFlags>());
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800292 return GetFieldObject<PointerArray, kVerifyFlags, kReadBarrierOption>(
293 OFFSET_OF_OBJECT_MEMBER(Class, vtable_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800294}
295
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000296inline ObjPtr<PointerArray> Class::GetVTableDuringLinking() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800297 DCHECK(IsLoaded() || IsErroneous());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700298 return GetFieldObject<PointerArray>(OFFSET_OF_OBJECT_MEMBER(Class, vtable_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800299}
300
Vladimir Markobcf17522018-06-01 13:14:32 +0100301inline void Class::SetVTable(ObjPtr<PointerArray> new_vtable) {
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700302 SetFieldObject<false>(OFFSET_OF_OBJECT_MEMBER(Class, vtable_), new_vtable);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800303}
304
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000305template<VerifyObjectFlags kVerifyFlags>
306inline bool Class::ShouldHaveImt() {
307 return ShouldHaveEmbeddedVTable<kVerifyFlags>();
308}
309
310template<VerifyObjectFlags kVerifyFlags>
311inline bool Class::ShouldHaveEmbeddedVTable() {
312 return IsInstantiable<kVerifyFlags>();
313}
314
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700315inline bool Class::HasVTable() {
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000316 // No read barrier is needed for comparing with null. See ReadBarrierOption.
Vladimir Markodbcb48f2018-11-12 11:47:04 +0000317 return GetVTable<kDefaultVerifyFlags, kWithoutReadBarrier>() != nullptr ||
318 ShouldHaveEmbeddedVTable();
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700319}
320
Vladimir Markodbcb48f2018-11-12 11:47:04 +0000321template<VerifyObjectFlags kVerifyFlags>
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700322inline int32_t Class::GetVTableLength() {
Vladimir Marko98db89c2018-09-07 11:45:46 +0100323 if (ShouldHaveEmbeddedVTable<kVerifyFlags>()) {
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700324 return GetEmbeddedVTableLength();
325 }
Vladimir Markodbcb48f2018-11-12 11:47:04 +0000326 // We do not need a read barrier here as the length is constant,
327 // both from-space and to-space vtables shall yield the same result.
328 ObjPtr<PointerArray> vtable = GetVTable<kVerifyFlags, kWithoutReadBarrier>();
329 return vtable != nullptr ? vtable->GetLength() : 0;
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700330}
331
Roland Levillaind32ead22018-05-30 17:38:21 +0100332template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Andreas Gampe542451c2016-07-26 09:02:02 -0700333inline ArtMethod* Class::GetVTableEntry(uint32_t i, PointerSize pointer_size) {
Vladimir Marko98db89c2018-09-07 11:45:46 +0100334 if (ShouldHaveEmbeddedVTable<kVerifyFlags>()) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700335 return GetEmbeddedVTableEntry(i, pointer_size);
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700336 }
Vladimir Markodbcb48f2018-11-12 11:47:04 +0000337 ObjPtr<PointerArray> vtable = GetVTable<kVerifyFlags, kReadBarrierOption>();
Mathieu Chartiere401d142015-04-22 13:56:20 -0700338 DCHECK(vtable != nullptr);
Vladimir Markodbcb48f2018-11-12 11:47:04 +0000339 return vtable->GetElementPtrSize<ArtMethod*, kVerifyFlags>(i, pointer_size);
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700340}
341
Vladimir Marko98db89c2018-09-07 11:45:46 +0100342template<VerifyObjectFlags kVerifyFlags>
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700343inline int32_t Class::GetEmbeddedVTableLength() {
Vladimir Marko98db89c2018-09-07 11:45:46 +0100344 return GetField32<kVerifyFlags>(MemberOffset(EmbeddedVTableLengthOffset()));
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700345}
346
347inline void Class::SetEmbeddedVTableLength(int32_t len) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700348 SetField32<false>(MemberOffset(EmbeddedVTableLengthOffset()), len);
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700349}
350
Andreas Gampe542451c2016-07-26 09:02:02 -0700351inline ImTable* Class::GetImt(PointerSize pointer_size) {
Vladimir Markoca8de0a2018-07-04 11:56:08 +0100352 return GetFieldPtrWithSize<ImTable*>(ImtPtrOffset(pointer_size), pointer_size);
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000353}
354
Andreas Gampe542451c2016-07-26 09:02:02 -0700355inline void Class::SetImt(ImTable* imt, PointerSize pointer_size) {
Vladimir Markoca8de0a2018-07-04 11:56:08 +0100356 return SetFieldPtrWithSize<false>(ImtPtrOffset(pointer_size), imt, pointer_size);
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000357}
358
Andreas Gampe542451c2016-07-26 09:02:02 -0700359inline MemberOffset Class::EmbeddedVTableEntryOffset(uint32_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700360 return MemberOffset(
361 EmbeddedVTableOffset(pointer_size).Uint32Value() + i * VTableEntrySize(pointer_size));
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700362}
363
Andreas Gampe542451c2016-07-26 09:02:02 -0700364inline ArtMethod* Class::GetEmbeddedVTableEntry(uint32_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700365 return GetFieldPtrWithSize<ArtMethod*>(EmbeddedVTableEntryOffset(i, pointer_size), pointer_size);
366}
367
368inline void Class::SetEmbeddedVTableEntryUnchecked(
Andreas Gampe542451c2016-07-26 09:02:02 -0700369 uint32_t i, ArtMethod* method, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700370 SetFieldPtrWithSize<false>(EmbeddedVTableEntryOffset(i, pointer_size), method, pointer_size);
371}
372
Andreas Gampe542451c2016-07-26 09:02:02 -0700373inline void Class::SetEmbeddedVTableEntry(uint32_t i, ArtMethod* method, PointerSize pointer_size) {
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000374 ObjPtr<PointerArray> vtable = GetVTableDuringLinking();
Mathieu Chartiere401d142015-04-22 13:56:20 -0700375 CHECK_EQ(method, vtable->GetElementPtrSize<ArtMethod*>(i, pointer_size));
376 SetEmbeddedVTableEntryUnchecked(i, method, pointer_size);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700377}
378
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700379inline bool Class::Implements(ObjPtr<Class> klass) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700380 DCHECK(klass != nullptr);
David Sehr709b0702016-10-13 09:12:37 -0700381 DCHECK(klass->IsInterface()) << PrettyClass();
Ian Rogers693ff612013-02-01 10:56:12 -0800382 // All interfaces implemented directly and by our superclass, and
383 // recursively all super-interfaces of those interfaces, are listed
384 // in iftable_, so we can just do a linear scan through that.
385 int32_t iftable_count = GetIfTableCount();
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700386 ObjPtr<IfTable> iftable = GetIfTable();
Ian Rogers693ff612013-02-01 10:56:12 -0800387 for (int32_t i = 0; i < iftable_count; i++) {
388 if (iftable->GetInterface(i) == klass) {
389 return true;
390 }
391 }
392 return false;
393}
394
Vladimir Marko98db89c2018-09-07 11:45:46 +0100395template<VerifyObjectFlags kVerifyFlags>
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800396inline bool Class::IsVariableSize() {
397 // Classes, arrays, and strings vary in size, and so the object_size_ field cannot
398 // be used to Get their instance size
Mathieu Chartierd7a7f2f2018-09-07 11:57:18 -0700399 return IsClassClass<kVerifyFlags>() ||
Vladimir Marko98db89c2018-09-07 11:45:46 +0100400 IsArrayClass<kVerifyFlags>() ||
401 IsStringClass<kVerifyFlags>();
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800402}
403
404inline void Class::SetObjectSize(uint32_t new_object_size) {
405 DCHECK(!IsVariableSize());
406 // Not called within a transaction.
407 return SetField32<false>(OFFSET_OF_OBJECT_MEMBER(Class, object_size_), new_object_size);
408}
409
Ian Rogers693ff612013-02-01 10:56:12 -0800410// Determine whether "this" is assignable from "src", where both of these
411// are array classes.
412//
413// Consider an array class, e.g. Y[][], where Y is a subclass of X.
414// Y[][] = Y[][] --> true (identity)
415// X[][] = Y[][] --> true (element superclass)
416// Y = Y[][] --> false
417// Y[] = Y[][] --> false
418// Object = Y[][] --> true (everything is an object)
419// Object[] = Y[][] --> true
420// Object[][] = Y[][] --> true
421// Object[][][] = Y[][] --> false (too many []s)
422// Serializable = Y[][] --> true (all arrays are Serializable)
423// Serializable[] = Y[][] --> true
424// Serializable[][] = Y[][] --> false (unless Y is Serializable)
425//
426// Don't forget about primitive types.
427// Object[] = int[] --> false
428//
Mathieu Chartier3398c782016-09-30 10:27:43 -0700429inline bool Class::IsArrayAssignableFromArray(ObjPtr<Class> src) {
Roland Levillaind32ead22018-05-30 17:38:21 +0100430 DCHECK(IsArrayClass()) << PrettyClass();
David Sehr709b0702016-10-13 09:12:37 -0700431 DCHECK(src->IsArrayClass()) << src->PrettyClass();
Ian Rogers693ff612013-02-01 10:56:12 -0800432 return GetComponentType()->IsAssignableFrom(src->GetComponentType());
433}
434
Mathieu Chartier3398c782016-09-30 10:27:43 -0700435inline bool Class::IsAssignableFromArray(ObjPtr<Class> src) {
David Sehr709b0702016-10-13 09:12:37 -0700436 DCHECK(!IsInterface()) << PrettyClass(); // handled first in IsAssignableFrom
437 DCHECK(src->IsArrayClass()) << src->PrettyClass();
Ian Rogers693ff612013-02-01 10:56:12 -0800438 if (!IsArrayClass()) {
439 // If "this" is not also an array, it must be Object.
440 // src's super should be java_lang_Object, since it is an array.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700441 ObjPtr<Class> java_lang_Object = src->GetSuperClass();
David Sehr709b0702016-10-13 09:12:37 -0700442 DCHECK(java_lang_Object != nullptr) << src->PrettyClass();
443 DCHECK(java_lang_Object->GetSuperClass() == nullptr) << src->PrettyClass();
Ian Rogers693ff612013-02-01 10:56:12 -0800444 return this == java_lang_Object;
445 }
446 return IsArrayAssignableFromArray(src);
447}
448
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100449template <bool throw_on_failure>
Mathieu Chartierb8901302016-09-30 10:27:43 -0700450inline bool Class::ResolvedFieldAccessTest(ObjPtr<Class> access_to,
Mathieu Chartier3398c782016-09-30 10:27:43 -0700451 ArtField* field,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100452 ObjPtr<DexCache> dex_cache,
453 uint32_t field_idx) {
454 DCHECK(dex_cache != nullptr);
Vladimir Marko23a28212014-01-09 19:24:37 +0000455 if (UNLIKELY(!this->CanAccess(access_to))) {
456 // The referrer class can't access the field's declaring class but may still be able
457 // to access the field if the FieldId specifies an accessible subclass of the declaring
458 // class rather than the declaring class itself.
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100459 dex::TypeIndex class_idx = dex_cache->GetDexFile()->GetFieldId(field_idx).class_idx_;
Mathieu Chartier279ac5c2016-09-08 17:34:25 -0700460 // The referenced class has already been resolved with the field, but may not be in the dex
Mathieu Chartierb8901302016-09-30 10:27:43 -0700461 // cache. Use LookupResolveType here to search the class table if it is not in the dex cache.
Mathieu Chartier279ac5c2016-09-08 17:34:25 -0700462 // should be no thread suspension due to the class being resolved.
Mathieu Chartierb8901302016-09-30 10:27:43 -0700463 ObjPtr<Class> dex_access_to = Runtime::Current()->GetClassLinker()->LookupResolvedType(
Mathieu Chartierb8901302016-09-30 10:27:43 -0700464 class_idx,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100465 dex_cache,
Mathieu Chartierb8901302016-09-30 10:27:43 -0700466 access_to->GetClassLoader());
Vladimir Marko23a28212014-01-09 19:24:37 +0000467 DCHECK(dex_access_to != nullptr);
468 if (UNLIKELY(!this->CanAccess(dex_access_to))) {
469 if (throw_on_failure) {
Mathieu Chartier6b3d12b2016-10-13 13:59:58 -0700470 ThrowIllegalAccessErrorClass(this, dex_access_to);
Vladimir Marko23a28212014-01-09 19:24:37 +0000471 }
472 return false;
473 }
Vladimir Marko23a28212014-01-09 19:24:37 +0000474 }
475 if (LIKELY(this->CanAccessMember(access_to, field->GetAccessFlags()))) {
476 return true;
477 }
478 if (throw_on_failure) {
479 ThrowIllegalAccessErrorField(this, field);
480 }
481 return false;
482}
483
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100484template <bool throw_on_failure>
Mathieu Chartierb8901302016-09-30 10:27:43 -0700485inline bool Class::ResolvedMethodAccessTest(ObjPtr<Class> access_to,
486 ArtMethod* method,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100487 ObjPtr<DexCache> dex_cache,
Mathieu Chartierb8901302016-09-30 10:27:43 -0700488 uint32_t method_idx,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100489 InvokeType throw_invoke_type) {
490 DCHECK(throw_on_failure || throw_invoke_type == kStatic);
491 DCHECK(dex_cache != nullptr);
Vladimir Marko23a28212014-01-09 19:24:37 +0000492 if (UNLIKELY(!this->CanAccess(access_to))) {
493 // The referrer class can't access the method's declaring class but may still be able
494 // to access the method if the MethodId specifies an accessible subclass of the declaring
495 // class rather than the declaring class itself.
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100496 dex::TypeIndex class_idx = dex_cache->GetDexFile()->GetMethodId(method_idx).class_idx_;
Mathieu Chartier279ac5c2016-09-08 17:34:25 -0700497 // The referenced class has already been resolved with the method, but may not be in the dex
Mathieu Chartierb8901302016-09-30 10:27:43 -0700498 // cache.
499 ObjPtr<Class> dex_access_to = Runtime::Current()->GetClassLinker()->LookupResolvedType(
Mathieu Chartierb8901302016-09-30 10:27:43 -0700500 class_idx,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100501 dex_cache,
Mathieu Chartierb8901302016-09-30 10:27:43 -0700502 access_to->GetClassLoader());
Vladimir Marko23a28212014-01-09 19:24:37 +0000503 DCHECK(dex_access_to != nullptr);
504 if (UNLIKELY(!this->CanAccess(dex_access_to))) {
505 if (throw_on_failure) {
Mathieu Chartierb8901302016-09-30 10:27:43 -0700506 ThrowIllegalAccessErrorClassForMethodDispatch(this,
Vladimir Markobcf17522018-06-01 13:14:32 +0100507 dex_access_to,
Mathieu Chartierb8901302016-09-30 10:27:43 -0700508 method,
509 throw_invoke_type);
Vladimir Marko23a28212014-01-09 19:24:37 +0000510 }
511 return false;
512 }
Vladimir Marko23a28212014-01-09 19:24:37 +0000513 }
514 if (LIKELY(this->CanAccessMember(access_to, method->GetAccessFlags()))) {
515 return true;
516 }
517 if (throw_on_failure) {
518 ThrowIllegalAccessErrorMethod(this, method);
519 }
520 return false;
521}
522
Mathieu Chartier3398c782016-09-30 10:27:43 -0700523inline bool Class::CanAccessResolvedField(ObjPtr<Class> access_to,
524 ArtField* field,
525 ObjPtr<DexCache> dex_cache,
526 uint32_t field_idx) {
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100527 return ResolvedFieldAccessTest<false>(access_to, field, dex_cache, field_idx);
Vladimir Marko89786432014-01-31 15:03:55 +0000528}
529
Mathieu Chartier3398c782016-09-30 10:27:43 -0700530inline bool Class::CheckResolvedFieldAccess(ObjPtr<Class> access_to,
531 ArtField* field,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100532 ObjPtr<DexCache> dex_cache,
Vladimir Marko89786432014-01-31 15:03:55 +0000533 uint32_t field_idx) {
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100534 return ResolvedFieldAccessTest<true>(access_to, field, dex_cache, field_idx);
Vladimir Marko89786432014-01-31 15:03:55 +0000535}
536
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700537inline bool Class::CanAccessResolvedMethod(ObjPtr<Class> access_to,
538 ArtMethod* method,
539 ObjPtr<DexCache> dex_cache,
540 uint32_t method_idx) {
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100541 return ResolvedMethodAccessTest<false>(access_to, method, dex_cache, method_idx, kStatic);
Vladimir Marko89786432014-01-31 15:03:55 +0000542}
543
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700544inline bool Class::CheckResolvedMethodAccess(ObjPtr<Class> access_to,
545 ArtMethod* method,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100546 ObjPtr<DexCache> dex_cache,
547 uint32_t method_idx,
548 InvokeType throw_invoke_type) {
549 return ResolvedMethodAccessTest<true>(
550 access_to, method, dex_cache, method_idx, throw_invoke_type);
Vladimir Marko89786432014-01-31 15:03:55 +0000551}
552
Mathieu Chartier3398c782016-09-30 10:27:43 -0700553inline bool Class::IsSubClass(ObjPtr<Class> klass) {
Igor Murashkin86083f72017-10-27 10:59:04 -0700554 // Since the SubtypeCheck::IsSubtypeOf needs to lookup the Depth,
555 // it is always O(Depth) in terms of speed to do the check.
556 //
557 // So always do the "slow" linear scan in normal release builds.
558 //
559 // Future note: If we could have the depth in O(1) we could use the 'fast'
560 // method instead as it avoids a loop and a read barrier.
561 bool result = false;
David Sehr709b0702016-10-13 09:12:37 -0700562 DCHECK(!IsInterface()) << PrettyClass();
563 DCHECK(!IsArrayClass()) << PrettyClass();
Mathieu Chartier3398c782016-09-30 10:27:43 -0700564 ObjPtr<Class> current = this;
Ian Rogers693ff612013-02-01 10:56:12 -0800565 do {
566 if (current == klass) {
Igor Murashkin86083f72017-10-27 10:59:04 -0700567 result = true;
568 break;
Ian Rogers693ff612013-02-01 10:56:12 -0800569 }
570 current = current->GetSuperClass();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700571 } while (current != nullptr);
Igor Murashkin86083f72017-10-27 10:59:04 -0700572
Vladimir Marko305c38b2018-02-14 11:50:07 +0000573 if (kIsDebugBuild && kBitstringSubtypeCheckEnabled) {
Igor Murashkin86083f72017-10-27 10:59:04 -0700574 ObjPtr<mirror::Class> dis(this);
575
576 SubtypeCheckInfo::Result sc_result = SubtypeCheck<ObjPtr<Class>>::IsSubtypeOf(dis, klass);
577 if (sc_result != SubtypeCheckInfo::kUnknownSubtypeOf) {
578 // Note: The "kUnknownSubTypeOf" can be avoided if and only if:
579 // SubtypeCheck::EnsureInitialized(source)
580 // happens-before source.IsSubClass(target)
581 // SubtypeCheck::EnsureAssigned(target).GetState() == Assigned
582 // happens-before source.IsSubClass(target)
583 //
584 // When code generated by optimizing compiler executes this operation, both
585 // happens-before are guaranteed, so there is no fallback code there.
586 SubtypeCheckInfo::Result expected_result =
587 result ? SubtypeCheckInfo::kSubtypeOf : SubtypeCheckInfo::kNotSubtypeOf;
588 DCHECK_EQ(expected_result, sc_result)
589 << "source: " << PrettyClass() << "target: " << klass->PrettyClass();
590 }
591 }
592
593 return result;
Ian Rogers693ff612013-02-01 10:56:12 -0800594}
595
Andreas Gampe542451c2016-07-26 09:02:02 -0700596inline ArtMethod* Class::FindVirtualMethodForInterface(ArtMethod* method,
597 PointerSize pointer_size) {
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700598 ObjPtr<Class> declaring_class = method->GetDeclaringClass();
David Sehr709b0702016-10-13 09:12:37 -0700599 DCHECK(declaring_class != nullptr) << PrettyClass();
Vladimir Markoba118822017-06-12 15:41:56 +0100600 if (UNLIKELY(!declaring_class->IsInterface())) {
601 DCHECK(declaring_class->IsObjectClass()) << method->PrettyMethod();
602 DCHECK(method->IsPublic() && !method->IsStatic());
603 return FindVirtualMethodForVirtual(method, pointer_size);
604 }
Alex Light0f7e8f52016-07-19 11:21:32 -0700605 DCHECK(!method->IsCopied());
Ian Rogers693ff612013-02-01 10:56:12 -0800606 // TODO cache to improve lookup speed
Mathieu Chartiere401d142015-04-22 13:56:20 -0700607 const int32_t iftable_count = GetIfTableCount();
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700608 ObjPtr<IfTable> iftable = GetIfTable();
Ian Rogers693ff612013-02-01 10:56:12 -0800609 for (int32_t i = 0; i < iftable_count; i++) {
610 if (iftable->GetInterface(i) == declaring_class) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700611 return iftable->GetMethodArray(i)->GetElementPtrSize<ArtMethod*>(
612 method->GetMethodIndex(), pointer_size);
Ian Rogers693ff612013-02-01 10:56:12 -0800613 }
614 }
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700615 return nullptr;
Ian Rogers693ff612013-02-01 10:56:12 -0800616}
617
Andreas Gampe542451c2016-07-26 09:02:02 -0700618inline ArtMethod* Class::FindVirtualMethodForVirtual(ArtMethod* method, PointerSize pointer_size) {
Alex Lighteb7c1442015-08-31 13:17:42 -0700619 // Only miranda or default methods may come from interfaces and be used as a virtual.
620 DCHECK(!method->GetDeclaringClass()->IsInterface() || method->IsDefault() || method->IsMiranda());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800621 // The argument method may from a super class.
622 // Use the index to a potentially overridden one for this instance's class.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700623 return GetVTableEntry(method->GetMethodIndex(), pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800624}
625
Andreas Gampe542451c2016-07-26 09:02:02 -0700626inline ArtMethod* Class::FindVirtualMethodForSuper(ArtMethod* method, PointerSize pointer_size) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800627 DCHECK(!method->GetDeclaringClass()->IsInterface());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700628 return GetSuperClass()->GetVTableEntry(method->GetMethodIndex(), pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800629}
630
Mathieu Chartiere401d142015-04-22 13:56:20 -0700631inline ArtMethod* Class::FindVirtualMethodForVirtualOrInterface(ArtMethod* method,
Andreas Gampe542451c2016-07-26 09:02:02 -0700632 PointerSize pointer_size) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800633 if (method->IsDirect()) {
634 return method;
635 }
Alex Light36121492016-02-22 13:43:29 -0800636 if (method->GetDeclaringClass()->IsInterface() && !method->IsCopied()) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700637 return FindVirtualMethodForInterface(method, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800638 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700639 return FindVirtualMethodForVirtual(method, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800640}
641
Roland Levillaind32ead22018-05-30 17:38:21 +0100642template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000643inline ObjPtr<IfTable> Class::GetIfTable() {
Mathieu Chartier6beced42016-11-15 15:51:31 -0800644 ObjPtr<IfTable> ret = GetFieldObject<IfTable, kVerifyFlags, kReadBarrierOption>(IfTableOffset());
645 DCHECK(ret != nullptr) << PrettyClass(this);
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000646 return ret;
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800647}
648
Vladimir Markodbcb48f2018-11-12 11:47:04 +0000649template<VerifyObjectFlags kVerifyFlags>
Ian Rogersef7d42f2014-01-06 12:55:46 -0800650inline int32_t Class::GetIfTableCount() {
Vladimir Markodbcb48f2018-11-12 11:47:04 +0000651 // We do not need a read barrier here as the length is constant,
652 // both from-space and to-space iftables shall yield the same result.
653 return GetIfTable<kVerifyFlags, kWithoutReadBarrier>()->Count();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800654}
655
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700656inline void Class::SetIfTable(ObjPtr<IfTable> new_iftable) {
Mathieu Chartier6beced42016-11-15 15:51:31 -0800657 DCHECK(new_iftable != nullptr) << PrettyClass(this);
Mathieu Chartier2ecfd272016-11-01 10:10:05 -0700658 SetFieldObject<false>(IfTableOffset(), new_iftable);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800659}
660
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700661inline LengthPrefixedArray<ArtField>* Class::GetIFieldsPtr() {
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800662 DCHECK(IsLoaded() || IsErroneous()) << GetStatus();
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700663 return GetFieldPtr<LengthPrefixedArray<ArtField>*>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800664}
665
Hiroshi Yamauchi5496f692016-02-17 13:29:59 -0800666template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Vladimir Marko76649e82014-11-10 18:32:59 +0000667inline MemberOffset Class::GetFirstReferenceInstanceFieldOffset() {
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700668 ObjPtr<Class> super_class = GetSuperClass<kVerifyFlags, kReadBarrierOption>();
Vladimir Marko76649e82014-11-10 18:32:59 +0000669 return (super_class != nullptr)
Vladimir Marko98db89c2018-09-07 11:45:46 +0100670 ? MemberOffset(RoundUp(super_class->GetObjectSize<kVerifyFlags>(), kHeapReferenceSize))
Vladimir Marko76649e82014-11-10 18:32:59 +0000671 : ClassOffset();
672}
673
Vladimir Marko98db89c2018-09-07 11:45:46 +0100674template <VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700675inline MemberOffset Class::GetFirstReferenceStaticFieldOffset(PointerSize pointer_size) {
Vladimir Marko98db89c2018-09-07 11:45:46 +0100676 DCHECK(IsResolved<kVerifyFlags>());
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700677 uint32_t base = sizeof(Class); // Static fields come after the class.
Vladimir Marko98db89c2018-09-07 11:45:46 +0100678 if (ShouldHaveEmbeddedVTable<kVerifyFlags>()) {
Vladimir Marko76649e82014-11-10 18:32:59 +0000679 // Static fields come after the embedded tables.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700680 base = Class::ComputeClassSize(
Vladimir Marko98db89c2018-09-07 11:45:46 +0100681 true, GetEmbeddedVTableLength<kVerifyFlags>(), 0, 0, 0, 0, 0, pointer_size);
Vladimir Marko76649e82014-11-10 18:32:59 +0000682 }
683 return MemberOffset(base);
684}
685
Andreas Gampe542451c2016-07-26 09:02:02 -0700686inline MemberOffset Class::GetFirstReferenceStaticFieldOffsetDuringLinking(
687 PointerSize pointer_size) {
Vladimir Marko76649e82014-11-10 18:32:59 +0000688 DCHECK(IsLoaded());
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700689 uint32_t base = sizeof(Class); // Static fields come after the class.
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000690 if (ShouldHaveEmbeddedVTable()) {
Vladimir Marko76649e82014-11-10 18:32:59 +0000691 // Static fields come after the embedded tables.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700692 base = Class::ComputeClassSize(true, GetVTableDuringLinking()->GetLength(),
Mathieu Chartiere401d142015-04-22 13:56:20 -0700693 0, 0, 0, 0, 0, pointer_size);
Vladimir Marko76649e82014-11-10 18:32:59 +0000694 }
695 return MemberOffset(base);
696}
697
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700698inline void Class::SetIFieldsPtr(LengthPrefixedArray<ArtField>* new_ifields) {
699 DCHECK(GetIFieldsPtrUnchecked() == nullptr);
Mathieu Chartierc7853442015-03-27 14:35:38 -0700700 return SetFieldPtr<false>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_), new_ifields);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800701}
702
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700703inline void Class::SetIFieldsPtrUnchecked(LengthPrefixedArray<ArtField>* new_ifields) {
Mathieu Chartierc7853442015-03-27 14:35:38 -0700704 SetFieldPtr<false, true, kVerifyNone>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_), new_ifields);
705}
706
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700707inline LengthPrefixedArray<ArtField>* Class::GetSFieldsPtrUnchecked() {
708 return GetFieldPtr<LengthPrefixedArray<ArtField>*>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_));
Mathieu Chartierc7853442015-03-27 14:35:38 -0700709}
710
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700711inline LengthPrefixedArray<ArtField>* Class::GetIFieldsPtrUnchecked() {
712 return GetFieldPtr<LengthPrefixedArray<ArtField>*>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_));
Mathieu Chartierc7853442015-03-27 14:35:38 -0700713}
714
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700715inline LengthPrefixedArray<ArtField>* Class::GetSFieldsPtr() {
Mathieu Chartier987ca8b2015-03-15 14:19:14 -0700716 DCHECK(IsLoaded() || IsErroneous()) << GetStatus();
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700717 return GetSFieldsPtrUnchecked();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800718}
719
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700720inline void Class::SetSFieldsPtr(LengthPrefixedArray<ArtField>* new_sfields) {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700721 DCHECK((IsRetired() && new_sfields == nullptr) ||
Mathieu Chartierc7853442015-03-27 14:35:38 -0700722 GetFieldPtr<ArtField*>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_)) == nullptr);
723 SetFieldPtr<false>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_), new_sfields);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800724}
725
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700726inline void Class::SetSFieldsPtrUnchecked(LengthPrefixedArray<ArtField>* new_sfields) {
Mathieu Chartierc7853442015-03-27 14:35:38 -0700727 SetFieldPtr<false, true, kVerifyNone>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_), new_sfields);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800728}
729
Mathieu Chartierc7853442015-03-27 14:35:38 -0700730inline ArtField* Class::GetStaticField(uint32_t i) {
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700731 return &GetSFieldsPtr()->At(i);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800732}
733
Mathieu Chartierc7853442015-03-27 14:35:38 -0700734inline ArtField* Class::GetInstanceField(uint32_t i) {
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700735 return &GetIFieldsPtr()->At(i);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800736}
737
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700738template<VerifyObjectFlags kVerifyFlags>
739inline uint32_t Class::GetReferenceInstanceOffsets() {
740 DCHECK(IsResolved<kVerifyFlags>() || IsErroneous<kVerifyFlags>());
741 return GetField32<kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Class, reference_instance_offsets_));
742}
743
744inline void Class::SetClinitThreadId(pid_t new_clinit_thread_id) {
Chang Xing6d3e7682017-07-11 10:31:29 -0700745 SetField32Transaction(OFFSET_OF_OBJECT_MEMBER(Class, clinit_thread_id_), new_clinit_thread_id);
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700746}
747
Vladimir Marko3892e622019-03-15 15:22:18 +0000748template<VerifyObjectFlags kVerifyFlags,
749 ReadBarrierOption kReadBarrierOption>
Vladimir Marko179b7c62019-03-22 13:38:57 +0000750inline ObjPtr<String> Class::GetName() {
Vladimir Marko3892e622019-03-15 15:22:18 +0000751 return GetFieldObject<String, kVerifyFlags, kReadBarrierOption>(
752 OFFSET_OF_OBJECT_MEMBER(Class, name_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800753}
Mathieu Chartier52a7f5c2015-08-18 18:35:52 -0700754
Mathieu Chartier1a5337f2016-10-13 13:48:23 -0700755inline void Class::SetName(ObjPtr<String> name) {
Roland Levillaind32ead22018-05-30 17:38:21 +0100756 SetFieldObjectTransaction(OFFSET_OF_OBJECT_MEMBER(Class, name_), name);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800757}
758
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700759template<VerifyObjectFlags kVerifyFlags>
760inline Primitive::Type Class::GetPrimitiveType() {
Roland Levillain33d69032015-06-18 18:20:59 +0100761 static_assert(sizeof(Primitive::Type) == sizeof(int32_t),
762 "art::Primitive::Type and int32_t have different sizes.");
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700763 int32_t v32 = GetField32<kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Class, primitive_type_));
Mathieu Chartier8261d022016-08-08 09:41:04 -0700764 Primitive::Type type = static_cast<Primitive::Type>(v32 & kPrimitiveTypeMask);
765 DCHECK_EQ(static_cast<size_t>(v32 >> kPrimitiveTypeSizeShiftShift),
766 Primitive::ComponentSizeShift(type));
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700767 return type;
768}
769
770template<VerifyObjectFlags kVerifyFlags>
771inline size_t Class::GetPrimitiveTypeSizeShift() {
Roland Levillain33d69032015-06-18 18:20:59 +0100772 static_assert(sizeof(Primitive::Type) == sizeof(int32_t),
773 "art::Primitive::Type and int32_t have different sizes.");
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700774 int32_t v32 = GetField32<kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Class, primitive_type_));
Mathieu Chartier8261d022016-08-08 09:41:04 -0700775 size_t size_shift = static_cast<Primitive::Type>(v32 >> kPrimitiveTypeSizeShiftShift);
776 DCHECK_EQ(size_shift,
777 Primitive::ComponentSizeShift(static_cast<Primitive::Type>(v32 & kPrimitiveTypeMask)));
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700778 return size_shift;
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700779}
780
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000781inline uint32_t Class::ComputeClassSize(bool has_embedded_vtable,
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700782 uint32_t num_vtable_entries,
Fred Shih37f05ef2014-07-16 18:38:08 -0700783 uint32_t num_8bit_static_fields,
784 uint32_t num_16bit_static_fields,
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700785 uint32_t num_32bit_static_fields,
786 uint32_t num_64bit_static_fields,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700787 uint32_t num_ref_static_fields,
Andreas Gampe542451c2016-07-26 09:02:02 -0700788 PointerSize pointer_size) {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700789 // Space used by java.lang.Class and its instance fields.
790 uint32_t size = sizeof(Class);
791 // Space used by embedded tables.
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000792 if (has_embedded_vtable) {
Andreas Gampe542451c2016-07-26 09:02:02 -0700793 size = RoundUp(size + sizeof(uint32_t), static_cast<size_t>(pointer_size));
794 size += static_cast<size_t>(pointer_size); // size of pointer to IMT
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000795 size += num_vtable_entries * VTableEntrySize(pointer_size);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700796 }
Fred Shih37f05ef2014-07-16 18:38:08 -0700797
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700798 // Space used by reference statics.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700799 size += num_ref_static_fields * kHeapReferenceSize;
Fred Shih37f05ef2014-07-16 18:38:08 -0700800 if (!IsAligned<8>(size) && num_64bit_static_fields > 0) {
801 uint32_t gap = 8 - (size & 0x7);
802 size += gap; // will be padded
803 // Shuffle 4-byte fields forward.
804 while (gap >= sizeof(uint32_t) && num_32bit_static_fields != 0) {
805 --num_32bit_static_fields;
806 gap -= sizeof(uint32_t);
807 }
808 // Shuffle 2-byte fields forward.
809 while (gap >= sizeof(uint16_t) && num_16bit_static_fields != 0) {
810 --num_16bit_static_fields;
811 gap -= sizeof(uint16_t);
812 }
813 // Shuffle byte fields forward.
814 while (gap >= sizeof(uint8_t) && num_8bit_static_fields != 0) {
815 --num_8bit_static_fields;
816 gap -= sizeof(uint8_t);
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700817 }
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700818 }
Fred Shih37f05ef2014-07-16 18:38:08 -0700819 // Guaranteed to be at least 4 byte aligned. No need for further alignments.
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700820 // Space used for primitive static fields.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700821 size += num_8bit_static_fields * sizeof(uint8_t) + num_16bit_static_fields * sizeof(uint16_t) +
822 num_32bit_static_fields * sizeof(uint32_t) + num_64bit_static_fields * sizeof(uint64_t);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700823 return size;
824}
825
Mathieu Chartierd7a7f2f2018-09-07 11:57:18 -0700826template<VerifyObjectFlags kVerifyFlags>
Hiroshi Yamauchi25023c72014-05-09 11:45:53 -0700827inline bool Class::IsClassClass() {
Vladimir Markoa040ddc2019-03-15 13:14:11 +0000828 // OK to look at from-space copies since java.lang.Class.class is non-moveable
829 // (even when running without boot image, see ClassLinker::InitWithoutImage())
830 // and we're reading it for comparison only. See ReadBarrierOption.
Vladimir Marko98db89c2018-09-07 11:45:46 +0100831 ObjPtr<Class> java_lang_Class = GetClass<kVerifyFlags, kWithoutReadBarrier>();
Hiroshi Yamauchi25023c72014-05-09 11:45:53 -0700832 return this == java_lang_Class;
833}
834
Mathieu Chartierf8322842014-05-16 10:59:25 -0700835inline const DexFile& Class::GetDexFile() {
Mathieu Chartierbc632f02017-04-20 13:31:39 -0700836 // From-space version is the same as the to-space version since the dex file never changes.
837 // Avoiding the read barrier here is important to prevent recursive AssertToSpaceInvariant issues
838 // from PrettyTypeOf.
839 return *GetDexCache<kDefaultVerifyFlags, kWithoutReadBarrier>()->GetDexFile();
Mathieu Chartierf8322842014-05-16 10:59:25 -0700840}
841
842inline bool Class::DescriptorEquals(const char* match) {
Vladimir Marko3892e622019-03-15 15:22:18 +0000843 ObjPtr<mirror::Class> klass = this;
844 while (klass->IsArrayClass()) {
845 if (match[0] != '[') {
846 return false;
847 }
848 ++match;
Vladimir Markoc6934e32019-04-10 11:40:01 +0100849 // No read barrier needed, we're reading a chain of constant references for comparison
850 // with null. Then we follow up below with reading constant references to read constant
851 // primitive data in both proxy and non-proxy paths. See ReadBarrierOption.
852 klass = klass->GetComponentType<kDefaultVerifyFlags, kWithoutReadBarrier>();
Vladimir Marko3892e622019-03-15 15:22:18 +0000853 }
854 if (klass->IsPrimitive()) {
855 return strcmp(Primitive::Descriptor(klass->GetPrimitiveType()), match) == 0;
856 } else if (klass->IsProxyClass()) {
857 return klass->ProxyDescriptorEquals(match);
Mathieu Chartierf8322842014-05-16 10:59:25 -0700858 } else {
Vladimir Marko3892e622019-03-15 15:22:18 +0000859 const DexFile& dex_file = klass->GetDexFile();
860 const dex::TypeId& type_id = dex_file.GetTypeId(klass->GetDexTypeIndex());
Mathieu Chartierf8322842014-05-16 10:59:25 -0700861 return strcmp(dex_file.GetTypeDescriptor(type_id), match) == 0;
862 }
863}
864
Sebastien Hertz4e99b3d2014-06-24 14:35:40 +0200865inline void Class::AssertInitializedOrInitializingInThread(Thread* self) {
866 if (kIsDebugBuild && !IsInitialized()) {
David Sehr709b0702016-10-13 09:12:37 -0700867 CHECK(IsInitializing()) << PrettyClass() << " is not initializing: " << GetStatus();
Roland Levillaind32ead22018-05-30 17:38:21 +0100868 CHECK_EQ(GetClinitThreadId(), self->GetTid())
869 << PrettyClass() << " is initializing in a different thread";
Sebastien Hertz4e99b3d2014-06-24 14:35:40 +0200870 }
871}
872
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000873inline ObjPtr<ObjectArray<Class>> Class::GetProxyInterfaces() {
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000874 CHECK(IsProxyClass());
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700875 // First static field.
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000876 ArtField* field = GetStaticField(0);
Mathieu Chartierc7853442015-03-27 14:35:38 -0700877 DCHECK_STREQ(field->GetName(), "interfaces");
878 MemberOffset field_offset = field->GetOffset();
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000879 return GetFieldObject<ObjectArray<Class>>(field_offset);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700880}
881
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000882inline ObjPtr<ObjectArray<ObjectArray<Class>>> Class::GetProxyThrows() {
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000883 CHECK(IsProxyClass());
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700884 // Second static field.
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000885 ArtField* field = GetStaticField(1);
Mathieu Chartierc7853442015-03-27 14:35:38 -0700886 DCHECK_STREQ(field->GetName(), "throws");
887 MemberOffset field_offset = field->GetOffset();
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000888 return GetFieldObject<ObjectArray<ObjectArray<Class>>>(field_offset);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700889}
890
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000891inline bool Class::IsBootStrapClassLoaded() {
892 // No read barrier is needed for comparing with null. See ReadBarrierOption.
893 return GetClassLoader<kDefaultVerifyFlags, kWithoutReadBarrier>() == nullptr;
894}
895
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700896inline void Class::InitializeClassVisitor::operator()(ObjPtr<Object> obj,
Mathieu Chartier9d156d52016-10-06 17:44:26 -0700897 size_t usable_size) const {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700898 DCHECK_LE(class_size_, usable_size);
899 // Avoid AsClass as object is not yet in live bitmap or allocation stack.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700900 ObjPtr<Class> klass = ObjPtr<Class>::DownCast(obj);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700901 klass->SetClassSize(class_size_);
902 klass->SetPrimitiveType(Primitive::kPrimNot); // Default to not being primitive.
903 klass->SetDexClassDefIndex(DexFile::kDexNoIndex16); // Default to no valid class def index.
Andreas Gampea5b09a62016-11-17 15:21:22 -0800904 klass->SetDexTypeIndex(dex::TypeIndex(DexFile::kDexNoIndex16)); // Default to no valid type
905 // index.
Mathieu Chartier93bbee02016-08-31 09:38:40 -0700906 // Default to force slow path until initialized.
Mathieu Chartier161db1d2016-09-01 14:06:54 -0700907 klass->SetObjectSizeAllocFastPath(std::numeric_limits<uint32_t>::max());
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700908}
909
Andreas Gampe48498592014-09-10 19:48:05 -0700910inline void Class::SetAccessFlags(uint32_t new_access_flags) {
Andreas Gampe62f6e902018-10-11 18:58:50 -0700911 if (kIsDebugBuild) {
912 SetAccessFlagsDCheck(new_access_flags);
913 }
Andreas Gampe48498592014-09-10 19:48:05 -0700914 // Called inside a transaction when setting pre-verified flag during boot image compilation.
915 if (Runtime::Current()->IsActiveTransaction()) {
Mathieu Chartier52a7f5c2015-08-18 18:35:52 -0700916 SetField32<true>(AccessFlagsOffset(), new_access_flags);
Andreas Gampe48498592014-09-10 19:48:05 -0700917 } else {
Mathieu Chartier52a7f5c2015-08-18 18:35:52 -0700918 SetField32<false>(AccessFlagsOffset(), new_access_flags);
919 }
920}
921
922inline void Class::SetClassFlags(uint32_t new_flags) {
923 if (Runtime::Current()->IsActiveTransaction()) {
924 SetField32<true>(OFFSET_OF_OBJECT_MEMBER(Class, class_flags_), new_flags);
925 } else {
926 SetField32<false>(OFFSET_OF_OBJECT_MEMBER(Class, class_flags_), new_flags);
Andreas Gampe48498592014-09-10 19:48:05 -0700927 }
928}
929
Mathieu Chartier2d2621a2014-10-23 16:48:06 -0700930inline uint32_t Class::NumDirectInterfaces() {
931 if (IsPrimitive()) {
932 return 0;
933 } else if (IsArrayClass()) {
934 return 2;
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000935 } else if (IsProxyClass()) {
Vladimir Markoc524e9e2019-03-26 10:54:50 +0000936 ObjPtr<ObjectArray<Class>> interfaces = GetProxyInterfaces();
Mathieu Chartier2d2621a2014-10-23 16:48:06 -0700937 return interfaces != nullptr ? interfaces->GetLength() : 0;
938 } else {
Andreas Gampe3f1dcd32018-12-28 09:39:56 -0800939 const dex::TypeList* interfaces = GetInterfaceTypeList();
Mathieu Chartier2d2621a2014-10-23 16:48:06 -0700940 if (interfaces == nullptr) {
941 return 0;
942 } else {
943 return interfaces->Size();
944 }
945 }
946}
947
Vladimir Marko9ac77492017-06-14 18:07:03 +0100948inline ArraySlice<ArtMethod> Class::GetDirectMethods(PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700949 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100950 return GetDirectMethodsSliceUnchecked(pointer_size);
Alex Lighte64300b2015-12-15 15:02:47 -0800951}
952
Roland Levillaind32ead22018-05-30 17:38:21 +0100953inline ArraySlice<ArtMethod> Class::GetDeclaredMethods(PointerSize pointer_size) {
Vladimir Marko9ac77492017-06-14 18:07:03 +0100954 return GetDeclaredMethodsSliceUnchecked(pointer_size);
Alex Lighte64300b2015-12-15 15:02:47 -0800955}
956
Roland Levillaind32ead22018-05-30 17:38:21 +0100957inline ArraySlice<ArtMethod> Class::GetDeclaredVirtualMethods(PointerSize pointer_size) {
Vladimir Marko9ac77492017-06-14 18:07:03 +0100958 return GetDeclaredVirtualMethodsSliceUnchecked(pointer_size);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700959}
960
Roland Levillaind32ead22018-05-30 17:38:21 +0100961inline ArraySlice<ArtMethod> Class::GetVirtualMethods(PointerSize pointer_size) {
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700962 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100963 return GetVirtualMethodsSliceUnchecked(pointer_size);
Alex Lighte64300b2015-12-15 15:02:47 -0800964}
965
Vladimir Marko9ac77492017-06-14 18:07:03 +0100966inline ArraySlice<ArtMethod> Class::GetCopiedMethods(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800967 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100968 return GetCopiedMethodsSliceUnchecked(pointer_size);
Alex Lighte64300b2015-12-15 15:02:47 -0800969}
970
971
Vladimir Marko9ac77492017-06-14 18:07:03 +0100972inline ArraySlice<ArtMethod> Class::GetMethods(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800973 CheckPointerSize(pointer_size);
Mathieu Chartier2466d622017-09-26 13:52:26 -0700974 LengthPrefixedArray<ArtMethod>* methods = GetMethodsPtr();
975 return GetMethodsSliceRangeUnchecked(methods, pointer_size, 0u, NumMethods(methods));
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700976}
977
978inline IterationRange<StrideIterator<ArtField>> Class::GetIFields() {
Vladimir Markocf36d492015-08-12 19:27:26 +0100979 return MakeIterationRangeFromLengthPrefixedArray(GetIFieldsPtr());
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700980}
981
982inline IterationRange<StrideIterator<ArtField>> Class::GetSFields() {
Vladimir Markocf36d492015-08-12 19:27:26 +0100983 return MakeIterationRangeFromLengthPrefixedArray(GetSFieldsPtr());
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700984}
985
986inline IterationRange<StrideIterator<ArtField>> Class::GetIFieldsUnchecked() {
Vladimir Markocf36d492015-08-12 19:27:26 +0100987 return MakeIterationRangeFromLengthPrefixedArray(GetIFieldsPtrUnchecked());
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700988}
989
990inline IterationRange<StrideIterator<ArtField>> Class::GetSFieldsUnchecked() {
Vladimir Markocf36d492015-08-12 19:27:26 +0100991 return MakeIterationRangeFromLengthPrefixedArray(GetSFieldsPtrUnchecked());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700992}
993
Andreas Gampe542451c2016-07-26 09:02:02 -0700994inline MemberOffset Class::EmbeddedVTableOffset(PointerSize pointer_size) {
Andreas Gampe542451c2016-07-26 09:02:02 -0700995 return MemberOffset(ImtPtrOffset(pointer_size).Uint32Value() + static_cast<size_t>(pointer_size));
Mathieu Chartiere401d142015-04-22 13:56:20 -0700996}
997
Andreas Gampe542451c2016-07-26 09:02:02 -0700998inline void Class::CheckPointerSize(PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700999 DCHECK_EQ(pointer_size, Runtime::Current()->GetClassLinker()->GetImagePointerSize());
Mathieu Chartierc7853442015-03-27 14:35:38 -07001000}
1001
Calin Juravle2e768302015-07-28 14:41:11 +00001002template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Vladimir Markoc524e9e2019-03-26 10:54:50 +00001003inline ObjPtr<Class> Class::GetComponentType() {
Calin Juravle2e768302015-07-28 14:41:11 +00001004 return GetFieldObject<Class, kVerifyFlags, kReadBarrierOption>(ComponentTypeOffset());
1005}
1006
Vladimir Markoc524e9e2019-03-26 10:54:50 +00001007inline void Class::SetComponentType(ObjPtr<Class> new_component_type) {
1008 DCHECK(GetComponentType() == nullptr);
1009 DCHECK(new_component_type != nullptr);
1010 // Component type is invariant: use non-transactional mode without check.
1011 SetFieldObject<false, false>(ComponentTypeOffset(), new_component_type);
1012}
1013
Vladimir Markoc524e9e2019-03-26 10:54:50 +00001014inline size_t Class::GetComponentSize() {
Vladimir Markod355acf2019-03-21 17:09:40 +00001015 return 1U << GetComponentSizeShift();
Vladimir Markoc524e9e2019-03-26 10:54:50 +00001016}
1017
Vladimir Markoc524e9e2019-03-26 10:54:50 +00001018inline size_t Class::GetComponentSizeShift() {
Vladimir Markod355acf2019-03-21 17:09:40 +00001019 // No read barrier is needed for reading a constant primitive field through
1020 // constant reference field. See ReadBarrierOption.
1021 return GetComponentType<kDefaultVerifyFlags, kWithoutReadBarrier>()->GetPrimitiveTypeSizeShift();
Vladimir Markoc524e9e2019-03-26 10:54:50 +00001022}
1023
1024inline bool Class::IsObjectClass() {
1025 // No read barrier is needed for comparing with null. See ReadBarrierOption.
1026 return !IsPrimitive() && GetSuperClass<kDefaultVerifyFlags, kWithoutReadBarrier>() == nullptr;
1027}
1028
1029inline bool Class::IsInstantiableNonArray() {
1030 return !IsPrimitive() && !IsInterface() && !IsAbstract() && !IsArrayClass();
1031}
1032
1033template<VerifyObjectFlags kVerifyFlags>
1034bool Class::IsInstantiable() {
1035 return (!IsPrimitive<kVerifyFlags>() &&
1036 !IsInterface<kVerifyFlags>() &&
1037 !IsAbstract<kVerifyFlags>()) ||
1038 (IsAbstract<kVerifyFlags>() && IsArrayClass<kVerifyFlags>());
1039}
1040
Vladimir Marko98db89c2018-09-07 11:45:46 +01001041template<VerifyObjectFlags kVerifyFlags>
Calin Juravle2e768302015-07-28 14:41:11 +00001042inline bool Class::IsArrayClass() {
Vladimir Marko98db89c2018-09-07 11:45:46 +01001043 // We do not need a read barrier for comparing with null.
1044 return GetComponentType<kVerifyFlags, kWithoutReadBarrier>() != nullptr;
Calin Juravle2e768302015-07-28 14:41:11 +00001045}
1046
Vladimir Marko98db89c2018-09-07 11:45:46 +01001047template<VerifyObjectFlags kVerifyFlags>
Andreas Gampec6ea7d02017-02-01 16:46:28 -08001048inline bool Class::IsObjectArrayClass() {
Vladimir Marko98db89c2018-09-07 11:45:46 +01001049 // We do not need a read barrier here as the primitive type is constant,
1050 // both from-space and to-space component type classes shall yield the same result.
Vladimir Marko0984e482019-03-27 16:41:41 +00001051 const ObjPtr<Class> component_type = GetComponentType<kVerifyFlags, kWithoutReadBarrier>();
Vladimir Markodbcb48f2018-11-12 11:47:04 +00001052 constexpr VerifyObjectFlags kNewFlags = RemoveThisFlags(kVerifyFlags);
1053 return component_type != nullptr && !component_type->IsPrimitive<kNewFlags>();
1054}
1055
1056template<VerifyObjectFlags kVerifyFlags>
1057bool Class::IsPrimitiveArray() {
1058 // We do not need a read barrier here as the primitive type is constant,
1059 // both from-space and to-space component type classes shall yield the same result.
Vladimir Marko0984e482019-03-27 16:41:41 +00001060 const ObjPtr<Class> component_type = GetComponentType<kVerifyFlags, kWithoutReadBarrier>();
Vladimir Markodbcb48f2018-11-12 11:47:04 +00001061 constexpr VerifyObjectFlags kNewFlags = RemoveThisFlags(kVerifyFlags);
1062 return component_type != nullptr && component_type->IsPrimitive<kNewFlags>();
Andreas Gampec6ea7d02017-02-01 16:46:28 -08001063}
1064
Mathieu Chartier3398c782016-09-30 10:27:43 -07001065inline bool Class::IsAssignableFrom(ObjPtr<Class> src) {
Calin Juravle2e768302015-07-28 14:41:11 +00001066 DCHECK(src != nullptr);
1067 if (this == src) {
1068 // Can always assign to things of the same type.
1069 return true;
1070 } else if (IsObjectClass()) {
1071 // Can assign any reference to java.lang.Object.
1072 return !src->IsPrimitive();
1073 } else if (IsInterface()) {
1074 return src->Implements(this);
1075 } else if (src->IsArrayClass()) {
1076 return IsAssignableFromArray(src);
1077 } else {
1078 return !src->IsInterface() && src->IsSubClass(this);
1079 }
1080}
1081
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001082inline uint32_t Class::NumDirectMethods() {
Alex Lighte64300b2015-12-15 15:02:47 -08001083 return GetVirtualMethodsStartOffset();
1084}
1085
1086inline uint32_t Class::NumDeclaredVirtualMethods() {
1087 return GetCopiedMethodsStartOffset() - GetVirtualMethodsStartOffset();
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001088}
1089
1090inline uint32_t Class::NumVirtualMethods() {
Alex Lighte64300b2015-12-15 15:02:47 -08001091 return NumMethods() - GetVirtualMethodsStartOffset();
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001092}
1093
1094inline uint32_t Class::NumInstanceFields() {
1095 LengthPrefixedArray<ArtField>* arr = GetIFieldsPtrUnchecked();
Vladimir Marko35831e82015-09-11 11:59:18 +01001096 return arr != nullptr ? arr->size() : 0u;
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001097}
1098
1099inline uint32_t Class::NumStaticFields() {
1100 LengthPrefixedArray<ArtField>* arr = GetSFieldsPtrUnchecked();
Vladimir Marko35831e82015-09-11 11:59:18 +01001101 return arr != nullptr ? arr->size() : 0u;
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001102}
1103
Vladimir Marko924ad502018-09-19 09:48:04 +01001104template <typename T, VerifyObjectFlags kVerifyFlags, typename Visitor>
1105inline void Class::FixupNativePointer(
1106 Class* dest, PointerSize pointer_size, const Visitor& visitor, MemberOffset member_offset) {
1107 void** address =
1108 reinterpret_cast<void**>(reinterpret_cast<uintptr_t>(dest) + member_offset.Uint32Value());
1109 T old_value = GetFieldPtrWithSize<T, kVerifyFlags>(member_offset, pointer_size);
1110 T new_value = visitor(old_value, address);
1111 if (old_value != new_value) {
Andreas Gampe98ea9d92018-10-19 14:06:15 -07001112 dest->SetFieldPtrWithSize</* kTransactionActive= */ false,
1113 /* kCheckTransaction= */ true,
Vladimir Marko924ad502018-09-19 09:48:04 +01001114 kVerifyNone>(member_offset, new_value, pointer_size);
1115 }
1116}
1117
1118template <VerifyObjectFlags kVerifyFlags, typename Visitor>
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001119inline void Class::FixupNativePointers(Class* dest,
Andreas Gampe542451c2016-07-26 09:02:02 -07001120 PointerSize pointer_size,
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001121 const Visitor& visitor) {
1122 // Update the field arrays.
Vladimir Marko924ad502018-09-19 09:48:04 +01001123 FixupNativePointer<LengthPrefixedArray<ArtField>*, kVerifyFlags>(
1124 dest, pointer_size, visitor, OFFSET_OF_OBJECT_MEMBER(Class, sfields_));
1125 FixupNativePointer<LengthPrefixedArray<ArtField>*, kVerifyFlags>(
1126 dest, pointer_size, visitor, OFFSET_OF_OBJECT_MEMBER(Class, ifields_));
Alex Lighte64300b2015-12-15 15:02:47 -08001127 // Update method array.
Vladimir Marko924ad502018-09-19 09:48:04 +01001128 FixupNativePointer<LengthPrefixedArray<ArtMethod>*, kVerifyFlags>(
1129 dest, pointer_size, visitor, OFFSET_OF_OBJECT_MEMBER(Class, methods_));
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001130 // Fix up embedded tables.
Vladimir Marko98db89c2018-09-07 11:45:46 +01001131 if (!IsTemp<kVerifyNone>() && ShouldHaveEmbeddedVTable<kVerifyNone>()) {
Vladimir Marko924ad502018-09-19 09:48:04 +01001132 for (int32_t i = 0, count = GetEmbeddedVTableLength<kVerifyFlags>(); i < count; ++i) {
1133 FixupNativePointer<ArtMethod*, kVerifyFlags>(
1134 dest, pointer_size, visitor, EmbeddedVTableEntryOffset(i, pointer_size));
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001135 }
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001136 }
Vladimir Marko98db89c2018-09-07 11:45:46 +01001137 if (!IsTemp<kVerifyNone>() && ShouldHaveImt<kVerifyNone>()) {
Vladimir Marko924ad502018-09-19 09:48:04 +01001138 FixupNativePointer<ImTable*, kVerifyFlags>(
1139 dest, pointer_size, visitor, ImtPtrOffset(pointer_size));
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001140 }
1141}
1142
Mathieu Chartier3398c782016-09-30 10:27:43 -07001143inline bool Class::CanAccess(ObjPtr<Class> that) {
1144 return that->IsPublic() || this->IsInSamePackage(that);
1145}
1146
1147
1148inline bool Class::CanAccessMember(ObjPtr<Class> access_to, uint32_t member_flags) {
1149 // Classes can access all of their own members
1150 if (this == access_to) {
1151 return true;
1152 }
1153 // Public members are trivially accessible
1154 if (member_flags & kAccPublic) {
1155 return true;
1156 }
1157 // Private members are trivially not accessible
1158 if (member_flags & kAccPrivate) {
1159 return false;
1160 }
1161 // Check for protected access from a sub-class, which may or may not be in the same package.
1162 if (member_flags & kAccProtected) {
1163 if (!this->IsInterface() && this->IsSubClass(access_to)) {
1164 return true;
1165 }
1166 }
1167 // Allow protected access from other classes in the same package.
1168 return this->IsInSamePackage(access_to);
1169}
1170
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001171inline bool Class::CannotBeAssignedFromOtherTypes() {
1172 if (!IsArrayClass()) {
1173 return IsFinal();
1174 }
1175 ObjPtr<Class> component = GetComponentType();
1176 return component->IsPrimitive() || component->CannotBeAssignedFromOtherTypes();
1177}
1178
Mathieu Chartierbc1e0fa2018-11-14 16:18:18 -08001179template <bool kCheckTransaction>
1180inline void Class::SetClassLoader(ObjPtr<ClassLoader> new_class_loader) {
1181 if (kCheckTransaction && Runtime::Current()->IsActiveTransaction()) {
1182 SetFieldObject<true>(OFFSET_OF_OBJECT_MEMBER(Class, class_loader_), new_class_loader);
1183 } else {
1184 DCHECK(!Runtime::Current()->IsActiveTransaction());
1185 SetFieldObject<false>(OFFSET_OF_OBJECT_MEMBER(Class, class_loader_), new_class_loader);
1186 }
1187}
1188
Andreas Gampe49b74a82019-01-07 10:19:49 -08001189inline void Class::SetRecursivelyInitialized() {
1190 DCHECK_EQ(GetLockOwnerThreadId(), Thread::Current()->GetThreadId());
1191 uint32_t flags = GetField32(OFFSET_OF_OBJECT_MEMBER(Class, access_flags_));
1192 SetAccessFlags(flags | kAccRecursivelyInitialized);
1193}
1194
1195inline void Class::SetHasDefaultMethods() {
1196 DCHECK_EQ(GetLockOwnerThreadId(), Thread::Current()->GetThreadId());
1197 uint32_t flags = GetField32(OFFSET_OF_OBJECT_MEMBER(Class, access_flags_));
1198 SetAccessFlags(flags | kAccHasDefaultMethod);
1199}
1200
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001201} // namespace mirror
1202} // namespace art
1203
Brian Carlstromfc0e3212013-07-17 14:40:12 -07001204#endif // ART_RUNTIME_MIRROR_CLASS_INL_H_