blob: b15747f223796a0294907ffab2d1b2e814fcf2f3 [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
Mingyao Yang98d1cc82014-05-15 17:02:16 -070022#include "art_field-inl.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070023#include "art_method.h"
Mingyao Yang98d1cc82014-05-15 17:02:16 -070024#include "art_method-inl.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070025#include "class_loader.h"
Vladimir Marko23a28212014-01-09 19:24:37 +000026#include "common_throws.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070027#include "dex_cache.h"
Mathieu Chartierf8322842014-05-16 10:59:25 -070028#include "dex_file.h"
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070029#include "gc/heap-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080030#include "iftable.h"
Mathieu Chartier54d220e2015-07-30 16:20:06 -070031#include "length_prefixed_array.h"
Ian Rogers62d6c772013-02-27 08:32:07 -080032#include "object_array-inl.h"
Mingyao Yang98d1cc82014-05-15 17:02:16 -070033#include "read_barrier-inl.h"
Fred Shih4ee7a662014-07-11 09:59:27 -070034#include "reference-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080035#include "runtime.h"
36#include "string.h"
Vladimir Marko80afd022015-05-19 18:08:00 +010037#include "utils.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080038
39namespace art {
40namespace mirror {
41
Hiroshi Yamauchi25023c72014-05-09 11:45:53 -070042template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
Ian Rogersef7d42f2014-01-06 12:55:46 -080043inline uint32_t Class::GetObjectSize() {
Vladimir Marko3481ba22015-04-13 12:22:36 +010044 // Note: Extra parentheses to avoid the comma being interpreted as macro parameter separator.
45 DCHECK((!IsVariableSize<kVerifyFlags, kReadBarrierOption>())) << " class=" << PrettyTypeOf(this);
Hiroshi Yamauchie01a5202015-03-19 12:35:04 -070046 return GetField32(ObjectSizeOffset());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080047}
48
Ian Rogersef7d42f2014-01-06 12:55:46 -080049inline Class* Class::GetSuperClass() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080050 // Can only get super class for loaded classes (hack for when runtime is
51 // initializing)
Brian Carlstrom073278c2014-02-19 15:21:21 -080052 DCHECK(IsLoaded() || IsErroneous() || !Runtime::Current()->IsStarted()) << IsLoaded();
Ian Rogersb0fa5dc2014-04-28 16:47:08 -070053 return GetFieldObject<Class>(OFFSET_OF_OBJECT_MEMBER(Class, super_class_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080054}
55
Ian Rogersef7d42f2014-01-06 12:55:46 -080056inline ClassLoader* Class::GetClassLoader() {
Ian Rogersb0fa5dc2014-04-28 16:47:08 -070057 return GetFieldObject<ClassLoader>(OFFSET_OF_OBJECT_MEMBER(Class, class_loader_));
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070058}
59
Mathieu Chartierc2f4d022014-03-03 16:11:42 -080060template<VerifyObjectFlags kVerifyFlags>
Ian Rogersef7d42f2014-01-06 12:55:46 -080061inline DexCache* Class::GetDexCache() {
Ian Rogersb0fa5dc2014-04-28 16:47:08 -070062 return GetFieldObject<DexCache, kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Class, dex_cache_));
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070063}
64
Mathieu Chartier54d220e2015-07-30 16:20:06 -070065inline LengthPrefixedArray<ArtMethod>* Class::GetDirectMethodsPtr() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080066 DCHECK(IsLoaded() || IsErroneous());
Mathieu Chartiere401d142015-04-22 13:56:20 -070067 return GetDirectMethodsPtrUnchecked();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080068}
69
Mathieu Chartier54d220e2015-07-30 16:20:06 -070070inline LengthPrefixedArray<ArtMethod>* Class::GetDirectMethodsPtrUnchecked() {
71 return reinterpret_cast<LengthPrefixedArray<ArtMethod>*>(
72 GetField64(OFFSET_OF_OBJECT_MEMBER(Class, direct_methods_)));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080073}
74
Mathieu Chartier54d220e2015-07-30 16:20:06 -070075inline LengthPrefixedArray<ArtMethod>* Class::GetVirtualMethodsPtrUnchecked() {
76 return reinterpret_cast<LengthPrefixedArray<ArtMethod>*>(
77 GetField64(OFFSET_OF_OBJECT_MEMBER(Class, virtual_methods_)));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080078}
79
Mathieu Chartier54d220e2015-07-30 16:20:06 -070080inline void Class::SetDirectMethodsPtr(LengthPrefixedArray<ArtMethod>* new_direct_methods) {
Mathieu Chartiere401d142015-04-22 13:56:20 -070081 DCHECK(GetDirectMethodsPtrUnchecked() == nullptr);
82 SetDirectMethodsPtrUnchecked(new_direct_methods);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080083}
84
Mathieu Chartier54d220e2015-07-30 16:20:06 -070085inline void Class::SetDirectMethodsPtrUnchecked(
86 LengthPrefixedArray<ArtMethod>* new_direct_methods) {
Mathieu Chartiere401d142015-04-22 13:56:20 -070087 SetField64<false>(OFFSET_OF_OBJECT_MEMBER(Class, direct_methods_),
88 reinterpret_cast<uint64_t>(new_direct_methods));
89}
90
91inline ArtMethod* Class::GetDirectMethodUnchecked(size_t i, size_t pointer_size) {
92 CheckPointerSize(pointer_size);
93 auto* methods = GetDirectMethodsPtrUnchecked();
94 DCHECK(methods != nullptr);
Vladimir Markocf36d492015-08-12 19:27:26 +010095 return &methods->At(i,
96 ArtMethod::ObjectSize(pointer_size),
97 ArtMethod::ObjectAlignment(pointer_size));
Mathieu Chartiere401d142015-04-22 13:56:20 -070098}
99
100inline ArtMethod* Class::GetDirectMethod(size_t i, size_t pointer_size) {
101 CheckPointerSize(pointer_size);
102 auto* methods = GetDirectMethodsPtr();
103 DCHECK(methods != nullptr);
Vladimir Markocf36d492015-08-12 19:27:26 +0100104 return &methods->At(i,
105 ArtMethod::ObjectSize(pointer_size),
106 ArtMethod::ObjectAlignment(pointer_size));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800107}
108
Mathieu Chartier4e305412014-02-19 10:54:44 -0800109template<VerifyObjectFlags kVerifyFlags>
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700110inline LengthPrefixedArray<ArtMethod>* Class::GetVirtualMethodsPtr() {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700111 DCHECK(IsLoaded<kVerifyFlags>() || IsErroneous<kVerifyFlags>());
112 return GetVirtualMethodsPtrUnchecked();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800113}
114
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700115inline void Class::SetVirtualMethodsPtr(LengthPrefixedArray<ArtMethod>* new_virtual_methods) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800116 // TODO: we reassign virtual methods to grow the table for miranda
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100117 // methods.. they should really just be assigned once.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700118 SetField64<false>(OFFSET_OF_OBJECT_MEMBER(Class, virtual_methods_),
119 reinterpret_cast<uint64_t>(new_virtual_methods));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800120}
121
Mathieu Chartier4e305412014-02-19 10:54:44 -0800122template<VerifyObjectFlags kVerifyFlags>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700123inline ArtMethod* Class::GetVirtualMethod(size_t i, size_t pointer_size) {
124 CheckPointerSize(pointer_size);
Hiroshi Yamauchif4c15a12014-10-20 16:56:58 -0700125 DCHECK(IsResolved<kVerifyFlags>() || IsErroneous<kVerifyFlags>())
126 << PrettyClass(this) << " status=" << GetStatus();
Mathieu Chartiere401d142015-04-22 13:56:20 -0700127 return GetVirtualMethodUnchecked(i, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800128}
129
Mathieu Chartiere401d142015-04-22 13:56:20 -0700130inline ArtMethod* Class::GetVirtualMethodDuringLinking(size_t i, size_t pointer_size) {
131 CheckPointerSize(pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800132 DCHECK(IsLoaded() || IsErroneous());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700133 return GetVirtualMethodUnchecked(i, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800134}
135
Mathieu Chartiere401d142015-04-22 13:56:20 -0700136inline ArtMethod* Class::GetVirtualMethodUnchecked(size_t i, size_t pointer_size) {
137 CheckPointerSize(pointer_size);
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700138 LengthPrefixedArray<ArtMethod>* methods = GetVirtualMethodsPtrUnchecked();
Mathieu Chartiere401d142015-04-22 13:56:20 -0700139 DCHECK(methods != nullptr);
Vladimir Markocf36d492015-08-12 19:27:26 +0100140 return &methods->At(i,
141 ArtMethod::ObjectSize(pointer_size),
142 ArtMethod::ObjectAlignment(pointer_size));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800143}
144
Mathieu Chartiere401d142015-04-22 13:56:20 -0700145inline PointerArray* Class::GetVTable() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800146 DCHECK(IsResolved() || IsErroneous());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700147 return GetFieldObject<PointerArray>(OFFSET_OF_OBJECT_MEMBER(Class, vtable_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800148}
149
Mathieu Chartiere401d142015-04-22 13:56:20 -0700150inline PointerArray* Class::GetVTableDuringLinking() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800151 DCHECK(IsLoaded() || IsErroneous());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700152 return GetFieldObject<PointerArray>(OFFSET_OF_OBJECT_MEMBER(Class, vtable_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800153}
154
Mathieu Chartiere401d142015-04-22 13:56:20 -0700155inline void Class::SetVTable(PointerArray* new_vtable) {
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700156 SetFieldObject<false>(OFFSET_OF_OBJECT_MEMBER(Class, vtable_), new_vtable);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800157}
158
Mathieu Chartiere401d142015-04-22 13:56:20 -0700159inline MemberOffset Class::EmbeddedImTableEntryOffset(uint32_t i, size_t pointer_size) {
160 DCHECK_LT(i, kImtSize);
161 return MemberOffset(
162 EmbeddedImTableOffset(pointer_size).Uint32Value() + i * ImTableEntrySize(pointer_size));
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700163}
164
Mathieu Chartiere401d142015-04-22 13:56:20 -0700165inline ArtMethod* Class::GetEmbeddedImTableEntry(uint32_t i, size_t pointer_size) {
166 DCHECK(ShouldHaveEmbeddedImtAndVTable());
167 return GetFieldPtrWithSize<ArtMethod*>(
168 EmbeddedImTableEntryOffset(i, pointer_size), pointer_size);
169}
170
171inline void Class::SetEmbeddedImTableEntry(uint32_t i, ArtMethod* method, size_t pointer_size) {
172 DCHECK(ShouldHaveEmbeddedImtAndVTable());
173 SetFieldPtrWithSize<false>(EmbeddedImTableEntryOffset(i, pointer_size), method, pointer_size);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700174}
175
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700176inline bool Class::HasVTable() {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700177 return GetVTable() != nullptr || ShouldHaveEmbeddedImtAndVTable();
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700178}
179
180inline int32_t Class::GetVTableLength() {
181 if (ShouldHaveEmbeddedImtAndVTable()) {
182 return GetEmbeddedVTableLength();
183 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700184 return GetVTable() != nullptr ? GetVTable()->GetLength() : 0;
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700185}
186
Mathieu Chartiere401d142015-04-22 13:56:20 -0700187inline ArtMethod* Class::GetVTableEntry(uint32_t i, size_t pointer_size) {
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700188 if (ShouldHaveEmbeddedImtAndVTable()) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700189 return GetEmbeddedVTableEntry(i, pointer_size);
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700190 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700191 auto* vtable = GetVTable();
192 DCHECK(vtable != nullptr);
193 return vtable->GetElementPtrSize<ArtMethod*>(i, pointer_size);
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700194}
195
196inline int32_t Class::GetEmbeddedVTableLength() {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700197 return GetField32(MemberOffset(EmbeddedVTableLengthOffset()));
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700198}
199
200inline void Class::SetEmbeddedVTableLength(int32_t len) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700201 SetField32<false>(MemberOffset(EmbeddedVTableLengthOffset()), len);
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700202}
203
Mathieu Chartiere401d142015-04-22 13:56:20 -0700204inline MemberOffset Class::EmbeddedVTableEntryOffset(uint32_t i, size_t pointer_size) {
205 return MemberOffset(
206 EmbeddedVTableOffset(pointer_size).Uint32Value() + i * VTableEntrySize(pointer_size));
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700207}
208
Mathieu Chartiere401d142015-04-22 13:56:20 -0700209inline ArtMethod* Class::GetEmbeddedVTableEntry(uint32_t i, size_t pointer_size) {
210 return GetFieldPtrWithSize<ArtMethod*>(EmbeddedVTableEntryOffset(i, pointer_size), pointer_size);
211}
212
213inline void Class::SetEmbeddedVTableEntryUnchecked(
214 uint32_t i, ArtMethod* method, size_t pointer_size) {
215 SetFieldPtrWithSize<false>(EmbeddedVTableEntryOffset(i, pointer_size), method, pointer_size);
216}
217
218inline void Class::SetEmbeddedVTableEntry(uint32_t i, ArtMethod* method, size_t pointer_size) {
219 auto* vtable = GetVTableDuringLinking();
220 CHECK_EQ(method, vtable->GetElementPtrSize<ArtMethod*>(i, pointer_size));
221 SetEmbeddedVTableEntryUnchecked(i, method, pointer_size);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700222}
223
Ian Rogersef7d42f2014-01-06 12:55:46 -0800224inline bool Class::Implements(Class* klass) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700225 DCHECK(klass != nullptr);
Ian Rogers693ff612013-02-01 10:56:12 -0800226 DCHECK(klass->IsInterface()) << PrettyClass(this);
227 // All interfaces implemented directly and by our superclass, and
228 // recursively all super-interfaces of those interfaces, are listed
229 // in iftable_, so we can just do a linear scan through that.
230 int32_t iftable_count = GetIfTableCount();
231 IfTable* iftable = GetIfTable();
232 for (int32_t i = 0; i < iftable_count; i++) {
233 if (iftable->GetInterface(i) == klass) {
234 return true;
235 }
236 }
237 return false;
238}
239
240// Determine whether "this" is assignable from "src", where both of these
241// are array classes.
242//
243// Consider an array class, e.g. Y[][], where Y is a subclass of X.
244// Y[][] = Y[][] --> true (identity)
245// X[][] = Y[][] --> true (element superclass)
246// Y = Y[][] --> false
247// Y[] = Y[][] --> false
248// Object = Y[][] --> true (everything is an object)
249// Object[] = Y[][] --> true
250// Object[][] = Y[][] --> true
251// Object[][][] = Y[][] --> false (too many []s)
252// Serializable = Y[][] --> true (all arrays are Serializable)
253// Serializable[] = Y[][] --> true
254// Serializable[][] = Y[][] --> false (unless Y is Serializable)
255//
256// Don't forget about primitive types.
257// Object[] = int[] --> false
258//
Ian Rogersef7d42f2014-01-06 12:55:46 -0800259inline bool Class::IsArrayAssignableFromArray(Class* src) {
Ian Rogers693ff612013-02-01 10:56:12 -0800260 DCHECK(IsArrayClass()) << PrettyClass(this);
261 DCHECK(src->IsArrayClass()) << PrettyClass(src);
262 return GetComponentType()->IsAssignableFrom(src->GetComponentType());
263}
264
Ian Rogersef7d42f2014-01-06 12:55:46 -0800265inline bool Class::IsAssignableFromArray(Class* src) {
Ian Rogers693ff612013-02-01 10:56:12 -0800266 DCHECK(!IsInterface()) << PrettyClass(this); // handled first in IsAssignableFrom
267 DCHECK(src->IsArrayClass()) << PrettyClass(src);
268 if (!IsArrayClass()) {
269 // If "this" is not also an array, it must be Object.
270 // src's super should be java_lang_Object, since it is an array.
271 Class* java_lang_Object = src->GetSuperClass();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700272 DCHECK(java_lang_Object != nullptr) << PrettyClass(src);
273 DCHECK(java_lang_Object->GetSuperClass() == nullptr) << PrettyClass(src);
Ian Rogers693ff612013-02-01 10:56:12 -0800274 return this == java_lang_Object;
275 }
276 return IsArrayAssignableFromArray(src);
277}
278
Vladimir Marko89786432014-01-31 15:03:55 +0000279template <bool throw_on_failure, bool use_referrers_cache>
280inline bool Class::ResolvedFieldAccessTest(Class* access_to, ArtField* field,
Ian Rogersef7d42f2014-01-06 12:55:46 -0800281 uint32_t field_idx, DexCache* dex_cache) {
Vladimir Marko89786432014-01-31 15:03:55 +0000282 DCHECK_EQ(use_referrers_cache, dex_cache == nullptr);
Vladimir Marko23a28212014-01-09 19:24:37 +0000283 if (UNLIKELY(!this->CanAccess(access_to))) {
284 // The referrer class can't access the field's declaring class but may still be able
285 // to access the field if the FieldId specifies an accessible subclass of the declaring
286 // class rather than the declaring class itself.
Ian Rogersef7d42f2014-01-06 12:55:46 -0800287 DexCache* referrer_dex_cache = use_referrers_cache ? this->GetDexCache() : dex_cache;
Vladimir Marko23a28212014-01-09 19:24:37 +0000288 uint32_t class_idx = referrer_dex_cache->GetDexFile()->GetFieldId(field_idx).class_idx_;
289 // The referenced class has already been resolved with the field, get it from the dex cache.
290 Class* dex_access_to = referrer_dex_cache->GetResolvedType(class_idx);
291 DCHECK(dex_access_to != nullptr);
292 if (UNLIKELY(!this->CanAccess(dex_access_to))) {
293 if (throw_on_failure) {
294 ThrowIllegalAccessErrorClass(this, dex_access_to);
295 }
296 return false;
297 }
298 DCHECK_EQ(this->CanAccessMember(access_to, field->GetAccessFlags()),
299 this->CanAccessMember(dex_access_to, field->GetAccessFlags()));
300 }
301 if (LIKELY(this->CanAccessMember(access_to, field->GetAccessFlags()))) {
302 return true;
303 }
304 if (throw_on_failure) {
305 ThrowIllegalAccessErrorField(this, field);
306 }
307 return false;
308}
309
Vladimir Marko89786432014-01-31 15:03:55 +0000310template <bool throw_on_failure, bool use_referrers_cache, InvokeType throw_invoke_type>
311inline bool Class::ResolvedMethodAccessTest(Class* access_to, ArtMethod* method,
Ian Rogersef7d42f2014-01-06 12:55:46 -0800312 uint32_t method_idx, DexCache* dex_cache) {
Andreas Gampe575e78c2014-11-03 23:41:03 -0800313 static_assert(throw_on_failure || throw_invoke_type == kStatic, "Non-default throw invoke type");
Vladimir Marko89786432014-01-31 15:03:55 +0000314 DCHECK_EQ(use_referrers_cache, dex_cache == nullptr);
Vladimir Marko23a28212014-01-09 19:24:37 +0000315 if (UNLIKELY(!this->CanAccess(access_to))) {
316 // The referrer class can't access the method's declaring class but may still be able
317 // to access the method if the MethodId specifies an accessible subclass of the declaring
318 // class rather than the declaring class itself.
Ian Rogersef7d42f2014-01-06 12:55:46 -0800319 DexCache* referrer_dex_cache = use_referrers_cache ? this->GetDexCache() : dex_cache;
Vladimir Marko23a28212014-01-09 19:24:37 +0000320 uint32_t class_idx = referrer_dex_cache->GetDexFile()->GetMethodId(method_idx).class_idx_;
321 // The referenced class has already been resolved with the method, get it from the dex cache.
322 Class* dex_access_to = referrer_dex_cache->GetResolvedType(class_idx);
323 DCHECK(dex_access_to != nullptr);
324 if (UNLIKELY(!this->CanAccess(dex_access_to))) {
325 if (throw_on_failure) {
326 ThrowIllegalAccessErrorClassForMethodDispatch(this, dex_access_to,
327 method, throw_invoke_type);
328 }
329 return false;
330 }
331 DCHECK_EQ(this->CanAccessMember(access_to, method->GetAccessFlags()),
332 this->CanAccessMember(dex_access_to, method->GetAccessFlags()));
333 }
334 if (LIKELY(this->CanAccessMember(access_to, method->GetAccessFlags()))) {
335 return true;
336 }
337 if (throw_on_failure) {
338 ThrowIllegalAccessErrorMethod(this, method);
339 }
340 return false;
341}
342
Vladimir Marko89786432014-01-31 15:03:55 +0000343inline bool Class::CanAccessResolvedField(Class* access_to, ArtField* field,
Ian Rogersef7d42f2014-01-06 12:55:46 -0800344 DexCache* dex_cache, uint32_t field_idx) {
345 return ResolvedFieldAccessTest<false, false>(access_to, field, field_idx, dex_cache);
Vladimir Marko89786432014-01-31 15:03:55 +0000346}
347
348inline bool Class::CheckResolvedFieldAccess(Class* access_to, ArtField* field,
349 uint32_t field_idx) {
350 return ResolvedFieldAccessTest<true, true>(access_to, field, field_idx, nullptr);
351}
352
353inline bool Class::CanAccessResolvedMethod(Class* access_to, ArtMethod* method,
Ian Rogersef7d42f2014-01-06 12:55:46 -0800354 DexCache* dex_cache, uint32_t method_idx) {
355 return ResolvedMethodAccessTest<false, false, kStatic>(access_to, method, method_idx, dex_cache);
Vladimir Marko89786432014-01-31 15:03:55 +0000356}
357
358template <InvokeType throw_invoke_type>
359inline bool Class::CheckResolvedMethodAccess(Class* access_to, ArtMethod* method,
360 uint32_t method_idx) {
361 return ResolvedMethodAccessTest<true, true, throw_invoke_type>(access_to, method, method_idx,
362 nullptr);
363}
364
Ian Rogersef7d42f2014-01-06 12:55:46 -0800365inline bool Class::IsSubClass(Class* klass) {
Ian Rogers693ff612013-02-01 10:56:12 -0800366 DCHECK(!IsInterface()) << PrettyClass(this);
367 DCHECK(!IsArrayClass()) << PrettyClass(this);
Ian Rogersef7d42f2014-01-06 12:55:46 -0800368 Class* current = this;
Ian Rogers693ff612013-02-01 10:56:12 -0800369 do {
370 if (current == klass) {
371 return true;
372 }
373 current = current->GetSuperClass();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700374 } while (current != nullptr);
Ian Rogers693ff612013-02-01 10:56:12 -0800375 return false;
376}
377
Mathieu Chartiere401d142015-04-22 13:56:20 -0700378inline ArtMethod* Class::FindVirtualMethodForInterface(ArtMethod* method, size_t pointer_size) {
Ian Rogers693ff612013-02-01 10:56:12 -0800379 Class* declaring_class = method->GetDeclaringClass();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700380 DCHECK(declaring_class != nullptr) << PrettyClass(this);
Ian Rogers693ff612013-02-01 10:56:12 -0800381 DCHECK(declaring_class->IsInterface()) << PrettyMethod(method);
382 // TODO cache to improve lookup speed
Mathieu Chartiere401d142015-04-22 13:56:20 -0700383 const int32_t iftable_count = GetIfTableCount();
Ian Rogers693ff612013-02-01 10:56:12 -0800384 IfTable* iftable = GetIfTable();
385 for (int32_t i = 0; i < iftable_count; i++) {
386 if (iftable->GetInterface(i) == declaring_class) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700387 return iftable->GetMethodArray(i)->GetElementPtrSize<ArtMethod*>(
388 method->GetMethodIndex(), pointer_size);
Ian Rogers693ff612013-02-01 10:56:12 -0800389 }
390 }
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700391 return nullptr;
Ian Rogers693ff612013-02-01 10:56:12 -0800392}
393
Mathieu Chartiere401d142015-04-22 13:56:20 -0700394inline ArtMethod* Class::FindVirtualMethodForVirtual(ArtMethod* method, size_t pointer_size) {
Sameer Abu Asal02c42232013-04-30 12:09:45 -0700395 DCHECK(!method->GetDeclaringClass()->IsInterface() || method->IsMiranda());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800396 // The argument method may from a super class.
397 // Use the index to a potentially overridden one for this instance's class.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700398 return GetVTableEntry(method->GetMethodIndex(), pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800399}
400
Mathieu Chartiere401d142015-04-22 13:56:20 -0700401inline ArtMethod* Class::FindVirtualMethodForSuper(ArtMethod* method, size_t pointer_size) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800402 DCHECK(!method->GetDeclaringClass()->IsInterface());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700403 return GetSuperClass()->GetVTableEntry(method->GetMethodIndex(), pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800404}
405
Mathieu Chartiere401d142015-04-22 13:56:20 -0700406inline ArtMethod* Class::FindVirtualMethodForVirtualOrInterface(ArtMethod* method,
407 size_t pointer_size) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800408 if (method->IsDirect()) {
409 return method;
410 }
Jeff Hao201803f2013-11-20 18:11:39 -0800411 if (method->GetDeclaringClass()->IsInterface() && !method->IsMiranda()) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700412 return FindVirtualMethodForInterface(method, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800413 }
Mathieu Chartiere401d142015-04-22 13:56:20 -0700414 return FindVirtualMethodForVirtual(method, pointer_size);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800415}
416
Ian Rogersef7d42f2014-01-06 12:55:46 -0800417inline IfTable* Class::GetIfTable() {
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700418 return GetFieldObject<IfTable>(OFFSET_OF_OBJECT_MEMBER(Class, iftable_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800419}
420
Ian Rogersef7d42f2014-01-06 12:55:46 -0800421inline int32_t Class::GetIfTableCount() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800422 IfTable* iftable = GetIfTable();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700423 if (iftable == nullptr) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800424 return 0;
425 }
426 return iftable->Count();
427}
428
429inline void Class::SetIfTable(IfTable* new_iftable) {
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700430 SetFieldObject<false>(OFFSET_OF_OBJECT_MEMBER(Class, iftable_), new_iftable);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800431}
432
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700433inline LengthPrefixedArray<ArtField>* Class::GetIFieldsPtr() {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800434 DCHECK(IsLoaded() || IsErroneous());
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700435 return GetFieldPtr<LengthPrefixedArray<ArtField>*>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800436}
437
Vladimir Marko76649e82014-11-10 18:32:59 +0000438inline MemberOffset Class::GetFirstReferenceInstanceFieldOffset() {
439 Class* super_class = GetSuperClass();
440 return (super_class != nullptr)
441 ? MemberOffset(RoundUp(super_class->GetObjectSize(),
442 sizeof(mirror::HeapReference<mirror::Object>)))
443 : ClassOffset();
444}
445
Mathieu Chartiere401d142015-04-22 13:56:20 -0700446inline MemberOffset Class::GetFirstReferenceStaticFieldOffset(size_t pointer_size) {
Vladimir Marko76649e82014-11-10 18:32:59 +0000447 DCHECK(IsResolved());
448 uint32_t base = sizeof(mirror::Class); // Static fields come after the class.
449 if (ShouldHaveEmbeddedImtAndVTable()) {
450 // Static fields come after the embedded tables.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700451 base = mirror::Class::ComputeClassSize(
452 true, GetEmbeddedVTableLength(), 0, 0, 0, 0, 0, pointer_size);
Vladimir Marko76649e82014-11-10 18:32:59 +0000453 }
454 return MemberOffset(base);
455}
456
Mathieu Chartiere401d142015-04-22 13:56:20 -0700457inline MemberOffset Class::GetFirstReferenceStaticFieldOffsetDuringLinking(size_t pointer_size) {
Vladimir Marko76649e82014-11-10 18:32:59 +0000458 DCHECK(IsLoaded());
459 uint32_t base = sizeof(mirror::Class); // Static fields come after the class.
460 if (ShouldHaveEmbeddedImtAndVTable()) {
461 // Static fields come after the embedded tables.
462 base = mirror::Class::ComputeClassSize(true, GetVTableDuringLinking()->GetLength(),
Mathieu Chartiere401d142015-04-22 13:56:20 -0700463 0, 0, 0, 0, 0, pointer_size);
Vladimir Marko76649e82014-11-10 18:32:59 +0000464 }
465 return MemberOffset(base);
466}
467
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700468inline void Class::SetIFieldsPtr(LengthPrefixedArray<ArtField>* new_ifields) {
469 DCHECK(GetIFieldsPtrUnchecked() == nullptr);
Mathieu Chartierc7853442015-03-27 14:35:38 -0700470 return SetFieldPtr<false>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_), new_ifields);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800471}
472
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700473inline void Class::SetIFieldsPtrUnchecked(LengthPrefixedArray<ArtField>* new_ifields) {
Mathieu Chartierc7853442015-03-27 14:35:38 -0700474 SetFieldPtr<false, true, kVerifyNone>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_), new_ifields);
475}
476
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700477inline LengthPrefixedArray<ArtField>* Class::GetSFieldsPtrUnchecked() {
478 return GetFieldPtr<LengthPrefixedArray<ArtField>*>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_));
Mathieu Chartierc7853442015-03-27 14:35:38 -0700479}
480
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700481inline LengthPrefixedArray<ArtField>* Class::GetIFieldsPtrUnchecked() {
482 return GetFieldPtr<LengthPrefixedArray<ArtField>*>(OFFSET_OF_OBJECT_MEMBER(Class, ifields_));
Mathieu Chartierc7853442015-03-27 14:35:38 -0700483}
484
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700485inline LengthPrefixedArray<ArtField>* Class::GetSFieldsPtr() {
Mathieu Chartier987ca8b2015-03-15 14:19:14 -0700486 DCHECK(IsLoaded() || IsErroneous()) << GetStatus();
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700487 return GetSFieldsPtrUnchecked();
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800488}
489
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700490inline void Class::SetSFieldsPtr(LengthPrefixedArray<ArtField>* new_sfields) {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700491 DCHECK((IsRetired() && new_sfields == nullptr) ||
Mathieu Chartierc7853442015-03-27 14:35:38 -0700492 GetFieldPtr<ArtField*>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_)) == nullptr);
493 SetFieldPtr<false>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_), new_sfields);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800494}
495
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700496inline void Class::SetSFieldsPtrUnchecked(LengthPrefixedArray<ArtField>* new_sfields) {
Mathieu Chartierc7853442015-03-27 14:35:38 -0700497 SetFieldPtr<false, true, kVerifyNone>(OFFSET_OF_OBJECT_MEMBER(Class, sfields_), new_sfields);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800498}
499
Mathieu Chartierc7853442015-03-27 14:35:38 -0700500inline ArtField* Class::GetStaticField(uint32_t i) {
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700501 return &GetSFieldsPtr()->At(i);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800502}
503
Mathieu Chartierc7853442015-03-27 14:35:38 -0700504inline ArtField* Class::GetInstanceField(uint32_t i) {
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700505 return &GetIFieldsPtr()->At(i);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800506}
507
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700508template<VerifyObjectFlags kVerifyFlags>
509inline uint32_t Class::GetReferenceInstanceOffsets() {
510 DCHECK(IsResolved<kVerifyFlags>() || IsErroneous<kVerifyFlags>());
511 return GetField32<kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Class, reference_instance_offsets_));
512}
513
514inline void Class::SetClinitThreadId(pid_t new_clinit_thread_id) {
515 if (Runtime::Current()->IsActiveTransaction()) {
516 SetField32<true>(OFFSET_OF_OBJECT_MEMBER(Class, clinit_thread_id_), new_clinit_thread_id);
517 } else {
518 SetField32<false>(OFFSET_OF_OBJECT_MEMBER(Class, clinit_thread_id_), new_clinit_thread_id);
519 }
520}
521
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800522inline void Class::SetVerifyErrorClass(Class* klass) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700523 CHECK(klass != nullptr) << PrettyClass(this);
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100524 if (Runtime::Current()->IsActiveTransaction()) {
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700525 SetFieldObject<true>(OFFSET_OF_OBJECT_MEMBER(Class, verify_error_class_), klass);
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100526 } else {
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700527 SetFieldObject<false>(OFFSET_OF_OBJECT_MEMBER(Class, verify_error_class_), klass);
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100528 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800529}
530
Mathieu Chartier4e305412014-02-19 10:54:44 -0800531template<VerifyObjectFlags kVerifyFlags>
Ian Rogersef7d42f2014-01-06 12:55:46 -0800532inline uint32_t Class::GetAccessFlags() {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700533 // Check class is loaded/retired or this is java.lang.String that has a
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800534 // circularity issue during loading the names of its members
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700535 DCHECK(IsIdxLoaded<kVerifyFlags>() || IsRetired<kVerifyFlags>() ||
Mathieu Chartier4e305412014-02-19 10:54:44 -0800536 IsErroneous<static_cast<VerifyObjectFlags>(kVerifyFlags & ~kVerifyThis)>() ||
Mathieu Chartiere401d142015-04-22 13:56:20 -0700537 this == String::GetJavaLangString())
Andreas Gampea6928662014-12-12 11:06:00 -0800538 << "IsIdxLoaded=" << IsIdxLoaded<kVerifyFlags>()
539 << " IsRetired=" << IsRetired<kVerifyFlags>()
540 << " IsErroneous=" <<
541 IsErroneous<static_cast<VerifyObjectFlags>(kVerifyFlags & ~kVerifyThis)>()
542 << " IsString=" << (this == String::GetJavaLangString())
Andreas Gampea6928662014-12-12 11:06:00 -0800543 << " descriptor=" << PrettyDescriptor(this);
Hiroshi Yamauchie01a5202015-03-19 12:35:04 -0700544 return GetField32<kVerifyFlags>(AccessFlagsOffset());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800545}
546
Ian Rogersef7d42f2014-01-06 12:55:46 -0800547inline String* Class::GetName() {
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700548 return GetFieldObject<String>(OFFSET_OF_OBJECT_MEMBER(Class, name_));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800549}
550inline void Class::SetName(String* name) {
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100551 if (Runtime::Current()->IsActiveTransaction()) {
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700552 SetFieldObject<true>(OFFSET_OF_OBJECT_MEMBER(Class, name_), name);
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100553 } else {
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700554 SetFieldObject<false>(OFFSET_OF_OBJECT_MEMBER(Class, name_), name);
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100555 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800556}
557
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700558template<VerifyObjectFlags kVerifyFlags>
559inline Primitive::Type Class::GetPrimitiveType() {
Roland Levillain33d69032015-06-18 18:20:59 +0100560 static_assert(sizeof(Primitive::Type) == sizeof(int32_t),
561 "art::Primitive::Type and int32_t have different sizes.");
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700562 int32_t v32 = GetField32<kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Class, primitive_type_));
563 Primitive::Type type = static_cast<Primitive::Type>(v32 & 0xFFFF);
564 DCHECK_EQ(static_cast<size_t>(v32 >> 16), Primitive::ComponentSizeShift(type));
565 return type;
566}
567
568template<VerifyObjectFlags kVerifyFlags>
569inline size_t Class::GetPrimitiveTypeSizeShift() {
Roland Levillain33d69032015-06-18 18:20:59 +0100570 static_assert(sizeof(Primitive::Type) == sizeof(int32_t),
571 "art::Primitive::Type and int32_t have different sizes.");
Hiroshi Yamauchif0edfc32014-09-25 11:46:46 -0700572 int32_t v32 = GetField32<kVerifyFlags>(OFFSET_OF_OBJECT_MEMBER(Class, primitive_type_));
573 size_t size_shift = static_cast<Primitive::Type>(v32 >> 16);
574 DCHECK_EQ(size_shift, Primitive::ComponentSizeShift(static_cast<Primitive::Type>(v32 & 0xFFFF)));
575 return size_shift;
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700576}
577
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700578inline void Class::CheckObjectAlloc() {
Hiroshi Yamauchi4cd662e2014-04-03 16:28:10 -0700579 DCHECK(!IsArrayClass())
580 << PrettyClass(this)
581 << "A array shouldn't be allocated through this "
582 << "as it requires a pre-fence visitor that sets the class size.";
583 DCHECK(!IsClassClass())
584 << PrettyClass(this)
585 << "A class object shouldn't be allocated through this "
586 << "as it requires a pre-fence visitor that sets the class size.";
Jeff Hao848f70a2014-01-15 13:49:50 -0800587 DCHECK(!IsStringClass())
588 << PrettyClass(this)
589 << "A string shouldn't be allocated through this "
590 << "as it requires a pre-fence visitor that sets the class size.";
Hiroshi Yamauchi967a0ad2013-09-10 16:24:21 -0700591 DCHECK(IsInstantiable()) << PrettyClass(this);
592 // TODO: decide whether we want this check. It currently fails during bootstrap.
593 // DCHECK(!Runtime::Current()->IsStarted() || IsInitializing()) << PrettyClass(this);
594 DCHECK_GE(this->object_size_, sizeof(Object));
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700595}
596
Mathieu Chartier8668c3c2014-04-24 16:48:11 -0700597template<bool kIsInstrumented, bool kCheckAddFinalizer>
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800598inline Object* Class::Alloc(Thread* self, gc::AllocatorType allocator_type) {
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700599 CheckObjectAlloc();
Mathieu Chartier590fee92013-09-13 13:46:47 -0700600 gc::Heap* heap = Runtime::Current()->GetHeap();
Mathieu Chartier8668c3c2014-04-24 16:48:11 -0700601 const bool add_finalizer = kCheckAddFinalizer && IsFinalizable();
602 if (!kCheckAddFinalizer) {
603 DCHECK(!IsFinalizable());
604 }
605 mirror::Object* obj =
606 heap->AllocObjectWithAllocator<kIsInstrumented, false>(self, this, this->object_size_,
607 allocator_type, VoidFunctor());
608 if (add_finalizer && LIKELY(obj != nullptr)) {
609 heap->AddFinalizerReference(self, &obj);
Pavel Vyssotski3ac90da2014-12-02 19:54:50 +0600610 if (UNLIKELY(self->IsExceptionPending())) {
611 // Failed to allocate finalizer reference, it means that the whole allocation failed.
612 obj = nullptr;
613 }
Mathieu Chartier8668c3c2014-04-24 16:48:11 -0700614 }
615 return obj;
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800616}
617
618inline Object* Class::AllocObject(Thread* self) {
619 return Alloc<true>(self, Runtime::Current()->GetHeap()->GetCurrentAllocator());
620}
621
622inline Object* Class::AllocNonMovableObject(Thread* self) {
623 return Alloc<true>(self, Runtime::Current()->GetHeap()->GetCurrentNonMovingAllocator());
Hiroshi Yamauchi967a0ad2013-09-10 16:24:21 -0700624}
625
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700626inline uint32_t Class::ComputeClassSize(bool has_embedded_tables,
627 uint32_t num_vtable_entries,
Fred Shih37f05ef2014-07-16 18:38:08 -0700628 uint32_t num_8bit_static_fields,
629 uint32_t num_16bit_static_fields,
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700630 uint32_t num_32bit_static_fields,
631 uint32_t num_64bit_static_fields,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700632 uint32_t num_ref_static_fields,
633 size_t pointer_size) {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700634 // Space used by java.lang.Class and its instance fields.
635 uint32_t size = sizeof(Class);
636 // Space used by embedded tables.
637 if (has_embedded_tables) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700638 const uint32_t embedded_imt_size = kImtSize * ImTableEntrySize(pointer_size);
639 const uint32_t embedded_vtable_size = num_vtable_entries * VTableEntrySize(pointer_size);
640 size = RoundUp(size + sizeof(uint32_t) /* embedded vtable len */, pointer_size) +
641 embedded_imt_size + embedded_vtable_size;
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700642 }
Fred Shih37f05ef2014-07-16 18:38:08 -0700643
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700644 // Space used by reference statics.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700645 size += num_ref_static_fields * sizeof(HeapReference<Object>);
Fred Shih37f05ef2014-07-16 18:38:08 -0700646 if (!IsAligned<8>(size) && num_64bit_static_fields > 0) {
647 uint32_t gap = 8 - (size & 0x7);
648 size += gap; // will be padded
649 // Shuffle 4-byte fields forward.
650 while (gap >= sizeof(uint32_t) && num_32bit_static_fields != 0) {
651 --num_32bit_static_fields;
652 gap -= sizeof(uint32_t);
653 }
654 // Shuffle 2-byte fields forward.
655 while (gap >= sizeof(uint16_t) && num_16bit_static_fields != 0) {
656 --num_16bit_static_fields;
657 gap -= sizeof(uint16_t);
658 }
659 // Shuffle byte fields forward.
660 while (gap >= sizeof(uint8_t) && num_8bit_static_fields != 0) {
661 --num_8bit_static_fields;
662 gap -= sizeof(uint8_t);
Mingyao Yang2cdbad72014-07-16 10:44:41 -0700663 }
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700664 }
Fred Shih37f05ef2014-07-16 18:38:08 -0700665 // Guaranteed to be at least 4 byte aligned. No need for further alignments.
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700666 // Space used for primitive static fields.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700667 size += num_8bit_static_fields * sizeof(uint8_t) + num_16bit_static_fields * sizeof(uint16_t) +
668 num_32bit_static_fields * sizeof(uint32_t) + num_64bit_static_fields * sizeof(uint64_t);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700669 return size;
670}
671
Mathieu Chartier407f7022014-02-18 14:37:05 -0800672template <bool kVisitClass, typename Visitor>
673inline void Class::VisitReferences(mirror::Class* klass, const Visitor& visitor) {
Mathieu Chartier52e4b432014-06-10 11:22:31 -0700674 VisitInstanceFieldsReferences<kVisitClass>(klass, visitor);
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -0800675 // Right after a class is allocated, but not yet loaded
Igor Murashkinc449e8b2015-06-10 15:56:42 -0700676 // (kStatusNotReady, see ClassLinker::LoadClass()), GC may find it
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -0800677 // and scan it. IsTemp() may call Class::GetAccessFlags() but may
678 // fail in the DCHECK in Class::GetAccessFlags() because the class
679 // status is kStatusNotReady. To avoid it, rely on IsResolved()
680 // only. This is fine because a temp class never goes into the
681 // kStatusResolved state.
682 if (IsResolved()) {
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700683 // Temp classes don't ever populate imt/vtable or static fields and they are not even
Hiroshi Yamauchif4c15a12014-10-20 16:56:58 -0700684 // allocated with the right size for those. Also, unresolved classes don't have fields
685 // linked yet.
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700686 VisitStaticFieldsReferences<kVisitClass>(this, visitor);
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700687 }
Mathieu Chartierda7c6502015-07-23 16:01:26 -0700688 // Since this class is reachable, we must also visit the associated roots when we scan it.
689 VisitNativeRoots(visitor, Runtime::Current()->GetClassLinker()->GetImagePointerSize());
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700690}
691
Fred Shih4ee7a662014-07-11 09:59:27 -0700692template<ReadBarrierOption kReadBarrierOption>
693inline bool Class::IsReferenceClass() const {
694 return this == Reference::GetJavaLangRefReference<kReadBarrierOption>();
695}
696
Hiroshi Yamauchi25023c72014-05-09 11:45:53 -0700697template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
698inline bool Class::IsClassClass() {
699 Class* java_lang_Class = GetClass<kVerifyFlags, kReadBarrierOption>()->
700 template GetClass<kVerifyFlags, kReadBarrierOption>();
701 return this == java_lang_Class;
702}
703
Mathieu Chartierf8322842014-05-16 10:59:25 -0700704inline const DexFile& Class::GetDexFile() {
705 return *GetDexCache()->GetDexFile();
706}
707
708inline bool Class::DescriptorEquals(const char* match) {
Ian Rogers1ff3c982014-08-12 02:30:58 -0700709 if (IsArrayClass()) {
Mathieu Chartierf8322842014-05-16 10:59:25 -0700710 return match[0] == '[' && GetComponentType()->DescriptorEquals(match + 1);
Ian Rogers1ff3c982014-08-12 02:30:58 -0700711 } else if (IsPrimitive()) {
Mathieu Chartierf8322842014-05-16 10:59:25 -0700712 return strcmp(Primitive::Descriptor(GetPrimitiveType()), match) == 0;
Ian Rogers1ff3c982014-08-12 02:30:58 -0700713 } else if (IsProxyClass()) {
Vladimir Marko3481ba22015-04-13 12:22:36 +0100714 return ProxyDescriptorEquals(match);
Mathieu Chartierf8322842014-05-16 10:59:25 -0700715 } else {
716 const DexFile& dex_file = GetDexFile();
717 const DexFile::TypeId& type_id = dex_file.GetTypeId(GetClassDef()->class_idx_);
718 return strcmp(dex_file.GetTypeDescriptor(type_id), match) == 0;
719 }
720}
721
Sebastien Hertz4e99b3d2014-06-24 14:35:40 +0200722inline void Class::AssertInitializedOrInitializingInThread(Thread* self) {
723 if (kIsDebugBuild && !IsInitialized()) {
724 CHECK(IsInitializing()) << PrettyClass(this) << " is not initializing: " << GetStatus();
725 CHECK_EQ(GetClinitThreadId(), self->GetTid()) << PrettyClass(this)
726 << " is initializing in a different thread";
727 }
728}
729
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700730inline ObjectArray<Class>* Class::GetInterfaces() {
731 CHECK(IsProxyClass());
732 // First static field.
Mathieu Chartierc7853442015-03-27 14:35:38 -0700733 auto* field = GetStaticField(0);
734 DCHECK_STREQ(field->GetName(), "interfaces");
735 MemberOffset field_offset = field->GetOffset();
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700736 return GetFieldObject<ObjectArray<Class>>(field_offset);
737}
738
739inline ObjectArray<ObjectArray<Class>>* Class::GetThrows() {
740 CHECK(IsProxyClass());
741 // Second static field.
Mathieu Chartierc7853442015-03-27 14:35:38 -0700742 auto* field = GetStaticField(1);
743 DCHECK_STREQ(field->GetName(), "throws");
744 MemberOffset field_offset = field->GetOffset();
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700745 return GetFieldObject<ObjectArray<ObjectArray<Class>>>(field_offset);
746}
747
Fred Shih4ee7a662014-07-11 09:59:27 -0700748inline MemberOffset Class::GetDisableIntrinsicFlagOffset() {
749 CHECK(IsReferenceClass());
750 // First static field
Mathieu Chartierc7853442015-03-27 14:35:38 -0700751 auto* field = GetStaticField(0);
752 DCHECK_STREQ(field->GetName(), "disableIntrinsic");
753 return field->GetOffset();
Fred Shih4ee7a662014-07-11 09:59:27 -0700754}
755
756inline MemberOffset Class::GetSlowPathFlagOffset() {
757 CHECK(IsReferenceClass());
758 // Second static field
Mathieu Chartierc7853442015-03-27 14:35:38 -0700759 auto* field = GetStaticField(1);
760 DCHECK_STREQ(field->GetName(), "slowPathEnabled");
761 return field->GetOffset();
Fred Shih4ee7a662014-07-11 09:59:27 -0700762}
763
764inline bool Class::GetSlowPathEnabled() {
Fred Shih37f05ef2014-07-16 18:38:08 -0700765 return GetFieldBoolean(GetSlowPathFlagOffset());
Fred Shih4ee7a662014-07-11 09:59:27 -0700766}
767
768inline void Class::SetSlowPath(bool enabled) {
Mathieu Chartier31000802015-06-14 14:14:37 -0700769 SetFieldBoolean<false, false>(GetSlowPathFlagOffset(), enabled);
Fred Shih4ee7a662014-07-11 09:59:27 -0700770}
771
Mingyao Yang98d1cc82014-05-15 17:02:16 -0700772inline void Class::InitializeClassVisitor::operator()(
773 mirror::Object* obj, size_t usable_size) const {
774 DCHECK_LE(class_size_, usable_size);
775 // Avoid AsClass as object is not yet in live bitmap or allocation stack.
776 mirror::Class* klass = down_cast<mirror::Class*>(obj);
777 // DCHECK(klass->IsClass());
778 klass->SetClassSize(class_size_);
779 klass->SetPrimitiveType(Primitive::kPrimNot); // Default to not being primitive.
780 klass->SetDexClassDefIndex(DexFile::kDexNoIndex16); // Default to no valid class def index.
781 klass->SetDexTypeIndex(DexFile::kDexNoIndex16); // Default to no valid type index.
782}
783
Andreas Gampe48498592014-09-10 19:48:05 -0700784inline void Class::SetAccessFlags(uint32_t new_access_flags) {
785 // Called inside a transaction when setting pre-verified flag during boot image compilation.
786 if (Runtime::Current()->IsActiveTransaction()) {
787 SetField32<true>(OFFSET_OF_OBJECT_MEMBER(Class, access_flags_), new_access_flags);
788 } else {
789 SetField32<false>(OFFSET_OF_OBJECT_MEMBER(Class, access_flags_), new_access_flags);
790 }
791}
792
Mathieu Chartier2d2621a2014-10-23 16:48:06 -0700793inline uint32_t Class::NumDirectInterfaces() {
794 if (IsPrimitive()) {
795 return 0;
796 } else if (IsArrayClass()) {
797 return 2;
798 } else if (IsProxyClass()) {
799 mirror::ObjectArray<mirror::Class>* interfaces = GetInterfaces();
800 return interfaces != nullptr ? interfaces->GetLength() : 0;
801 } else {
802 const DexFile::TypeList* interfaces = GetInterfaceTypeList();
803 if (interfaces == nullptr) {
804 return 0;
805 } else {
806 return interfaces->Size();
807 }
808 }
809}
810
Mathieu Chartiereace4582014-11-24 18:29:54 -0800811inline void Class::SetDexCacheStrings(ObjectArray<String>* new_dex_cache_strings) {
812 SetFieldObject<false>(DexCacheStringsOffset(), new_dex_cache_strings);
813}
814
815inline ObjectArray<String>* Class::GetDexCacheStrings() {
816 return GetFieldObject<ObjectArray<String>>(DexCacheStringsOffset());
817}
818
Mathieu Chartierc7853442015-03-27 14:35:38 -0700819template<class Visitor>
Mathieu Chartiere401d142015-04-22 13:56:20 -0700820void mirror::Class::VisitNativeRoots(Visitor& visitor, size_t pointer_size) {
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700821 for (ArtField& field : GetSFieldsUnchecked()) {
822 // Visit roots first in case the declaring class gets moved.
823 field.VisitRoots(visitor);
824 if (kIsDebugBuild && IsResolved()) {
825 CHECK_EQ(field.GetDeclaringClass(), this) << GetStatus();
Mathieu Chartierc7853442015-03-27 14:35:38 -0700826 }
Mathieu Chartierc7853442015-03-27 14:35:38 -0700827 }
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700828 for (ArtField& field : GetIFieldsUnchecked()) {
829 // Visit roots first in case the declaring class gets moved.
830 field.VisitRoots(visitor);
831 if (kIsDebugBuild && IsResolved()) {
832 CHECK_EQ(field.GetDeclaringClass(), this) << GetStatus();
Mathieu Chartierc7853442015-03-27 14:35:38 -0700833 }
Mathieu Chartierc7853442015-03-27 14:35:38 -0700834 }
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700835 for (ArtMethod& method : GetDirectMethods(pointer_size)) {
836 method.VisitRoots(visitor);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700837 }
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700838 for (ArtMethod& method : GetVirtualMethods(pointer_size)) {
839 method.VisitRoots(visitor);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700840 }
841}
842
Mathieu Chartiere401d142015-04-22 13:56:20 -0700843inline IterationRange<StrideIterator<ArtMethod>> Class::GetDirectMethods(size_t pointer_size) {
844 CheckPointerSize(pointer_size);
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700845 return MakeIterationRangeFromLengthPrefixedArray(GetDirectMethodsPtrUnchecked(),
Vladimir Markocf36d492015-08-12 19:27:26 +0100846 ArtMethod::ObjectSize(pointer_size),
847 ArtMethod::ObjectAlignment(pointer_size));
Mathieu Chartiere401d142015-04-22 13:56:20 -0700848}
849
850inline IterationRange<StrideIterator<ArtMethod>> Class::GetVirtualMethods(size_t pointer_size) {
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700851 CheckPointerSize(pointer_size);
852 return MakeIterationRangeFromLengthPrefixedArray(GetVirtualMethodsPtrUnchecked(),
Vladimir Markocf36d492015-08-12 19:27:26 +0100853 ArtMethod::ObjectSize(pointer_size),
854 ArtMethod::ObjectAlignment(pointer_size));
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700855}
856
857inline IterationRange<StrideIterator<ArtField>> Class::GetIFields() {
Vladimir Markocf36d492015-08-12 19:27:26 +0100858 return MakeIterationRangeFromLengthPrefixedArray(GetIFieldsPtr());
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700859}
860
861inline IterationRange<StrideIterator<ArtField>> Class::GetSFields() {
Vladimir Markocf36d492015-08-12 19:27:26 +0100862 return MakeIterationRangeFromLengthPrefixedArray(GetSFieldsPtr());
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700863}
864
865inline IterationRange<StrideIterator<ArtField>> Class::GetIFieldsUnchecked() {
Vladimir Markocf36d492015-08-12 19:27:26 +0100866 return MakeIterationRangeFromLengthPrefixedArray(GetIFieldsPtrUnchecked());
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700867}
868
869inline IterationRange<StrideIterator<ArtField>> Class::GetSFieldsUnchecked() {
Vladimir Markocf36d492015-08-12 19:27:26 +0100870 return MakeIterationRangeFromLengthPrefixedArray(GetSFieldsPtrUnchecked());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700871}
872
873inline MemberOffset Class::EmbeddedImTableOffset(size_t pointer_size) {
874 CheckPointerSize(pointer_size);
875 // Round up since we want the embedded imt and vtable to be pointer size aligned in case 64 bits.
876 // Add 32 bits for embedded vtable length.
877 return MemberOffset(
878 RoundUp(EmbeddedVTableLengthOffset().Uint32Value() + sizeof(uint32_t), pointer_size));
879}
880
881inline MemberOffset Class::EmbeddedVTableOffset(size_t pointer_size) {
882 CheckPointerSize(pointer_size);
883 return MemberOffset(EmbeddedImTableOffset(pointer_size).Uint32Value() +
884 kImtSize * ImTableEntrySize(pointer_size));
885}
886
887inline void Class::CheckPointerSize(size_t pointer_size) {
888 DCHECK(ValidPointerSize(pointer_size)) << pointer_size;
889 DCHECK_EQ(pointer_size, Runtime::Current()->GetClassLinker()->GetImagePointerSize());
Mathieu Chartierc7853442015-03-27 14:35:38 -0700890}
891
Calin Juravle2e768302015-07-28 14:41:11 +0000892template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
893inline Class* Class::GetComponentType() {
894 return GetFieldObject<Class, kVerifyFlags, kReadBarrierOption>(ComponentTypeOffset());
895}
896
897template<VerifyObjectFlags kVerifyFlags, ReadBarrierOption kReadBarrierOption>
898inline bool Class::IsArrayClass() {
899 return GetComponentType<kVerifyFlags, kReadBarrierOption>() != nullptr;
900}
901
902inline bool Class::IsAssignableFrom(Class* src) {
903 DCHECK(src != nullptr);
904 if (this == src) {
905 // Can always assign to things of the same type.
906 return true;
907 } else if (IsObjectClass()) {
908 // Can assign any reference to java.lang.Object.
909 return !src->IsPrimitive();
910 } else if (IsInterface()) {
911 return src->Implements(this);
912 } else if (src->IsArrayClass()) {
913 return IsAssignableFromArray(src);
914 } else {
915 return !src->IsInterface() && src->IsSubClass(this);
916 }
917}
918
Mathieu Chartier54d220e2015-07-30 16:20:06 -0700919inline uint32_t Class::NumDirectMethods() {
920 LengthPrefixedArray<ArtMethod>* arr = GetDirectMethodsPtrUnchecked();
921 return arr != nullptr ? arr->Length() : 0u;
922}
923
924inline uint32_t Class::NumVirtualMethods() {
925 LengthPrefixedArray<ArtMethod>* arr = GetVirtualMethodsPtrUnchecked();
926 return arr != nullptr ? arr->Length() : 0u;
927}
928
929inline uint32_t Class::NumInstanceFields() {
930 LengthPrefixedArray<ArtField>* arr = GetIFieldsPtrUnchecked();
931 return arr != nullptr ? arr->Length() : 0u;
932}
933
934inline uint32_t Class::NumStaticFields() {
935 LengthPrefixedArray<ArtField>* arr = GetSFieldsPtrUnchecked();
936 return arr != nullptr ? arr->Length() : 0u;
937}
938
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800939} // namespace mirror
940} // namespace art
941
Brian Carlstromfc0e3212013-07-17 14:40:12 -0700942#endif // ART_RUNTIME_MIRROR_CLASS_INL_H_