blob: e2b9a2b1053f68e2e35544b3b2ae0eba42fb8bcf [file] [log] [blame]
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07001// Copyright 2011 Google Inc. All Rights Reserved.
2
Brian Carlstrom578bbdc2011-07-21 14:07:47 -07003#include "common_test.h"
4#include "class_linker.h"
Brian Carlstromc4fa2c02011-08-21 03:00:12 -07005#include "dex_cache.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -07006#include "dex_file.h"
7#include "heap.h"
Brian Carlstrom7e93b502011-08-04 14:16:22 -07008
Carl Shapiro0e5d75d2011-07-06 18:28:37 -07009#include "gtest/gtest.h"
10
11namespace art {
12
Brian Carlstromf734cf52011-08-17 16:28:14 -070013class ClassLinkerTest : public CommonTest {
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070014 protected:
Elliott Hughesbd935992011-08-22 11:59:34 -070015 void AssertNonExistentClass(const StringPiece& descriptor) {
Carl Shapiro7a909592011-07-24 19:21:59 -070016 EXPECT_TRUE(class_linker_->FindSystemClass(descriptor) == NULL);
Elliott Hughes885c3bd2011-08-22 16:59:20 -070017 Thread* self = Thread::Current();
18 EXPECT_TRUE(self->IsExceptionPending());
19 Object* exception = self->GetException();
20 self->ClearException();
21 Class* exception_class = class_linker_->FindSystemClass("Ljava/lang/NoClassDefFoundError;");
22 EXPECT_TRUE(exception->InstanceOf(exception_class));
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070023 }
24
25 void AssertPrimitiveClass(const StringPiece& descriptor) {
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -070026 AssertPrimitiveClass(descriptor, class_linker_->FindSystemClass(descriptor));
27 }
28
29 void AssertPrimitiveClass(const StringPiece& descriptor, const Class* primitive) {
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070030 ASSERT_TRUE(primitive != NULL);
31 ASSERT_TRUE(primitive->GetClass() != NULL);
32 ASSERT_EQ(primitive->GetClass(), primitive->GetClass()->GetClass());
33 EXPECT_TRUE(primitive->GetClass()->GetSuperClass() != NULL);
Brian Carlstrom9cff8e12011-08-18 16:47:29 -070034 ASSERT_TRUE(primitive->GetDescriptor()->Equals(descriptor));
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070035 EXPECT_TRUE(primitive->GetSuperClass() == NULL);
36 EXPECT_FALSE(primitive->HasSuperClass());
Brian Carlstrom74eb46a2011-08-02 20:10:14 -070037 EXPECT_TRUE(primitive->GetClassLoader() == NULL);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070038 EXPECT_TRUE(primitive->GetComponentType() == NULL);
39 EXPECT_TRUE(primitive->GetStatus() == Class::kStatusInitialized);
40 EXPECT_FALSE(primitive->IsErroneous());
41 EXPECT_TRUE(primitive->IsVerified());
42 EXPECT_TRUE(primitive->IsLinked());
43 EXPECT_FALSE(primitive->IsArray());
44 EXPECT_EQ(0, primitive->array_rank_);
45 EXPECT_FALSE(primitive->IsInterface());
46 EXPECT_TRUE(primitive->IsPublic());
47 EXPECT_TRUE(primitive->IsFinal());
48 EXPECT_TRUE(primitive->IsPrimitive());
Brian Carlstrom75cb3b42011-07-28 02:13:36 -070049 EXPECT_FALSE(primitive->IsSynthetic());
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070050 EXPECT_EQ(0U, primitive->NumDirectMethods());
51 EXPECT_EQ(0U, primitive->NumVirtualMethods());
52 EXPECT_EQ(0U, primitive->NumInstanceFields());
53 EXPECT_EQ(0U, primitive->NumStaticFields());
Brian Carlstrom913af1b2011-07-23 21:41:13 -070054 EXPECT_EQ(0U, primitive->NumInterfaces());
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070055 }
56
57 void AssertArrayClass(const StringPiece& array_descriptor,
58 int32_t array_rank,
Brian Carlstrom74eb46a2011-08-02 20:10:14 -070059 const StringPiece& component_type,
60 ClassLoader* class_loader) {
61 Class* array = class_linker_->FindClass(array_descriptor, class_loader);
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -070062 EXPECT_EQ(array_rank, array->array_rank_);
63 EXPECT_TRUE(array->GetComponentType()->GetDescriptor()->Equals(component_type));
64 EXPECT_EQ(class_loader, array->GetClassLoader());
65 AssertArrayClass(array_descriptor, array);
66 }
67
68 void AssertArrayClass(const StringPiece& array_descriptor, Class* array) {
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070069 ASSERT_TRUE(array != NULL);
70 ASSERT_TRUE(array->GetClass() != NULL);
71 ASSERT_EQ(array->GetClass(), array->GetClass()->GetClass());
72 EXPECT_TRUE(array->GetClass()->GetSuperClass() != NULL);
Brian Carlstrom9cff8e12011-08-18 16:47:29 -070073 ASSERT_TRUE(array->GetDescriptor()->Equals(array_descriptor));
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070074 EXPECT_TRUE(array->GetSuperClass() != NULL);
Carl Shapiro7a909592011-07-24 19:21:59 -070075 EXPECT_EQ(class_linker_->FindSystemClass("Ljava/lang/Object;"), array->GetSuperClass());
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070076 EXPECT_TRUE(array->HasSuperClass());
77 ASSERT_TRUE(array->GetComponentType() != NULL);
78 ASSERT_TRUE(array->GetComponentType()->GetDescriptor() != NULL);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070079 EXPECT_TRUE(array->GetStatus() == Class::kStatusInitialized);
80 EXPECT_FALSE(array->IsErroneous());
81 EXPECT_TRUE(array->IsVerified());
82 EXPECT_TRUE(array->IsLinked());
83 EXPECT_TRUE(array->IsArray());
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -070084 EXPECT_LE(1, array->array_rank_);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070085 EXPECT_FALSE(array->IsInterface());
86 EXPECT_EQ(array->GetComponentType()->IsPublic(), array->IsPublic());
87 EXPECT_TRUE(array->IsFinal());
88 EXPECT_FALSE(array->IsPrimitive());
Brian Carlstrom75cb3b42011-07-28 02:13:36 -070089 EXPECT_FALSE(array->IsSynthetic());
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070090 EXPECT_EQ(0U, array->NumDirectMethods());
91 EXPECT_EQ(0U, array->NumVirtualMethods());
92 EXPECT_EQ(0U, array->NumInstanceFields());
93 EXPECT_EQ(0U, array->NumStaticFields());
Brian Carlstrom913af1b2011-07-23 21:41:13 -070094 EXPECT_EQ(2U, array->NumInterfaces());
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070095 }
Brian Carlstrom4a96b602011-07-26 16:40:23 -070096
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -070097 void AssertMethod(Class* klass, Method* method) {
Brian Carlstromc4fa2c02011-08-21 03:00:12 -070098 EXPECT_TRUE(method != NULL);
99 EXPECT_TRUE(method->GetName() != NULL);
100 EXPECT_TRUE(method->GetSignature() != NULL);
101
102 EXPECT_TRUE(method->dex_cache_strings_ != NULL);
103 EXPECT_TRUE(method->dex_cache_classes_ != NULL);
104 EXPECT_TRUE(method->dex_cache_methods_ != NULL);
105 EXPECT_TRUE(method->dex_cache_fields_ != NULL);
106 EXPECT_EQ(method->declaring_class_->dex_cache_->GetStrings(), method->dex_cache_strings_);
107 EXPECT_EQ(method->declaring_class_->dex_cache_->GetClasses(), method->dex_cache_classes_);
108 EXPECT_EQ(method->declaring_class_->dex_cache_->GetMethods(), method->dex_cache_methods_);
109 EXPECT_EQ(method->declaring_class_->dex_cache_->GetFields(), method->dex_cache_fields_);
110 }
111
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -0700112 void AssertField(Class* klass, Field* field) {
Brian Carlstromc4fa2c02011-08-21 03:00:12 -0700113 EXPECT_TRUE(field != NULL);
114 EXPECT_EQ(klass, field->GetDeclaringClass());
115 EXPECT_TRUE(field->GetName() != NULL);
116 EXPECT_TRUE(field->GetDescriptor() != NULL);
117 }
118
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -0700119 void AssertClass(const StringPiece& descriptor, Class* klass) {
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700120 EXPECT_TRUE(klass->GetDescriptor()->Equals(descriptor));
121 if (klass->descriptor_->Equals(String::AllocFromModifiedUtf8("Ljava/lang/Object;"))) {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700122 EXPECT_FALSE(klass->HasSuperClass());
Brian Carlstromae3ac012011-07-27 01:30:28 -0700123 } else {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700124 EXPECT_TRUE(klass->HasSuperClass());
125 EXPECT_TRUE(klass->GetSuperClass() != NULL);
Brian Carlstromae3ac012011-07-27 01:30:28 -0700126 }
Brian Carlstromae3ac012011-07-27 01:30:28 -0700127 EXPECT_TRUE(klass->GetDexCache() != NULL);
128 EXPECT_TRUE(klass->GetComponentType() == NULL);
129 EXPECT_TRUE(klass->GetComponentType() == NULL);
130 EXPECT_EQ(Class::kStatusResolved, klass->GetStatus());
131 EXPECT_FALSE(klass->IsErroneous());
132 EXPECT_FALSE(klass->IsVerified());
133 EXPECT_TRUE(klass->IsLinked());
134 EXPECT_TRUE(klass->IsLoaded());
135 EXPECT_TRUE(klass->IsInSamePackage(klass));
136 EXPECT_TRUE(Class::IsInSamePackage(klass->GetDescriptor(), klass->GetDescriptor()));
137 if (klass->IsInterface()) {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700138 EXPECT_TRUE(klass->IsAbstract());
139 if (klass->NumDirectMethods() == 1) {
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700140 EXPECT_TRUE(klass->GetDirectMethod(0)->GetName()->Equals("<clinit>"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700141 } else {
142 EXPECT_EQ(0U, klass->NumDirectMethods());
143 }
Brian Carlstromae3ac012011-07-27 01:30:28 -0700144 } else {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700145 if (!klass->IsSynthetic()) {
146 EXPECT_NE(0U, klass->NumDirectMethods());
147 }
Brian Carlstromae3ac012011-07-27 01:30:28 -0700148 }
149 if (klass->IsAbstract()) {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700150 EXPECT_FALSE(klass->IsFinal());
Brian Carlstromae3ac012011-07-27 01:30:28 -0700151 } else {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700152 EXPECT_FALSE(klass->IsAnnotation());
Brian Carlstromae3ac012011-07-27 01:30:28 -0700153 }
154 if (klass->IsFinal()) {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700155 EXPECT_FALSE(klass->IsAbstract());
156 EXPECT_FALSE(klass->IsAnnotation());
Brian Carlstromae3ac012011-07-27 01:30:28 -0700157 }
158 if (klass->IsAnnotation()) {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700159 EXPECT_FALSE(klass->IsFinal());
160 EXPECT_TRUE(klass->IsAbstract());
Brian Carlstromae3ac012011-07-27 01:30:28 -0700161 }
162
163 EXPECT_FALSE(klass->IsPrimitive());
164 EXPECT_TRUE(klass->CanAccess(klass));
165
166 for (size_t i = 0; i < klass->NumDirectMethods(); i++) {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700167 Method* method = klass->GetDirectMethod(i);
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -0700168 AssertMethod(klass, method);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400169 EXPECT_EQ(klass, method->GetDeclaringClass());
Brian Carlstromae3ac012011-07-27 01:30:28 -0700170 }
171
172 for (size_t i = 0; i < klass->NumVirtualMethods(); i++) {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700173 Method* method = klass->GetVirtualMethod(i);
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -0700174 AssertMethod(klass, method);
Brian Carlstromc4fa2c02011-08-21 03:00:12 -0700175 EXPECT_TRUE(method->GetDeclaringClass()->IsAssignableFrom(klass));
Brian Carlstromae3ac012011-07-27 01:30:28 -0700176 }
177
178 for (size_t i = 0; i < klass->NumInstanceFields(); i++) {
Jesse Wilson35baaab2011-08-10 16:18:03 -0400179 Field* field = klass->GetInstanceField(i);
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -0700180 AssertField(klass, field);
Jesse Wilsonfd687c52011-08-04 19:27:35 -0700181 EXPECT_FALSE(field->IsStatic());
Brian Carlstromae3ac012011-07-27 01:30:28 -0700182 }
183
184 for (size_t i = 0; i < klass->NumStaticFields(); i++) {
Jesse Wilson35baaab2011-08-10 16:18:03 -0400185 Field* field = klass->GetStaticField(i);
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -0700186 AssertField(klass, field);
Jesse Wilsonfd687c52011-08-04 19:27:35 -0700187 EXPECT_TRUE(field->IsStatic());
Brian Carlstroma663ea52011-08-19 23:33:41 -0700188 }
Brian Carlstromae3ac012011-07-27 01:30:28 -0700189
190 // Confirm that all instances fields are packed together at the start
191 EXPECT_GE(klass->NumInstanceFields(), klass->NumReferenceInstanceFields());
192 for (size_t i = 0; i < klass->NumReferenceInstanceFields(); i++) {
Jesse Wilson35baaab2011-08-10 16:18:03 -0400193 Field* field = klass->GetInstanceField(i);
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -0700194 Class* field_type = class_linker_->FindClass(field->GetDescriptor(),
195 klass->GetClassLoader());
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700196 ASSERT_TRUE(field_type != NULL);
197 EXPECT_FALSE(field_type->IsPrimitive());
Brian Carlstromae3ac012011-07-27 01:30:28 -0700198 }
199 for (size_t i = klass->NumReferenceInstanceFields(); i < klass->NumInstanceFields(); i++) {
Jesse Wilson35baaab2011-08-10 16:18:03 -0400200 Field* field = klass->GetInstanceField(i);
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -0700201 Class* field_type = class_linker_->FindClass(field->GetDescriptor(),
202 klass->GetClassLoader());
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700203 ASSERT_TRUE(field_type != NULL);
204 EXPECT_TRUE(field_type->IsPrimitive());
Brian Carlstromae3ac012011-07-27 01:30:28 -0700205 }
206
207 size_t total_num_reference_instance_fields = 0;
208 Class* k = klass;
209 while (k != NULL) {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700210 total_num_reference_instance_fields += k->NumReferenceInstanceFields();
211 k = k->GetSuperClass();
Brian Carlstromae3ac012011-07-27 01:30:28 -0700212 }
Brian Carlstrom4873d462011-08-21 15:23:39 -0700213 EXPECT_EQ(klass->GetReferenceInstanceOffsets() == 0,
Brian Carlstromae3ac012011-07-27 01:30:28 -0700214 total_num_reference_instance_fields == 0);
Brian Carlstrom4a96b602011-07-26 16:40:23 -0700215 }
216
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -0700217 void AssertDexFileClass(ClassLoader* class_loader, const StringPiece& descriptor) {
218 ASSERT_TRUE(descriptor != NULL);
219 Class* klass = class_linker_->FindSystemClass(descriptor);
220 ASSERT_TRUE(klass != NULL);
221 EXPECT_TRUE(klass->GetDescriptor()->Equals(descriptor));
222 EXPECT_EQ(class_loader, klass->GetClassLoader());
223 if (klass->IsPrimitive()) {
224 AssertPrimitiveClass(descriptor, klass);
225 } else if (klass->IsArray()) {
226 AssertArrayClass(descriptor, klass);
227 } else {
228 AssertClass(descriptor, klass);
229 }
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700230 }
231
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700232 void AssertDexFile(const DexFile* dex, ClassLoader* class_loader) {
Brian Carlstromae3ac012011-07-27 01:30:28 -0700233 ASSERT_TRUE(dex != NULL);
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -0700234 // Verify all the classes defined in this file
Brian Carlstrom4a96b602011-07-26 16:40:23 -0700235 for (size_t i = 0; i < dex->NumClassDefs(); i++) {
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -0700236 const DexFile::ClassDef& class_def = dex->GetClassDef(i);
Brian Carlstrom4a96b602011-07-26 16:40:23 -0700237 const char* descriptor = dex->GetClassDescriptor(class_def);
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700238 AssertDexFileClass(class_loader, descriptor);
Brian Carlstrom4a96b602011-07-26 16:40:23 -0700239 }
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -0700240 // Verify all the types referened by this file
241 for (size_t i = 0; i < dex->NumTypeIds(); i++) {
242 const DexFile::TypeId& type_id = dex->GetTypeId(i);
243 const char* descriptor = dex->GetTypeDescriptor(type_id);
244 AssertDexFileClass(class_loader, descriptor);
245 }
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700246 class_linker_->VisitRoots(TestRootVisitor, NULL);
Brian Carlstrom4a96b602011-07-26 16:40:23 -0700247 }
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -0700248
249 static void TestRootVisitor(Object* root, void* arg) {
250 EXPECT_TRUE(root != NULL);
251 }
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700252};
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700253
254TEST_F(ClassLinkerTest, FindClassNonexistent) {
Elliott Hughesbd935992011-08-22 11:59:34 -0700255 AssertNonExistentClass("NoSuchClass;");
256 AssertNonExistentClass("LNoSuchClass;");
Brian Carlstrom934486c2011-07-12 23:42:50 -0700257}
258
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700259TEST_F(ClassLinkerTest, FindClassNested) {
Brian Carlstroma663ea52011-08-19 23:33:41 -0700260 scoped_ptr<DexFile> dex(OpenDexFileBase64(kNestedDex, "kNestedDex"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700261 PathClassLoader* class_loader = AllocPathClassLoader(dex.get());
Brian Carlstrom934486c2011-07-12 23:42:50 -0700262
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700263 Class* outer = class_linker_->FindClass("LNested;", class_loader);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700264 ASSERT_TRUE(outer != NULL);
265 EXPECT_EQ(0U, outer->NumVirtualMethods());
266 EXPECT_EQ(1U, outer->NumDirectMethods());
Brian Carlstrom934486c2011-07-12 23:42:50 -0700267
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700268 Class* inner = class_linker_->FindClass("LNested$Inner;", class_loader);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700269 ASSERT_TRUE(inner != NULL);
270 EXPECT_EQ(0U, inner->NumVirtualMethods());
271 EXPECT_EQ(1U, inner->NumDirectMethods());
Brian Carlstrom934486c2011-07-12 23:42:50 -0700272}
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700273
Elliott Hughese5b0dc82011-08-23 09:59:02 -0700274TEST_F(ClassLinkerTest, FindClass_Primitives) {
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700275 StringPiece expected = "BCDFIJSZV";
276 for (int ch = 0; ch < 255; ch++) {
277 char* s = reinterpret_cast<char*>(&ch);
278 StringPiece descriptor(s, 1);
279 if (expected.find(ch) == StringPiece::npos) {
Elliott Hughesbd935992011-08-22 11:59:34 -0700280 AssertNonExistentClass(descriptor);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700281 } else {
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700282 AssertPrimitiveClass(descriptor);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700283 }
284 }
Elliott Hughese5b0dc82011-08-23 09:59:02 -0700285}
Elliott Hughesa5780da2011-07-17 11:39:39 -0700286
Elliott Hughese5b0dc82011-08-23 09:59:02 -0700287TEST_F(ClassLinkerTest, FindClass) {
288 Class* JavaLangObject = class_linker_->FindSystemClass("Ljava/lang/Object;");
Brian Carlstrom934486c2011-07-12 23:42:50 -0700289 ASSERT_TRUE(JavaLangObject != NULL);
Brian Carlstroma0808032011-07-18 00:39:23 -0700290 ASSERT_TRUE(JavaLangObject->GetClass() != NULL);
291 ASSERT_EQ(JavaLangObject->GetClass(), JavaLangObject->GetClass()->GetClass());
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700292 EXPECT_EQ(JavaLangObject, JavaLangObject->GetClass()->GetSuperClass());
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700293 ASSERT_TRUE(JavaLangObject->GetDescriptor()->Equals("Ljava/lang/Object;"));
Brian Carlstrom934486c2011-07-12 23:42:50 -0700294 EXPECT_TRUE(JavaLangObject->GetSuperClass() == NULL);
295 EXPECT_FALSE(JavaLangObject->HasSuperClass());
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700296 EXPECT_TRUE(JavaLangObject->GetClassLoader() == NULL);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700297 EXPECT_TRUE(JavaLangObject->GetComponentType() == NULL);
298 EXPECT_FALSE(JavaLangObject->IsErroneous());
299 EXPECT_FALSE(JavaLangObject->IsVerified());
300 EXPECT_TRUE(JavaLangObject->IsLinked());
301 EXPECT_FALSE(JavaLangObject->IsArray());
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700302 EXPECT_EQ(0, JavaLangObject->array_rank_);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700303 EXPECT_FALSE(JavaLangObject->IsInterface());
304 EXPECT_TRUE(JavaLangObject->IsPublic());
305 EXPECT_FALSE(JavaLangObject->IsFinal());
306 EXPECT_FALSE(JavaLangObject->IsPrimitive());
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700307 EXPECT_FALSE(JavaLangObject->IsSynthetic());
Elliott Hughesa5b897e2011-08-16 11:33:06 -0700308 EXPECT_EQ(2U, JavaLangObject->NumDirectMethods());
309 EXPECT_EQ(11U, JavaLangObject->NumVirtualMethods());
Carl Shapirof10edca2011-07-14 23:16:21 -0700310 EXPECT_EQ(0U, JavaLangObject->NumInstanceFields());
311 EXPECT_EQ(0U, JavaLangObject->NumStaticFields());
Brian Carlstrom913af1b2011-07-23 21:41:13 -0700312 EXPECT_EQ(0U, JavaLangObject->NumInterfaces());
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700313
Brian Carlstroma663ea52011-08-19 23:33:41 -0700314 scoped_ptr<DexFile> dex(OpenDexFileBase64(kMyClassDex, "kMyClassDex"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700315 PathClassLoader* class_loader = AllocPathClassLoader(dex.get());
Elliott Hughesbd935992011-08-22 11:59:34 -0700316 AssertNonExistentClass("LMyClass;");
Elliott Hughese5b0dc82011-08-23 09:59:02 -0700317 Class* MyClass = class_linker_->FindClass("LMyClass;", class_loader);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700318 ASSERT_TRUE(MyClass != NULL);
Brian Carlstroma0808032011-07-18 00:39:23 -0700319 ASSERT_TRUE(MyClass->GetClass() != NULL);
320 ASSERT_EQ(MyClass->GetClass(), MyClass->GetClass()->GetClass());
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700321 EXPECT_EQ(JavaLangObject, MyClass->GetClass()->GetSuperClass());
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700322 ASSERT_TRUE(MyClass->GetDescriptor()->Equals("LMyClass;"));
Brian Carlstrom934486c2011-07-12 23:42:50 -0700323 EXPECT_TRUE(MyClass->GetSuperClass() == JavaLangObject);
324 EXPECT_TRUE(MyClass->HasSuperClass());
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700325 EXPECT_EQ(class_loader, MyClass->GetClassLoader());
Brian Carlstrom934486c2011-07-12 23:42:50 -0700326 EXPECT_TRUE(MyClass->GetComponentType() == NULL);
327 EXPECT_TRUE(MyClass->GetStatus() == Class::kStatusResolved);
328 EXPECT_FALSE(MyClass->IsErroneous());
329 EXPECT_FALSE(MyClass->IsVerified());
330 EXPECT_TRUE(MyClass->IsLinked());
331 EXPECT_FALSE(MyClass->IsArray());
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700332 EXPECT_EQ(0, JavaLangObject->array_rank_);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700333 EXPECT_FALSE(MyClass->IsInterface());
334 EXPECT_FALSE(MyClass->IsPublic());
335 EXPECT_FALSE(MyClass->IsFinal());
336 EXPECT_FALSE(MyClass->IsPrimitive());
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700337 EXPECT_FALSE(MyClass->IsSynthetic());
Carl Shapirof10edca2011-07-14 23:16:21 -0700338 EXPECT_EQ(1U, MyClass->NumDirectMethods());
339 EXPECT_EQ(0U, MyClass->NumVirtualMethods());
340 EXPECT_EQ(0U, MyClass->NumInstanceFields());
341 EXPECT_EQ(0U, MyClass->NumStaticFields());
Brian Carlstrom913af1b2011-07-23 21:41:13 -0700342 EXPECT_EQ(0U, MyClass->NumInterfaces());
Brian Carlstroma0808032011-07-18 00:39:23 -0700343
344 EXPECT_EQ(JavaLangObject->GetClass()->GetClass(), MyClass->GetClass()->GetClass());
345
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700346 // created by class_linker
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700347 AssertArrayClass("[C", 1, "C", NULL);
348 AssertArrayClass("[Ljava/lang/Object;", 1, "Ljava/lang/Object;", NULL);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700349 // synthesized on the fly
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700350 AssertArrayClass("[[C", 2, "C", NULL);
351 AssertArrayClass("[[[LMyClass;", 3, "LMyClass;", class_loader);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700352 // or not available at all
Elliott Hughesbd935992011-08-22 11:59:34 -0700353 AssertNonExistentClass("[[[[LNonExistentClass;");
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700354}
355
Brian Carlstrom4a96b602011-07-26 16:40:23 -0700356TEST_F(ClassLinkerTest, LibCore) {
Jesse Wilsonac5b9e22011-07-27 15:11:13 -0400357 scoped_ptr<DexFile> libcore_dex_file(GetLibCoreDex());
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700358 EXPECT_TRUE(libcore_dex_file.get() != NULL);
359 AssertDexFile(libcore_dex_file.get(), NULL);
Brian Carlstrom4a96b602011-07-26 16:40:23 -0700360}
361
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400362// C++ fields must exactly match the fields in the Java classes. If this fails,
Jesse Wilsonac5b9e22011-07-27 15:11:13 -0400363// reorder the fields in the C++ class. Managed class fields are ordered by
364// ClassLinker::LinkInstanceFields.
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400365TEST_F(ClassLinkerTest, ValidateFieldOrderOfJavaCppUnionClasses) {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700366 Class* string = class_linker_->FindSystemClass( "Ljava/lang/String;");
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400367 ASSERT_EQ(4U, string->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700368 EXPECT_TRUE(string->GetInstanceField(0)->GetName()->Equals("value"));
369 EXPECT_TRUE(string->GetInstanceField(1)->GetName()->Equals("hashCode"));
370 EXPECT_TRUE(string->GetInstanceField(2)->GetName()->Equals("offset"));
371 EXPECT_TRUE(string->GetInstanceField(3)->GetName()->Equals("count"));
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400372
Elliott Hughese5b0dc82011-08-23 09:59:02 -0700373 Class* throwable = class_linker_->FindSystemClass( "Ljava/lang/Throwable;");
374 ASSERT_EQ(5U, throwable->NumInstanceFields());
375 EXPECT_TRUE(throwable->GetInstanceField(0)->GetName()->Equals("cause"));
376 EXPECT_TRUE(throwable->GetInstanceField(1)->GetName()->Equals("detailMessage"));
377 EXPECT_TRUE(throwable->GetInstanceField(2)->GetName()->Equals("stackState"));
378 EXPECT_TRUE(throwable->GetInstanceField(3)->GetName()->Equals("stackTrace"));
379 EXPECT_TRUE(throwable->GetInstanceField(4)->GetName()->Equals("suppressedExceptions"));
380
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700381 Class* accessible_object = class_linker_->FindSystemClass("Ljava/lang/reflect/AccessibleObject;");
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400382 ASSERT_EQ(1U, accessible_object->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700383 EXPECT_TRUE(accessible_object->GetInstanceField(0)->GetName()->Equals("flag"));
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400384
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700385 Class* field = class_linker_->FindSystemClass("Ljava/lang/reflect/Field;");
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400386 ASSERT_EQ(6U, field->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700387 EXPECT_TRUE(field->GetInstanceField(0)->GetName()->Equals("declaringClass"));
388 EXPECT_TRUE(field->GetInstanceField(1)->GetName()->Equals("genericType"));
389 EXPECT_TRUE(field->GetInstanceField(2)->GetName()->Equals("type"));
390 EXPECT_TRUE(field->GetInstanceField(3)->GetName()->Equals("name"));
391 EXPECT_TRUE(field->GetInstanceField(4)->GetName()->Equals("slot"));
392 EXPECT_TRUE(field->GetInstanceField(5)->GetName()->Equals("genericTypesAreInitialized"));
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400393
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700394 Class* method = class_linker_->FindSystemClass("Ljava/lang/reflect/Method;");
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400395 ASSERT_EQ(11U, method->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700396 EXPECT_TRUE(method->GetInstanceField( 0)->GetName()->Equals("declaringClass"));
397 EXPECT_TRUE(method->GetInstanceField( 1)->GetName()->Equals("exceptionTypes"));
398 EXPECT_TRUE(method->GetInstanceField( 2)->GetName()->Equals("formalTypeParameters"));
399 EXPECT_TRUE(method->GetInstanceField( 3)->GetName()->Equals("genericExceptionTypes"));
400 EXPECT_TRUE(method->GetInstanceField( 4)->GetName()->Equals("genericParameterTypes"));
401 EXPECT_TRUE(method->GetInstanceField( 5)->GetName()->Equals("genericReturnType"));
402 EXPECT_TRUE(method->GetInstanceField( 6)->GetName()->Equals("returnType"));
403 EXPECT_TRUE(method->GetInstanceField( 7)->GetName()->Equals("name"));
404 EXPECT_TRUE(method->GetInstanceField( 8)->GetName()->Equals("parameterTypes"));
405 EXPECT_TRUE(method->GetInstanceField( 9)->GetName()->Equals("genericTypesAreInitialized"));
406 EXPECT_TRUE(method->GetInstanceField(10)->GetName()->Equals("slot"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700407
408 Class* class_loader = class_linker_->FindSystemClass("Ljava/lang/ClassLoader;");
409 ASSERT_EQ(2U, class_loader->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700410 EXPECT_TRUE(class_loader->GetInstanceField(0)->GetName()->Equals("packages"));
411 EXPECT_TRUE(class_loader->GetInstanceField(1)->GetName()->Equals("parent"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700412
413 Class* dex_base_class_loader = class_linker_->FindSystemClass("Ldalvik/system/BaseDexClassLoader;");
414 ASSERT_EQ(2U, dex_base_class_loader->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700415 EXPECT_TRUE(dex_base_class_loader->GetInstanceField(0)->GetName()->Equals("originalPath"));
416 EXPECT_TRUE(dex_base_class_loader->GetInstanceField(1)->GetName()->Equals("pathList"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700417}
418
Jesse Wilsondf4189c2011-08-09 17:10:28 -0400419// The first reference array element must be a multiple of 8 bytes from the
420// start of the object
421TEST_F(ClassLinkerTest, ValidateObjectArrayElementsOffset) {
422 Class* array_class = class_linker_->FindSystemClass("[Ljava/lang/String;");
423 ObjectArray<String>* array = ObjectArray<String>::Alloc(array_class, 0);
424 uint32_t array_offset = reinterpret_cast<uint32_t>(array);
425 uint32_t data_offset = reinterpret_cast<uint32_t>(array->GetData());
426 EXPECT_EQ(16U, data_offset - array_offset);
427}
428
429TEST_F(ClassLinkerTest, ValidatePrimitiveArrayElementsOffset) {
Elliott Hughesd8ddfd52011-08-15 14:32:53 -0700430 LongArray* array = LongArray::Alloc(0);
431 EXPECT_EQ(class_linker_->FindSystemClass("[J"), array->GetClass());
Jesse Wilsondf4189c2011-08-09 17:10:28 -0400432 uint32_t array_offset = reinterpret_cast<uint32_t>(array);
433 uint32_t data_offset = reinterpret_cast<uint32_t>(array->GetData());
434 EXPECT_EQ(16U, data_offset - array_offset);
435}
436
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700437TEST_F(ClassLinkerTest, TwoClassLoadersOneClass) {
Brian Carlstroma663ea52011-08-19 23:33:41 -0700438 scoped_ptr<DexFile> dex_1(OpenDexFileBase64(kMyClassDex, "kMyClassDex"));
439 scoped_ptr<DexFile> dex_2(OpenDexFileBase64(kMyClassDex, "kMyClassDex"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700440 PathClassLoader* class_loader_1 = AllocPathClassLoader(dex_1.get());
441 PathClassLoader* class_loader_2 = AllocPathClassLoader(dex_2.get());
442 Class* MyClass_1 = class_linker_->FindClass("LMyClass;", class_loader_1);
443 Class* MyClass_2 = class_linker_->FindClass("LMyClass;", class_loader_2);
444 EXPECT_TRUE(MyClass_1 != NULL);
445 EXPECT_TRUE(MyClass_2 != NULL);
446 EXPECT_NE(MyClass_1, MyClass_2);
Jesse Wilsonac5b9e22011-07-27 15:11:13 -0400447}
448
Jesse Wilson7833bd22011-08-09 18:31:44 -0400449TEST_F(ClassLinkerTest, StaticFields) {
450 // TODO: uncomment expectations of initial values when InitializeClass works
Brian Carlstroma663ea52011-08-19 23:33:41 -0700451 scoped_ptr<DexFile> dex(OpenDexFileBase64(kStatics, "kStatics"));
Jesse Wilson7833bd22011-08-09 18:31:44 -0400452 PathClassLoader* class_loader = AllocPathClassLoader(dex.get());
453 Class* statics = class_linker_->FindClass("LStatics;", class_loader);
Brian Carlstrom4873d462011-08-21 15:23:39 -0700454 class_linker_->EnsureInitialized(statics);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400455
456 EXPECT_EQ(10U, statics->NumStaticFields());
457
Brian Carlstrom4873d462011-08-21 15:23:39 -0700458 Field* s0 = statics->FindStaticField("s0", "Z");
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700459 EXPECT_TRUE(s0->GetClass()->descriptor_->Equals("Ljava/lang/reflect/Field;"));
Jesse Wilson7833bd22011-08-09 18:31:44 -0400460 EXPECT_EQ('Z', s0->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700461 // EXPECT_EQ(true, s0->GetBoolean(NULL)); // TODO: needs clinit to be run?
462 s0->SetBoolean(NULL, false);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400463
Brian Carlstrom4873d462011-08-21 15:23:39 -0700464 Field* s1 = statics->FindStaticField("s1", "B");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400465 EXPECT_EQ('B', s1->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700466 // EXPECT_EQ(5, s1->GetByte(NULL)); // TODO: needs clinit to be run?
467 s1->SetByte(NULL, 6);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400468
Brian Carlstrom4873d462011-08-21 15:23:39 -0700469 Field* s2 = statics->FindStaticField("s2", "C");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400470 EXPECT_EQ('C', s2->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700471 // EXPECT_EQ('a', s2->GetChar(NULL)); // TODO: needs clinit to be run?
472 s2->SetChar(NULL, 'b');
Jesse Wilson7833bd22011-08-09 18:31:44 -0400473
Brian Carlstrom4873d462011-08-21 15:23:39 -0700474 Field* s3 = statics->FindStaticField("s3", "S");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400475 EXPECT_EQ('S', s3->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700476 // EXPECT_EQ(65000, s3->GetShort(NULL)); // TODO: needs clinit to be run?
477 s3->SetShort(NULL, 65001);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400478
Brian Carlstrom4873d462011-08-21 15:23:39 -0700479 Field* s4 = statics->FindStaticField("s4", "I");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400480 EXPECT_EQ('I', s4->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700481 // EXPECT_EQ(2000000000, s4->GetInt(NULL)); // TODO: needs clinit to be run?
482 s4->SetInt(NULL, 2000000001);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400483
Brian Carlstrom4873d462011-08-21 15:23:39 -0700484 Field* s5 = statics->FindStaticField("s5", "J");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400485 EXPECT_EQ('J', s5->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700486 // EXPECT_EQ(0x1234567890abcdefLL, s5->GetLong(NULL)); // TODO: needs clinit to be run?
487 s5->SetLong(NULL, 0x34567890abcdef12LL);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400488
Brian Carlstrom4873d462011-08-21 15:23:39 -0700489 Field* s6 = statics->FindStaticField("s6", "F");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400490 EXPECT_EQ('F', s6->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700491 // EXPECT_EQ(0.5, s6->GetFloat(NULL)); // TODO: needs clinit to be run?
492 s6->SetFloat(NULL, 0.75);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400493
Brian Carlstrom4873d462011-08-21 15:23:39 -0700494 Field* s7 = statics->FindStaticField("s7", "D");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400495 EXPECT_EQ('D', s7->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700496 // EXPECT_EQ(16777217, s7->GetDouble(NULL)); // TODO: needs clinit to be run?
497 s7->SetDouble(NULL, 16777219);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400498
Brian Carlstrom4873d462011-08-21 15:23:39 -0700499 Field* s8 = statics->FindStaticField("s8", "Ljava/lang/Object;");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400500 EXPECT_EQ('L', s8->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700501 // EXPECT_TRUE(s8->GetObject(NULL)->AsString()->Equals("android")); // TODO: needs clinit to be run?
502 s8->SetObject(NULL, String::AllocFromModifiedUtf8("robot"));
Jesse Wilson7833bd22011-08-09 18:31:44 -0400503
Brian Carlstrom4873d462011-08-21 15:23:39 -0700504 Field* s9 = statics->FindStaticField("s9", "[Ljava/lang/Object;");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400505 EXPECT_EQ('[', s9->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700506 // EXPECT_EQ(NULL, s9->GetObject(NULL)); // TODO: needs clinit to be run?
507 s9->SetObject(NULL, NULL);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400508
Brian Carlstrom4873d462011-08-21 15:23:39 -0700509 EXPECT_EQ(false, s0->GetBoolean(NULL));
510 EXPECT_EQ(6, s1->GetByte(NULL));
511 EXPECT_EQ('b', s2->GetChar(NULL));
512 EXPECT_EQ(65001, s3->GetShort(NULL));
513 EXPECT_EQ(2000000001, s4->GetInt(NULL));
514 EXPECT_EQ(0x34567890abcdef12LL, s5->GetLong(NULL));
515 EXPECT_EQ(0.75, s6->GetFloat(NULL));
516 EXPECT_EQ(16777219, s7->GetDouble(NULL));
517 EXPECT_TRUE(s8->GetObject(NULL)->AsString()->Equals("robot"));
Jesse Wilson7833bd22011-08-09 18:31:44 -0400518}
519
Jesse Wilsondf4189c2011-08-09 17:10:28 -0400520} // namespace art