blob: 9a4130d0d5466e080495065e45c274ed0b5e7014 [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"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080033#include "iftable.h"
Andreas Gampec15a2f42017-04-21 12:09:39 -070034#include "object-inl.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070035#include "object_array.h"
Mingyao Yang98d1cc82014-05-15 17:02:16 -070036#include "read_barrier-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080037#include "runtime.h"
38#include "string.h"
Mathieu Chartier8d1a9962016-08-17 16:39:45 -070039#include "subtype_check.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080040
41namespace art {
42namespace mirror {
43
Vladimir Marko98db89c2018-09-07 11:45:46 +010044template<VerifyObjectFlags kVerifyFlags>
Ian Rogersef7d42f2014-01-06 12:55:46 -080045inline uint32_t Class::GetObjectSize() {
Vladimir Marko3481ba22015-04-13 12:22:36 +010046 // Note: Extra parentheses to avoid the comma being interpreted as macro parameter separator.
Vladimir Marko98db89c2018-09-07 11:45:46 +010047 DCHECK((!IsVariableSize<kVerifyFlags>())) << "class=" << PrettyTypeOf();
Hiroshi Yamauchie01a5202015-03-19 12:35:04 -070048 return GetField32(ObjectSizeOffset());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080049}
50
Vladimir Marko98db89c2018-09-07 11:45:46 +010051template<VerifyObjectFlags kVerifyFlags>
Mathieu Chartier161db1d2016-09-01 14:06:54 -070052inline uint32_t Class::GetObjectSizeAllocFastPath() {
53 // Note: Extra parentheses to avoid the comma being interpreted as macro parameter separator.
Vladimir Marko98db89c2018-09-07 11:45:46 +010054 DCHECK((!IsVariableSize<kVerifyFlags>())) << "class=" << PrettyTypeOf();
Mathieu Chartier161db1d2016-09-01 14:06:54 -070055 return GetField32(ObjectSizeAllocFastPathOffset());
56}
57
Mathieu Chartier161db1d2016-09-01 14:06:54 -070058template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Andreas Gampe98104992018-10-16 12:49:47 -070059inline ObjPtr<Class> Class::GetSuperClass() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080060 // Can only get super class for loaded classes (hack for when runtime is
61 // initializing)
Mathieu Chartierfbc31082016-01-24 11:59:56 -080062 DCHECK(IsLoaded<kVerifyFlags>() ||
63 IsErroneous<kVerifyFlags>() ||
64 !Runtime::Current()->IsStarted()) << IsLoaded();
Andreas Gampe98104992018-10-16 12:49:47 -070065 return ObjPtr<Class>(GetFieldObject<Class, kVerifyFlags, kReadBarrierOption>(
66 OFFSET_OF_OBJECT_MEMBER(Class, super_class_)));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080067}
68
Roland Levillain8ca4e4e2017-02-03 15:12:38 +000069inline void Class::SetSuperClass(ObjPtr<Class> new_super_class) {
70 // Super class is assigned once, except during class linker initialization.
71 if (kIsDebugBuild) {
72 ObjPtr<Class> old_super_class =
73 GetFieldObject<Class>(OFFSET_OF_OBJECT_MEMBER(Class, super_class_));
74 DCHECK(old_super_class == nullptr || old_super_class == new_super_class);
75 }
76 DCHECK(new_super_class != nullptr);
77 SetFieldObject<false>(OFFSET_OF_OBJECT_MEMBER(Class, super_class_), new_super_class);
78}
79
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +000080template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Ian Rogersef7d42f2014-01-06 12:55:46 -080081inline ClassLoader* Class::GetClassLoader() {
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +000082 return GetFieldObject<ClassLoader, kVerifyFlags, kReadBarrierOption>(
83 OFFSET_OF_OBJECT_MEMBER(Class, class_loader_));
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070084}
85
Mathieu Chartier137cdfa2017-01-26 14:03:11 -080086template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Alex Light4f2e9572017-03-16 13:13:31 -070087inline ClassExt* Class::GetExtData() {
88 return GetFieldObject<ClassExt, kVerifyFlags, kReadBarrierOption>(
89 OFFSET_OF_OBJECT_MEMBER(Class, ext_data_));
90}
91
92template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Ian Rogersef7d42f2014-01-06 12:55:46 -080093inline DexCache* Class::GetDexCache() {
Mathieu Chartier137cdfa2017-01-26 14:03:11 -080094 return GetFieldObject<DexCache, kVerifyFlags, kReadBarrierOption>(
95 OFFSET_OF_OBJECT_MEMBER(Class, dex_cache_));
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070096}
97
Alex Lighte64300b2015-12-15 15:02:47 -080098inline uint32_t Class::GetCopiedMethodsStartOffset() {
Roland Levillain6680e332017-04-24 16:27:43 +010099 // Object::GetFieldShort returns an int16_t value, but
100 // Class::copied_methods_offset_ is an uint16_t value; cast the
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100101 // latter to uint16_t before returning it as an uint32_t value, so
Roland Levillain6680e332017-04-24 16:27:43 +0100102 // that uint16_t values between 2^15 and 2^16-1 are correctly
103 // handled.
104 return static_cast<uint16_t>(
105 GetFieldShort(OFFSET_OF_OBJECT_MEMBER(Class, copied_methods_offset_)));
Alex Lighte64300b2015-12-15 15:02:47 -0800106}
107
108inline uint32_t Class::GetDirectMethodsStartOffset() {
109 return 0;
110}
111
112inline uint32_t Class::GetVirtualMethodsStartOffset() {
Roland Levillain6680e332017-04-24 16:27:43 +0100113 // Object::GetFieldShort returns an int16_t value, but
114 // Class::virtual_method_offset_ is an uint16_t value; cast the
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100115 // latter to uint16_t before returning it as an uint32_t value, so
Roland Levillain6680e332017-04-24 16:27:43 +0100116 // that uint16_t values between 2^15 and 2^16-1 are correctly
117 // handled.
118 return static_cast<uint16_t>(
119 GetFieldShort(OFFSET_OF_OBJECT_MEMBER(Class, virtual_methods_offset_)));
Alex Lighte64300b2015-12-15 15:02:47 -0800120}
121
122template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700123inline ArraySlice<ArtMethod> Class::GetDirectMethodsSlice(PointerSize pointer_size) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800124 DCHECK(IsLoaded() || IsErroneous());
Alex Lighte64300b2015-12-15 15:02:47 -0800125 return GetDirectMethodsSliceUnchecked(pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800126}
127
Andreas Gampe542451c2016-07-26 09:02:02 -0700128inline ArraySlice<ArtMethod> Class::GetDirectMethodsSliceUnchecked(PointerSize pointer_size) {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700129 return GetMethodsSliceRangeUnchecked(GetMethodsPtr(),
130 pointer_size,
Vladimir Marko9ac77492017-06-14 18:07:03 +0100131 GetDirectMethodsStartOffset(),
132 GetVirtualMethodsStartOffset());
Alex Lighte64300b2015-12-15 15:02:47 -0800133}
134
135template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700136inline ArraySlice<ArtMethod> Class::GetDeclaredMethodsSlice(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800137 DCHECK(IsLoaded() || IsErroneous());
Alex Lighte64300b2015-12-15 15:02:47 -0800138 return GetDeclaredMethodsSliceUnchecked(pointer_size);
139}
140
Andreas Gampe542451c2016-07-26 09:02:02 -0700141inline ArraySlice<ArtMethod> Class::GetDeclaredMethodsSliceUnchecked(PointerSize pointer_size) {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700142 return GetMethodsSliceRangeUnchecked(GetMethodsPtr(),
143 pointer_size,
Vladimir Marko9ac77492017-06-14 18:07:03 +0100144 GetDirectMethodsStartOffset(),
145 GetCopiedMethodsStartOffset());
Alex Lighte64300b2015-12-15 15:02:47 -0800146}
Roland Levillaind32ead22018-05-30 17:38:21 +0100147
Alex Lighte64300b2015-12-15 15:02:47 -0800148template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700149inline ArraySlice<ArtMethod> Class::GetDeclaredVirtualMethodsSlice(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800150 DCHECK(IsLoaded() || IsErroneous());
Alex Lighte64300b2015-12-15 15:02:47 -0800151 return GetDeclaredVirtualMethodsSliceUnchecked(pointer_size);
152}
153
Andreas Gampe542451c2016-07-26 09:02:02 -0700154inline ArraySlice<ArtMethod> Class::GetDeclaredVirtualMethodsSliceUnchecked(
155 PointerSize pointer_size) {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700156 return GetMethodsSliceRangeUnchecked(GetMethodsPtr(),
157 pointer_size,
Vladimir Marko9ac77492017-06-14 18:07:03 +0100158 GetVirtualMethodsStartOffset(),
159 GetCopiedMethodsStartOffset());
Alex Lighte64300b2015-12-15 15:02:47 -0800160}
161
162template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700163inline ArraySlice<ArtMethod> Class::GetVirtualMethodsSlice(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800164 DCHECK(IsLoaded() || IsErroneous());
Alex Lighte64300b2015-12-15 15:02:47 -0800165 return GetVirtualMethodsSliceUnchecked(pointer_size);
166}
167
Andreas Gampe542451c2016-07-26 09:02:02 -0700168inline ArraySlice<ArtMethod> Class::GetVirtualMethodsSliceUnchecked(PointerSize pointer_size) {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700169 LengthPrefixedArray<ArtMethod>* methods = GetMethodsPtr();
170 return GetMethodsSliceRangeUnchecked(methods,
171 pointer_size,
Vladimir Marko9ac77492017-06-14 18:07:03 +0100172 GetVirtualMethodsStartOffset(),
Mathieu Chartier2466d622017-09-26 13:52:26 -0700173 NumMethods(methods));
Alex Lighte64300b2015-12-15 15:02:47 -0800174}
175
176template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700177inline ArraySlice<ArtMethod> Class::GetCopiedMethodsSlice(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800178 DCHECK(IsLoaded() || IsErroneous());
Alex Lighte64300b2015-12-15 15:02:47 -0800179 return GetCopiedMethodsSliceUnchecked(pointer_size);
180}
181
Andreas Gampe542451c2016-07-26 09:02:02 -0700182inline ArraySlice<ArtMethod> Class::GetCopiedMethodsSliceUnchecked(PointerSize pointer_size) {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700183 LengthPrefixedArray<ArtMethod>* methods = GetMethodsPtr();
184 return GetMethodsSliceRangeUnchecked(methods,
185 pointer_size,
186 GetCopiedMethodsStartOffset(),
187 NumMethods(methods));
Alex Lighte64300b2015-12-15 15:02:47 -0800188}
189
190inline LengthPrefixedArray<ArtMethod>* Class::GetMethodsPtr() {
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700191 return reinterpret_cast<LengthPrefixedArray<ArtMethod>*>(
Mathieu Chartierf4b3dba2016-01-26 20:11:06 -0800192 static_cast<uintptr_t>(GetField64(OFFSET_OF_OBJECT_MEMBER(Class, methods_))));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800193}
194
Alex Lighte64300b2015-12-15 15:02:47 -0800195template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700196inline ArraySlice<ArtMethod> Class::GetMethodsSlice(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800197 DCHECK(IsLoaded() || IsErroneous());
Mathieu Chartier2466d622017-09-26 13:52:26 -0700198 LengthPrefixedArray<ArtMethod>* methods = GetMethodsPtr();
199 return GetMethodsSliceRangeUnchecked(methods, pointer_size, 0, NumMethods(methods));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800200}
201
Mathieu Chartier2466d622017-09-26 13:52:26 -0700202inline ArraySlice<ArtMethod> Class::GetMethodsSliceRangeUnchecked(
203 LengthPrefixedArray<ArtMethod>* methods,
204 PointerSize pointer_size,
205 uint32_t start_offset,
206 uint32_t end_offset) {
Vladimir Marko9ac77492017-06-14 18:07:03 +0100207 DCHECK_LE(start_offset, end_offset);
Mathieu Chartier2466d622017-09-26 13:52:26 -0700208 DCHECK_LE(end_offset, NumMethods(methods));
Vladimir Marko9ac77492017-06-14 18:07:03 +0100209 uint32_t size = end_offset - start_offset;
210 if (size == 0u) {
211 return ArraySlice<ArtMethod>();
212 }
Vladimir Marko9ac77492017-06-14 18:07:03 +0100213 DCHECK(methods != nullptr);
214 DCHECK_LE(end_offset, methods->size());
215 size_t method_size = ArtMethod::Size(pointer_size);
216 size_t method_alignment = ArtMethod::Alignment(pointer_size);
217 ArraySlice<ArtMethod> slice(&methods->At(0u, method_size, method_alignment),
218 methods->size(),
219 method_size);
220 return slice.SubArray(start_offset, size);
221}
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800222
Alex Lighte64300b2015-12-15 15:02:47 -0800223inline uint32_t Class::NumMethods() {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700224 return NumMethods(GetMethodsPtr());
225}
226
227inline uint32_t Class::NumMethods(LengthPrefixedArray<ArtMethod>* methods) {
Alex Lighte64300b2015-12-15 15:02:47 -0800228 return (methods == nullptr) ? 0 : methods->size();
Mathieu Chartiere401d142015-04-22 13:56:20 -0700229}
230
Andreas Gampe542451c2016-07-26 09:02:02 -0700231inline ArtMethod* Class::GetDirectMethodUnchecked(size_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700232 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100233 return &GetDirectMethodsSliceUnchecked(pointer_size)[i];
Mathieu Chartiere401d142015-04-22 13:56:20 -0700234}
235
Andreas Gampe542451c2016-07-26 09:02:02 -0700236inline ArtMethod* Class::GetDirectMethod(size_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700237 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100238 return &GetDirectMethodsSlice(pointer_size)[i];
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800239}
240
Alex Lighte64300b2015-12-15 15:02:47 -0800241inline void Class::SetMethodsPtr(LengthPrefixedArray<ArtMethod>* new_methods,
242 uint32_t num_direct,
243 uint32_t num_virtual) {
244 DCHECK(GetMethodsPtr() == nullptr);
245 SetMethodsPtrUnchecked(new_methods, num_direct, num_virtual);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800246}
247
Alex Lighte64300b2015-12-15 15:02:47 -0800248
249inline void Class::SetMethodsPtrUnchecked(LengthPrefixedArray<ArtMethod>* new_methods,
250 uint32_t num_direct,
251 uint32_t num_virtual) {
252 DCHECK_LE(num_direct + num_virtual, (new_methods == nullptr) ? 0 : new_methods->size());
Vladimir Marko924ad502018-09-19 09:48:04 +0100253 SetField64<false>(OFFSET_OF_OBJECT_MEMBER(Class, methods_),
254 static_cast<uint64_t>(reinterpret_cast<uintptr_t>(new_methods)));
Alex Lighte64300b2015-12-15 15:02:47 -0800255 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
Mathieu Chartier4e305412014-02-19 10:54:44 -0800261template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700262inline ArtMethod* Class::GetVirtualMethod(size_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700263 CheckPointerSize(pointer_size);
Hiroshi Yamauchif4c15a12014-10-20 16:56:58 -0700264 DCHECK(IsResolved<kVerifyFlags>() || IsErroneous<kVerifyFlags>())
David Sehr709b0702016-10-13 09:12:37 -0700265 << Class::PrettyClass() << " status=" << GetStatus();
Mathieu Chartiere401d142015-04-22 13:56:20 -0700266 return GetVirtualMethodUnchecked(i, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800267}
268
Andreas Gampe542451c2016-07-26 09:02:02 -0700269inline ArtMethod* Class::GetVirtualMethodDuringLinking(size_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700270 CheckPointerSize(pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800271 DCHECK(IsLoaded() || IsErroneous());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700272 return GetVirtualMethodUnchecked(i, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800273}
274
Andreas Gampe542451c2016-07-26 09:02:02 -0700275inline ArtMethod* Class::GetVirtualMethodUnchecked(size_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700276 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100277 return &GetVirtualMethodsSliceUnchecked(pointer_size)[i];
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800278}
279
Roland Levillaind32ead22018-05-30 17:38:21 +0100280template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700281inline PointerArray* Class::GetVTable() {
Mingyao Yang063fc772016-08-02 11:02:54 -0700282 DCHECK(IsLoaded<kVerifyFlags>() || IsErroneous<kVerifyFlags>());
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800283 return GetFieldObject<PointerArray, kVerifyFlags, kReadBarrierOption>(
284 OFFSET_OF_OBJECT_MEMBER(Class, vtable_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800285}
286
Mathieu Chartiere401d142015-04-22 13:56:20 -0700287inline PointerArray* Class::GetVTableDuringLinking() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800288 DCHECK(IsLoaded() || IsErroneous());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700289 return GetFieldObject<PointerArray>(OFFSET_OF_OBJECT_MEMBER(Class, vtable_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800290}
291
Vladimir Markobcf17522018-06-01 13:14:32 +0100292inline void Class::SetVTable(ObjPtr<PointerArray> new_vtable) {
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700293 SetFieldObject<false>(OFFSET_OF_OBJECT_MEMBER(Class, vtable_), new_vtable);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800294}
295
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700296inline bool Class::HasVTable() {
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000297 return GetVTable() != nullptr || ShouldHaveEmbeddedVTable();
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700298}
299
Roland Levillaind32ead22018-05-30 17:38:21 +0100300template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700301inline int32_t Class::GetVTableLength() {
Vladimir Marko98db89c2018-09-07 11:45:46 +0100302 if (ShouldHaveEmbeddedVTable<kVerifyFlags>()) {
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700303 return GetEmbeddedVTableLength();
304 }
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300305 return GetVTable<kVerifyFlags, kReadBarrierOption>() != nullptr ?
306 GetVTable<kVerifyFlags, kReadBarrierOption>()->GetLength() : 0;
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700307}
308
Roland Levillaind32ead22018-05-30 17:38:21 +0100309template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Andreas Gampe542451c2016-07-26 09:02:02 -0700310inline ArtMethod* Class::GetVTableEntry(uint32_t i, PointerSize pointer_size) {
Vladimir Marko98db89c2018-09-07 11:45:46 +0100311 if (ShouldHaveEmbeddedVTable<kVerifyFlags>()) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700312 return GetEmbeddedVTableEntry(i, pointer_size);
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700313 }
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300314 auto* vtable = GetVTable<kVerifyFlags, kReadBarrierOption>();
Mathieu Chartiere401d142015-04-22 13:56:20 -0700315 DCHECK(vtable != nullptr);
Roland Levillaind32ead22018-05-30 17:38:21 +0100316 return vtable->template GetElementPtrSize<ArtMethod*, kVerifyFlags, kReadBarrierOption>(
317 i, pointer_size);
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700318}
319
Vladimir Marko98db89c2018-09-07 11:45:46 +0100320template<VerifyObjectFlags kVerifyFlags>
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700321inline int32_t Class::GetEmbeddedVTableLength() {
Vladimir Marko98db89c2018-09-07 11:45:46 +0100322 return GetField32<kVerifyFlags>(MemberOffset(EmbeddedVTableLengthOffset()));
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700323}
324
325inline void Class::SetEmbeddedVTableLength(int32_t len) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700326 SetField32<false>(MemberOffset(EmbeddedVTableLengthOffset()), len);
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700327}
328
Andreas Gampe542451c2016-07-26 09:02:02 -0700329inline ImTable* Class::GetImt(PointerSize pointer_size) {
Vladimir Markoca8de0a2018-07-04 11:56:08 +0100330 return GetFieldPtrWithSize<ImTable*>(ImtPtrOffset(pointer_size), pointer_size);
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000331}
332
Andreas Gampe542451c2016-07-26 09:02:02 -0700333inline void Class::SetImt(ImTable* imt, PointerSize pointer_size) {
Vladimir Markoca8de0a2018-07-04 11:56:08 +0100334 return SetFieldPtrWithSize<false>(ImtPtrOffset(pointer_size), imt, pointer_size);
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000335}
336
Andreas Gampe542451c2016-07-26 09:02:02 -0700337inline MemberOffset Class::EmbeddedVTableEntryOffset(uint32_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700338 return MemberOffset(
339 EmbeddedVTableOffset(pointer_size).Uint32Value() + i * VTableEntrySize(pointer_size));
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700340}
341
Andreas Gampe542451c2016-07-26 09:02:02 -0700342inline ArtMethod* Class::GetEmbeddedVTableEntry(uint32_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700343 return GetFieldPtrWithSize<ArtMethod*>(EmbeddedVTableEntryOffset(i, pointer_size), pointer_size);
344}
345
346inline void Class::SetEmbeddedVTableEntryUnchecked(
Andreas Gampe542451c2016-07-26 09:02:02 -0700347 uint32_t i, ArtMethod* method, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700348 SetFieldPtrWithSize<false>(EmbeddedVTableEntryOffset(i, pointer_size), method, pointer_size);
349}
350
Andreas Gampe542451c2016-07-26 09:02:02 -0700351inline void Class::SetEmbeddedVTableEntry(uint32_t i, ArtMethod* method, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700352 auto* vtable = GetVTableDuringLinking();
353 CHECK_EQ(method, vtable->GetElementPtrSize<ArtMethod*>(i, pointer_size));
354 SetEmbeddedVTableEntryUnchecked(i, method, pointer_size);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700355}
356
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700357inline bool Class::Implements(ObjPtr<Class> klass) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700358 DCHECK(klass != nullptr);
David Sehr709b0702016-10-13 09:12:37 -0700359 DCHECK(klass->IsInterface()) << PrettyClass();
Ian Rogers693ff612013-02-01 10:56:12 -0800360 // All interfaces implemented directly and by our superclass, and
361 // recursively all super-interfaces of those interfaces, are listed
362 // in iftable_, so we can just do a linear scan through that.
363 int32_t iftable_count = GetIfTableCount();
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700364 ObjPtr<IfTable> iftable = GetIfTable();
Ian Rogers693ff612013-02-01 10:56:12 -0800365 for (int32_t i = 0; i < iftable_count; i++) {
366 if (iftable->GetInterface(i) == klass) {
367 return true;
368 }
369 }
370 return false;
371}
372
Vladimir Marko98db89c2018-09-07 11:45:46 +0100373template<VerifyObjectFlags kVerifyFlags>
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800374inline bool Class::IsVariableSize() {
375 // Classes, arrays, and strings vary in size, and so the object_size_ field cannot
376 // be used to Get their instance size
Mathieu Chartierd7a7f2f2018-09-07 11:57:18 -0700377 return IsClassClass<kVerifyFlags>() ||
Vladimir Marko98db89c2018-09-07 11:45:46 +0100378 IsArrayClass<kVerifyFlags>() ||
379 IsStringClass<kVerifyFlags>();
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800380}
381
382inline void Class::SetObjectSize(uint32_t new_object_size) {
383 DCHECK(!IsVariableSize());
384 // Not called within a transaction.
385 return SetField32<false>(OFFSET_OF_OBJECT_MEMBER(Class, object_size_), new_object_size);
386}
387
Ian Rogers693ff612013-02-01 10:56:12 -0800388// Determine whether "this" is assignable from "src", where both of these
389// are array classes.
390//
391// Consider an array class, e.g. Y[][], where Y is a subclass of X.
392// Y[][] = Y[][] --> true (identity)
393// X[][] = Y[][] --> true (element superclass)
394// Y = Y[][] --> false
395// Y[] = Y[][] --> false
396// Object = Y[][] --> true (everything is an object)
397// Object[] = Y[][] --> true
398// Object[][] = Y[][] --> true
399// Object[][][] = Y[][] --> false (too many []s)
400// Serializable = Y[][] --> true (all arrays are Serializable)
401// Serializable[] = Y[][] --> true
402// Serializable[][] = Y[][] --> false (unless Y is Serializable)
403//
404// Don't forget about primitive types.
405// Object[] = int[] --> false
406//
Mathieu Chartier3398c782016-09-30 10:27:43 -0700407inline bool Class::IsArrayAssignableFromArray(ObjPtr<Class> src) {
Roland Levillaind32ead22018-05-30 17:38:21 +0100408 DCHECK(IsArrayClass()) << PrettyClass();
David Sehr709b0702016-10-13 09:12:37 -0700409 DCHECK(src->IsArrayClass()) << src->PrettyClass();
Ian Rogers693ff612013-02-01 10:56:12 -0800410 return GetComponentType()->IsAssignableFrom(src->GetComponentType());
411}
412
Mathieu Chartier3398c782016-09-30 10:27:43 -0700413inline bool Class::IsAssignableFromArray(ObjPtr<Class> src) {
David Sehr709b0702016-10-13 09:12:37 -0700414 DCHECK(!IsInterface()) << PrettyClass(); // handled first in IsAssignableFrom
415 DCHECK(src->IsArrayClass()) << src->PrettyClass();
Ian Rogers693ff612013-02-01 10:56:12 -0800416 if (!IsArrayClass()) {
417 // If "this" is not also an array, it must be Object.
418 // src's super should be java_lang_Object, since it is an array.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700419 ObjPtr<Class> java_lang_Object = src->GetSuperClass();
David Sehr709b0702016-10-13 09:12:37 -0700420 DCHECK(java_lang_Object != nullptr) << src->PrettyClass();
421 DCHECK(java_lang_Object->GetSuperClass() == nullptr) << src->PrettyClass();
Ian Rogers693ff612013-02-01 10:56:12 -0800422 return this == java_lang_Object;
423 }
424 return IsArrayAssignableFromArray(src);
425}
426
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100427template <bool throw_on_failure>
Mathieu Chartierb8901302016-09-30 10:27:43 -0700428inline bool Class::ResolvedFieldAccessTest(ObjPtr<Class> access_to,
Mathieu Chartier3398c782016-09-30 10:27:43 -0700429 ArtField* field,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100430 ObjPtr<DexCache> dex_cache,
431 uint32_t field_idx) {
432 DCHECK(dex_cache != nullptr);
Vladimir Marko23a28212014-01-09 19:24:37 +0000433 if (UNLIKELY(!this->CanAccess(access_to))) {
434 // The referrer class can't access the field's declaring class but may still be able
435 // to access the field if the FieldId specifies an accessible subclass of the declaring
436 // class rather than the declaring class itself.
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100437 dex::TypeIndex class_idx = dex_cache->GetDexFile()->GetFieldId(field_idx).class_idx_;
Mathieu Chartier279ac5c2016-09-08 17:34:25 -0700438 // The referenced class has already been resolved with the field, but may not be in the dex
Mathieu Chartierb8901302016-09-30 10:27:43 -0700439 // cache. Use LookupResolveType here to search the class table if it is not in the dex cache.
Mathieu Chartier279ac5c2016-09-08 17:34:25 -0700440 // should be no thread suspension due to the class being resolved.
Mathieu Chartierb8901302016-09-30 10:27:43 -0700441 ObjPtr<Class> dex_access_to = Runtime::Current()->GetClassLinker()->LookupResolvedType(
Mathieu Chartierb8901302016-09-30 10:27:43 -0700442 class_idx,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100443 dex_cache,
Mathieu Chartierb8901302016-09-30 10:27:43 -0700444 access_to->GetClassLoader());
Vladimir Marko23a28212014-01-09 19:24:37 +0000445 DCHECK(dex_access_to != nullptr);
446 if (UNLIKELY(!this->CanAccess(dex_access_to))) {
447 if (throw_on_failure) {
Mathieu Chartier6b3d12b2016-10-13 13:59:58 -0700448 ThrowIllegalAccessErrorClass(this, dex_access_to);
Vladimir Marko23a28212014-01-09 19:24:37 +0000449 }
450 return false;
451 }
Vladimir Marko23a28212014-01-09 19:24:37 +0000452 }
453 if (LIKELY(this->CanAccessMember(access_to, field->GetAccessFlags()))) {
454 return true;
455 }
456 if (throw_on_failure) {
457 ThrowIllegalAccessErrorField(this, field);
458 }
459 return false;
460}
461
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100462template <bool throw_on_failure>
Mathieu Chartierb8901302016-09-30 10:27:43 -0700463inline bool Class::ResolvedMethodAccessTest(ObjPtr<Class> access_to,
464 ArtMethod* method,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100465 ObjPtr<DexCache> dex_cache,
Mathieu Chartierb8901302016-09-30 10:27:43 -0700466 uint32_t method_idx,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100467 InvokeType throw_invoke_type) {
468 DCHECK(throw_on_failure || throw_invoke_type == kStatic);
469 DCHECK(dex_cache != nullptr);
Vladimir Marko23a28212014-01-09 19:24:37 +0000470 if (UNLIKELY(!this->CanAccess(access_to))) {
471 // The referrer class can't access the method's declaring class but may still be able
472 // to access the method if the MethodId specifies an accessible subclass of the declaring
473 // class rather than the declaring class itself.
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100474 dex::TypeIndex class_idx = dex_cache->GetDexFile()->GetMethodId(method_idx).class_idx_;
Mathieu Chartier279ac5c2016-09-08 17:34:25 -0700475 // The referenced class has already been resolved with the method, but may not be in the dex
Mathieu Chartierb8901302016-09-30 10:27:43 -0700476 // cache.
477 ObjPtr<Class> dex_access_to = Runtime::Current()->GetClassLinker()->LookupResolvedType(
Mathieu Chartierb8901302016-09-30 10:27:43 -0700478 class_idx,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100479 dex_cache,
Mathieu Chartierb8901302016-09-30 10:27:43 -0700480 access_to->GetClassLoader());
Vladimir Marko23a28212014-01-09 19:24:37 +0000481 DCHECK(dex_access_to != nullptr);
482 if (UNLIKELY(!this->CanAccess(dex_access_to))) {
483 if (throw_on_failure) {
Mathieu Chartierb8901302016-09-30 10:27:43 -0700484 ThrowIllegalAccessErrorClassForMethodDispatch(this,
Vladimir Markobcf17522018-06-01 13:14:32 +0100485 dex_access_to,
Mathieu Chartierb8901302016-09-30 10:27:43 -0700486 method,
487 throw_invoke_type);
Vladimir Marko23a28212014-01-09 19:24:37 +0000488 }
489 return false;
490 }
Vladimir Marko23a28212014-01-09 19:24:37 +0000491 }
492 if (LIKELY(this->CanAccessMember(access_to, method->GetAccessFlags()))) {
493 return true;
494 }
495 if (throw_on_failure) {
496 ThrowIllegalAccessErrorMethod(this, method);
497 }
498 return false;
499}
500
Mathieu Chartier3398c782016-09-30 10:27:43 -0700501inline bool Class::CanAccessResolvedField(ObjPtr<Class> access_to,
502 ArtField* field,
503 ObjPtr<DexCache> dex_cache,
504 uint32_t field_idx) {
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100505 return ResolvedFieldAccessTest<false>(access_to, field, dex_cache, field_idx);
Vladimir Marko89786432014-01-31 15:03:55 +0000506}
507
Mathieu Chartier3398c782016-09-30 10:27:43 -0700508inline bool Class::CheckResolvedFieldAccess(ObjPtr<Class> access_to,
509 ArtField* field,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100510 ObjPtr<DexCache> dex_cache,
Vladimir Marko89786432014-01-31 15:03:55 +0000511 uint32_t field_idx) {
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100512 return ResolvedFieldAccessTest<true>(access_to, field, dex_cache, field_idx);
Vladimir Marko89786432014-01-31 15:03:55 +0000513}
514
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700515inline bool Class::CanAccessResolvedMethod(ObjPtr<Class> access_to,
516 ArtMethod* method,
517 ObjPtr<DexCache> dex_cache,
518 uint32_t method_idx) {
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100519 return ResolvedMethodAccessTest<false>(access_to, method, dex_cache, method_idx, kStatic);
Vladimir Marko89786432014-01-31 15:03:55 +0000520}
521
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700522inline bool Class::CheckResolvedMethodAccess(ObjPtr<Class> access_to,
523 ArtMethod* method,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100524 ObjPtr<DexCache> dex_cache,
525 uint32_t method_idx,
526 InvokeType throw_invoke_type) {
527 return ResolvedMethodAccessTest<true>(
528 access_to, method, dex_cache, method_idx, throw_invoke_type);
Vladimir Marko89786432014-01-31 15:03:55 +0000529}
530
Mathieu Chartier3398c782016-09-30 10:27:43 -0700531inline bool Class::IsSubClass(ObjPtr<Class> klass) {
Igor Murashkin86083f72017-10-27 10:59:04 -0700532 // Since the SubtypeCheck::IsSubtypeOf needs to lookup the Depth,
533 // it is always O(Depth) in terms of speed to do the check.
534 //
535 // So always do the "slow" linear scan in normal release builds.
536 //
537 // Future note: If we could have the depth in O(1) we could use the 'fast'
538 // method instead as it avoids a loop and a read barrier.
539 bool result = false;
David Sehr709b0702016-10-13 09:12:37 -0700540 DCHECK(!IsInterface()) << PrettyClass();
541 DCHECK(!IsArrayClass()) << PrettyClass();
Mathieu Chartier3398c782016-09-30 10:27:43 -0700542 ObjPtr<Class> current = this;
Ian Rogers693ff612013-02-01 10:56:12 -0800543 do {
544 if (current == klass) {
Igor Murashkin86083f72017-10-27 10:59:04 -0700545 result = true;
546 break;
Ian Rogers693ff612013-02-01 10:56:12 -0800547 }
548 current = current->GetSuperClass();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700549 } while (current != nullptr);
Igor Murashkin86083f72017-10-27 10:59:04 -0700550
Vladimir Marko305c38b2018-02-14 11:50:07 +0000551 if (kIsDebugBuild && kBitstringSubtypeCheckEnabled) {
Igor Murashkin86083f72017-10-27 10:59:04 -0700552 ObjPtr<mirror::Class> dis(this);
553
554 SubtypeCheckInfo::Result sc_result = SubtypeCheck<ObjPtr<Class>>::IsSubtypeOf(dis, klass);
555 if (sc_result != SubtypeCheckInfo::kUnknownSubtypeOf) {
556 // Note: The "kUnknownSubTypeOf" can be avoided if and only if:
557 // SubtypeCheck::EnsureInitialized(source)
558 // happens-before source.IsSubClass(target)
559 // SubtypeCheck::EnsureAssigned(target).GetState() == Assigned
560 // happens-before source.IsSubClass(target)
561 //
562 // When code generated by optimizing compiler executes this operation, both
563 // happens-before are guaranteed, so there is no fallback code there.
564 SubtypeCheckInfo::Result expected_result =
565 result ? SubtypeCheckInfo::kSubtypeOf : SubtypeCheckInfo::kNotSubtypeOf;
566 DCHECK_EQ(expected_result, sc_result)
567 << "source: " << PrettyClass() << "target: " << klass->PrettyClass();
568 }
569 }
570
571 return result;
Ian Rogers693ff612013-02-01 10:56:12 -0800572}
573
Andreas Gampe542451c2016-07-26 09:02:02 -0700574inline ArtMethod* Class::FindVirtualMethodForInterface(ArtMethod* method,
575 PointerSize pointer_size) {
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700576 ObjPtr<Class> declaring_class = method->GetDeclaringClass();
David Sehr709b0702016-10-13 09:12:37 -0700577 DCHECK(declaring_class != nullptr) << PrettyClass();
Vladimir Markoba118822017-06-12 15:41:56 +0100578 if (UNLIKELY(!declaring_class->IsInterface())) {
579 DCHECK(declaring_class->IsObjectClass()) << method->PrettyMethod();
580 DCHECK(method->IsPublic() && !method->IsStatic());
581 return FindVirtualMethodForVirtual(method, pointer_size);
582 }
Alex Light0f7e8f52016-07-19 11:21:32 -0700583 DCHECK(!method->IsCopied());
Ian Rogers693ff612013-02-01 10:56:12 -0800584 // TODO cache to improve lookup speed
Mathieu Chartiere401d142015-04-22 13:56:20 -0700585 const int32_t iftable_count = GetIfTableCount();
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700586 ObjPtr<IfTable> iftable = GetIfTable();
Ian Rogers693ff612013-02-01 10:56:12 -0800587 for (int32_t i = 0; i < iftable_count; i++) {
588 if (iftable->GetInterface(i) == declaring_class) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700589 return iftable->GetMethodArray(i)->GetElementPtrSize<ArtMethod*>(
590 method->GetMethodIndex(), pointer_size);
Ian Rogers693ff612013-02-01 10:56:12 -0800591 }
592 }
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700593 return nullptr;
Ian Rogers693ff612013-02-01 10:56:12 -0800594}
595
Andreas Gampe542451c2016-07-26 09:02:02 -0700596inline ArtMethod* Class::FindVirtualMethodForVirtual(ArtMethod* method, PointerSize pointer_size) {
Alex Lighteb7c1442015-08-31 13:17:42 -0700597 // Only miranda or default methods may come from interfaces and be used as a virtual.
598 DCHECK(!method->GetDeclaringClass()->IsInterface() || method->IsDefault() || method->IsMiranda());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800599 // The argument method may from a super class.
600 // Use the index to a potentially overridden one for this instance's class.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700601 return GetVTableEntry(method->GetMethodIndex(), pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800602}
603
Andreas Gampe542451c2016-07-26 09:02:02 -0700604inline ArtMethod* Class::FindVirtualMethodForSuper(ArtMethod* method, PointerSize pointer_size) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800605 DCHECK(!method->GetDeclaringClass()->IsInterface());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700606 return GetSuperClass()->GetVTableEntry(method->GetMethodIndex(), pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800607}
608
Mathieu Chartiere401d142015-04-22 13:56:20 -0700609inline ArtMethod* Class::FindVirtualMethodForVirtualOrInterface(ArtMethod* method,
Andreas Gampe542451c2016-07-26 09:02:02 -0700610 PointerSize pointer_size) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800611 if (method->IsDirect()) {
612 return method;
613 }
Alex Light36121492016-02-22 13:43:29 -0800614 if (method->GetDeclaringClass()->IsInterface() && !method->IsCopied()) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700615 return FindVirtualMethodForInterface(method, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800616 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700617 return FindVirtualMethodForVirtual(method, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800618}
619
Roland Levillaind32ead22018-05-30 17:38:21 +0100620template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Ian Rogersef7d42f2014-01-06 12:55:46 -0800621inline IfTable* Class::GetIfTable() {
Mathieu Chartier6beced42016-11-15 15:51:31 -0800622 ObjPtr<IfTable> ret = GetFieldObject<IfTable, kVerifyFlags, kReadBarrierOption>(IfTableOffset());
623 DCHECK(ret != nullptr) << PrettyClass(this);
624 return ret.Ptr();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800625}
626
Roland Levillaind32ead22018-05-30 17:38:21 +0100627template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Ian Rogersef7d42f2014-01-06 12:55:46 -0800628inline int32_t Class::GetIfTableCount() {
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300629 return GetIfTable<kVerifyFlags, kReadBarrierOption>()->Count();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800630}
631
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700632inline void Class::SetIfTable(ObjPtr<IfTable> new_iftable) {
Mathieu Chartier6beced42016-11-15 15:51:31 -0800633 DCHECK(new_iftable != nullptr) << PrettyClass(this);
Mathieu Chartier2ecfd272016-11-01 10:10:05 -0700634 SetFieldObject<false>(IfTableOffset(), new_iftable);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800635}
636
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700637inline LengthPrefixedArray<ArtField>* Class::GetIFieldsPtr() {
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800638 DCHECK(IsLoaded() || IsErroneous()) << GetStatus();
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700639 return GetFieldPtr<LengthPrefixedArray<ArtField>*>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800640}
641
Hiroshi Yamauchi5496f692016-02-17 13:29:59 -0800642template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Vladimir Marko76649e82014-11-10 18:32:59 +0000643inline MemberOffset Class::GetFirstReferenceInstanceFieldOffset() {
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700644 ObjPtr<Class> super_class = GetSuperClass<kVerifyFlags, kReadBarrierOption>();
Vladimir Marko76649e82014-11-10 18:32:59 +0000645 return (super_class != nullptr)
Vladimir Marko98db89c2018-09-07 11:45:46 +0100646 ? MemberOffset(RoundUp(super_class->GetObjectSize<kVerifyFlags>(), kHeapReferenceSize))
Vladimir Marko76649e82014-11-10 18:32:59 +0000647 : ClassOffset();
648}
649
Vladimir Marko98db89c2018-09-07 11:45:46 +0100650template <VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700651inline MemberOffset Class::GetFirstReferenceStaticFieldOffset(PointerSize pointer_size) {
Vladimir Marko98db89c2018-09-07 11:45:46 +0100652 DCHECK(IsResolved<kVerifyFlags>());
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700653 uint32_t base = sizeof(Class); // Static fields come after the class.
Vladimir Marko98db89c2018-09-07 11:45:46 +0100654 if (ShouldHaveEmbeddedVTable<kVerifyFlags>()) {
Vladimir Marko76649e82014-11-10 18:32:59 +0000655 // Static fields come after the embedded tables.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700656 base = Class::ComputeClassSize(
Vladimir Marko98db89c2018-09-07 11:45:46 +0100657 true, GetEmbeddedVTableLength<kVerifyFlags>(), 0, 0, 0, 0, 0, pointer_size);
Vladimir Marko76649e82014-11-10 18:32:59 +0000658 }
659 return MemberOffset(base);
660}
661
Andreas Gampe542451c2016-07-26 09:02:02 -0700662inline MemberOffset Class::GetFirstReferenceStaticFieldOffsetDuringLinking(
663 PointerSize pointer_size) {
Vladimir Marko76649e82014-11-10 18:32:59 +0000664 DCHECK(IsLoaded());
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700665 uint32_t base = sizeof(Class); // Static fields come after the class.
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000666 if (ShouldHaveEmbeddedVTable()) {
Vladimir Marko76649e82014-11-10 18:32:59 +0000667 // Static fields come after the embedded tables.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700668 base = Class::ComputeClassSize(true, GetVTableDuringLinking()->GetLength(),
Mathieu Chartiere401d142015-04-22 13:56:20 -0700669 0, 0, 0, 0, 0, pointer_size);
Vladimir Marko76649e82014-11-10 18:32:59 +0000670 }
671 return MemberOffset(base);
672}
673
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700674inline void Class::SetIFieldsPtr(LengthPrefixedArray<ArtField>* new_ifields) {
675 DCHECK(GetIFieldsPtrUnchecked() == nullptr);
Mathieu Chartierc7853442015-03-27 14:35:38 -0700676 return SetFieldPtr<false>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_), new_ifields);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800677}
678
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700679inline void Class::SetIFieldsPtrUnchecked(LengthPrefixedArray<ArtField>* new_ifields) {
Mathieu Chartierc7853442015-03-27 14:35:38 -0700680 SetFieldPtr<false, true, kVerifyNone>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_), new_ifields);
681}
682
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700683inline LengthPrefixedArray<ArtField>* Class::GetSFieldsPtrUnchecked() {
684 return GetFieldPtr<LengthPrefixedArray<ArtField>*>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_));
Mathieu Chartierc7853442015-03-27 14:35:38 -0700685}
686
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700687inline LengthPrefixedArray<ArtField>* Class::GetIFieldsPtrUnchecked() {
688 return GetFieldPtr<LengthPrefixedArray<ArtField>*>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_));
Mathieu Chartierc7853442015-03-27 14:35:38 -0700689}
690
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700691inline LengthPrefixedArray<ArtField>* Class::GetSFieldsPtr() {
Mathieu Chartier987ca8b2015-03-15 14:19:14 -0700692 DCHECK(IsLoaded() || IsErroneous()) << GetStatus();
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700693 return GetSFieldsPtrUnchecked();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800694}
695
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700696inline void Class::SetSFieldsPtr(LengthPrefixedArray<ArtField>* new_sfields) {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700697 DCHECK((IsRetired() && new_sfields == nullptr) ||
Mathieu Chartierc7853442015-03-27 14:35:38 -0700698 GetFieldPtr<ArtField*>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_)) == nullptr);
699 SetFieldPtr<false>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_), new_sfields);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800700}
701
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700702inline void Class::SetSFieldsPtrUnchecked(LengthPrefixedArray<ArtField>* new_sfields) {
Mathieu Chartierc7853442015-03-27 14:35:38 -0700703 SetFieldPtr<false, true, kVerifyNone>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_), new_sfields);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800704}
705
Mathieu Chartierc7853442015-03-27 14:35:38 -0700706inline ArtField* Class::GetStaticField(uint32_t i) {
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700707 return &GetSFieldsPtr()->At(i);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800708}
709
Mathieu Chartierc7853442015-03-27 14:35:38 -0700710inline ArtField* Class::GetInstanceField(uint32_t i) {
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700711 return &GetIFieldsPtr()->At(i);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800712}
713
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700714template<VerifyObjectFlags kVerifyFlags>
715inline uint32_t Class::GetReferenceInstanceOffsets() {
716 DCHECK(IsResolved<kVerifyFlags>() || IsErroneous<kVerifyFlags>());
717 return GetField32<kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Class, reference_instance_offsets_));
718}
719
720inline void Class::SetClinitThreadId(pid_t new_clinit_thread_id) {
Chang Xing6d3e7682017-07-11 10:31:29 -0700721 SetField32Transaction(OFFSET_OF_OBJECT_MEMBER(Class, clinit_thread_id_), new_clinit_thread_id);
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700722}
723
Ian Rogersef7d42f2014-01-06 12:55:46 -0800724inline String* Class::GetName() {
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700725 return GetFieldObject<String>(OFFSET_OF_OBJECT_MEMBER(Class, name_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800726}
Mathieu Chartier52a7f5c2015-08-18 18:35:52 -0700727
Mathieu Chartier1a5337f2016-10-13 13:48:23 -0700728inline void Class::SetName(ObjPtr<String> name) {
Roland Levillaind32ead22018-05-30 17:38:21 +0100729 SetFieldObjectTransaction(OFFSET_OF_OBJECT_MEMBER(Class, name_), name);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800730}
731
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700732template<VerifyObjectFlags kVerifyFlags>
733inline Primitive::Type Class::GetPrimitiveType() {
Roland Levillain33d69032015-06-18 18:20:59 +0100734 static_assert(sizeof(Primitive::Type) == sizeof(int32_t),
735 "art::Primitive::Type and int32_t have different sizes.");
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700736 int32_t v32 = GetField32<kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Class, primitive_type_));
Mathieu Chartier8261d022016-08-08 09:41:04 -0700737 Primitive::Type type = static_cast<Primitive::Type>(v32 & kPrimitiveTypeMask);
738 DCHECK_EQ(static_cast<size_t>(v32 >> kPrimitiveTypeSizeShiftShift),
739 Primitive::ComponentSizeShift(type));
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700740 return type;
741}
742
743template<VerifyObjectFlags kVerifyFlags>
744inline size_t Class::GetPrimitiveTypeSizeShift() {
Roland Levillain33d69032015-06-18 18:20:59 +0100745 static_assert(sizeof(Primitive::Type) == sizeof(int32_t),
746 "art::Primitive::Type and int32_t have different sizes.");
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700747 int32_t v32 = GetField32<kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Class, primitive_type_));
Mathieu Chartier8261d022016-08-08 09:41:04 -0700748 size_t size_shift = static_cast<Primitive::Type>(v32 >> kPrimitiveTypeSizeShiftShift);
749 DCHECK_EQ(size_shift,
750 Primitive::ComponentSizeShift(static_cast<Primitive::Type>(v32 & kPrimitiveTypeMask)));
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700751 return size_shift;
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700752}
753
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000754inline uint32_t Class::ComputeClassSize(bool has_embedded_vtable,
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700755 uint32_t num_vtable_entries,
Fred Shih37f05ef2014-07-16 18:38:08 -0700756 uint32_t num_8bit_static_fields,
757 uint32_t num_16bit_static_fields,
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700758 uint32_t num_32bit_static_fields,
759 uint32_t num_64bit_static_fields,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700760 uint32_t num_ref_static_fields,
Andreas Gampe542451c2016-07-26 09:02:02 -0700761 PointerSize pointer_size) {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700762 // Space used by java.lang.Class and its instance fields.
763 uint32_t size = sizeof(Class);
764 // Space used by embedded tables.
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000765 if (has_embedded_vtable) {
Andreas Gampe542451c2016-07-26 09:02:02 -0700766 size = RoundUp(size + sizeof(uint32_t), static_cast<size_t>(pointer_size));
767 size += static_cast<size_t>(pointer_size); // size of pointer to IMT
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000768 size += num_vtable_entries * VTableEntrySize(pointer_size);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700769 }
Fred Shih37f05ef2014-07-16 18:38:08 -0700770
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700771 // Space used by reference statics.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700772 size += num_ref_static_fields * kHeapReferenceSize;
Fred Shih37f05ef2014-07-16 18:38:08 -0700773 if (!IsAligned<8>(size) && num_64bit_static_fields > 0) {
774 uint32_t gap = 8 - (size & 0x7);
775 size += gap; // will be padded
776 // Shuffle 4-byte fields forward.
777 while (gap >= sizeof(uint32_t) && num_32bit_static_fields != 0) {
778 --num_32bit_static_fields;
779 gap -= sizeof(uint32_t);
780 }
781 // Shuffle 2-byte fields forward.
782 while (gap >= sizeof(uint16_t) && num_16bit_static_fields != 0) {
783 --num_16bit_static_fields;
784 gap -= sizeof(uint16_t);
785 }
786 // Shuffle byte fields forward.
787 while (gap >= sizeof(uint8_t) && num_8bit_static_fields != 0) {
788 --num_8bit_static_fields;
789 gap -= sizeof(uint8_t);
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700790 }
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700791 }
Fred Shih37f05ef2014-07-16 18:38:08 -0700792 // Guaranteed to be at least 4 byte aligned. No need for further alignments.
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700793 // Space used for primitive static fields.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700794 size += num_8bit_static_fields * sizeof(uint8_t) + num_16bit_static_fields * sizeof(uint16_t) +
795 num_32bit_static_fields * sizeof(uint32_t) + num_64bit_static_fields * sizeof(uint64_t);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700796 return size;
797}
798
Mathieu Chartierd7a7f2f2018-09-07 11:57:18 -0700799template<VerifyObjectFlags kVerifyFlags>
Hiroshi Yamauchi25023c72014-05-09 11:45:53 -0700800inline bool Class::IsClassClass() {
Mathieu Chartierd7a7f2f2018-09-07 11:57:18 -0700801 // OK to look at from-space copies since java.lang.Class.class is not movable.
802 // See b/114413743
Vladimir Marko98db89c2018-09-07 11:45:46 +0100803 ObjPtr<Class> java_lang_Class = GetClass<kVerifyFlags, kWithoutReadBarrier>();
Hiroshi Yamauchi25023c72014-05-09 11:45:53 -0700804 return this == java_lang_Class;
805}
806
Mathieu Chartierf8322842014-05-16 10:59:25 -0700807inline const DexFile& Class::GetDexFile() {
Mathieu Chartierbc632f02017-04-20 13:31:39 -0700808 // From-space version is the same as the to-space version since the dex file never changes.
809 // Avoiding the read barrier here is important to prevent recursive AssertToSpaceInvariant issues
810 // from PrettyTypeOf.
811 return *GetDexCache<kDefaultVerifyFlags, kWithoutReadBarrier>()->GetDexFile();
Mathieu Chartierf8322842014-05-16 10:59:25 -0700812}
813
814inline bool Class::DescriptorEquals(const char* match) {
Ian Rogers1ff3c982014-08-12 02:30:58 -0700815 if (IsArrayClass()) {
Mathieu Chartierf8322842014-05-16 10:59:25 -0700816 return match[0] == '[' && GetComponentType()->DescriptorEquals(match + 1);
Ian Rogers1ff3c982014-08-12 02:30:58 -0700817 } else if (IsPrimitive()) {
Mathieu Chartierf8322842014-05-16 10:59:25 -0700818 return strcmp(Primitive::Descriptor(GetPrimitiveType()), match) == 0;
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000819 } else if (IsProxyClass()) {
820 return ProxyDescriptorEquals(match);
Mathieu Chartierf8322842014-05-16 10:59:25 -0700821 } else {
822 const DexFile& dex_file = GetDexFile();
823 const DexFile::TypeId& type_id = dex_file.GetTypeId(GetClassDef()->class_idx_);
824 return strcmp(dex_file.GetTypeDescriptor(type_id), match) == 0;
825 }
826}
827
Sebastien Hertz4e99b3d2014-06-24 14:35:40 +0200828inline void Class::AssertInitializedOrInitializingInThread(Thread* self) {
829 if (kIsDebugBuild && !IsInitialized()) {
David Sehr709b0702016-10-13 09:12:37 -0700830 CHECK(IsInitializing()) << PrettyClass() << " is not initializing: " << GetStatus();
Roland Levillaind32ead22018-05-30 17:38:21 +0100831 CHECK_EQ(GetClinitThreadId(), self->GetTid())
832 << PrettyClass() << " is initializing in a different thread";
Sebastien Hertz4e99b3d2014-06-24 14:35:40 +0200833 }
834}
835
Narayan Kamath6b2dc312017-03-14 13:26:12 +0000836inline ObjectArray<Class>* Class::GetProxyInterfaces() {
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000837 CHECK(IsProxyClass());
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700838 // First static field.
Mathieu Chartierc7853442015-03-27 14:35:38 -0700839 auto* field = GetStaticField(0);
840 DCHECK_STREQ(field->GetName(), "interfaces");
841 MemberOffset field_offset = field->GetOffset();
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000842 return GetFieldObject<ObjectArray<Class>>(field_offset);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700843}
844
Narayan Kamath6b2dc312017-03-14 13:26:12 +0000845inline ObjectArray<ObjectArray<Class>>* Class::GetProxyThrows() {
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000846 CHECK(IsProxyClass());
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700847 // Second static field.
Mathieu Chartierc7853442015-03-27 14:35:38 -0700848 auto* field = GetStaticField(1);
849 DCHECK_STREQ(field->GetName(), "throws");
850 MemberOffset field_offset = field->GetOffset();
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000851 return GetFieldObject<ObjectArray<ObjectArray<Class>>>(field_offset);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700852}
853
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700854inline void Class::InitializeClassVisitor::operator()(ObjPtr<Object> obj,
Mathieu Chartier9d156d52016-10-06 17:44:26 -0700855 size_t usable_size) const {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700856 DCHECK_LE(class_size_, usable_size);
857 // Avoid AsClass as object is not yet in live bitmap or allocation stack.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700858 ObjPtr<Class> klass = ObjPtr<Class>::DownCast(obj);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700859 klass->SetClassSize(class_size_);
860 klass->SetPrimitiveType(Primitive::kPrimNot); // Default to not being primitive.
861 klass->SetDexClassDefIndex(DexFile::kDexNoIndex16); // Default to no valid class def index.
Andreas Gampea5b09a62016-11-17 15:21:22 -0800862 klass->SetDexTypeIndex(dex::TypeIndex(DexFile::kDexNoIndex16)); // Default to no valid type
863 // index.
Mathieu Chartier93bbee02016-08-31 09:38:40 -0700864 // Default to force slow path until initialized.
Mathieu Chartier161db1d2016-09-01 14:06:54 -0700865 klass->SetObjectSizeAllocFastPath(std::numeric_limits<uint32_t>::max());
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700866}
867
Andreas Gampe48498592014-09-10 19:48:05 -0700868inline void Class::SetAccessFlags(uint32_t new_access_flags) {
869 // Called inside a transaction when setting pre-verified flag during boot image compilation.
870 if (Runtime::Current()->IsActiveTransaction()) {
Mathieu Chartier52a7f5c2015-08-18 18:35:52 -0700871 SetField32<true>(AccessFlagsOffset(), new_access_flags);
Andreas Gampe48498592014-09-10 19:48:05 -0700872 } else {
Mathieu Chartier52a7f5c2015-08-18 18:35:52 -0700873 SetField32<false>(AccessFlagsOffset(), new_access_flags);
874 }
875}
876
877inline void Class::SetClassFlags(uint32_t new_flags) {
878 if (Runtime::Current()->IsActiveTransaction()) {
879 SetField32<true>(OFFSET_OF_OBJECT_MEMBER(Class, class_flags_), new_flags);
880 } else {
881 SetField32<false>(OFFSET_OF_OBJECT_MEMBER(Class, class_flags_), new_flags);
Andreas Gampe48498592014-09-10 19:48:05 -0700882 }
883}
884
Mathieu Chartier2d2621a2014-10-23 16:48:06 -0700885inline uint32_t Class::NumDirectInterfaces() {
886 if (IsPrimitive()) {
887 return 0;
888 } else if (IsArrayClass()) {
889 return 2;
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000890 } else if (IsProxyClass()) {
Narayan Kamath6b2dc312017-03-14 13:26:12 +0000891 ObjectArray<Class>* interfaces = GetProxyInterfaces();
Mathieu Chartier2d2621a2014-10-23 16:48:06 -0700892 return interfaces != nullptr ? interfaces->GetLength() : 0;
893 } else {
894 const DexFile::TypeList* interfaces = GetInterfaceTypeList();
895 if (interfaces == nullptr) {
896 return 0;
897 } else {
898 return interfaces->Size();
899 }
900 }
901}
902
Vladimir Marko9ac77492017-06-14 18:07:03 +0100903inline ArraySlice<ArtMethod> Class::GetDirectMethods(PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700904 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100905 return GetDirectMethodsSliceUnchecked(pointer_size);
Alex Lighte64300b2015-12-15 15:02:47 -0800906}
907
Roland Levillaind32ead22018-05-30 17:38:21 +0100908inline ArraySlice<ArtMethod> Class::GetDeclaredMethods(PointerSize pointer_size) {
Vladimir Marko9ac77492017-06-14 18:07:03 +0100909 return GetDeclaredMethodsSliceUnchecked(pointer_size);
Alex Lighte64300b2015-12-15 15:02:47 -0800910}
911
Roland Levillaind32ead22018-05-30 17:38:21 +0100912inline ArraySlice<ArtMethod> Class::GetDeclaredVirtualMethods(PointerSize pointer_size) {
Vladimir Marko9ac77492017-06-14 18:07:03 +0100913 return GetDeclaredVirtualMethodsSliceUnchecked(pointer_size);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700914}
915
Roland Levillaind32ead22018-05-30 17:38:21 +0100916inline ArraySlice<ArtMethod> Class::GetVirtualMethods(PointerSize pointer_size) {
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700917 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100918 return GetVirtualMethodsSliceUnchecked(pointer_size);
Alex Lighte64300b2015-12-15 15:02:47 -0800919}
920
Vladimir Marko9ac77492017-06-14 18:07:03 +0100921inline ArraySlice<ArtMethod> Class::GetCopiedMethods(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800922 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100923 return GetCopiedMethodsSliceUnchecked(pointer_size);
Alex Lighte64300b2015-12-15 15:02:47 -0800924}
925
926
Vladimir Marko9ac77492017-06-14 18:07:03 +0100927inline ArraySlice<ArtMethod> Class::GetMethods(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800928 CheckPointerSize(pointer_size);
Mathieu Chartier2466d622017-09-26 13:52:26 -0700929 LengthPrefixedArray<ArtMethod>* methods = GetMethodsPtr();
930 return GetMethodsSliceRangeUnchecked(methods, pointer_size, 0u, NumMethods(methods));
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700931}
932
933inline IterationRange<StrideIterator<ArtField>> Class::GetIFields() {
Vladimir Markocf36d492015-08-12 19:27:26 +0100934 return MakeIterationRangeFromLengthPrefixedArray(GetIFieldsPtr());
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700935}
936
937inline IterationRange<StrideIterator<ArtField>> Class::GetSFields() {
Vladimir Markocf36d492015-08-12 19:27:26 +0100938 return MakeIterationRangeFromLengthPrefixedArray(GetSFieldsPtr());
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700939}
940
941inline IterationRange<StrideIterator<ArtField>> Class::GetIFieldsUnchecked() {
Vladimir Markocf36d492015-08-12 19:27:26 +0100942 return MakeIterationRangeFromLengthPrefixedArray(GetIFieldsPtrUnchecked());
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700943}
944
945inline IterationRange<StrideIterator<ArtField>> Class::GetSFieldsUnchecked() {
Vladimir Markocf36d492015-08-12 19:27:26 +0100946 return MakeIterationRangeFromLengthPrefixedArray(GetSFieldsPtrUnchecked());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700947}
948
Andreas Gampe542451c2016-07-26 09:02:02 -0700949inline MemberOffset Class::EmbeddedVTableOffset(PointerSize pointer_size) {
Andreas Gampe542451c2016-07-26 09:02:02 -0700950 return MemberOffset(ImtPtrOffset(pointer_size).Uint32Value() + static_cast<size_t>(pointer_size));
Mathieu Chartiere401d142015-04-22 13:56:20 -0700951}
952
Andreas Gampe542451c2016-07-26 09:02:02 -0700953inline void Class::CheckPointerSize(PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700954 DCHECK_EQ(pointer_size, Runtime::Current()->GetClassLinker()->GetImagePointerSize());
Mathieu Chartierc7853442015-03-27 14:35:38 -0700955}
956
Calin Juravle2e768302015-07-28 14:41:11 +0000957template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
958inline Class* Class::GetComponentType() {
959 return GetFieldObject<Class, kVerifyFlags, kReadBarrierOption>(ComponentTypeOffset());
960}
961
Vladimir Marko98db89c2018-09-07 11:45:46 +0100962template<VerifyObjectFlags kVerifyFlags>
Calin Juravle2e768302015-07-28 14:41:11 +0000963inline bool Class::IsArrayClass() {
Vladimir Marko98db89c2018-09-07 11:45:46 +0100964 // We do not need a read barrier for comparing with null.
965 return GetComponentType<kVerifyFlags, kWithoutReadBarrier>() != nullptr;
Calin Juravle2e768302015-07-28 14:41:11 +0000966}
967
Vladimir Marko98db89c2018-09-07 11:45:46 +0100968template<VerifyObjectFlags kVerifyFlags>
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800969inline bool Class::IsObjectArrayClass() {
Vladimir Marko98db89c2018-09-07 11:45:46 +0100970 // We do not need a read barrier here as the primitive type is constant,
971 // both from-space and to-space component type classes shall yield the same result.
972 ObjPtr<Class> const component_type = GetComponentType<kVerifyFlags, kWithoutReadBarrier>();
973 return component_type != nullptr && !component_type->IsPrimitive<kVerifyFlags>();
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800974}
975
Mathieu Chartier3398c782016-09-30 10:27:43 -0700976inline bool Class::IsAssignableFrom(ObjPtr<Class> src) {
Calin Juravle2e768302015-07-28 14:41:11 +0000977 DCHECK(src != nullptr);
978 if (this == src) {
979 // Can always assign to things of the same type.
980 return true;
981 } else if (IsObjectClass()) {
982 // Can assign any reference to java.lang.Object.
983 return !src->IsPrimitive();
984 } else if (IsInterface()) {
985 return src->Implements(this);
986 } else if (src->IsArrayClass()) {
987 return IsAssignableFromArray(src);
988 } else {
989 return !src->IsInterface() && src->IsSubClass(this);
990 }
991}
992
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700993inline uint32_t Class::NumDirectMethods() {
Alex Lighte64300b2015-12-15 15:02:47 -0800994 return GetVirtualMethodsStartOffset();
995}
996
997inline uint32_t Class::NumDeclaredVirtualMethods() {
998 return GetCopiedMethodsStartOffset() - GetVirtualMethodsStartOffset();
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700999}
1000
1001inline uint32_t Class::NumVirtualMethods() {
Alex Lighte64300b2015-12-15 15:02:47 -08001002 return NumMethods() - GetVirtualMethodsStartOffset();
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001003}
1004
1005inline uint32_t Class::NumInstanceFields() {
1006 LengthPrefixedArray<ArtField>* arr = GetIFieldsPtrUnchecked();
Vladimir Marko35831e82015-09-11 11:59:18 +01001007 return arr != nullptr ? arr->size() : 0u;
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001008}
1009
1010inline uint32_t Class::NumStaticFields() {
1011 LengthPrefixedArray<ArtField>* arr = GetSFieldsPtrUnchecked();
Vladimir Marko35831e82015-09-11 11:59:18 +01001012 return arr != nullptr ? arr->size() : 0u;
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001013}
1014
Vladimir Marko924ad502018-09-19 09:48:04 +01001015template <typename T, VerifyObjectFlags kVerifyFlags, typename Visitor>
1016inline void Class::FixupNativePointer(
1017 Class* dest, PointerSize pointer_size, const Visitor& visitor, MemberOffset member_offset) {
1018 void** address =
1019 reinterpret_cast<void**>(reinterpret_cast<uintptr_t>(dest) + member_offset.Uint32Value());
1020 T old_value = GetFieldPtrWithSize<T, kVerifyFlags>(member_offset, pointer_size);
1021 T new_value = visitor(old_value, address);
1022 if (old_value != new_value) {
Andreas Gampe98ea9d92018-10-19 14:06:15 -07001023 dest->SetFieldPtrWithSize</* kTransactionActive= */ false,
1024 /* kCheckTransaction= */ true,
Vladimir Marko924ad502018-09-19 09:48:04 +01001025 kVerifyNone>(member_offset, new_value, pointer_size);
1026 }
1027}
1028
1029template <VerifyObjectFlags kVerifyFlags, typename Visitor>
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001030inline void Class::FixupNativePointers(Class* dest,
Andreas Gampe542451c2016-07-26 09:02:02 -07001031 PointerSize pointer_size,
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001032 const Visitor& visitor) {
1033 // Update the field arrays.
Vladimir Marko924ad502018-09-19 09:48:04 +01001034 FixupNativePointer<LengthPrefixedArray<ArtField>*, kVerifyFlags>(
1035 dest, pointer_size, visitor, OFFSET_OF_OBJECT_MEMBER(Class, sfields_));
1036 FixupNativePointer<LengthPrefixedArray<ArtField>*, kVerifyFlags>(
1037 dest, pointer_size, visitor, OFFSET_OF_OBJECT_MEMBER(Class, ifields_));
Alex Lighte64300b2015-12-15 15:02:47 -08001038 // Update method array.
Vladimir Marko924ad502018-09-19 09:48:04 +01001039 FixupNativePointer<LengthPrefixedArray<ArtMethod>*, kVerifyFlags>(
1040 dest, pointer_size, visitor, OFFSET_OF_OBJECT_MEMBER(Class, methods_));
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001041 // Fix up embedded tables.
Vladimir Marko98db89c2018-09-07 11:45:46 +01001042 if (!IsTemp<kVerifyNone>() && ShouldHaveEmbeddedVTable<kVerifyNone>()) {
Vladimir Marko924ad502018-09-19 09:48:04 +01001043 for (int32_t i = 0, count = GetEmbeddedVTableLength<kVerifyFlags>(); i < count; ++i) {
1044 FixupNativePointer<ArtMethod*, kVerifyFlags>(
1045 dest, pointer_size, visitor, EmbeddedVTableEntryOffset(i, pointer_size));
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001046 }
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001047 }
Vladimir Marko98db89c2018-09-07 11:45:46 +01001048 if (!IsTemp<kVerifyNone>() && ShouldHaveImt<kVerifyNone>()) {
Vladimir Marko924ad502018-09-19 09:48:04 +01001049 FixupNativePointer<ImTable*, kVerifyFlags>(
1050 dest, pointer_size, visitor, ImtPtrOffset(pointer_size));
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001051 }
1052}
1053
Mathieu Chartier3398c782016-09-30 10:27:43 -07001054inline bool Class::CanAccess(ObjPtr<Class> that) {
1055 return that->IsPublic() || this->IsInSamePackage(that);
1056}
1057
1058
1059inline bool Class::CanAccessMember(ObjPtr<Class> access_to, uint32_t member_flags) {
1060 // Classes can access all of their own members
1061 if (this == access_to) {
1062 return true;
1063 }
1064 // Public members are trivially accessible
1065 if (member_flags & kAccPublic) {
1066 return true;
1067 }
1068 // Private members are trivially not accessible
1069 if (member_flags & kAccPrivate) {
1070 return false;
1071 }
1072 // Check for protected access from a sub-class, which may or may not be in the same package.
1073 if (member_flags & kAccProtected) {
1074 if (!this->IsInterface() && this->IsSubClass(access_to)) {
1075 return true;
1076 }
1077 }
1078 // Allow protected access from other classes in the same package.
1079 return this->IsInSamePackage(access_to);
1080}
1081
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001082inline bool Class::CannotBeAssignedFromOtherTypes() {
1083 if (!IsArrayClass()) {
1084 return IsFinal();
1085 }
1086 ObjPtr<Class> component = GetComponentType();
1087 return component->IsPrimitive() || component->CannotBeAssignedFromOtherTypes();
1088}
1089
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001090} // namespace mirror
1091} // namespace art
1092
Brian Carlstromfc0e3212013-07-17 14:40:12 -07001093#endif // ART_RUNTIME_MIRROR_CLASS_INL_H_