blob: f63f105c3a1748ec0802d7129019422b5997688f [file] [log] [blame]
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001/*
2 * Copyright (C) 2011 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
Brian Carlstromfc0e3212013-07-17 14:40:12 -070017#ifndef ART_RUNTIME_MIRROR_CLASS_INL_H_
18#define ART_RUNTIME_MIRROR_CLASS_INL_H_
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080019
20#include "class.h"
21
Andreas Gampea1d2f952017-04-20 22:53:58 -070022#include "art_field.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070023#include "art_method.h"
Alex Lighte64300b2015-12-15 15:02:47 -080024#include "base/array_slice.h"
25#include "base/length_prefixed_array.h"
David Sehrc431b9d2018-03-02 12:01:51 -080026#include "base/utils.h"
Andreas Gampe508fdf32017-06-05 16:42:13 -070027#include "class_linker.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070028#include "class_loader.h"
Vladimir Marko23a28212014-01-09 19:24:37 +000029#include "common_throws.h"
David Sehr9e734c72018-01-04 17:56:19 -080030#include "dex/dex_file-inl.h"
David Sehr8c0961f2018-01-23 16:11:38 -080031#include "dex/invoke_type.h"
32#include "dex_cache.h"
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070033#include "gc/heap-inl.h"
David Brazdil5a61bb72018-01-19 16:59:46 +000034#include "hidden_api.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080035#include "iftable.h"
Igor Murashkin86083f72017-10-27 10:59:04 -070036#include "subtype_check.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"
Fred Shih4ee7a662014-07-11 09:59:27 -070040#include "reference-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080041#include "runtime.h"
42#include "string.h"
43
44namespace art {
45namespace mirror {
46
Hiroshi Yamauchi25023c72014-05-09 11:45:53 -070047template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Ian Rogersef7d42f2014-01-06 12:55:46 -080048inline uint32_t Class::GetObjectSize() {
Vladimir Marko3481ba22015-04-13 12:22:36 +010049 // Note: Extra parentheses to avoid the comma being interpreted as macro parameter separator.
David Sehr709b0702016-10-13 09:12:37 -070050 DCHECK((!IsVariableSize<kVerifyFlags, kReadBarrierOption>())) << "class=" << PrettyTypeOf();
Hiroshi Yamauchie01a5202015-03-19 12:35:04 -070051 return GetField32(ObjectSizeOffset());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080052}
53
Mathieu Chartierfbc31082016-01-24 11:59:56 -080054template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Mathieu Chartier161db1d2016-09-01 14:06:54 -070055inline uint32_t Class::GetObjectSizeAllocFastPath() {
56 // Note: Extra parentheses to avoid the comma being interpreted as macro parameter separator.
David Sehr709b0702016-10-13 09:12:37 -070057 DCHECK((!IsVariableSize<kVerifyFlags, kReadBarrierOption>())) << "class=" << PrettyTypeOf();
Mathieu Chartier161db1d2016-09-01 14:06:54 -070058 return GetField32(ObjectSizeAllocFastPathOffset());
59}
60
Mathieu Chartier161db1d2016-09-01 14:06:54 -070061template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Ian Rogersef7d42f2014-01-06 12:55:46 -080062inline Class* Class::GetSuperClass() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080063 // Can only get super class for loaded classes (hack for when runtime is
64 // initializing)
Mathieu Chartierfbc31082016-01-24 11:59:56 -080065 DCHECK(IsLoaded<kVerifyFlags>() ||
66 IsErroneous<kVerifyFlags>() ||
67 !Runtime::Current()->IsStarted()) << IsLoaded();
68 return GetFieldObject<Class, kVerifyFlags, kReadBarrierOption>(
69 OFFSET_OF_OBJECT_MEMBER(Class, super_class_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080070}
71
Roland Levillain8ca4e4e2017-02-03 15:12:38 +000072inline void Class::SetSuperClass(ObjPtr<Class> new_super_class) {
73 // Super class is assigned once, except during class linker initialization.
74 if (kIsDebugBuild) {
75 ObjPtr<Class> old_super_class =
76 GetFieldObject<Class>(OFFSET_OF_OBJECT_MEMBER(Class, super_class_));
77 DCHECK(old_super_class == nullptr || old_super_class == new_super_class);
78 }
79 DCHECK(new_super_class != nullptr);
80 SetFieldObject<false>(OFFSET_OF_OBJECT_MEMBER(Class, super_class_), new_super_class);
81}
82
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +000083template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Ian Rogersef7d42f2014-01-06 12:55:46 -080084inline ClassLoader* Class::GetClassLoader() {
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +000085 return GetFieldObject<ClassLoader, kVerifyFlags, kReadBarrierOption>(
86 OFFSET_OF_OBJECT_MEMBER(Class, class_loader_));
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070087}
88
Mathieu Chartier137cdfa2017-01-26 14:03:11 -080089template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Alex Light4f2e9572017-03-16 13:13:31 -070090inline ClassExt* Class::GetExtData() {
91 return GetFieldObject<ClassExt, kVerifyFlags, kReadBarrierOption>(
92 OFFSET_OF_OBJECT_MEMBER(Class, ext_data_));
93}
94
95template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Ian Rogersef7d42f2014-01-06 12:55:46 -080096inline DexCache* Class::GetDexCache() {
Mathieu Chartier137cdfa2017-01-26 14:03:11 -080097 return GetFieldObject<DexCache, kVerifyFlags, kReadBarrierOption>(
98 OFFSET_OF_OBJECT_MEMBER(Class, dex_cache_));
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070099}
100
Alex Lighte64300b2015-12-15 15:02:47 -0800101inline uint32_t Class::GetCopiedMethodsStartOffset() {
Roland Levillain6680e332017-04-24 16:27:43 +0100102 // Object::GetFieldShort returns an int16_t value, but
103 // Class::copied_methods_offset_ is an uint16_t value; cast the
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100104 // latter to uint16_t before returning it as an uint32_t value, so
Roland Levillain6680e332017-04-24 16:27:43 +0100105 // that uint16_t values between 2^15 and 2^16-1 are correctly
106 // handled.
107 return static_cast<uint16_t>(
108 GetFieldShort(OFFSET_OF_OBJECT_MEMBER(Class, copied_methods_offset_)));
Alex Lighte64300b2015-12-15 15:02:47 -0800109}
110
111inline uint32_t Class::GetDirectMethodsStartOffset() {
112 return 0;
113}
114
115inline uint32_t Class::GetVirtualMethodsStartOffset() {
Roland Levillain6680e332017-04-24 16:27:43 +0100116 // Object::GetFieldShort returns an int16_t value, but
117 // Class::virtual_method_offset_ is an uint16_t value; cast the
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100118 // latter to uint16_t before returning it as an uint32_t value, so
Roland Levillain6680e332017-04-24 16:27:43 +0100119 // that uint16_t values between 2^15 and 2^16-1 are correctly
120 // handled.
121 return static_cast<uint16_t>(
122 GetFieldShort(OFFSET_OF_OBJECT_MEMBER(Class, virtual_methods_offset_)));
Alex Lighte64300b2015-12-15 15:02:47 -0800123}
124
125template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700126inline ArraySlice<ArtMethod> Class::GetDirectMethodsSlice(PointerSize pointer_size) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800127 DCHECK(IsLoaded() || IsErroneous());
Alex Lighte64300b2015-12-15 15:02:47 -0800128 return GetDirectMethodsSliceUnchecked(pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800129}
130
Andreas Gampe542451c2016-07-26 09:02:02 -0700131inline ArraySlice<ArtMethod> Class::GetDirectMethodsSliceUnchecked(PointerSize pointer_size) {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700132 return GetMethodsSliceRangeUnchecked(GetMethodsPtr(),
133 pointer_size,
Vladimir Marko9ac77492017-06-14 18:07:03 +0100134 GetDirectMethodsStartOffset(),
135 GetVirtualMethodsStartOffset());
Alex Lighte64300b2015-12-15 15:02:47 -0800136}
137
138template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700139inline ArraySlice<ArtMethod> Class::GetDeclaredMethodsSlice(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800140 DCHECK(IsLoaded() || IsErroneous());
Alex Lighte64300b2015-12-15 15:02:47 -0800141 return GetDeclaredMethodsSliceUnchecked(pointer_size);
142}
143
Andreas Gampe542451c2016-07-26 09:02:02 -0700144inline ArraySlice<ArtMethod> Class::GetDeclaredMethodsSliceUnchecked(PointerSize pointer_size) {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700145 return GetMethodsSliceRangeUnchecked(GetMethodsPtr(),
146 pointer_size,
Vladimir Marko9ac77492017-06-14 18:07:03 +0100147 GetDirectMethodsStartOffset(),
148 GetCopiedMethodsStartOffset());
Alex Lighte64300b2015-12-15 15:02:47 -0800149}
150template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700151inline ArraySlice<ArtMethod> Class::GetDeclaredVirtualMethodsSlice(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800152 DCHECK(IsLoaded() || IsErroneous());
Alex Lighte64300b2015-12-15 15:02:47 -0800153 return GetDeclaredVirtualMethodsSliceUnchecked(pointer_size);
154}
155
Andreas Gampe542451c2016-07-26 09:02:02 -0700156inline ArraySlice<ArtMethod> Class::GetDeclaredVirtualMethodsSliceUnchecked(
157 PointerSize pointer_size) {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700158 return GetMethodsSliceRangeUnchecked(GetMethodsPtr(),
159 pointer_size,
Vladimir Marko9ac77492017-06-14 18:07:03 +0100160 GetVirtualMethodsStartOffset(),
161 GetCopiedMethodsStartOffset());
Alex Lighte64300b2015-12-15 15:02:47 -0800162}
163
164template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700165inline ArraySlice<ArtMethod> Class::GetVirtualMethodsSlice(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800166 DCHECK(IsLoaded() || IsErroneous());
Alex Lighte64300b2015-12-15 15:02:47 -0800167 return GetVirtualMethodsSliceUnchecked(pointer_size);
168}
169
Andreas Gampe542451c2016-07-26 09:02:02 -0700170inline ArraySlice<ArtMethod> Class::GetVirtualMethodsSliceUnchecked(PointerSize pointer_size) {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700171 LengthPrefixedArray<ArtMethod>* methods = GetMethodsPtr();
172 return GetMethodsSliceRangeUnchecked(methods,
173 pointer_size,
Vladimir Marko9ac77492017-06-14 18:07:03 +0100174 GetVirtualMethodsStartOffset(),
Mathieu Chartier2466d622017-09-26 13:52:26 -0700175 NumMethods(methods));
Alex Lighte64300b2015-12-15 15:02:47 -0800176}
177
178template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700179inline ArraySlice<ArtMethod> Class::GetCopiedMethodsSlice(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800180 DCHECK(IsLoaded() || IsErroneous());
Alex Lighte64300b2015-12-15 15:02:47 -0800181 return GetCopiedMethodsSliceUnchecked(pointer_size);
182}
183
Andreas Gampe542451c2016-07-26 09:02:02 -0700184inline ArraySlice<ArtMethod> Class::GetCopiedMethodsSliceUnchecked(PointerSize pointer_size) {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700185 LengthPrefixedArray<ArtMethod>* methods = GetMethodsPtr();
186 return GetMethodsSliceRangeUnchecked(methods,
187 pointer_size,
188 GetCopiedMethodsStartOffset(),
189 NumMethods(methods));
Alex Lighte64300b2015-12-15 15:02:47 -0800190}
191
192inline LengthPrefixedArray<ArtMethod>* Class::GetMethodsPtr() {
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700193 return reinterpret_cast<LengthPrefixedArray<ArtMethod>*>(
Mathieu Chartierf4b3dba2016-01-26 20:11:06 -0800194 static_cast<uintptr_t>(GetField64(OFFSET_OF_OBJECT_MEMBER(Class, methods_))));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800195}
196
Alex Lighte64300b2015-12-15 15:02:47 -0800197template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700198inline ArraySlice<ArtMethod> Class::GetMethodsSlice(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -0800199 DCHECK(IsLoaded() || IsErroneous());
Mathieu Chartier2466d622017-09-26 13:52:26 -0700200 LengthPrefixedArray<ArtMethod>* methods = GetMethodsPtr();
201 return GetMethodsSliceRangeUnchecked(methods, pointer_size, 0, NumMethods(methods));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800202}
203
Mathieu Chartier2466d622017-09-26 13:52:26 -0700204inline ArraySlice<ArtMethod> Class::GetMethodsSliceRangeUnchecked(
205 LengthPrefixedArray<ArtMethod>* methods,
206 PointerSize pointer_size,
207 uint32_t start_offset,
208 uint32_t end_offset) {
Vladimir Marko9ac77492017-06-14 18:07:03 +0100209 DCHECK_LE(start_offset, end_offset);
Mathieu Chartier2466d622017-09-26 13:52:26 -0700210 DCHECK_LE(end_offset, NumMethods(methods));
Vladimir Marko9ac77492017-06-14 18:07:03 +0100211 uint32_t size = end_offset - start_offset;
212 if (size == 0u) {
213 return ArraySlice<ArtMethod>();
214 }
Vladimir Marko9ac77492017-06-14 18:07:03 +0100215 DCHECK(methods != nullptr);
216 DCHECK_LE(end_offset, methods->size());
217 size_t method_size = ArtMethod::Size(pointer_size);
218 size_t method_alignment = ArtMethod::Alignment(pointer_size);
219 ArraySlice<ArtMethod> slice(&methods->At(0u, method_size, method_alignment),
220 methods->size(),
221 method_size);
222 return slice.SubArray(start_offset, size);
223}
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800224
Alex Lighte64300b2015-12-15 15:02:47 -0800225inline uint32_t Class::NumMethods() {
Mathieu Chartier2466d622017-09-26 13:52:26 -0700226 return NumMethods(GetMethodsPtr());
227}
228
229inline uint32_t Class::NumMethods(LengthPrefixedArray<ArtMethod>* methods) {
Alex Lighte64300b2015-12-15 15:02:47 -0800230 return (methods == nullptr) ? 0 : methods->size();
Mathieu Chartiere401d142015-04-22 13:56:20 -0700231}
232
Andreas Gampe542451c2016-07-26 09:02:02 -0700233inline ArtMethod* Class::GetDirectMethodUnchecked(size_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700234 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100235 return &GetDirectMethodsSliceUnchecked(pointer_size)[i];
Mathieu Chartiere401d142015-04-22 13:56:20 -0700236}
237
Andreas Gampe542451c2016-07-26 09:02:02 -0700238inline ArtMethod* Class::GetDirectMethod(size_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700239 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100240 return &GetDirectMethodsSlice(pointer_size)[i];
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800241}
242
Alex Lighte64300b2015-12-15 15:02:47 -0800243inline void Class::SetMethodsPtr(LengthPrefixedArray<ArtMethod>* new_methods,
244 uint32_t num_direct,
245 uint32_t num_virtual) {
246 DCHECK(GetMethodsPtr() == nullptr);
247 SetMethodsPtrUnchecked(new_methods, num_direct, num_virtual);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800248}
249
Alex Lighte64300b2015-12-15 15:02:47 -0800250
251inline void Class::SetMethodsPtrUnchecked(LengthPrefixedArray<ArtMethod>* new_methods,
252 uint32_t num_direct,
253 uint32_t num_virtual) {
254 DCHECK_LE(num_direct + num_virtual, (new_methods == nullptr) ? 0 : new_methods->size());
255 SetMethodsPtrInternal(new_methods);
256 SetFieldShort<false>(OFFSET_OF_OBJECT_MEMBER(Class, copied_methods_offset_),
257 dchecked_integral_cast<uint16_t>(num_direct + num_virtual));
258 SetFieldShort<false>(OFFSET_OF_OBJECT_MEMBER(Class, virtual_methods_offset_),
259 dchecked_integral_cast<uint16_t>(num_direct));
260}
261
262inline void Class::SetMethodsPtrInternal(LengthPrefixedArray<ArtMethod>* new_methods) {
263 SetField64<false>(OFFSET_OF_OBJECT_MEMBER(Class, methods_),
Mathieu Chartierf4b3dba2016-01-26 20:11:06 -0800264 static_cast<uint64_t>(reinterpret_cast<uintptr_t>(new_methods)));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800265}
266
Mathieu Chartier4e305412014-02-19 10:54:44 -0800267template<VerifyObjectFlags kVerifyFlags>
Andreas Gampe542451c2016-07-26 09:02:02 -0700268inline ArtMethod* Class::GetVirtualMethod(size_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700269 CheckPointerSize(pointer_size);
Hiroshi Yamauchif4c15a12014-10-20 16:56:58 -0700270 DCHECK(IsResolved<kVerifyFlags>() || IsErroneous<kVerifyFlags>())
David Sehr709b0702016-10-13 09:12:37 -0700271 << Class::PrettyClass() << " status=" << GetStatus();
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::GetVirtualMethodDuringLinking(size_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700276 CheckPointerSize(pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800277 DCHECK(IsLoaded() || IsErroneous());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700278 return GetVirtualMethodUnchecked(i, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800279}
280
Andreas Gampe542451c2016-07-26 09:02:02 -0700281inline ArtMethod* Class::GetVirtualMethodUnchecked(size_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700282 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100283 return &GetVirtualMethodsSliceUnchecked(pointer_size)[i];
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800284}
285
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800286template<VerifyObjectFlags kVerifyFlags,
287 ReadBarrierOption kReadBarrierOption>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700288inline PointerArray* Class::GetVTable() {
Mingyao Yang063fc772016-08-02 11:02:54 -0700289 DCHECK(IsLoaded<kVerifyFlags>() || IsErroneous<kVerifyFlags>());
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800290 return GetFieldObject<PointerArray, kVerifyFlags, kReadBarrierOption>(
291 OFFSET_OF_OBJECT_MEMBER(Class, vtable_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800292}
293
Mathieu Chartiere401d142015-04-22 13:56:20 -0700294inline PointerArray* Class::GetVTableDuringLinking() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800295 DCHECK(IsLoaded() || IsErroneous());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700296 return GetFieldObject<PointerArray>(OFFSET_OF_OBJECT_MEMBER(Class, vtable_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800297}
298
Mathieu Chartiere401d142015-04-22 13:56:20 -0700299inline void Class::SetVTable(PointerArray* new_vtable) {
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700300 SetFieldObject<false>(OFFSET_OF_OBJECT_MEMBER(Class, vtable_), new_vtable);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800301}
302
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700303inline bool Class::HasVTable() {
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000304 return GetVTable() != nullptr || ShouldHaveEmbeddedVTable();
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700305}
306
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300307 template<VerifyObjectFlags kVerifyFlags,
308 ReadBarrierOption kReadBarrierOption>
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700309inline int32_t Class::GetVTableLength() {
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300310 if (ShouldHaveEmbeddedVTable<kVerifyFlags, kReadBarrierOption>()) {
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700311 return GetEmbeddedVTableLength();
312 }
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300313 return GetVTable<kVerifyFlags, kReadBarrierOption>() != nullptr ?
314 GetVTable<kVerifyFlags, kReadBarrierOption>()->GetLength() : 0;
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700315}
316
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300317 template<VerifyObjectFlags kVerifyFlags,
318 ReadBarrierOption kReadBarrierOption>
Andreas Gampe542451c2016-07-26 09:02:02 -0700319inline ArtMethod* Class::GetVTableEntry(uint32_t i, PointerSize pointer_size) {
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300320 if (ShouldHaveEmbeddedVTable<kVerifyFlags, kReadBarrierOption>()) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700321 return GetEmbeddedVTableEntry(i, pointer_size);
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700322 }
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300323 auto* vtable = GetVTable<kVerifyFlags, kReadBarrierOption>();
Mathieu Chartiere401d142015-04-22 13:56:20 -0700324 DCHECK(vtable != nullptr);
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300325 return vtable->template GetElementPtrSize<ArtMethod*, kVerifyFlags, kReadBarrierOption>(i, pointer_size);
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700326}
327
328inline int32_t Class::GetEmbeddedVTableLength() {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700329 return GetField32(MemberOffset(EmbeddedVTableLengthOffset()));
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700330}
331
332inline void Class::SetEmbeddedVTableLength(int32_t len) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700333 SetField32<false>(MemberOffset(EmbeddedVTableLengthOffset()), len);
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700334}
335
Andreas Gampe542451c2016-07-26 09:02:02 -0700336inline ImTable* Class::GetImt(PointerSize pointer_size) {
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000337 return GetFieldPtrWithSize<ImTable*>(MemberOffset(ImtPtrOffset(pointer_size)), pointer_size);
338}
339
Andreas Gampe542451c2016-07-26 09:02:02 -0700340inline void Class::SetImt(ImTable* imt, PointerSize pointer_size) {
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000341 return SetFieldPtrWithSize<false>(MemberOffset(ImtPtrOffset(pointer_size)), imt, pointer_size);
342}
343
Andreas Gampe542451c2016-07-26 09:02:02 -0700344inline MemberOffset Class::EmbeddedVTableEntryOffset(uint32_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700345 return MemberOffset(
346 EmbeddedVTableOffset(pointer_size).Uint32Value() + i * VTableEntrySize(pointer_size));
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700347}
348
Andreas Gampe542451c2016-07-26 09:02:02 -0700349inline ArtMethod* Class::GetEmbeddedVTableEntry(uint32_t i, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700350 return GetFieldPtrWithSize<ArtMethod*>(EmbeddedVTableEntryOffset(i, pointer_size), pointer_size);
351}
352
353inline void Class::SetEmbeddedVTableEntryUnchecked(
Andreas Gampe542451c2016-07-26 09:02:02 -0700354 uint32_t i, ArtMethod* method, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700355 SetFieldPtrWithSize<false>(EmbeddedVTableEntryOffset(i, pointer_size), method, pointer_size);
356}
357
Andreas Gampe542451c2016-07-26 09:02:02 -0700358inline void Class::SetEmbeddedVTableEntry(uint32_t i, ArtMethod* method, PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700359 auto* vtable = GetVTableDuringLinking();
360 CHECK_EQ(method, vtable->GetElementPtrSize<ArtMethod*>(i, pointer_size));
361 SetEmbeddedVTableEntryUnchecked(i, method, pointer_size);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700362}
363
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700364inline bool Class::Implements(ObjPtr<Class> klass) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700365 DCHECK(klass != nullptr);
David Sehr709b0702016-10-13 09:12:37 -0700366 DCHECK(klass->IsInterface()) << PrettyClass();
Ian Rogers693ff612013-02-01 10:56:12 -0800367 // All interfaces implemented directly and by our superclass, and
368 // recursively all super-interfaces of those interfaces, are listed
369 // in iftable_, so we can just do a linear scan through that.
370 int32_t iftable_count = GetIfTableCount();
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700371 ObjPtr<IfTable> iftable = GetIfTable();
Ian Rogers693ff612013-02-01 10:56:12 -0800372 for (int32_t i = 0; i < iftable_count; i++) {
373 if (iftable->GetInterface(i) == klass) {
374 return true;
375 }
376 }
377 return false;
378}
379
Andreas Gampec6ea7d02017-02-01 16:46:28 -0800380template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
381inline bool Class::IsVariableSize() {
382 // Classes, arrays, and strings vary in size, and so the object_size_ field cannot
383 // be used to Get their instance size
384 return IsClassClass<kVerifyFlags, kReadBarrierOption>() ||
385 IsArrayClass<kVerifyFlags, kReadBarrierOption>() ||
386 IsStringClass();
387}
388
389inline void Class::SetObjectSize(uint32_t new_object_size) {
390 DCHECK(!IsVariableSize());
391 // Not called within a transaction.
392 return SetField32<false>(OFFSET_OF_OBJECT_MEMBER(Class, object_size_), new_object_size);
393}
394
Ian Rogers693ff612013-02-01 10:56:12 -0800395// Determine whether "this" is assignable from "src", where both of these
396// are array classes.
397//
398// Consider an array class, e.g. Y[][], where Y is a subclass of X.
399// Y[][] = Y[][] --> true (identity)
400// X[][] = Y[][] --> true (element superclass)
401// Y = Y[][] --> false
402// Y[] = Y[][] --> false
403// Object = Y[][] --> true (everything is an object)
404// Object[] = Y[][] --> true
405// Object[][] = Y[][] --> true
406// Object[][][] = Y[][] --> false (too many []s)
407// Serializable = Y[][] --> true (all arrays are Serializable)
408// Serializable[] = Y[][] --> true
409// Serializable[][] = Y[][] --> false (unless Y is Serializable)
410//
411// Don't forget about primitive types.
412// Object[] = int[] --> false
413//
Mathieu Chartier3398c782016-09-30 10:27:43 -0700414inline bool Class::IsArrayAssignableFromArray(ObjPtr<Class> src) {
David Sehr709b0702016-10-13 09:12:37 -0700415 DCHECK(IsArrayClass()) << PrettyClass();
416 DCHECK(src->IsArrayClass()) << src->PrettyClass();
Ian Rogers693ff612013-02-01 10:56:12 -0800417 return GetComponentType()->IsAssignableFrom(src->GetComponentType());
418}
419
Mathieu Chartier3398c782016-09-30 10:27:43 -0700420inline bool Class::IsAssignableFromArray(ObjPtr<Class> src) {
David Sehr709b0702016-10-13 09:12:37 -0700421 DCHECK(!IsInterface()) << PrettyClass(); // handled first in IsAssignableFrom
422 DCHECK(src->IsArrayClass()) << src->PrettyClass();
Ian Rogers693ff612013-02-01 10:56:12 -0800423 if (!IsArrayClass()) {
424 // If "this" is not also an array, it must be Object.
425 // src's super should be java_lang_Object, since it is an array.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700426 ObjPtr<Class> java_lang_Object = src->GetSuperClass();
David Sehr709b0702016-10-13 09:12:37 -0700427 DCHECK(java_lang_Object != nullptr) << src->PrettyClass();
428 DCHECK(java_lang_Object->GetSuperClass() == nullptr) << src->PrettyClass();
Ian Rogers693ff612013-02-01 10:56:12 -0800429 return this == java_lang_Object;
430 }
431 return IsArrayAssignableFromArray(src);
432}
433
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100434template <bool throw_on_failure>
Mathieu Chartierb8901302016-09-30 10:27:43 -0700435inline bool Class::ResolvedFieldAccessTest(ObjPtr<Class> access_to,
Mathieu Chartier3398c782016-09-30 10:27:43 -0700436 ArtField* field,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100437 ObjPtr<DexCache> dex_cache,
438 uint32_t field_idx) {
439 DCHECK(dex_cache != nullptr);
Vladimir Marko23a28212014-01-09 19:24:37 +0000440 if (UNLIKELY(!this->CanAccess(access_to))) {
441 // The referrer class can't access the field's declaring class but may still be able
442 // to access the field if the FieldId specifies an accessible subclass of the declaring
443 // class rather than the declaring class itself.
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100444 dex::TypeIndex class_idx = dex_cache->GetDexFile()->GetFieldId(field_idx).class_idx_;
Mathieu Chartier279ac5c2016-09-08 17:34:25 -0700445 // The referenced class has already been resolved with the field, but may not be in the dex
Mathieu Chartierb8901302016-09-30 10:27:43 -0700446 // cache. Use LookupResolveType here to search the class table if it is not in the dex cache.
Mathieu Chartier279ac5c2016-09-08 17:34:25 -0700447 // should be no thread suspension due to the class being resolved.
Mathieu Chartierb8901302016-09-30 10:27:43 -0700448 ObjPtr<Class> dex_access_to = Runtime::Current()->GetClassLinker()->LookupResolvedType(
Mathieu Chartierb8901302016-09-30 10:27:43 -0700449 class_idx,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100450 dex_cache,
Mathieu Chartierb8901302016-09-30 10:27:43 -0700451 access_to->GetClassLoader());
Vladimir Marko23a28212014-01-09 19:24:37 +0000452 DCHECK(dex_access_to != nullptr);
453 if (UNLIKELY(!this->CanAccess(dex_access_to))) {
454 if (throw_on_failure) {
Mathieu Chartier6b3d12b2016-10-13 13:59:58 -0700455 ThrowIllegalAccessErrorClass(this, dex_access_to);
Vladimir Marko23a28212014-01-09 19:24:37 +0000456 }
457 return false;
458 }
Vladimir Marko23a28212014-01-09 19:24:37 +0000459 }
460 if (LIKELY(this->CanAccessMember(access_to, field->GetAccessFlags()))) {
461 return true;
462 }
463 if (throw_on_failure) {
464 ThrowIllegalAccessErrorField(this, field);
465 }
466 return false;
467}
468
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100469template <bool throw_on_failure>
Mathieu Chartierb8901302016-09-30 10:27:43 -0700470inline bool Class::ResolvedMethodAccessTest(ObjPtr<Class> access_to,
471 ArtMethod* method,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100472 ObjPtr<DexCache> dex_cache,
Mathieu Chartierb8901302016-09-30 10:27:43 -0700473 uint32_t method_idx,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100474 InvokeType throw_invoke_type) {
475 DCHECK(throw_on_failure || throw_invoke_type == kStatic);
476 DCHECK(dex_cache != nullptr);
Vladimir Marko23a28212014-01-09 19:24:37 +0000477 if (UNLIKELY(!this->CanAccess(access_to))) {
478 // The referrer class can't access the method's declaring class but may still be able
479 // to access the method if the MethodId specifies an accessible subclass of the declaring
480 // class rather than the declaring class itself.
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100481 dex::TypeIndex class_idx = dex_cache->GetDexFile()->GetMethodId(method_idx).class_idx_;
Mathieu Chartier279ac5c2016-09-08 17:34:25 -0700482 // The referenced class has already been resolved with the method, but may not be in the dex
Mathieu Chartierb8901302016-09-30 10:27:43 -0700483 // cache.
484 ObjPtr<Class> dex_access_to = Runtime::Current()->GetClassLinker()->LookupResolvedType(
Mathieu Chartierb8901302016-09-30 10:27:43 -0700485 class_idx,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100486 dex_cache,
Mathieu Chartierb8901302016-09-30 10:27:43 -0700487 access_to->GetClassLoader());
Vladimir Marko23a28212014-01-09 19:24:37 +0000488 DCHECK(dex_access_to != nullptr);
489 if (UNLIKELY(!this->CanAccess(dex_access_to))) {
490 if (throw_on_failure) {
Mathieu Chartierb8901302016-09-30 10:27:43 -0700491 ThrowIllegalAccessErrorClassForMethodDispatch(this,
Mathieu Chartier1cc62e42016-10-03 18:01:28 -0700492 dex_access_to.Ptr(),
Mathieu Chartierb8901302016-09-30 10:27:43 -0700493 method,
494 throw_invoke_type);
Vladimir Marko23a28212014-01-09 19:24:37 +0000495 }
496 return false;
497 }
Vladimir Marko23a28212014-01-09 19:24:37 +0000498 }
499 if (LIKELY(this->CanAccessMember(access_to, method->GetAccessFlags()))) {
500 return true;
501 }
502 if (throw_on_failure) {
503 ThrowIllegalAccessErrorMethod(this, method);
504 }
505 return false;
506}
507
Mathieu Chartier3398c782016-09-30 10:27:43 -0700508inline bool Class::CanAccessResolvedField(ObjPtr<Class> access_to,
509 ArtField* field,
510 ObjPtr<DexCache> dex_cache,
511 uint32_t field_idx) {
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100512 return ResolvedFieldAccessTest<false>(access_to, field, dex_cache, field_idx);
Vladimir Marko89786432014-01-31 15:03:55 +0000513}
514
Mathieu Chartier3398c782016-09-30 10:27:43 -0700515inline bool Class::CheckResolvedFieldAccess(ObjPtr<Class> access_to,
516 ArtField* field,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100517 ObjPtr<DexCache> dex_cache,
Vladimir Marko89786432014-01-31 15:03:55 +0000518 uint32_t field_idx) {
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100519 return ResolvedFieldAccessTest<true>(access_to, field, dex_cache, field_idx);
Vladimir Marko89786432014-01-31 15:03:55 +0000520}
521
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700522inline bool Class::CanAccessResolvedMethod(ObjPtr<Class> access_to,
523 ArtMethod* method,
524 ObjPtr<DexCache> dex_cache,
525 uint32_t method_idx) {
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100526 return ResolvedMethodAccessTest<false>(access_to, method, dex_cache, method_idx, kStatic);
Vladimir Marko89786432014-01-31 15:03:55 +0000527}
528
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700529inline bool Class::CheckResolvedMethodAccess(ObjPtr<Class> access_to,
530 ArtMethod* method,
Vladimir Markof79aa7f2017-07-04 16:58:55 +0100531 ObjPtr<DexCache> dex_cache,
532 uint32_t method_idx,
533 InvokeType throw_invoke_type) {
534 return ResolvedMethodAccessTest<true>(
535 access_to, method, dex_cache, method_idx, throw_invoke_type);
Vladimir Marko89786432014-01-31 15:03:55 +0000536}
537
Mathieu Chartier3398c782016-09-30 10:27:43 -0700538inline bool Class::IsSubClass(ObjPtr<Class> klass) {
Igor Murashkin86083f72017-10-27 10:59:04 -0700539 // Since the SubtypeCheck::IsSubtypeOf needs to lookup the Depth,
540 // it is always O(Depth) in terms of speed to do the check.
541 //
542 // So always do the "slow" linear scan in normal release builds.
543 //
544 // Future note: If we could have the depth in O(1) we could use the 'fast'
545 // method instead as it avoids a loop and a read barrier.
546 bool result = false;
David Sehr709b0702016-10-13 09:12:37 -0700547 DCHECK(!IsInterface()) << PrettyClass();
548 DCHECK(!IsArrayClass()) << PrettyClass();
Mathieu Chartier3398c782016-09-30 10:27:43 -0700549 ObjPtr<Class> current = this;
Ian Rogers693ff612013-02-01 10:56:12 -0800550 do {
551 if (current == klass) {
Igor Murashkin86083f72017-10-27 10:59:04 -0700552 result = true;
553 break;
Ian Rogers693ff612013-02-01 10:56:12 -0800554 }
555 current = current->GetSuperClass();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700556 } while (current != nullptr);
Igor Murashkin86083f72017-10-27 10:59:04 -0700557
Vladimir Marko305c38b2018-02-14 11:50:07 +0000558 if (kIsDebugBuild && kBitstringSubtypeCheckEnabled) {
Igor Murashkin86083f72017-10-27 10:59:04 -0700559 ObjPtr<mirror::Class> dis(this);
560
561 SubtypeCheckInfo::Result sc_result = SubtypeCheck<ObjPtr<Class>>::IsSubtypeOf(dis, klass);
562 if (sc_result != SubtypeCheckInfo::kUnknownSubtypeOf) {
563 // Note: The "kUnknownSubTypeOf" can be avoided if and only if:
564 // SubtypeCheck::EnsureInitialized(source)
565 // happens-before source.IsSubClass(target)
566 // SubtypeCheck::EnsureAssigned(target).GetState() == Assigned
567 // happens-before source.IsSubClass(target)
568 //
569 // When code generated by optimizing compiler executes this operation, both
570 // happens-before are guaranteed, so there is no fallback code there.
571 SubtypeCheckInfo::Result expected_result =
572 result ? SubtypeCheckInfo::kSubtypeOf : SubtypeCheckInfo::kNotSubtypeOf;
573 DCHECK_EQ(expected_result, sc_result)
574 << "source: " << PrettyClass() << "target: " << klass->PrettyClass();
575 }
576 }
577
578 return result;
Ian Rogers693ff612013-02-01 10:56:12 -0800579}
580
Andreas Gampe542451c2016-07-26 09:02:02 -0700581inline ArtMethod* Class::FindVirtualMethodForInterface(ArtMethod* method,
582 PointerSize pointer_size) {
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700583 ObjPtr<Class> declaring_class = method->GetDeclaringClass();
David Sehr709b0702016-10-13 09:12:37 -0700584 DCHECK(declaring_class != nullptr) << PrettyClass();
Vladimir Markoba118822017-06-12 15:41:56 +0100585 if (UNLIKELY(!declaring_class->IsInterface())) {
586 DCHECK(declaring_class->IsObjectClass()) << method->PrettyMethod();
587 DCHECK(method->IsPublic() && !method->IsStatic());
588 return FindVirtualMethodForVirtual(method, pointer_size);
589 }
Alex Light0f7e8f52016-07-19 11:21:32 -0700590 DCHECK(!method->IsCopied());
Ian Rogers693ff612013-02-01 10:56:12 -0800591 // TODO cache to improve lookup speed
Mathieu Chartiere401d142015-04-22 13:56:20 -0700592 const int32_t iftable_count = GetIfTableCount();
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700593 ObjPtr<IfTable> iftable = GetIfTable();
Ian Rogers693ff612013-02-01 10:56:12 -0800594 for (int32_t i = 0; i < iftable_count; i++) {
595 if (iftable->GetInterface(i) == declaring_class) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700596 return iftable->GetMethodArray(i)->GetElementPtrSize<ArtMethod*>(
597 method->GetMethodIndex(), pointer_size);
Ian Rogers693ff612013-02-01 10:56:12 -0800598 }
599 }
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700600 return nullptr;
Ian Rogers693ff612013-02-01 10:56:12 -0800601}
602
Andreas Gampe542451c2016-07-26 09:02:02 -0700603inline ArtMethod* Class::FindVirtualMethodForVirtual(ArtMethod* method, PointerSize pointer_size) {
Alex Lighteb7c1442015-08-31 13:17:42 -0700604 // Only miranda or default methods may come from interfaces and be used as a virtual.
605 DCHECK(!method->GetDeclaringClass()->IsInterface() || method->IsDefault() || method->IsMiranda());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800606 // The argument method may from a super class.
607 // Use the index to a potentially overridden one for this instance's class.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700608 return GetVTableEntry(method->GetMethodIndex(), pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800609}
610
Andreas Gampe542451c2016-07-26 09:02:02 -0700611inline ArtMethod* Class::FindVirtualMethodForSuper(ArtMethod* method, PointerSize pointer_size) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800612 DCHECK(!method->GetDeclaringClass()->IsInterface());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700613 return GetSuperClass()->GetVTableEntry(method->GetMethodIndex(), pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800614}
615
Mathieu Chartiere401d142015-04-22 13:56:20 -0700616inline ArtMethod* Class::FindVirtualMethodForVirtualOrInterface(ArtMethod* method,
Andreas Gampe542451c2016-07-26 09:02:02 -0700617 PointerSize pointer_size) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800618 if (method->IsDirect()) {
619 return method;
620 }
Alex Light36121492016-02-22 13:43:29 -0800621 if (method->GetDeclaringClass()->IsInterface() && !method->IsCopied()) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700622 return FindVirtualMethodForInterface(method, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800623 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700624 return FindVirtualMethodForVirtual(method, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800625}
626
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800627template<VerifyObjectFlags kVerifyFlags,
628 ReadBarrierOption kReadBarrierOption>
Ian Rogersef7d42f2014-01-06 12:55:46 -0800629inline IfTable* Class::GetIfTable() {
Mathieu Chartier6beced42016-11-15 15:51:31 -0800630 ObjPtr<IfTable> ret = GetFieldObject<IfTable, kVerifyFlags, kReadBarrierOption>(IfTableOffset());
631 DCHECK(ret != nullptr) << PrettyClass(this);
632 return ret.Ptr();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800633}
634
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300635template<VerifyObjectFlags kVerifyFlags,
636 ReadBarrierOption kReadBarrierOption>
Ian Rogersef7d42f2014-01-06 12:55:46 -0800637inline int32_t Class::GetIfTableCount() {
Alexey Grebenkinbe4c2bd2018-02-01 19:09:59 +0300638 return GetIfTable<kVerifyFlags, kReadBarrierOption>()->Count();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800639}
640
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700641inline void Class::SetIfTable(ObjPtr<IfTable> new_iftable) {
Mathieu Chartier6beced42016-11-15 15:51:31 -0800642 DCHECK(new_iftable != nullptr) << PrettyClass(this);
Mathieu Chartier2ecfd272016-11-01 10:10:05 -0700643 SetFieldObject<false>(IfTableOffset(), new_iftable);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800644}
645
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700646inline LengthPrefixedArray<ArtField>* Class::GetIFieldsPtr() {
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800647 DCHECK(IsLoaded() || IsErroneous()) << GetStatus();
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700648 return GetFieldPtr<LengthPrefixedArray<ArtField>*>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800649}
650
Hiroshi Yamauchi5496f692016-02-17 13:29:59 -0800651template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Vladimir Marko76649e82014-11-10 18:32:59 +0000652inline MemberOffset Class::GetFirstReferenceInstanceFieldOffset() {
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700653 ObjPtr<Class> super_class = GetSuperClass<kVerifyFlags, kReadBarrierOption>();
Vladimir Marko76649e82014-11-10 18:32:59 +0000654 return (super_class != nullptr)
Hiroshi Yamauchi7a62e672016-06-10 17:22:48 -0700655 ? MemberOffset(RoundUp(super_class->GetObjectSize<kVerifyFlags, kReadBarrierOption>(),
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700656 kHeapReferenceSize))
Vladimir Marko76649e82014-11-10 18:32:59 +0000657 : ClassOffset();
658}
659
Mathieu Chartierdfe02f62016-02-01 20:15:11 -0800660template <VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Andreas Gampe542451c2016-07-26 09:02:02 -0700661inline MemberOffset Class::GetFirstReferenceStaticFieldOffset(PointerSize pointer_size) {
Vladimir Marko76649e82014-11-10 18:32:59 +0000662 DCHECK(IsResolved());
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700663 uint32_t base = sizeof(Class); // Static fields come after the class.
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000664 if (ShouldHaveEmbeddedVTable<kVerifyFlags, kReadBarrierOption>()) {
Vladimir Marko76649e82014-11-10 18:32:59 +0000665 // Static fields come after the embedded tables.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700666 base = Class::ComputeClassSize(
Mathieu Chartiere401d142015-04-22 13:56:20 -0700667 true, GetEmbeddedVTableLength(), 0, 0, 0, 0, 0, pointer_size);
Vladimir Marko76649e82014-11-10 18:32:59 +0000668 }
669 return MemberOffset(base);
670}
671
Andreas Gampe542451c2016-07-26 09:02:02 -0700672inline MemberOffset Class::GetFirstReferenceStaticFieldOffsetDuringLinking(
673 PointerSize pointer_size) {
Vladimir Marko76649e82014-11-10 18:32:59 +0000674 DCHECK(IsLoaded());
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700675 uint32_t base = sizeof(Class); // Static fields come after the class.
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000676 if (ShouldHaveEmbeddedVTable()) {
Vladimir Marko76649e82014-11-10 18:32:59 +0000677 // Static fields come after the embedded tables.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700678 base = Class::ComputeClassSize(true, GetVTableDuringLinking()->GetLength(),
Mathieu Chartiere401d142015-04-22 13:56:20 -0700679 0, 0, 0, 0, 0, pointer_size);
Vladimir Marko76649e82014-11-10 18:32:59 +0000680 }
681 return MemberOffset(base);
682}
683
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700684inline void Class::SetIFieldsPtr(LengthPrefixedArray<ArtField>* new_ifields) {
685 DCHECK(GetIFieldsPtrUnchecked() == nullptr);
Mathieu Chartierc7853442015-03-27 14:35:38 -0700686 return SetFieldPtr<false>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_), new_ifields);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800687}
688
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700689inline void Class::SetIFieldsPtrUnchecked(LengthPrefixedArray<ArtField>* new_ifields) {
Mathieu Chartierc7853442015-03-27 14:35:38 -0700690 SetFieldPtr<false, true, kVerifyNone>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_), new_ifields);
691}
692
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700693inline LengthPrefixedArray<ArtField>* Class::GetSFieldsPtrUnchecked() {
694 return GetFieldPtr<LengthPrefixedArray<ArtField>*>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_));
Mathieu Chartierc7853442015-03-27 14:35:38 -0700695}
696
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700697inline LengthPrefixedArray<ArtField>* Class::GetIFieldsPtrUnchecked() {
698 return GetFieldPtr<LengthPrefixedArray<ArtField>*>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_));
Mathieu Chartierc7853442015-03-27 14:35:38 -0700699}
700
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700701inline LengthPrefixedArray<ArtField>* Class::GetSFieldsPtr() {
Mathieu Chartier987ca8b2015-03-15 14:19:14 -0700702 DCHECK(IsLoaded() || IsErroneous()) << GetStatus();
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700703 return GetSFieldsPtrUnchecked();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800704}
705
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700706inline void Class::SetSFieldsPtr(LengthPrefixedArray<ArtField>* new_sfields) {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700707 DCHECK((IsRetired() && new_sfields == nullptr) ||
Mathieu Chartierc7853442015-03-27 14:35:38 -0700708 GetFieldPtr<ArtField*>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_)) == nullptr);
709 SetFieldPtr<false>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_), new_sfields);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800710}
711
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700712inline void Class::SetSFieldsPtrUnchecked(LengthPrefixedArray<ArtField>* new_sfields) {
Mathieu Chartierc7853442015-03-27 14:35:38 -0700713 SetFieldPtr<false, true, kVerifyNone>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_), new_sfields);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800714}
715
Mathieu Chartierc7853442015-03-27 14:35:38 -0700716inline ArtField* Class::GetStaticField(uint32_t i) {
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700717 return &GetSFieldsPtr()->At(i);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800718}
719
Mathieu Chartierc7853442015-03-27 14:35:38 -0700720inline ArtField* Class::GetInstanceField(uint32_t i) {
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700721 return &GetIFieldsPtr()->At(i);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800722}
723
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700724template<VerifyObjectFlags kVerifyFlags>
725inline uint32_t Class::GetReferenceInstanceOffsets() {
726 DCHECK(IsResolved<kVerifyFlags>() || IsErroneous<kVerifyFlags>());
727 return GetField32<kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Class, reference_instance_offsets_));
728}
729
730inline void Class::SetClinitThreadId(pid_t new_clinit_thread_id) {
Chang Xing6d3e7682017-07-11 10:31:29 -0700731 SetField32Transaction(OFFSET_OF_OBJECT_MEMBER(Class, clinit_thread_id_), new_clinit_thread_id);
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700732}
733
Ian Rogersef7d42f2014-01-06 12:55:46 -0800734inline String* Class::GetName() {
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700735 return GetFieldObject<String>(OFFSET_OF_OBJECT_MEMBER(Class, name_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800736}
Mathieu Chartier52a7f5c2015-08-18 18:35:52 -0700737
Mathieu Chartier1a5337f2016-10-13 13:48:23 -0700738inline void Class::SetName(ObjPtr<String> name) {
Chang Xing6d3e7682017-07-11 10:31:29 -0700739 SetFieldObjectTransaction(OFFSET_OF_OBJECT_MEMBER(Class, name_), name);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800740}
741
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700742template<VerifyObjectFlags kVerifyFlags>
743inline Primitive::Type Class::GetPrimitiveType() {
Roland Levillain33d69032015-06-18 18:20:59 +0100744 static_assert(sizeof(Primitive::Type) == sizeof(int32_t),
745 "art::Primitive::Type and int32_t have different sizes.");
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700746 int32_t v32 = GetField32<kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Class, primitive_type_));
Mathieu Chartier8261d022016-08-08 09:41:04 -0700747 Primitive::Type type = static_cast<Primitive::Type>(v32 & kPrimitiveTypeMask);
748 DCHECK_EQ(static_cast<size_t>(v32 >> kPrimitiveTypeSizeShiftShift),
749 Primitive::ComponentSizeShift(type));
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700750 return type;
751}
752
753template<VerifyObjectFlags kVerifyFlags>
754inline size_t Class::GetPrimitiveTypeSizeShift() {
Roland Levillain33d69032015-06-18 18:20:59 +0100755 static_assert(sizeof(Primitive::Type) == sizeof(int32_t),
756 "art::Primitive::Type and int32_t have different sizes.");
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700757 int32_t v32 = GetField32<kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Class, primitive_type_));
Mathieu Chartier8261d022016-08-08 09:41:04 -0700758 size_t size_shift = static_cast<Primitive::Type>(v32 >> kPrimitiveTypeSizeShiftShift);
759 DCHECK_EQ(size_shift,
760 Primitive::ComponentSizeShift(static_cast<Primitive::Type>(v32 & kPrimitiveTypeMask)));
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700761 return size_shift;
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700762}
763
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700764inline void Class::CheckObjectAlloc() {
Hiroshi Yamauchi4cd662e2014-04-03 16:28:10 -0700765 DCHECK(!IsArrayClass())
David Sehr709b0702016-10-13 09:12:37 -0700766 << PrettyClass()
Hiroshi Yamauchi4cd662e2014-04-03 16:28:10 -0700767 << "A array shouldn't be allocated through this "
768 << "as it requires a pre-fence visitor that sets the class size.";
769 DCHECK(!IsClassClass())
David Sehr709b0702016-10-13 09:12:37 -0700770 << PrettyClass()
Hiroshi Yamauchi4cd662e2014-04-03 16:28:10 -0700771 << "A class object shouldn't be allocated through this "
772 << "as it requires a pre-fence visitor that sets the class size.";
Jeff Hao848f70a2014-01-15 13:49:50 -0800773 DCHECK(!IsStringClass())
David Sehr709b0702016-10-13 09:12:37 -0700774 << PrettyClass()
Jeff Hao848f70a2014-01-15 13:49:50 -0800775 << "A string shouldn't be allocated through this "
776 << "as it requires a pre-fence visitor that sets the class size.";
David Sehr709b0702016-10-13 09:12:37 -0700777 DCHECK(IsInstantiable()) << PrettyClass();
Hiroshi Yamauchi967a0ad2013-09-10 16:24:21 -0700778 // TODO: decide whether we want this check. It currently fails during bootstrap.
David Sehr709b0702016-10-13 09:12:37 -0700779 // DCHECK(!Runtime::Current()->IsStarted() || IsInitializing()) << PrettyClass();
Hiroshi Yamauchi967a0ad2013-09-10 16:24:21 -0700780 DCHECK_GE(this->object_size_, sizeof(Object));
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700781}
782
Mathieu Chartier8668c3c2014-04-24 16:48:11 -0700783template<bool kIsInstrumented, bool kCheckAddFinalizer>
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700784inline ObjPtr<Object> Class::Alloc(Thread* self, gc::AllocatorType allocator_type) {
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700785 CheckObjectAlloc();
Mathieu Chartier590fee92013-09-13 13:46:47 -0700786 gc::Heap* heap = Runtime::Current()->GetHeap();
Mathieu Chartier8668c3c2014-04-24 16:48:11 -0700787 const bool add_finalizer = kCheckAddFinalizer && IsFinalizable();
788 if (!kCheckAddFinalizer) {
789 DCHECK(!IsFinalizable());
790 }
Mathieu Chartier9d156d52016-10-06 17:44:26 -0700791 // Note that the this pointer may be invalidated after the allocation.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700792 ObjPtr<Object> obj =
Mathieu Chartier9d156d52016-10-06 17:44:26 -0700793 heap->AllocObjectWithAllocator<kIsInstrumented, false>(self,
794 this,
795 this->object_size_,
796 allocator_type,
797 VoidFunctor());
Mathieu Chartier8668c3c2014-04-24 16:48:11 -0700798 if (add_finalizer && LIKELY(obj != nullptr)) {
799 heap->AddFinalizerReference(self, &obj);
Pavel Vyssotski3ac90da2014-12-02 19:54:50 +0600800 if (UNLIKELY(self->IsExceptionPending())) {
801 // Failed to allocate finalizer reference, it means that the whole allocation failed.
802 obj = nullptr;
803 }
Mathieu Chartier8668c3c2014-04-24 16:48:11 -0700804 }
Mathieu Chartier9d156d52016-10-06 17:44:26 -0700805 return obj.Ptr();
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800806}
807
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700808inline ObjPtr<Object> Class::AllocObject(Thread* self) {
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800809 return Alloc<true>(self, Runtime::Current()->GetHeap()->GetCurrentAllocator());
810}
811
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700812inline ObjPtr<Object> Class::AllocNonMovableObject(Thread* self) {
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800813 return Alloc<true>(self, Runtime::Current()->GetHeap()->GetCurrentNonMovingAllocator());
Hiroshi Yamauchi967a0ad2013-09-10 16:24:21 -0700814}
815
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000816inline uint32_t Class::ComputeClassSize(bool has_embedded_vtable,
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700817 uint32_t num_vtable_entries,
Fred Shih37f05ef2014-07-16 18:38:08 -0700818 uint32_t num_8bit_static_fields,
819 uint32_t num_16bit_static_fields,
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700820 uint32_t num_32bit_static_fields,
821 uint32_t num_64bit_static_fields,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700822 uint32_t num_ref_static_fields,
Andreas Gampe542451c2016-07-26 09:02:02 -0700823 PointerSize pointer_size) {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700824 // Space used by java.lang.Class and its instance fields.
825 uint32_t size = sizeof(Class);
826 // Space used by embedded tables.
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000827 if (has_embedded_vtable) {
Andreas Gampe542451c2016-07-26 09:02:02 -0700828 size = RoundUp(size + sizeof(uint32_t), static_cast<size_t>(pointer_size));
829 size += static_cast<size_t>(pointer_size); // size of pointer to IMT
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +0000830 size += num_vtable_entries * VTableEntrySize(pointer_size);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700831 }
Fred Shih37f05ef2014-07-16 18:38:08 -0700832
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700833 // Space used by reference statics.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700834 size += num_ref_static_fields * kHeapReferenceSize;
Fred Shih37f05ef2014-07-16 18:38:08 -0700835 if (!IsAligned<8>(size) && num_64bit_static_fields > 0) {
836 uint32_t gap = 8 - (size & 0x7);
837 size += gap; // will be padded
838 // Shuffle 4-byte fields forward.
839 while (gap >= sizeof(uint32_t) && num_32bit_static_fields != 0) {
840 --num_32bit_static_fields;
841 gap -= sizeof(uint32_t);
842 }
843 // Shuffle 2-byte fields forward.
844 while (gap >= sizeof(uint16_t) && num_16bit_static_fields != 0) {
845 --num_16bit_static_fields;
846 gap -= sizeof(uint16_t);
847 }
848 // Shuffle byte fields forward.
849 while (gap >= sizeof(uint8_t) && num_8bit_static_fields != 0) {
850 --num_8bit_static_fields;
851 gap -= sizeof(uint8_t);
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700852 }
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700853 }
Fred Shih37f05ef2014-07-16 18:38:08 -0700854 // Guaranteed to be at least 4 byte aligned. No need for further alignments.
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700855 // Space used for primitive static fields.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700856 size += num_8bit_static_fields * sizeof(uint8_t) + num_16bit_static_fields * sizeof(uint16_t) +
857 num_32bit_static_fields * sizeof(uint32_t) + num_64bit_static_fields * sizeof(uint64_t);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700858 return size;
859}
860
Fred Shih4ee7a662014-07-11 09:59:27 -0700861template<ReadBarrierOption kReadBarrierOption>
862inline bool Class::IsReferenceClass() const {
863 return this == Reference::GetJavaLangRefReference<kReadBarrierOption>();
864}
865
Hiroshi Yamauchi25023c72014-05-09 11:45:53 -0700866template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
867inline bool Class::IsClassClass() {
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700868 ObjPtr<Class> java_lang_Class = GetClass<kVerifyFlags, kReadBarrierOption>()->
Hiroshi Yamauchi25023c72014-05-09 11:45:53 -0700869 template GetClass<kVerifyFlags, kReadBarrierOption>();
870 return this == java_lang_Class;
871}
872
Mathieu Chartierf8322842014-05-16 10:59:25 -0700873inline const DexFile& Class::GetDexFile() {
Mathieu Chartierbc632f02017-04-20 13:31:39 -0700874 // From-space version is the same as the to-space version since the dex file never changes.
875 // Avoiding the read barrier here is important to prevent recursive AssertToSpaceInvariant issues
876 // from PrettyTypeOf.
877 return *GetDexCache<kDefaultVerifyFlags, kWithoutReadBarrier>()->GetDexFile();
Mathieu Chartierf8322842014-05-16 10:59:25 -0700878}
879
880inline bool Class::DescriptorEquals(const char* match) {
Ian Rogers1ff3c982014-08-12 02:30:58 -0700881 if (IsArrayClass()) {
Mathieu Chartierf8322842014-05-16 10:59:25 -0700882 return match[0] == '[' && GetComponentType()->DescriptorEquals(match + 1);
Ian Rogers1ff3c982014-08-12 02:30:58 -0700883 } else if (IsPrimitive()) {
Mathieu Chartierf8322842014-05-16 10:59:25 -0700884 return strcmp(Primitive::Descriptor(GetPrimitiveType()), match) == 0;
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000885 } else if (IsProxyClass()) {
886 return ProxyDescriptorEquals(match);
Mathieu Chartierf8322842014-05-16 10:59:25 -0700887 } else {
888 const DexFile& dex_file = GetDexFile();
889 const DexFile::TypeId& type_id = dex_file.GetTypeId(GetClassDef()->class_idx_);
890 return strcmp(dex_file.GetTypeDescriptor(type_id), match) == 0;
891 }
892}
893
Sebastien Hertz4e99b3d2014-06-24 14:35:40 +0200894inline void Class::AssertInitializedOrInitializingInThread(Thread* self) {
895 if (kIsDebugBuild && !IsInitialized()) {
David Sehr709b0702016-10-13 09:12:37 -0700896 CHECK(IsInitializing()) << PrettyClass() << " is not initializing: " << GetStatus();
897 CHECK_EQ(GetClinitThreadId(), self->GetTid()) << PrettyClass()
Sebastien Hertz4e99b3d2014-06-24 14:35:40 +0200898 << " is initializing in a different thread";
899 }
900}
901
Narayan Kamath6b2dc312017-03-14 13:26:12 +0000902inline ObjectArray<Class>* Class::GetProxyInterfaces() {
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000903 CHECK(IsProxyClass());
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700904 // First static field.
Mathieu Chartierc7853442015-03-27 14:35:38 -0700905 auto* field = GetStaticField(0);
906 DCHECK_STREQ(field->GetName(), "interfaces");
907 MemberOffset field_offset = field->GetOffset();
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000908 return GetFieldObject<ObjectArray<Class>>(field_offset);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700909}
910
Narayan Kamath6b2dc312017-03-14 13:26:12 +0000911inline ObjectArray<ObjectArray<Class>>* Class::GetProxyThrows() {
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000912 CHECK(IsProxyClass());
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700913 // Second static field.
Mathieu Chartierc7853442015-03-27 14:35:38 -0700914 auto* field = GetStaticField(1);
915 DCHECK_STREQ(field->GetName(), "throws");
916 MemberOffset field_offset = field->GetOffset();
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000917 return GetFieldObject<ObjectArray<ObjectArray<Class>>>(field_offset);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700918}
919
Fred Shih4ee7a662014-07-11 09:59:27 -0700920inline MemberOffset Class::GetDisableIntrinsicFlagOffset() {
921 CHECK(IsReferenceClass());
922 // First static field
Mathieu Chartierc7853442015-03-27 14:35:38 -0700923 auto* field = GetStaticField(0);
924 DCHECK_STREQ(field->GetName(), "disableIntrinsic");
925 return field->GetOffset();
Fred Shih4ee7a662014-07-11 09:59:27 -0700926}
927
928inline MemberOffset Class::GetSlowPathFlagOffset() {
929 CHECK(IsReferenceClass());
930 // Second static field
Mathieu Chartierc7853442015-03-27 14:35:38 -0700931 auto* field = GetStaticField(1);
932 DCHECK_STREQ(field->GetName(), "slowPathEnabled");
933 return field->GetOffset();
Fred Shih4ee7a662014-07-11 09:59:27 -0700934}
935
936inline bool Class::GetSlowPathEnabled() {
Fred Shih37f05ef2014-07-16 18:38:08 -0700937 return GetFieldBoolean(GetSlowPathFlagOffset());
Fred Shih4ee7a662014-07-11 09:59:27 -0700938}
939
940inline void Class::SetSlowPath(bool enabled) {
Mathieu Chartier31000802015-06-14 14:14:37 -0700941 SetFieldBoolean<false, false>(GetSlowPathFlagOffset(), enabled);
Fred Shih4ee7a662014-07-11 09:59:27 -0700942}
943
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700944inline void Class::InitializeClassVisitor::operator()(ObjPtr<Object> obj,
Mathieu Chartier9d156d52016-10-06 17:44:26 -0700945 size_t usable_size) const {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700946 DCHECK_LE(class_size_, usable_size);
947 // Avoid AsClass as object is not yet in live bitmap or allocation stack.
Mathieu Chartier28bd2e42016-10-04 13:54:57 -0700948 ObjPtr<Class> klass = ObjPtr<Class>::DownCast(obj);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700949 klass->SetClassSize(class_size_);
950 klass->SetPrimitiveType(Primitive::kPrimNot); // Default to not being primitive.
951 klass->SetDexClassDefIndex(DexFile::kDexNoIndex16); // Default to no valid class def index.
Andreas Gampea5b09a62016-11-17 15:21:22 -0800952 klass->SetDexTypeIndex(dex::TypeIndex(DexFile::kDexNoIndex16)); // Default to no valid type
953 // index.
Mathieu Chartier93bbee02016-08-31 09:38:40 -0700954 // Default to force slow path until initialized.
Mathieu Chartier161db1d2016-09-01 14:06:54 -0700955 klass->SetObjectSizeAllocFastPath(std::numeric_limits<uint32_t>::max());
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700956}
957
Andreas Gampe48498592014-09-10 19:48:05 -0700958inline void Class::SetAccessFlags(uint32_t new_access_flags) {
959 // Called inside a transaction when setting pre-verified flag during boot image compilation.
960 if (Runtime::Current()->IsActiveTransaction()) {
Mathieu Chartier52a7f5c2015-08-18 18:35:52 -0700961 SetField32<true>(AccessFlagsOffset(), new_access_flags);
Andreas Gampe48498592014-09-10 19:48:05 -0700962 } else {
Mathieu Chartier52a7f5c2015-08-18 18:35:52 -0700963 SetField32<false>(AccessFlagsOffset(), new_access_flags);
964 }
965}
966
967inline void Class::SetClassFlags(uint32_t new_flags) {
968 if (Runtime::Current()->IsActiveTransaction()) {
969 SetField32<true>(OFFSET_OF_OBJECT_MEMBER(Class, class_flags_), new_flags);
970 } else {
971 SetField32<false>(OFFSET_OF_OBJECT_MEMBER(Class, class_flags_), new_flags);
Andreas Gampe48498592014-09-10 19:48:05 -0700972 }
973}
974
Mathieu Chartier2d2621a2014-10-23 16:48:06 -0700975inline uint32_t Class::NumDirectInterfaces() {
976 if (IsPrimitive()) {
977 return 0;
978 } else if (IsArrayClass()) {
979 return 2;
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000980 } else if (IsProxyClass()) {
Narayan Kamath6b2dc312017-03-14 13:26:12 +0000981 ObjectArray<Class>* interfaces = GetProxyInterfaces();
Mathieu Chartier2d2621a2014-10-23 16:48:06 -0700982 return interfaces != nullptr ? interfaces->GetLength() : 0;
983 } else {
984 const DexFile::TypeList* interfaces = GetInterfaceTypeList();
985 if (interfaces == nullptr) {
986 return 0;
987 } else {
988 return interfaces->Size();
989 }
990 }
991}
992
Vladimir Marko9ac77492017-06-14 18:07:03 +0100993inline ArraySlice<ArtMethod> Class::GetDirectMethods(PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700994 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +0100995 return GetDirectMethodsSliceUnchecked(pointer_size);
Alex Lighte64300b2015-12-15 15:02:47 -0800996}
997
Vladimir Marko9ac77492017-06-14 18:07:03 +0100998inline ArraySlice<ArtMethod> Class::GetDeclaredMethods(
Andreas Gampe542451c2016-07-26 09:02:02 -0700999 PointerSize pointer_size) {
Vladimir Marko9ac77492017-06-14 18:07:03 +01001000 return GetDeclaredMethodsSliceUnchecked(pointer_size);
Alex Lighte64300b2015-12-15 15:02:47 -08001001}
1002
Vladimir Marko9ac77492017-06-14 18:07:03 +01001003inline ArraySlice<ArtMethod> Class::GetDeclaredVirtualMethods(
Andreas Gampe542451c2016-07-26 09:02:02 -07001004 PointerSize pointer_size) {
Vladimir Marko9ac77492017-06-14 18:07:03 +01001005 return GetDeclaredVirtualMethodsSliceUnchecked(pointer_size);
Mathieu Chartiere401d142015-04-22 13:56:20 -07001006}
1007
Vladimir Marko9ac77492017-06-14 18:07:03 +01001008inline ArraySlice<ArtMethod> Class::GetVirtualMethods(
Andreas Gampe542451c2016-07-26 09:02:02 -07001009 PointerSize pointer_size) {
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001010 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +01001011 return GetVirtualMethodsSliceUnchecked(pointer_size);
Alex Lighte64300b2015-12-15 15:02:47 -08001012}
1013
Vladimir Marko9ac77492017-06-14 18:07:03 +01001014inline ArraySlice<ArtMethod> Class::GetCopiedMethods(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -08001015 CheckPointerSize(pointer_size);
Vladimir Marko9ac77492017-06-14 18:07:03 +01001016 return GetCopiedMethodsSliceUnchecked(pointer_size);
Alex Lighte64300b2015-12-15 15:02:47 -08001017}
1018
1019
Vladimir Marko9ac77492017-06-14 18:07:03 +01001020inline ArraySlice<ArtMethod> Class::GetMethods(PointerSize pointer_size) {
Alex Lighte64300b2015-12-15 15:02:47 -08001021 CheckPointerSize(pointer_size);
Mathieu Chartier2466d622017-09-26 13:52:26 -07001022 LengthPrefixedArray<ArtMethod>* methods = GetMethodsPtr();
1023 return GetMethodsSliceRangeUnchecked(methods, pointer_size, 0u, NumMethods(methods));
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001024}
1025
1026inline IterationRange<StrideIterator<ArtField>> Class::GetIFields() {
Vladimir Markocf36d492015-08-12 19:27:26 +01001027 return MakeIterationRangeFromLengthPrefixedArray(GetIFieldsPtr());
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001028}
1029
1030inline IterationRange<StrideIterator<ArtField>> Class::GetSFields() {
Vladimir Markocf36d492015-08-12 19:27:26 +01001031 return MakeIterationRangeFromLengthPrefixedArray(GetSFieldsPtr());
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001032}
1033
1034inline IterationRange<StrideIterator<ArtField>> Class::GetIFieldsUnchecked() {
Vladimir Markocf36d492015-08-12 19:27:26 +01001035 return MakeIterationRangeFromLengthPrefixedArray(GetIFieldsPtrUnchecked());
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001036}
1037
1038inline IterationRange<StrideIterator<ArtField>> Class::GetSFieldsUnchecked() {
Vladimir Markocf36d492015-08-12 19:27:26 +01001039 return MakeIterationRangeFromLengthPrefixedArray(GetSFieldsPtrUnchecked());
Mathieu Chartiere401d142015-04-22 13:56:20 -07001040}
1041
Andreas Gampe542451c2016-07-26 09:02:02 -07001042inline MemberOffset Class::EmbeddedVTableOffset(PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -07001043 CheckPointerSize(pointer_size);
Andreas Gampe542451c2016-07-26 09:02:02 -07001044 return MemberOffset(ImtPtrOffset(pointer_size).Uint32Value() + static_cast<size_t>(pointer_size));
Mathieu Chartiere401d142015-04-22 13:56:20 -07001045}
1046
Andreas Gampe542451c2016-07-26 09:02:02 -07001047inline void Class::CheckPointerSize(PointerSize pointer_size) {
Mathieu Chartiere401d142015-04-22 13:56:20 -07001048 DCHECK_EQ(pointer_size, Runtime::Current()->GetClassLinker()->GetImagePointerSize());
Mathieu Chartierc7853442015-03-27 14:35:38 -07001049}
1050
Calin Juravle2e768302015-07-28 14:41:11 +00001051template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
1052inline Class* Class::GetComponentType() {
1053 return GetFieldObject<Class, kVerifyFlags, kReadBarrierOption>(ComponentTypeOffset());
1054}
1055
1056template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
1057inline bool Class::IsArrayClass() {
1058 return GetComponentType<kVerifyFlags, kReadBarrierOption>() != nullptr;
1059}
1060
Andreas Gampec6ea7d02017-02-01 16:46:28 -08001061template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
1062inline bool Class::IsObjectArrayClass() {
1063 ObjPtr<Class> const component_type = GetComponentType<kVerifyFlags, kReadBarrierOption>();
1064 return component_type != nullptr && !component_type->IsPrimitive();
1065}
1066
Mathieu Chartier3398c782016-09-30 10:27:43 -07001067inline bool Class::IsAssignableFrom(ObjPtr<Class> src) {
Calin Juravle2e768302015-07-28 14:41:11 +00001068 DCHECK(src != nullptr);
1069 if (this == src) {
1070 // Can always assign to things of the same type.
1071 return true;
1072 } else if (IsObjectClass()) {
1073 // Can assign any reference to java.lang.Object.
1074 return !src->IsPrimitive();
1075 } else if (IsInterface()) {
1076 return src->Implements(this);
1077 } else if (src->IsArrayClass()) {
1078 return IsAssignableFromArray(src);
1079 } else {
1080 return !src->IsInterface() && src->IsSubClass(this);
1081 }
1082}
1083
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001084inline uint32_t Class::NumDirectMethods() {
Alex Lighte64300b2015-12-15 15:02:47 -08001085 return GetVirtualMethodsStartOffset();
1086}
1087
1088inline uint32_t Class::NumDeclaredVirtualMethods() {
1089 return GetCopiedMethodsStartOffset() - GetVirtualMethodsStartOffset();
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001090}
1091
1092inline uint32_t Class::NumVirtualMethods() {
Alex Lighte64300b2015-12-15 15:02:47 -08001093 return NumMethods() - GetVirtualMethodsStartOffset();
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001094}
1095
1096inline uint32_t Class::NumInstanceFields() {
1097 LengthPrefixedArray<ArtField>* arr = GetIFieldsPtrUnchecked();
Vladimir Marko35831e82015-09-11 11:59:18 +01001098 return arr != nullptr ? arr->size() : 0u;
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001099}
1100
1101inline uint32_t Class::NumStaticFields() {
1102 LengthPrefixedArray<ArtField>* arr = GetSFieldsPtrUnchecked();
Vladimir Marko35831e82015-09-11 11:59:18 +01001103 return arr != nullptr ? arr->size() : 0u;
Mathieu Chartier54d220e2015-07-30 16:20:06 -07001104}
1105
Mathieu Chartierdfe02f62016-02-01 20:15:11 -08001106template <VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption, typename Visitor>
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001107inline void Class::FixupNativePointers(Class* dest,
Andreas Gampe542451c2016-07-26 09:02:02 -07001108 PointerSize pointer_size,
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001109 const Visitor& visitor) {
1110 // Update the field arrays.
1111 LengthPrefixedArray<ArtField>* const sfields = GetSFieldsPtr();
1112 LengthPrefixedArray<ArtField>* const new_sfields = visitor(sfields);
1113 if (sfields != new_sfields) {
1114 dest->SetSFieldsPtrUnchecked(new_sfields);
1115 }
1116 LengthPrefixedArray<ArtField>* const ifields = GetIFieldsPtr();
1117 LengthPrefixedArray<ArtField>* const new_ifields = visitor(ifields);
1118 if (ifields != new_ifields) {
1119 dest->SetIFieldsPtrUnchecked(new_ifields);
1120 }
Alex Lighte64300b2015-12-15 15:02:47 -08001121 // Update method array.
1122 LengthPrefixedArray<ArtMethod>* methods = GetMethodsPtr();
1123 LengthPrefixedArray<ArtMethod>* new_methods = visitor(methods);
1124 if (methods != new_methods) {
1125 dest->SetMethodsPtrInternal(new_methods);
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001126 }
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001127 // Fix up embedded tables.
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001128 if (!IsTemp() && ShouldHaveEmbeddedVTable<kVerifyNone, kReadBarrierOption>()) {
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001129 for (int32_t i = 0, count = GetEmbeddedVTableLength(); i < count; ++i) {
1130 ArtMethod* method = GetEmbeddedVTableEntry(i, pointer_size);
Mathieu Chartier8c19d242017-03-06 12:35:10 -08001131 void** dest_addr = reinterpret_cast<void**>(reinterpret_cast<uintptr_t>(dest) +
1132 EmbeddedVTableEntryOffset(i, pointer_size).Uint32Value());
1133 ArtMethod* new_method = visitor(method, dest_addr);
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001134 if (method != new_method) {
1135 dest->SetEmbeddedVTableEntryUnchecked(i, new_method, pointer_size);
1136 }
1137 }
Artem Udovichenkoa62cb9b2016-06-30 09:18:25 +00001138 }
1139 if (!IsTemp() && ShouldHaveImt<kVerifyNone, kReadBarrierOption>()) {
1140 dest->SetImt(visitor(GetImt(pointer_size)), pointer_size);
Mathieu Chartier4b00d342015-11-13 10:42:08 -08001141 }
1142}
1143
Mathieu Chartier3398c782016-09-30 10:27:43 -07001144inline bool Class::CanAccess(ObjPtr<Class> that) {
1145 return that->IsPublic() || this->IsInSamePackage(that);
1146}
1147
1148
1149inline bool Class::CanAccessMember(ObjPtr<Class> access_to, uint32_t member_flags) {
1150 // Classes can access all of their own members
1151 if (this == access_to) {
1152 return true;
1153 }
David Brazdil5a61bb72018-01-19 16:59:46 +00001154 // Do not allow non-boot class path classes access hidden APIs.
1155 if (hiddenapi::ShouldBlockAccessToMember(member_flags, this)) {
1156 return false;
1157 }
Mathieu Chartier3398c782016-09-30 10:27:43 -07001158 // Public members are trivially accessible
1159 if (member_flags & kAccPublic) {
1160 return true;
1161 }
1162 // Private members are trivially not accessible
1163 if (member_flags & kAccPrivate) {
1164 return false;
1165 }
1166 // Check for protected access from a sub-class, which may or may not be in the same package.
1167 if (member_flags & kAccProtected) {
1168 if (!this->IsInterface() && this->IsSubClass(access_to)) {
1169 return true;
1170 }
1171 }
1172 // Allow protected access from other classes in the same package.
1173 return this->IsInSamePackage(access_to);
1174}
1175
Mathieu Chartier28bd2e42016-10-04 13:54:57 -07001176inline bool Class::CannotBeAssignedFromOtherTypes() {
1177 if (!IsArrayClass()) {
1178 return IsFinal();
1179 }
1180 ObjPtr<Class> component = GetComponentType();
1181 return component->IsPrimitive() || component->CannotBeAssignedFromOtherTypes();
1182}
1183
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001184} // namespace mirror
1185} // namespace art
1186
Brian Carlstromfc0e3212013-07-17 14:40:12 -07001187#endif // ART_RUNTIME_MIRROR_CLASS_INL_H_