blob: ce08b1b093906b0d89aa77756e7fc38903b6e5eb [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
Elliott Hughese5b0dc82011-08-23 09:59:02 -0700246TEST_F(ClassLinkerTest, FindClass_Primitives) {
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700247 StringPiece expected = "BCDFIJSZV";
248 for (int ch = 0; ch < 255; ch++) {
249 char* s = reinterpret_cast<char*>(&ch);
250 StringPiece descriptor(s, 1);
251 if (expected.find(ch) == StringPiece::npos) {
Elliott Hughesbd935992011-08-22 11:59:34 -0700252 AssertNonExistentClass(descriptor);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700253 } else {
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700254 AssertPrimitiveClass(descriptor);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700255 }
256 }
Elliott Hughese5b0dc82011-08-23 09:59:02 -0700257}
Elliott Hughesa5780da2011-07-17 11:39:39 -0700258
Elliott Hughese5b0dc82011-08-23 09:59:02 -0700259TEST_F(ClassLinkerTest, FindClass) {
260 Class* JavaLangObject = class_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 Carlstroma663ea52011-08-19 23:33:41 -0700286 scoped_ptr<DexFile> dex(OpenDexFileBase64(kMyClassDex, "kMyClassDex"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700287 PathClassLoader* class_loader = AllocPathClassLoader(dex.get());
Elliott Hughesbd935992011-08-22 11:59:34 -0700288 AssertNonExistentClass("LMyClass;");
Elliott Hughese5b0dc82011-08-23 09:59:02 -0700289 Class* MyClass = class_linker_->FindClass("LMyClass;", class_loader);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700290 ASSERT_TRUE(MyClass != NULL);
Brian Carlstroma0808032011-07-18 00:39:23 -0700291 ASSERT_TRUE(MyClass->GetClass() != NULL);
292 ASSERT_EQ(MyClass->GetClass(), MyClass->GetClass()->GetClass());
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700293 EXPECT_EQ(JavaLangObject, MyClass->GetClass()->GetSuperClass());
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700294 ASSERT_TRUE(MyClass->GetDescriptor()->Equals("LMyClass;"));
Brian Carlstrom934486c2011-07-12 23:42:50 -0700295 EXPECT_TRUE(MyClass->GetSuperClass() == JavaLangObject);
296 EXPECT_TRUE(MyClass->HasSuperClass());
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700297 EXPECT_EQ(class_loader, MyClass->GetClassLoader());
Brian Carlstrom934486c2011-07-12 23:42:50 -0700298 EXPECT_TRUE(MyClass->GetComponentType() == NULL);
299 EXPECT_TRUE(MyClass->GetStatus() == Class::kStatusResolved);
300 EXPECT_FALSE(MyClass->IsErroneous());
301 EXPECT_FALSE(MyClass->IsVerified());
302 EXPECT_TRUE(MyClass->IsLinked());
303 EXPECT_FALSE(MyClass->IsArray());
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700304 EXPECT_EQ(0, JavaLangObject->array_rank_);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700305 EXPECT_FALSE(MyClass->IsInterface());
306 EXPECT_FALSE(MyClass->IsPublic());
307 EXPECT_FALSE(MyClass->IsFinal());
308 EXPECT_FALSE(MyClass->IsPrimitive());
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700309 EXPECT_FALSE(MyClass->IsSynthetic());
Carl Shapirof10edca2011-07-14 23:16:21 -0700310 EXPECT_EQ(1U, MyClass->NumDirectMethods());
311 EXPECT_EQ(0U, MyClass->NumVirtualMethods());
312 EXPECT_EQ(0U, MyClass->NumInstanceFields());
313 EXPECT_EQ(0U, MyClass->NumStaticFields());
Brian Carlstrom913af1b2011-07-23 21:41:13 -0700314 EXPECT_EQ(0U, MyClass->NumInterfaces());
Brian Carlstroma0808032011-07-18 00:39:23 -0700315
316 EXPECT_EQ(JavaLangObject->GetClass()->GetClass(), MyClass->GetClass()->GetClass());
317
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700318 // created by class_linker
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700319 AssertArrayClass("[C", 1, "C", NULL);
320 AssertArrayClass("[Ljava/lang/Object;", 1, "Ljava/lang/Object;", NULL);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700321 // synthesized on the fly
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700322 AssertArrayClass("[[C", 2, "C", NULL);
323 AssertArrayClass("[[[LMyClass;", 3, "LMyClass;", class_loader);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700324 // or not available at all
Elliott Hughesbd935992011-08-22 11:59:34 -0700325 AssertNonExistentClass("[[[[LNonExistentClass;");
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700326}
327
Brian Carlstrom4a96b602011-07-26 16:40:23 -0700328TEST_F(ClassLinkerTest, LibCore) {
Jesse Wilsonac5b9e22011-07-27 15:11:13 -0400329 scoped_ptr<DexFile> libcore_dex_file(GetLibCoreDex());
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700330 EXPECT_TRUE(libcore_dex_file.get() != NULL);
331 AssertDexFile(libcore_dex_file.get(), NULL);
Brian Carlstrom4a96b602011-07-26 16:40:23 -0700332}
333
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400334// C++ fields must exactly match the fields in the Java classes. If this fails,
Jesse Wilsonac5b9e22011-07-27 15:11:13 -0400335// reorder the fields in the C++ class. Managed class fields are ordered by
336// ClassLinker::LinkInstanceFields.
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400337TEST_F(ClassLinkerTest, ValidateFieldOrderOfJavaCppUnionClasses) {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700338 Class* string = class_linker_->FindSystemClass( "Ljava/lang/String;");
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400339 ASSERT_EQ(4U, string->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700340 EXPECT_TRUE(string->GetInstanceField(0)->GetName()->Equals("value"));
341 EXPECT_TRUE(string->GetInstanceField(1)->GetName()->Equals("hashCode"));
342 EXPECT_TRUE(string->GetInstanceField(2)->GetName()->Equals("offset"));
343 EXPECT_TRUE(string->GetInstanceField(3)->GetName()->Equals("count"));
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400344
Elliott Hughese5b0dc82011-08-23 09:59:02 -0700345 Class* throwable = class_linker_->FindSystemClass( "Ljava/lang/Throwable;");
346 ASSERT_EQ(5U, throwable->NumInstanceFields());
347 EXPECT_TRUE(throwable->GetInstanceField(0)->GetName()->Equals("cause"));
348 EXPECT_TRUE(throwable->GetInstanceField(1)->GetName()->Equals("detailMessage"));
349 EXPECT_TRUE(throwable->GetInstanceField(2)->GetName()->Equals("stackState"));
350 EXPECT_TRUE(throwable->GetInstanceField(3)->GetName()->Equals("stackTrace"));
351 EXPECT_TRUE(throwable->GetInstanceField(4)->GetName()->Equals("suppressedExceptions"));
352
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700353 Class* accessible_object = class_linker_->FindSystemClass("Ljava/lang/reflect/AccessibleObject;");
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400354 ASSERT_EQ(1U, accessible_object->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700355 EXPECT_TRUE(accessible_object->GetInstanceField(0)->GetName()->Equals("flag"));
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400356
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700357 Class* field = class_linker_->FindSystemClass("Ljava/lang/reflect/Field;");
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400358 ASSERT_EQ(6U, field->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700359 EXPECT_TRUE(field->GetInstanceField(0)->GetName()->Equals("declaringClass"));
360 EXPECT_TRUE(field->GetInstanceField(1)->GetName()->Equals("genericType"));
361 EXPECT_TRUE(field->GetInstanceField(2)->GetName()->Equals("type"));
362 EXPECT_TRUE(field->GetInstanceField(3)->GetName()->Equals("name"));
363 EXPECT_TRUE(field->GetInstanceField(4)->GetName()->Equals("slot"));
364 EXPECT_TRUE(field->GetInstanceField(5)->GetName()->Equals("genericTypesAreInitialized"));
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400365
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700366 Class* method = class_linker_->FindSystemClass("Ljava/lang/reflect/Method;");
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400367 ASSERT_EQ(11U, method->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700368 EXPECT_TRUE(method->GetInstanceField( 0)->GetName()->Equals("declaringClass"));
369 EXPECT_TRUE(method->GetInstanceField( 1)->GetName()->Equals("exceptionTypes"));
370 EXPECT_TRUE(method->GetInstanceField( 2)->GetName()->Equals("formalTypeParameters"));
371 EXPECT_TRUE(method->GetInstanceField( 3)->GetName()->Equals("genericExceptionTypes"));
372 EXPECT_TRUE(method->GetInstanceField( 4)->GetName()->Equals("genericParameterTypes"));
373 EXPECT_TRUE(method->GetInstanceField( 5)->GetName()->Equals("genericReturnType"));
374 EXPECT_TRUE(method->GetInstanceField( 6)->GetName()->Equals("returnType"));
375 EXPECT_TRUE(method->GetInstanceField( 7)->GetName()->Equals("name"));
376 EXPECT_TRUE(method->GetInstanceField( 8)->GetName()->Equals("parameterTypes"));
377 EXPECT_TRUE(method->GetInstanceField( 9)->GetName()->Equals("genericTypesAreInitialized"));
378 EXPECT_TRUE(method->GetInstanceField(10)->GetName()->Equals("slot"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700379
380 Class* class_loader = class_linker_->FindSystemClass("Ljava/lang/ClassLoader;");
381 ASSERT_EQ(2U, class_loader->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700382 EXPECT_TRUE(class_loader->GetInstanceField(0)->GetName()->Equals("packages"));
383 EXPECT_TRUE(class_loader->GetInstanceField(1)->GetName()->Equals("parent"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700384
385 Class* dex_base_class_loader = class_linker_->FindSystemClass("Ldalvik/system/BaseDexClassLoader;");
386 ASSERT_EQ(2U, dex_base_class_loader->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700387 EXPECT_TRUE(dex_base_class_loader->GetInstanceField(0)->GetName()->Equals("originalPath"));
388 EXPECT_TRUE(dex_base_class_loader->GetInstanceField(1)->GetName()->Equals("pathList"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700389}
390
Jesse Wilsondf4189c2011-08-09 17:10:28 -0400391// The first reference array element must be a multiple of 8 bytes from the
392// start of the object
393TEST_F(ClassLinkerTest, ValidateObjectArrayElementsOffset) {
394 Class* array_class = class_linker_->FindSystemClass("[Ljava/lang/String;");
395 ObjectArray<String>* array = ObjectArray<String>::Alloc(array_class, 0);
396 uint32_t array_offset = reinterpret_cast<uint32_t>(array);
397 uint32_t data_offset = reinterpret_cast<uint32_t>(array->GetData());
398 EXPECT_EQ(16U, data_offset - array_offset);
399}
400
401TEST_F(ClassLinkerTest, ValidatePrimitiveArrayElementsOffset) {
Elliott Hughesd8ddfd52011-08-15 14:32:53 -0700402 LongArray* array = LongArray::Alloc(0);
403 EXPECT_EQ(class_linker_->FindSystemClass("[J"), array->GetClass());
Jesse Wilsondf4189c2011-08-09 17:10:28 -0400404 uint32_t array_offset = reinterpret_cast<uint32_t>(array);
405 uint32_t data_offset = reinterpret_cast<uint32_t>(array->GetData());
406 EXPECT_EQ(16U, data_offset - array_offset);
407}
408
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700409TEST_F(ClassLinkerTest, TwoClassLoadersOneClass) {
Brian Carlstroma663ea52011-08-19 23:33:41 -0700410 scoped_ptr<DexFile> dex_1(OpenDexFileBase64(kMyClassDex, "kMyClassDex"));
411 scoped_ptr<DexFile> dex_2(OpenDexFileBase64(kMyClassDex, "kMyClassDex"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700412 PathClassLoader* class_loader_1 = AllocPathClassLoader(dex_1.get());
413 PathClassLoader* class_loader_2 = AllocPathClassLoader(dex_2.get());
414 Class* MyClass_1 = class_linker_->FindClass("LMyClass;", class_loader_1);
415 Class* MyClass_2 = class_linker_->FindClass("LMyClass;", class_loader_2);
416 EXPECT_TRUE(MyClass_1 != NULL);
417 EXPECT_TRUE(MyClass_2 != NULL);
418 EXPECT_NE(MyClass_1, MyClass_2);
Jesse Wilsonac5b9e22011-07-27 15:11:13 -0400419}
420
Jesse Wilson7833bd22011-08-09 18:31:44 -0400421TEST_F(ClassLinkerTest, StaticFields) {
422 // TODO: uncomment expectations of initial values when InitializeClass works
Brian Carlstroma663ea52011-08-19 23:33:41 -0700423 scoped_ptr<DexFile> dex(OpenDexFileBase64(kStatics, "kStatics"));
Jesse Wilson7833bd22011-08-09 18:31:44 -0400424 PathClassLoader* class_loader = AllocPathClassLoader(dex.get());
425 Class* statics = class_linker_->FindClass("LStatics;", class_loader);
Brian Carlstrom4873d462011-08-21 15:23:39 -0700426 class_linker_->EnsureInitialized(statics);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400427
428 EXPECT_EQ(10U, statics->NumStaticFields());
429
Brian Carlstrom4873d462011-08-21 15:23:39 -0700430 Field* s0 = statics->FindStaticField("s0", "Z");
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700431 EXPECT_TRUE(s0->GetClass()->descriptor_->Equals("Ljava/lang/reflect/Field;"));
Jesse Wilson7833bd22011-08-09 18:31:44 -0400432 EXPECT_EQ('Z', s0->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700433 // EXPECT_EQ(true, s0->GetBoolean(NULL)); // TODO: needs clinit to be run?
434 s0->SetBoolean(NULL, false);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400435
Brian Carlstrom4873d462011-08-21 15:23:39 -0700436 Field* s1 = statics->FindStaticField("s1", "B");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400437 EXPECT_EQ('B', s1->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700438 // EXPECT_EQ(5, s1->GetByte(NULL)); // TODO: needs clinit to be run?
439 s1->SetByte(NULL, 6);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400440
Brian Carlstrom4873d462011-08-21 15:23:39 -0700441 Field* s2 = statics->FindStaticField("s2", "C");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400442 EXPECT_EQ('C', s2->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700443 // EXPECT_EQ('a', s2->GetChar(NULL)); // TODO: needs clinit to be run?
444 s2->SetChar(NULL, 'b');
Jesse Wilson7833bd22011-08-09 18:31:44 -0400445
Brian Carlstrom4873d462011-08-21 15:23:39 -0700446 Field* s3 = statics->FindStaticField("s3", "S");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400447 EXPECT_EQ('S', s3->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700448 // EXPECT_EQ(65000, s3->GetShort(NULL)); // TODO: needs clinit to be run?
449 s3->SetShort(NULL, 65001);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400450
Brian Carlstrom4873d462011-08-21 15:23:39 -0700451 Field* s4 = statics->FindStaticField("s4", "I");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400452 EXPECT_EQ('I', s4->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700453 // EXPECT_EQ(2000000000, s4->GetInt(NULL)); // TODO: needs clinit to be run?
454 s4->SetInt(NULL, 2000000001);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400455
Brian Carlstrom4873d462011-08-21 15:23:39 -0700456 Field* s5 = statics->FindStaticField("s5", "J");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400457 EXPECT_EQ('J', s5->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700458 // EXPECT_EQ(0x1234567890abcdefLL, s5->GetLong(NULL)); // TODO: needs clinit to be run?
459 s5->SetLong(NULL, 0x34567890abcdef12LL);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400460
Brian Carlstrom4873d462011-08-21 15:23:39 -0700461 Field* s6 = statics->FindStaticField("s6", "F");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400462 EXPECT_EQ('F', s6->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700463 // EXPECT_EQ(0.5, s6->GetFloat(NULL)); // TODO: needs clinit to be run?
464 s6->SetFloat(NULL, 0.75);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400465
Brian Carlstrom4873d462011-08-21 15:23:39 -0700466 Field* s7 = statics->FindStaticField("s7", "D");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400467 EXPECT_EQ('D', s7->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700468 // EXPECT_EQ(16777217, s7->GetDouble(NULL)); // TODO: needs clinit to be run?
469 s7->SetDouble(NULL, 16777219);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400470
Brian Carlstrom4873d462011-08-21 15:23:39 -0700471 Field* s8 = statics->FindStaticField("s8", "Ljava/lang/Object;");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400472 EXPECT_EQ('L', s8->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700473 // EXPECT_TRUE(s8->GetObject(NULL)->AsString()->Equals("android")); // TODO: needs clinit to be run?
474 s8->SetObject(NULL, String::AllocFromModifiedUtf8("robot"));
Jesse Wilson7833bd22011-08-09 18:31:44 -0400475
Brian Carlstrom4873d462011-08-21 15:23:39 -0700476 Field* s9 = statics->FindStaticField("s9", "[Ljava/lang/Object;");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400477 EXPECT_EQ('[', s9->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700478 // EXPECT_EQ(NULL, s9->GetObject(NULL)); // TODO: needs clinit to be run?
479 s9->SetObject(NULL, NULL);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400480
Brian Carlstrom4873d462011-08-21 15:23:39 -0700481 EXPECT_EQ(false, s0->GetBoolean(NULL));
482 EXPECT_EQ(6, s1->GetByte(NULL));
483 EXPECT_EQ('b', s2->GetChar(NULL));
484 EXPECT_EQ(65001, s3->GetShort(NULL));
485 EXPECT_EQ(2000000001, s4->GetInt(NULL));
486 EXPECT_EQ(0x34567890abcdef12LL, s5->GetLong(NULL));
487 EXPECT_EQ(0.75, s6->GetFloat(NULL));
488 EXPECT_EQ(16777219, s7->GetDouble(NULL));
489 EXPECT_TRUE(s8->GetObject(NULL)->AsString()->Equals("robot"));
Jesse Wilson7833bd22011-08-09 18:31:44 -0400490}
491
Jesse Wilsondf4189c2011-08-09 17:10:28 -0400492} // namespace art