blob: 7d5a44764d4d39d77905b182164d1b01c73ae074 [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) {
Carl Shapiro7a909592011-07-24 19:21:59 -070026 Class* primitive = class_linker_->FindSystemClass(descriptor);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070027 ASSERT_TRUE(primitive != NULL);
28 ASSERT_TRUE(primitive->GetClass() != NULL);
29 ASSERT_EQ(primitive->GetClass(), primitive->GetClass()->GetClass());
30 EXPECT_TRUE(primitive->GetClass()->GetSuperClass() != NULL);
Brian Carlstrom9cff8e12011-08-18 16:47:29 -070031 ASSERT_TRUE(primitive->GetDescriptor()->Equals(descriptor));
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070032 EXPECT_TRUE(primitive->GetSuperClass() == NULL);
33 EXPECT_FALSE(primitive->HasSuperClass());
Brian Carlstrom74eb46a2011-08-02 20:10:14 -070034 EXPECT_TRUE(primitive->GetClassLoader() == NULL);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070035 EXPECT_TRUE(primitive->GetComponentType() == NULL);
36 EXPECT_TRUE(primitive->GetStatus() == Class::kStatusInitialized);
37 EXPECT_FALSE(primitive->IsErroneous());
38 EXPECT_TRUE(primitive->IsVerified());
39 EXPECT_TRUE(primitive->IsLinked());
40 EXPECT_FALSE(primitive->IsArray());
41 EXPECT_EQ(0, primitive->array_rank_);
42 EXPECT_FALSE(primitive->IsInterface());
43 EXPECT_TRUE(primitive->IsPublic());
44 EXPECT_TRUE(primitive->IsFinal());
45 EXPECT_TRUE(primitive->IsPrimitive());
Brian Carlstrom75cb3b42011-07-28 02:13:36 -070046 EXPECT_FALSE(primitive->IsSynthetic());
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070047 EXPECT_EQ(0U, primitive->NumDirectMethods());
48 EXPECT_EQ(0U, primitive->NumVirtualMethods());
49 EXPECT_EQ(0U, primitive->NumInstanceFields());
50 EXPECT_EQ(0U, primitive->NumStaticFields());
Brian Carlstrom913af1b2011-07-23 21:41:13 -070051 EXPECT_EQ(0U, primitive->NumInterfaces());
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070052 }
53
54 void AssertArrayClass(const StringPiece& array_descriptor,
55 int32_t array_rank,
Brian Carlstrom74eb46a2011-08-02 20:10:14 -070056 const StringPiece& component_type,
57 ClassLoader* class_loader) {
58 Class* array = class_linker_->FindClass(array_descriptor, class_loader);
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070059 ASSERT_TRUE(array != NULL);
60 ASSERT_TRUE(array->GetClass() != NULL);
61 ASSERT_EQ(array->GetClass(), array->GetClass()->GetClass());
62 EXPECT_TRUE(array->GetClass()->GetSuperClass() != NULL);
Brian Carlstrom9cff8e12011-08-18 16:47:29 -070063 ASSERT_TRUE(array->GetDescriptor()->Equals(array_descriptor));
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070064 EXPECT_TRUE(array->GetSuperClass() != NULL);
Carl Shapiro7a909592011-07-24 19:21:59 -070065 EXPECT_EQ(class_linker_->FindSystemClass("Ljava/lang/Object;"), array->GetSuperClass());
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070066 EXPECT_TRUE(array->HasSuperClass());
Brian Carlstrom74eb46a2011-08-02 20:10:14 -070067 EXPECT_EQ(class_loader, array->GetClassLoader());
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070068 ASSERT_TRUE(array->GetComponentType() != NULL);
69 ASSERT_TRUE(array->GetComponentType()->GetDescriptor() != NULL);
Brian Carlstrom9cff8e12011-08-18 16:47:29 -070070 EXPECT_TRUE(array->GetComponentType()->GetDescriptor()->Equals(component_type));
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070071 EXPECT_TRUE(array->GetStatus() == Class::kStatusInitialized);
72 EXPECT_FALSE(array->IsErroneous());
73 EXPECT_TRUE(array->IsVerified());
74 EXPECT_TRUE(array->IsLinked());
75 EXPECT_TRUE(array->IsArray());
76 EXPECT_EQ(array_rank, array->array_rank_);
77 EXPECT_FALSE(array->IsInterface());
78 EXPECT_EQ(array->GetComponentType()->IsPublic(), array->IsPublic());
79 EXPECT_TRUE(array->IsFinal());
80 EXPECT_FALSE(array->IsPrimitive());
Brian Carlstrom75cb3b42011-07-28 02:13:36 -070081 EXPECT_FALSE(array->IsSynthetic());
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070082 EXPECT_EQ(0U, array->NumDirectMethods());
83 EXPECT_EQ(0U, array->NumVirtualMethods());
84 EXPECT_EQ(0U, array->NumInstanceFields());
85 EXPECT_EQ(0U, array->NumStaticFields());
Brian Carlstrom913af1b2011-07-23 21:41:13 -070086 EXPECT_EQ(2U, array->NumInterfaces());
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070087 }
Brian Carlstrom4a96b602011-07-26 16:40:23 -070088
Brian Carlstromc4fa2c02011-08-21 03:00:12 -070089 void AssertDexFileMethod(Class* klass, Method* method) {
90 EXPECT_TRUE(method != NULL);
91 EXPECT_TRUE(method->GetName() != NULL);
92 EXPECT_TRUE(method->GetSignature() != NULL);
93
94 EXPECT_TRUE(method->dex_cache_strings_ != NULL);
95 EXPECT_TRUE(method->dex_cache_classes_ != NULL);
96 EXPECT_TRUE(method->dex_cache_methods_ != NULL);
97 EXPECT_TRUE(method->dex_cache_fields_ != NULL);
98 EXPECT_EQ(method->declaring_class_->dex_cache_->GetStrings(), method->dex_cache_strings_);
99 EXPECT_EQ(method->declaring_class_->dex_cache_->GetClasses(), method->dex_cache_classes_);
100 EXPECT_EQ(method->declaring_class_->dex_cache_->GetMethods(), method->dex_cache_methods_);
101 EXPECT_EQ(method->declaring_class_->dex_cache_->GetFields(), method->dex_cache_fields_);
102 }
103
104 void AssertDexFileField(Class* klass, Field* field) {
105 EXPECT_TRUE(field != NULL);
106 EXPECT_EQ(klass, field->GetDeclaringClass());
107 EXPECT_TRUE(field->GetName() != NULL);
108 EXPECT_TRUE(field->GetDescriptor() != NULL);
109 }
110
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700111 void AssertDexFileClass(ClassLoader* class_loader, const char* descriptor) {
Brian Carlstromae3ac012011-07-27 01:30:28 -0700112 ASSERT_TRUE(descriptor != NULL);
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700113 Class* klass = class_linker_->FindSystemClass(descriptor);
Brian Carlstromae3ac012011-07-27 01:30:28 -0700114 ASSERT_TRUE(klass != NULL);
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700115 EXPECT_TRUE(klass->GetDescriptor()->Equals(descriptor));
116 if (klass->descriptor_->Equals(String::AllocFromModifiedUtf8("Ljava/lang/Object;"))) {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700117 EXPECT_FALSE(klass->HasSuperClass());
Brian Carlstromae3ac012011-07-27 01:30:28 -0700118 } else {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700119 EXPECT_TRUE(klass->HasSuperClass());
120 EXPECT_TRUE(klass->GetSuperClass() != NULL);
Brian Carlstromae3ac012011-07-27 01:30:28 -0700121 }
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700122 EXPECT_EQ(class_loader, klass->GetClassLoader());
Brian Carlstromae3ac012011-07-27 01:30:28 -0700123 EXPECT_TRUE(klass->GetDexCache() != NULL);
124 EXPECT_TRUE(klass->GetComponentType() == NULL);
125 EXPECT_TRUE(klass->GetComponentType() == NULL);
126 EXPECT_EQ(Class::kStatusResolved, klass->GetStatus());
127 EXPECT_FALSE(klass->IsErroneous());
128 EXPECT_FALSE(klass->IsVerified());
129 EXPECT_TRUE(klass->IsLinked());
130 EXPECT_TRUE(klass->IsLoaded());
131 EXPECT_TRUE(klass->IsInSamePackage(klass));
132 EXPECT_TRUE(Class::IsInSamePackage(klass->GetDescriptor(), klass->GetDescriptor()));
133 if (klass->IsInterface()) {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700134 EXPECT_TRUE(klass->IsAbstract());
135 if (klass->NumDirectMethods() == 1) {
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700136 EXPECT_TRUE(klass->GetDirectMethod(0)->GetName()->Equals("<clinit>"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700137 } else {
138 EXPECT_EQ(0U, klass->NumDirectMethods());
139 }
Brian Carlstromae3ac012011-07-27 01:30:28 -0700140 } else {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700141 if (!klass->IsSynthetic()) {
142 EXPECT_NE(0U, klass->NumDirectMethods());
143 }
Brian Carlstromae3ac012011-07-27 01:30:28 -0700144 }
145 if (klass->IsAbstract()) {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700146 EXPECT_FALSE(klass->IsFinal());
Brian Carlstromae3ac012011-07-27 01:30:28 -0700147 } else {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700148 EXPECT_FALSE(klass->IsAnnotation());
Brian Carlstromae3ac012011-07-27 01:30:28 -0700149 }
150 if (klass->IsFinal()) {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700151 EXPECT_FALSE(klass->IsAbstract());
152 EXPECT_FALSE(klass->IsAnnotation());
Brian Carlstromae3ac012011-07-27 01:30:28 -0700153 }
154 if (klass->IsAnnotation()) {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700155 EXPECT_FALSE(klass->IsFinal());
156 EXPECT_TRUE(klass->IsAbstract());
Brian Carlstromae3ac012011-07-27 01:30:28 -0700157 }
158
159 EXPECT_FALSE(klass->IsPrimitive());
160 EXPECT_TRUE(klass->CanAccess(klass));
161
162 for (size_t i = 0; i < klass->NumDirectMethods(); i++) {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700163 Method* method = klass->GetDirectMethod(i);
Brian Carlstromc4fa2c02011-08-21 03:00:12 -0700164 AssertDexFileMethod(klass, method);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400165 EXPECT_EQ(klass, method->GetDeclaringClass());
Brian Carlstromae3ac012011-07-27 01:30:28 -0700166 }
167
168 for (size_t i = 0; i < klass->NumVirtualMethods(); i++) {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700169 Method* method = klass->GetVirtualMethod(i);
Brian Carlstromc4fa2c02011-08-21 03:00:12 -0700170 AssertDexFileMethod(klass, method);
171 EXPECT_TRUE(method->GetDeclaringClass()->IsAssignableFrom(klass));
Brian Carlstromae3ac012011-07-27 01:30:28 -0700172 }
173
174 for (size_t i = 0; i < klass->NumInstanceFields(); i++) {
Jesse Wilson35baaab2011-08-10 16:18:03 -0400175 Field* field = klass->GetInstanceField(i);
Brian Carlstromc4fa2c02011-08-21 03:00:12 -0700176 AssertDexFileField(klass, field);
Jesse Wilsonfd687c52011-08-04 19:27:35 -0700177 EXPECT_FALSE(field->IsStatic());
Brian Carlstromae3ac012011-07-27 01:30:28 -0700178 }
179
180 for (size_t i = 0; i < klass->NumStaticFields(); i++) {
Jesse Wilson35baaab2011-08-10 16:18:03 -0400181 Field* field = klass->GetStaticField(i);
Brian Carlstromc4fa2c02011-08-21 03:00:12 -0700182 AssertDexFileField(klass, field);
Jesse Wilsonfd687c52011-08-04 19:27:35 -0700183 EXPECT_TRUE(field->IsStatic());
Brian Carlstroma663ea52011-08-19 23:33:41 -0700184 }
Brian Carlstromae3ac012011-07-27 01:30:28 -0700185
186 // Confirm that all instances fields are packed together at the start
187 EXPECT_GE(klass->NumInstanceFields(), klass->NumReferenceInstanceFields());
188 for (size_t i = 0; i < klass->NumReferenceInstanceFields(); i++) {
Jesse Wilson35baaab2011-08-10 16:18:03 -0400189 Field* field = klass->GetInstanceField(i);
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700190 Class* field_type = class_linker_->FindClass(field->GetDescriptor(), class_loader);
191 ASSERT_TRUE(field_type != NULL);
192 EXPECT_FALSE(field_type->IsPrimitive());
Brian Carlstromae3ac012011-07-27 01:30:28 -0700193 }
194 for (size_t i = klass->NumReferenceInstanceFields(); i < klass->NumInstanceFields(); i++) {
Jesse Wilson35baaab2011-08-10 16:18:03 -0400195 Field* field = klass->GetInstanceField(i);
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700196 Class* field_type = class_linker_->FindClass(field->GetDescriptor(), class_loader);
197 ASSERT_TRUE(field_type != NULL);
198 EXPECT_TRUE(field_type->IsPrimitive());
Brian Carlstromae3ac012011-07-27 01:30:28 -0700199 }
200
201 size_t total_num_reference_instance_fields = 0;
202 Class* k = klass;
203 while (k != NULL) {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700204 total_num_reference_instance_fields += k->NumReferenceInstanceFields();
205 k = k->GetSuperClass();
Brian Carlstromae3ac012011-07-27 01:30:28 -0700206 }
Brian Carlstrom4873d462011-08-21 15:23:39 -0700207 EXPECT_EQ(klass->GetReferenceInstanceOffsets() == 0,
Brian Carlstromae3ac012011-07-27 01:30:28 -0700208 total_num_reference_instance_fields == 0);
Brian Carlstrom4a96b602011-07-26 16:40:23 -0700209 }
210
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700211 static void TestRootVisitor(Object* root, void* arg) {
212 EXPECT_TRUE(root != NULL);
213 }
214
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700215 void AssertDexFile(const DexFile* dex, ClassLoader* class_loader) {
Brian Carlstromae3ac012011-07-27 01:30:28 -0700216 ASSERT_TRUE(dex != NULL);
Brian Carlstrom4a96b602011-07-26 16:40:23 -0700217 for (size_t i = 0; i < dex->NumClassDefs(); i++) {
218 const DexFile::ClassDef class_def = dex->GetClassDef(i);
219 const char* descriptor = dex->GetClassDescriptor(class_def);
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700220 AssertDexFileClass(class_loader, descriptor);
Brian Carlstrom4a96b602011-07-26 16:40:23 -0700221 }
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700222 class_linker_->VisitRoots(TestRootVisitor, NULL);
Brian Carlstrom4a96b602011-07-26 16:40:23 -0700223 }
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700224};
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700225
226TEST_F(ClassLinkerTest, FindClassNonexistent) {
Elliott Hughesbd935992011-08-22 11:59:34 -0700227 AssertNonExistentClass("NoSuchClass;");
228 AssertNonExistentClass("LNoSuchClass;");
Brian Carlstrom934486c2011-07-12 23:42:50 -0700229}
230
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700231TEST_F(ClassLinkerTest, FindClassNested) {
Brian Carlstroma663ea52011-08-19 23:33:41 -0700232 scoped_ptr<DexFile> dex(OpenDexFileBase64(kNestedDex, "kNestedDex"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700233 PathClassLoader* class_loader = AllocPathClassLoader(dex.get());
Brian Carlstrom934486c2011-07-12 23:42:50 -0700234
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700235 Class* outer = class_linker_->FindClass("LNested;", class_loader);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700236 ASSERT_TRUE(outer != NULL);
237 EXPECT_EQ(0U, outer->NumVirtualMethods());
238 EXPECT_EQ(1U, outer->NumDirectMethods());
Brian Carlstrom934486c2011-07-12 23:42:50 -0700239
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700240 Class* inner = class_linker_->FindClass("LNested$Inner;", class_loader);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700241 ASSERT_TRUE(inner != NULL);
242 EXPECT_EQ(0U, inner->NumVirtualMethods());
243 EXPECT_EQ(1U, inner->NumDirectMethods());
Brian Carlstrom934486c2011-07-12 23:42:50 -0700244}
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700245
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700246TEST_F(ClassLinkerTest, FindClass) {
Carl Shapiro7a909592011-07-24 19:21:59 -0700247 ClassLinker* linker = class_linker_;
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700248
249 StringPiece expected = "BCDFIJSZV";
250 for (int ch = 0; ch < 255; ch++) {
251 char* s = reinterpret_cast<char*>(&ch);
252 StringPiece descriptor(s, 1);
253 if (expected.find(ch) == StringPiece::npos) {
Elliott Hughesbd935992011-08-22 11:59:34 -0700254 AssertNonExistentClass(descriptor);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700255 } else {
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700256 AssertPrimitiveClass(descriptor);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700257 }
258 }
Elliott Hughesa5780da2011-07-17 11:39:39 -0700259
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700260 Class* JavaLangObject = linker->FindSystemClass("Ljava/lang/Object;");
Brian Carlstrom934486c2011-07-12 23:42:50 -0700261 ASSERT_TRUE(JavaLangObject != NULL);
Brian Carlstroma0808032011-07-18 00:39:23 -0700262 ASSERT_TRUE(JavaLangObject->GetClass() != NULL);
263 ASSERT_EQ(JavaLangObject->GetClass(), JavaLangObject->GetClass()->GetClass());
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700264 EXPECT_EQ(JavaLangObject, JavaLangObject->GetClass()->GetSuperClass());
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700265 ASSERT_TRUE(JavaLangObject->GetDescriptor()->Equals("Ljava/lang/Object;"));
Brian Carlstrom934486c2011-07-12 23:42:50 -0700266 EXPECT_TRUE(JavaLangObject->GetSuperClass() == NULL);
267 EXPECT_FALSE(JavaLangObject->HasSuperClass());
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700268 EXPECT_TRUE(JavaLangObject->GetClassLoader() == NULL);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700269 EXPECT_TRUE(JavaLangObject->GetComponentType() == NULL);
270 EXPECT_FALSE(JavaLangObject->IsErroneous());
271 EXPECT_FALSE(JavaLangObject->IsVerified());
272 EXPECT_TRUE(JavaLangObject->IsLinked());
273 EXPECT_FALSE(JavaLangObject->IsArray());
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700274 EXPECT_EQ(0, JavaLangObject->array_rank_);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700275 EXPECT_FALSE(JavaLangObject->IsInterface());
276 EXPECT_TRUE(JavaLangObject->IsPublic());
277 EXPECT_FALSE(JavaLangObject->IsFinal());
278 EXPECT_FALSE(JavaLangObject->IsPrimitive());
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700279 EXPECT_FALSE(JavaLangObject->IsSynthetic());
Elliott Hughesa5b897e2011-08-16 11:33:06 -0700280 EXPECT_EQ(2U, JavaLangObject->NumDirectMethods());
281 EXPECT_EQ(11U, JavaLangObject->NumVirtualMethods());
Carl Shapirof10edca2011-07-14 23:16:21 -0700282 EXPECT_EQ(0U, JavaLangObject->NumInstanceFields());
283 EXPECT_EQ(0U, JavaLangObject->NumStaticFields());
Brian Carlstrom913af1b2011-07-23 21:41:13 -0700284 EXPECT_EQ(0U, JavaLangObject->NumInterfaces());
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700285
Brian Carlstrom934486c2011-07-12 23:42:50 -0700286
Brian Carlstroma663ea52011-08-19 23:33:41 -0700287 scoped_ptr<DexFile> dex(OpenDexFileBase64(kMyClassDex, "kMyClassDex"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700288 PathClassLoader* class_loader = AllocPathClassLoader(dex.get());
Elliott Hughesbd935992011-08-22 11:59:34 -0700289 AssertNonExistentClass("LMyClass;");
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700290 Class* MyClass = linker->FindClass("LMyClass;", class_loader);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700291 ASSERT_TRUE(MyClass != NULL);
Brian Carlstroma0808032011-07-18 00:39:23 -0700292 ASSERT_TRUE(MyClass->GetClass() != NULL);
293 ASSERT_EQ(MyClass->GetClass(), MyClass->GetClass()->GetClass());
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700294 EXPECT_EQ(JavaLangObject, MyClass->GetClass()->GetSuperClass());
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700295 ASSERT_TRUE(MyClass->GetDescriptor()->Equals("LMyClass;"));
Brian Carlstrom934486c2011-07-12 23:42:50 -0700296 EXPECT_TRUE(MyClass->GetSuperClass() == JavaLangObject);
297 EXPECT_TRUE(MyClass->HasSuperClass());
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700298 EXPECT_EQ(class_loader, MyClass->GetClassLoader());
Brian Carlstrom934486c2011-07-12 23:42:50 -0700299 EXPECT_TRUE(MyClass->GetComponentType() == NULL);
300 EXPECT_TRUE(MyClass->GetStatus() == Class::kStatusResolved);
301 EXPECT_FALSE(MyClass->IsErroneous());
302 EXPECT_FALSE(MyClass->IsVerified());
303 EXPECT_TRUE(MyClass->IsLinked());
304 EXPECT_FALSE(MyClass->IsArray());
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700305 EXPECT_EQ(0, JavaLangObject->array_rank_);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700306 EXPECT_FALSE(MyClass->IsInterface());
307 EXPECT_FALSE(MyClass->IsPublic());
308 EXPECT_FALSE(MyClass->IsFinal());
309 EXPECT_FALSE(MyClass->IsPrimitive());
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700310 EXPECT_FALSE(MyClass->IsSynthetic());
Carl Shapirof10edca2011-07-14 23:16:21 -0700311 EXPECT_EQ(1U, MyClass->NumDirectMethods());
312 EXPECT_EQ(0U, MyClass->NumVirtualMethods());
313 EXPECT_EQ(0U, MyClass->NumInstanceFields());
314 EXPECT_EQ(0U, MyClass->NumStaticFields());
Brian Carlstrom913af1b2011-07-23 21:41:13 -0700315 EXPECT_EQ(0U, MyClass->NumInterfaces());
Brian Carlstroma0808032011-07-18 00:39:23 -0700316
317 EXPECT_EQ(JavaLangObject->GetClass()->GetClass(), MyClass->GetClass()->GetClass());
318
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700319 // created by class_linker
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700320 AssertArrayClass("[C", 1, "C", NULL);
321 AssertArrayClass("[Ljava/lang/Object;", 1, "Ljava/lang/Object;", NULL);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700322 // synthesized on the fly
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700323 AssertArrayClass("[[C", 2, "C", NULL);
324 AssertArrayClass("[[[LMyClass;", 3, "LMyClass;", class_loader);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700325 // or not available at all
Elliott Hughesbd935992011-08-22 11:59:34 -0700326 AssertNonExistentClass("[[[[LNonExistentClass;");
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700327}
328
Brian Carlstrom4a96b602011-07-26 16:40:23 -0700329TEST_F(ClassLinkerTest, LibCore) {
Jesse Wilsonac5b9e22011-07-27 15:11:13 -0400330 scoped_ptr<DexFile> libcore_dex_file(GetLibCoreDex());
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700331 EXPECT_TRUE(libcore_dex_file.get() != NULL);
332 AssertDexFile(libcore_dex_file.get(), NULL);
Brian Carlstrom4a96b602011-07-26 16:40:23 -0700333}
334
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400335// C++ fields must exactly match the fields in the Java classes. If this fails,
Jesse Wilsonac5b9e22011-07-27 15:11:13 -0400336// reorder the fields in the C++ class. Managed class fields are ordered by
337// ClassLinker::LinkInstanceFields.
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400338TEST_F(ClassLinkerTest, ValidateFieldOrderOfJavaCppUnionClasses) {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700339 Class* string = class_linker_->FindSystemClass( "Ljava/lang/String;");
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400340 ASSERT_EQ(4U, string->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700341 EXPECT_TRUE(string->GetInstanceField(0)->GetName()->Equals("value"));
342 EXPECT_TRUE(string->GetInstanceField(1)->GetName()->Equals("hashCode"));
343 EXPECT_TRUE(string->GetInstanceField(2)->GetName()->Equals("offset"));
344 EXPECT_TRUE(string->GetInstanceField(3)->GetName()->Equals("count"));
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400345
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700346 Class* accessible_object = class_linker_->FindSystemClass("Ljava/lang/reflect/AccessibleObject;");
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400347 ASSERT_EQ(1U, accessible_object->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700348 EXPECT_TRUE(accessible_object->GetInstanceField(0)->GetName()->Equals("flag"));
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400349
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700350 Class* field = class_linker_->FindSystemClass("Ljava/lang/reflect/Field;");
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400351 ASSERT_EQ(6U, field->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700352 EXPECT_TRUE(field->GetInstanceField(0)->GetName()->Equals("declaringClass"));
353 EXPECT_TRUE(field->GetInstanceField(1)->GetName()->Equals("genericType"));
354 EXPECT_TRUE(field->GetInstanceField(2)->GetName()->Equals("type"));
355 EXPECT_TRUE(field->GetInstanceField(3)->GetName()->Equals("name"));
356 EXPECT_TRUE(field->GetInstanceField(4)->GetName()->Equals("slot"));
357 EXPECT_TRUE(field->GetInstanceField(5)->GetName()->Equals("genericTypesAreInitialized"));
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400358
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700359 Class* method = class_linker_->FindSystemClass("Ljava/lang/reflect/Method;");
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400360 ASSERT_EQ(11U, method->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700361 EXPECT_TRUE(method->GetInstanceField( 0)->GetName()->Equals("declaringClass"));
362 EXPECT_TRUE(method->GetInstanceField( 1)->GetName()->Equals("exceptionTypes"));
363 EXPECT_TRUE(method->GetInstanceField( 2)->GetName()->Equals("formalTypeParameters"));
364 EXPECT_TRUE(method->GetInstanceField( 3)->GetName()->Equals("genericExceptionTypes"));
365 EXPECT_TRUE(method->GetInstanceField( 4)->GetName()->Equals("genericParameterTypes"));
366 EXPECT_TRUE(method->GetInstanceField( 5)->GetName()->Equals("genericReturnType"));
367 EXPECT_TRUE(method->GetInstanceField( 6)->GetName()->Equals("returnType"));
368 EXPECT_TRUE(method->GetInstanceField( 7)->GetName()->Equals("name"));
369 EXPECT_TRUE(method->GetInstanceField( 8)->GetName()->Equals("parameterTypes"));
370 EXPECT_TRUE(method->GetInstanceField( 9)->GetName()->Equals("genericTypesAreInitialized"));
371 EXPECT_TRUE(method->GetInstanceField(10)->GetName()->Equals("slot"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700372
373 Class* class_loader = class_linker_->FindSystemClass("Ljava/lang/ClassLoader;");
374 ASSERT_EQ(2U, class_loader->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700375 EXPECT_TRUE(class_loader->GetInstanceField(0)->GetName()->Equals("packages"));
376 EXPECT_TRUE(class_loader->GetInstanceField(1)->GetName()->Equals("parent"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700377
378 Class* dex_base_class_loader = class_linker_->FindSystemClass("Ldalvik/system/BaseDexClassLoader;");
379 ASSERT_EQ(2U, dex_base_class_loader->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700380 EXPECT_TRUE(dex_base_class_loader->GetInstanceField(0)->GetName()->Equals("originalPath"));
381 EXPECT_TRUE(dex_base_class_loader->GetInstanceField(1)->GetName()->Equals("pathList"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700382}
383
Jesse Wilsondf4189c2011-08-09 17:10:28 -0400384// The first reference array element must be a multiple of 8 bytes from the
385// start of the object
386TEST_F(ClassLinkerTest, ValidateObjectArrayElementsOffset) {
387 Class* array_class = class_linker_->FindSystemClass("[Ljava/lang/String;");
388 ObjectArray<String>* array = ObjectArray<String>::Alloc(array_class, 0);
389 uint32_t array_offset = reinterpret_cast<uint32_t>(array);
390 uint32_t data_offset = reinterpret_cast<uint32_t>(array->GetData());
391 EXPECT_EQ(16U, data_offset - array_offset);
392}
393
394TEST_F(ClassLinkerTest, ValidatePrimitiveArrayElementsOffset) {
Elliott Hughesd8ddfd52011-08-15 14:32:53 -0700395 LongArray* array = LongArray::Alloc(0);
396 EXPECT_EQ(class_linker_->FindSystemClass("[J"), array->GetClass());
Jesse Wilsondf4189c2011-08-09 17:10:28 -0400397 uint32_t array_offset = reinterpret_cast<uint32_t>(array);
398 uint32_t data_offset = reinterpret_cast<uint32_t>(array->GetData());
399 EXPECT_EQ(16U, data_offset - array_offset);
400}
401
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700402TEST_F(ClassLinkerTest, TwoClassLoadersOneClass) {
Brian Carlstroma663ea52011-08-19 23:33:41 -0700403 scoped_ptr<DexFile> dex_1(OpenDexFileBase64(kMyClassDex, "kMyClassDex"));
404 scoped_ptr<DexFile> dex_2(OpenDexFileBase64(kMyClassDex, "kMyClassDex"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700405 PathClassLoader* class_loader_1 = AllocPathClassLoader(dex_1.get());
406 PathClassLoader* class_loader_2 = AllocPathClassLoader(dex_2.get());
407 Class* MyClass_1 = class_linker_->FindClass("LMyClass;", class_loader_1);
408 Class* MyClass_2 = class_linker_->FindClass("LMyClass;", class_loader_2);
409 EXPECT_TRUE(MyClass_1 != NULL);
410 EXPECT_TRUE(MyClass_2 != NULL);
411 EXPECT_NE(MyClass_1, MyClass_2);
Jesse Wilsonac5b9e22011-07-27 15:11:13 -0400412}
413
Jesse Wilson7833bd22011-08-09 18:31:44 -0400414TEST_F(ClassLinkerTest, StaticFields) {
415 // TODO: uncomment expectations of initial values when InitializeClass works
Brian Carlstroma663ea52011-08-19 23:33:41 -0700416 scoped_ptr<DexFile> dex(OpenDexFileBase64(kStatics, "kStatics"));
Jesse Wilson7833bd22011-08-09 18:31:44 -0400417 PathClassLoader* class_loader = AllocPathClassLoader(dex.get());
418 Class* statics = class_linker_->FindClass("LStatics;", class_loader);
Brian Carlstrom4873d462011-08-21 15:23:39 -0700419 class_linker_->EnsureInitialized(statics);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400420
421 EXPECT_EQ(10U, statics->NumStaticFields());
422
Brian Carlstrom4873d462011-08-21 15:23:39 -0700423 Field* s0 = statics->FindStaticField("s0", "Z");
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700424 EXPECT_TRUE(s0->GetClass()->descriptor_->Equals("Ljava/lang/reflect/Field;"));
Jesse Wilson7833bd22011-08-09 18:31:44 -0400425 EXPECT_EQ('Z', s0->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700426 // EXPECT_EQ(true, s0->GetBoolean(NULL)); // TODO: needs clinit to be run?
427 s0->SetBoolean(NULL, false);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400428
Brian Carlstrom4873d462011-08-21 15:23:39 -0700429 Field* s1 = statics->FindStaticField("s1", "B");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400430 EXPECT_EQ('B', s1->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700431 // EXPECT_EQ(5, s1->GetByte(NULL)); // TODO: needs clinit to be run?
432 s1->SetByte(NULL, 6);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400433
Brian Carlstrom4873d462011-08-21 15:23:39 -0700434 Field* s2 = statics->FindStaticField("s2", "C");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400435 EXPECT_EQ('C', s2->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700436 // EXPECT_EQ('a', s2->GetChar(NULL)); // TODO: needs clinit to be run?
437 s2->SetChar(NULL, 'b');
Jesse Wilson7833bd22011-08-09 18:31:44 -0400438
Brian Carlstrom4873d462011-08-21 15:23:39 -0700439 Field* s3 = statics->FindStaticField("s3", "S");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400440 EXPECT_EQ('S', s3->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700441 // EXPECT_EQ(65000, s3->GetShort(NULL)); // TODO: needs clinit to be run?
442 s3->SetShort(NULL, 65001);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400443
Brian Carlstrom4873d462011-08-21 15:23:39 -0700444 Field* s4 = statics->FindStaticField("s4", "I");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400445 EXPECT_EQ('I', s4->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700446 // EXPECT_EQ(2000000000, s4->GetInt(NULL)); // TODO: needs clinit to be run?
447 s4->SetInt(NULL, 2000000001);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400448
Brian Carlstrom4873d462011-08-21 15:23:39 -0700449 Field* s5 = statics->FindStaticField("s5", "J");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400450 EXPECT_EQ('J', s5->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700451 // EXPECT_EQ(0x1234567890abcdefLL, s5->GetLong(NULL)); // TODO: needs clinit to be run?
452 s5->SetLong(NULL, 0x34567890abcdef12LL);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400453
Brian Carlstrom4873d462011-08-21 15:23:39 -0700454 Field* s6 = statics->FindStaticField("s6", "F");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400455 EXPECT_EQ('F', s6->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700456 // EXPECT_EQ(0.5, s6->GetFloat(NULL)); // TODO: needs clinit to be run?
457 s6->SetFloat(NULL, 0.75);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400458
Brian Carlstrom4873d462011-08-21 15:23:39 -0700459 Field* s7 = statics->FindStaticField("s7", "D");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400460 EXPECT_EQ('D', s7->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700461 // EXPECT_EQ(16777217, s7->GetDouble(NULL)); // TODO: needs clinit to be run?
462 s7->SetDouble(NULL, 16777219);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400463
Brian Carlstrom4873d462011-08-21 15:23:39 -0700464 Field* s8 = statics->FindStaticField("s8", "Ljava/lang/Object;");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400465 EXPECT_EQ('L', s8->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700466 // EXPECT_TRUE(s8->GetObject(NULL)->AsString()->Equals("android")); // TODO: needs clinit to be run?
467 s8->SetObject(NULL, String::AllocFromModifiedUtf8("robot"));
Jesse Wilson7833bd22011-08-09 18:31:44 -0400468
Brian Carlstrom4873d462011-08-21 15:23:39 -0700469 Field* s9 = statics->FindStaticField("s9", "[Ljava/lang/Object;");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400470 EXPECT_EQ('[', s9->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700471 // EXPECT_EQ(NULL, s9->GetObject(NULL)); // TODO: needs clinit to be run?
472 s9->SetObject(NULL, NULL);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400473
Brian Carlstrom4873d462011-08-21 15:23:39 -0700474 EXPECT_EQ(false, s0->GetBoolean(NULL));
475 EXPECT_EQ(6, s1->GetByte(NULL));
476 EXPECT_EQ('b', s2->GetChar(NULL));
477 EXPECT_EQ(65001, s3->GetShort(NULL));
478 EXPECT_EQ(2000000001, s4->GetInt(NULL));
479 EXPECT_EQ(0x34567890abcdef12LL, s5->GetLong(NULL));
480 EXPECT_EQ(0.75, s6->GetFloat(NULL));
481 EXPECT_EQ(16777219, s7->GetDouble(NULL));
482 EXPECT_TRUE(s8->GetObject(NULL)->AsString()->Equals("robot"));
Jesse Wilson7833bd22011-08-09 18:31:44 -0400483}
484
Jesse Wilsondf4189c2011-08-09 17:10:28 -0400485} // namespace art