blob: b5c03fbbd131ecf1fc87559d356f6e7aabf0e26b [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);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700103 EXPECT_TRUE(method->dex_cache_types_ != NULL);
Brian Carlstromc4fa2c02011-08-21 03:00:12 -0700104 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_);
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700107 EXPECT_EQ(method->declaring_class_->dex_cache_->GetTypes(), method->dex_cache_types_);
Brian Carlstromc4fa2c02011-08-21 03:00:12 -0700108 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 Carlstrom9ea1cb12011-08-24 23:18:18 -0700234
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -0700235 // Verify all the classes defined in this file
Brian Carlstrom4a96b602011-07-26 16:40:23 -0700236 for (size_t i = 0; i < dex->NumClassDefs(); i++) {
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -0700237 const DexFile::ClassDef& class_def = dex->GetClassDef(i);
Brian Carlstrom4a96b602011-07-26 16:40:23 -0700238 const char* descriptor = dex->GetClassDescriptor(class_def);
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700239 AssertDexFileClass(class_loader, descriptor);
Brian Carlstrom4a96b602011-07-26 16:40:23 -0700240 }
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700241 // Verify all the types referenced by this file
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -0700242 for (size_t i = 0; i < dex->NumTypeIds(); i++) {
243 const DexFile::TypeId& type_id = dex->GetTypeId(i);
244 const char* descriptor = dex->GetTypeDescriptor(type_id);
245 AssertDexFileClass(class_loader, descriptor);
246 }
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700247 class_linker_->VisitRoots(TestRootVisitor, NULL);
Brian Carlstrom4a96b602011-07-26 16:40:23 -0700248 }
Brian Carlstromd2fbb2b2011-08-23 11:57:08 -0700249
250 static void TestRootVisitor(Object* root, void* arg) {
251 EXPECT_TRUE(root != NULL);
252 }
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700253};
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700254
255TEST_F(ClassLinkerTest, FindClassNonexistent) {
Elliott Hughesbd935992011-08-22 11:59:34 -0700256 AssertNonExistentClass("NoSuchClass;");
257 AssertNonExistentClass("LNoSuchClass;");
Brian Carlstrom934486c2011-07-12 23:42:50 -0700258}
259
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700260TEST_F(ClassLinkerTest, FindClassNested) {
Brian Carlstroma663ea52011-08-19 23:33:41 -0700261 scoped_ptr<DexFile> dex(OpenDexFileBase64(kNestedDex, "kNestedDex"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700262 PathClassLoader* class_loader = AllocPathClassLoader(dex.get());
Brian Carlstrom934486c2011-07-12 23:42:50 -0700263
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700264 Class* outer = class_linker_->FindClass("LNested;", class_loader);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700265 ASSERT_TRUE(outer != NULL);
266 EXPECT_EQ(0U, outer->NumVirtualMethods());
267 EXPECT_EQ(1U, outer->NumDirectMethods());
Brian Carlstrom934486c2011-07-12 23:42:50 -0700268
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700269 Class* inner = class_linker_->FindClass("LNested$Inner;", class_loader);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700270 ASSERT_TRUE(inner != NULL);
271 EXPECT_EQ(0U, inner->NumVirtualMethods());
272 EXPECT_EQ(1U, inner->NumDirectMethods());
Brian Carlstrom934486c2011-07-12 23:42:50 -0700273}
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700274
Elliott Hughese5b0dc82011-08-23 09:59:02 -0700275TEST_F(ClassLinkerTest, FindClass_Primitives) {
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700276 StringPiece expected = "BCDFIJSZV";
277 for (int ch = 0; ch < 255; ch++) {
278 char* s = reinterpret_cast<char*>(&ch);
279 StringPiece descriptor(s, 1);
280 if (expected.find(ch) == StringPiece::npos) {
Elliott Hughesbd935992011-08-22 11:59:34 -0700281 AssertNonExistentClass(descriptor);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700282 } else {
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700283 AssertPrimitiveClass(descriptor);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700284 }
285 }
Elliott Hughese5b0dc82011-08-23 09:59:02 -0700286}
Elliott Hughesa5780da2011-07-17 11:39:39 -0700287
Elliott Hughese5b0dc82011-08-23 09:59:02 -0700288TEST_F(ClassLinkerTest, FindClass) {
289 Class* JavaLangObject = class_linker_->FindSystemClass("Ljava/lang/Object;");
Brian Carlstrom934486c2011-07-12 23:42:50 -0700290 ASSERT_TRUE(JavaLangObject != NULL);
Brian Carlstroma0808032011-07-18 00:39:23 -0700291 ASSERT_TRUE(JavaLangObject->GetClass() != NULL);
292 ASSERT_EQ(JavaLangObject->GetClass(), JavaLangObject->GetClass()->GetClass());
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700293 EXPECT_EQ(JavaLangObject, JavaLangObject->GetClass()->GetSuperClass());
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700294 ASSERT_TRUE(JavaLangObject->GetDescriptor()->Equals("Ljava/lang/Object;"));
Brian Carlstrom934486c2011-07-12 23:42:50 -0700295 EXPECT_TRUE(JavaLangObject->GetSuperClass() == NULL);
296 EXPECT_FALSE(JavaLangObject->HasSuperClass());
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700297 EXPECT_TRUE(JavaLangObject->GetClassLoader() == NULL);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700298 EXPECT_TRUE(JavaLangObject->GetComponentType() == NULL);
299 EXPECT_FALSE(JavaLangObject->IsErroneous());
300 EXPECT_FALSE(JavaLangObject->IsVerified());
301 EXPECT_TRUE(JavaLangObject->IsLinked());
302 EXPECT_FALSE(JavaLangObject->IsArray());
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700303 EXPECT_EQ(0, JavaLangObject->array_rank_);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700304 EXPECT_FALSE(JavaLangObject->IsInterface());
305 EXPECT_TRUE(JavaLangObject->IsPublic());
306 EXPECT_FALSE(JavaLangObject->IsFinal());
307 EXPECT_FALSE(JavaLangObject->IsPrimitive());
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700308 EXPECT_FALSE(JavaLangObject->IsSynthetic());
Elliott Hughesa5b897e2011-08-16 11:33:06 -0700309 EXPECT_EQ(2U, JavaLangObject->NumDirectMethods());
310 EXPECT_EQ(11U, JavaLangObject->NumVirtualMethods());
Carl Shapirof10edca2011-07-14 23:16:21 -0700311 EXPECT_EQ(0U, JavaLangObject->NumInstanceFields());
312 EXPECT_EQ(0U, JavaLangObject->NumStaticFields());
Brian Carlstrom913af1b2011-07-23 21:41:13 -0700313 EXPECT_EQ(0U, JavaLangObject->NumInterfaces());
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700314
Brian Carlstroma663ea52011-08-19 23:33:41 -0700315 scoped_ptr<DexFile> dex(OpenDexFileBase64(kMyClassDex, "kMyClassDex"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700316 PathClassLoader* class_loader = AllocPathClassLoader(dex.get());
Elliott Hughesbd935992011-08-22 11:59:34 -0700317 AssertNonExistentClass("LMyClass;");
Elliott Hughese5b0dc82011-08-23 09:59:02 -0700318 Class* MyClass = class_linker_->FindClass("LMyClass;", class_loader);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700319 ASSERT_TRUE(MyClass != NULL);
Brian Carlstroma0808032011-07-18 00:39:23 -0700320 ASSERT_TRUE(MyClass->GetClass() != NULL);
321 ASSERT_EQ(MyClass->GetClass(), MyClass->GetClass()->GetClass());
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700322 EXPECT_EQ(JavaLangObject, MyClass->GetClass()->GetSuperClass());
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700323 ASSERT_TRUE(MyClass->GetDescriptor()->Equals("LMyClass;"));
Brian Carlstrom934486c2011-07-12 23:42:50 -0700324 EXPECT_TRUE(MyClass->GetSuperClass() == JavaLangObject);
325 EXPECT_TRUE(MyClass->HasSuperClass());
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700326 EXPECT_EQ(class_loader, MyClass->GetClassLoader());
Brian Carlstrom934486c2011-07-12 23:42:50 -0700327 EXPECT_TRUE(MyClass->GetComponentType() == NULL);
328 EXPECT_TRUE(MyClass->GetStatus() == Class::kStatusResolved);
329 EXPECT_FALSE(MyClass->IsErroneous());
330 EXPECT_FALSE(MyClass->IsVerified());
331 EXPECT_TRUE(MyClass->IsLinked());
332 EXPECT_FALSE(MyClass->IsArray());
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700333 EXPECT_EQ(0, JavaLangObject->array_rank_);
Brian Carlstrom934486c2011-07-12 23:42:50 -0700334 EXPECT_FALSE(MyClass->IsInterface());
335 EXPECT_FALSE(MyClass->IsPublic());
336 EXPECT_FALSE(MyClass->IsFinal());
337 EXPECT_FALSE(MyClass->IsPrimitive());
Brian Carlstrom75cb3b42011-07-28 02:13:36 -0700338 EXPECT_FALSE(MyClass->IsSynthetic());
Carl Shapirof10edca2011-07-14 23:16:21 -0700339 EXPECT_EQ(1U, MyClass->NumDirectMethods());
340 EXPECT_EQ(0U, MyClass->NumVirtualMethods());
341 EXPECT_EQ(0U, MyClass->NumInstanceFields());
342 EXPECT_EQ(0U, MyClass->NumStaticFields());
Brian Carlstrom913af1b2011-07-23 21:41:13 -0700343 EXPECT_EQ(0U, MyClass->NumInterfaces());
Brian Carlstroma0808032011-07-18 00:39:23 -0700344
345 EXPECT_EQ(JavaLangObject->GetClass()->GetClass(), MyClass->GetClass()->GetClass());
346
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700347 // created by class_linker
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700348 AssertArrayClass("[C", 1, "C", NULL);
349 AssertArrayClass("[Ljava/lang/Object;", 1, "Ljava/lang/Object;", NULL);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700350 // synthesized on the fly
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700351 AssertArrayClass("[[C", 2, "C", NULL);
352 AssertArrayClass("[[[LMyClass;", 3, "LMyClass;", class_loader);
Brian Carlstroma331b3c2011-07-18 17:47:56 -0700353 // or not available at all
Elliott Hughesbd935992011-08-22 11:59:34 -0700354 AssertNonExistentClass("[[[[LNonExistentClass;");
Brian Carlstrom578bbdc2011-07-21 14:07:47 -0700355}
356
Brian Carlstrom4a96b602011-07-26 16:40:23 -0700357TEST_F(ClassLinkerTest, LibCore) {
Brian Carlstrom9ea1cb12011-08-24 23:18:18 -0700358 AssertDexFile(java_lang_dex_file_.get(), NULL);
Brian Carlstrom4a96b602011-07-26 16:40:23 -0700359}
360
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400361// C++ fields must exactly match the fields in the Java classes. If this fails,
Jesse Wilsonac5b9e22011-07-27 15:11:13 -0400362// reorder the fields in the C++ class. Managed class fields are ordered by
363// ClassLinker::LinkInstanceFields.
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400364TEST_F(ClassLinkerTest, ValidateFieldOrderOfJavaCppUnionClasses) {
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700365 Class* string = class_linker_->FindSystemClass( "Ljava/lang/String;");
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400366 ASSERT_EQ(4U, string->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700367 EXPECT_TRUE(string->GetInstanceField(0)->GetName()->Equals("value"));
368 EXPECT_TRUE(string->GetInstanceField(1)->GetName()->Equals("hashCode"));
369 EXPECT_TRUE(string->GetInstanceField(2)->GetName()->Equals("offset"));
370 EXPECT_TRUE(string->GetInstanceField(3)->GetName()->Equals("count"));
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400371
Elliott Hughese5b0dc82011-08-23 09:59:02 -0700372 Class* throwable = class_linker_->FindSystemClass( "Ljava/lang/Throwable;");
373 ASSERT_EQ(5U, throwable->NumInstanceFields());
374 EXPECT_TRUE(throwable->GetInstanceField(0)->GetName()->Equals("cause"));
375 EXPECT_TRUE(throwable->GetInstanceField(1)->GetName()->Equals("detailMessage"));
376 EXPECT_TRUE(throwable->GetInstanceField(2)->GetName()->Equals("stackState"));
377 EXPECT_TRUE(throwable->GetInstanceField(3)->GetName()->Equals("stackTrace"));
378 EXPECT_TRUE(throwable->GetInstanceField(4)->GetName()->Equals("suppressedExceptions"));
379
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700380 Class* accessible_object = class_linker_->FindSystemClass("Ljava/lang/reflect/AccessibleObject;");
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400381 ASSERT_EQ(1U, accessible_object->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700382 EXPECT_TRUE(accessible_object->GetInstanceField(0)->GetName()->Equals("flag"));
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400383
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700384 Class* field = class_linker_->FindSystemClass("Ljava/lang/reflect/Field;");
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400385 ASSERT_EQ(6U, field->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700386 EXPECT_TRUE(field->GetInstanceField(0)->GetName()->Equals("declaringClass"));
387 EXPECT_TRUE(field->GetInstanceField(1)->GetName()->Equals("genericType"));
388 EXPECT_TRUE(field->GetInstanceField(2)->GetName()->Equals("type"));
389 EXPECT_TRUE(field->GetInstanceField(3)->GetName()->Equals("name"));
390 EXPECT_TRUE(field->GetInstanceField(4)->GetName()->Equals("slot"));
391 EXPECT_TRUE(field->GetInstanceField(5)->GetName()->Equals("genericTypesAreInitialized"));
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400392
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700393 Class* method = class_linker_->FindSystemClass("Ljava/lang/reflect/Method;");
Jesse Wilson46cdd4b2011-07-28 17:40:48 -0400394 ASSERT_EQ(11U, method->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700395 EXPECT_TRUE(method->GetInstanceField( 0)->GetName()->Equals("declaringClass"));
396 EXPECT_TRUE(method->GetInstanceField( 1)->GetName()->Equals("exceptionTypes"));
397 EXPECT_TRUE(method->GetInstanceField( 2)->GetName()->Equals("formalTypeParameters"));
398 EXPECT_TRUE(method->GetInstanceField( 3)->GetName()->Equals("genericExceptionTypes"));
399 EXPECT_TRUE(method->GetInstanceField( 4)->GetName()->Equals("genericParameterTypes"));
400 EXPECT_TRUE(method->GetInstanceField( 5)->GetName()->Equals("genericReturnType"));
401 EXPECT_TRUE(method->GetInstanceField( 6)->GetName()->Equals("returnType"));
402 EXPECT_TRUE(method->GetInstanceField( 7)->GetName()->Equals("name"));
403 EXPECT_TRUE(method->GetInstanceField( 8)->GetName()->Equals("parameterTypes"));
404 EXPECT_TRUE(method->GetInstanceField( 9)->GetName()->Equals("genericTypesAreInitialized"));
405 EXPECT_TRUE(method->GetInstanceField(10)->GetName()->Equals("slot"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700406
407 Class* class_loader = class_linker_->FindSystemClass("Ljava/lang/ClassLoader;");
408 ASSERT_EQ(2U, class_loader->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700409 EXPECT_TRUE(class_loader->GetInstanceField(0)->GetName()->Equals("packages"));
410 EXPECT_TRUE(class_loader->GetInstanceField(1)->GetName()->Equals("parent"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700411
412 Class* dex_base_class_loader = class_linker_->FindSystemClass("Ldalvik/system/BaseDexClassLoader;");
413 ASSERT_EQ(2U, dex_base_class_loader->NumInstanceFields());
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700414 EXPECT_TRUE(dex_base_class_loader->GetInstanceField(0)->GetName()->Equals("originalPath"));
415 EXPECT_TRUE(dex_base_class_loader->GetInstanceField(1)->GetName()->Equals("pathList"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700416}
417
Jesse Wilsondf4189c2011-08-09 17:10:28 -0400418// The first reference array element must be a multiple of 8 bytes from the
419// start of the object
420TEST_F(ClassLinkerTest, ValidateObjectArrayElementsOffset) {
421 Class* array_class = class_linker_->FindSystemClass("[Ljava/lang/String;");
422 ObjectArray<String>* array = ObjectArray<String>::Alloc(array_class, 0);
423 uint32_t array_offset = reinterpret_cast<uint32_t>(array);
424 uint32_t data_offset = reinterpret_cast<uint32_t>(array->GetData());
425 EXPECT_EQ(16U, data_offset - array_offset);
426}
427
428TEST_F(ClassLinkerTest, ValidatePrimitiveArrayElementsOffset) {
Elliott Hughesd8ddfd52011-08-15 14:32:53 -0700429 LongArray* array = LongArray::Alloc(0);
430 EXPECT_EQ(class_linker_->FindSystemClass("[J"), array->GetClass());
Jesse Wilsondf4189c2011-08-09 17:10:28 -0400431 uint32_t array_offset = reinterpret_cast<uint32_t>(array);
432 uint32_t data_offset = reinterpret_cast<uint32_t>(array->GetData());
433 EXPECT_EQ(16U, data_offset - array_offset);
434}
435
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700436TEST_F(ClassLinkerTest, TwoClassLoadersOneClass) {
Brian Carlstroma663ea52011-08-19 23:33:41 -0700437 scoped_ptr<DexFile> dex_1(OpenDexFileBase64(kMyClassDex, "kMyClassDex"));
438 scoped_ptr<DexFile> dex_2(OpenDexFileBase64(kMyClassDex, "kMyClassDex"));
Brian Carlstrom74eb46a2011-08-02 20:10:14 -0700439 PathClassLoader* class_loader_1 = AllocPathClassLoader(dex_1.get());
440 PathClassLoader* class_loader_2 = AllocPathClassLoader(dex_2.get());
441 Class* MyClass_1 = class_linker_->FindClass("LMyClass;", class_loader_1);
442 Class* MyClass_2 = class_linker_->FindClass("LMyClass;", class_loader_2);
443 EXPECT_TRUE(MyClass_1 != NULL);
444 EXPECT_TRUE(MyClass_2 != NULL);
445 EXPECT_NE(MyClass_1, MyClass_2);
Jesse Wilsonac5b9e22011-07-27 15:11:13 -0400446}
447
Jesse Wilson7833bd22011-08-09 18:31:44 -0400448TEST_F(ClassLinkerTest, StaticFields) {
449 // TODO: uncomment expectations of initial values when InitializeClass works
Brian Carlstroma663ea52011-08-19 23:33:41 -0700450 scoped_ptr<DexFile> dex(OpenDexFileBase64(kStatics, "kStatics"));
Jesse Wilson7833bd22011-08-09 18:31:44 -0400451 PathClassLoader* class_loader = AllocPathClassLoader(dex.get());
452 Class* statics = class_linker_->FindClass("LStatics;", class_loader);
Brian Carlstrom4873d462011-08-21 15:23:39 -0700453 class_linker_->EnsureInitialized(statics);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400454
455 EXPECT_EQ(10U, statics->NumStaticFields());
456
Brian Carlstrom4873d462011-08-21 15:23:39 -0700457 Field* s0 = statics->FindStaticField("s0", "Z");
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700458 EXPECT_TRUE(s0->GetClass()->descriptor_->Equals("Ljava/lang/reflect/Field;"));
Jesse Wilson7833bd22011-08-09 18:31:44 -0400459 EXPECT_EQ('Z', s0->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700460 // EXPECT_EQ(true, s0->GetBoolean(NULL)); // TODO: needs clinit to be run?
461 s0->SetBoolean(NULL, false);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400462
Brian Carlstrom4873d462011-08-21 15:23:39 -0700463 Field* s1 = statics->FindStaticField("s1", "B");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400464 EXPECT_EQ('B', s1->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700465 // EXPECT_EQ(5, s1->GetByte(NULL)); // TODO: needs clinit to be run?
466 s1->SetByte(NULL, 6);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400467
Brian Carlstrom4873d462011-08-21 15:23:39 -0700468 Field* s2 = statics->FindStaticField("s2", "C");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400469 EXPECT_EQ('C', s2->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700470 // EXPECT_EQ('a', s2->GetChar(NULL)); // TODO: needs clinit to be run?
471 s2->SetChar(NULL, 'b');
Jesse Wilson7833bd22011-08-09 18:31:44 -0400472
Brian Carlstrom4873d462011-08-21 15:23:39 -0700473 Field* s3 = statics->FindStaticField("s3", "S");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400474 EXPECT_EQ('S', s3->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700475 // EXPECT_EQ(65000, s3->GetShort(NULL)); // TODO: needs clinit to be run?
476 s3->SetShort(NULL, 65001);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400477
Brian Carlstrom4873d462011-08-21 15:23:39 -0700478 Field* s4 = statics->FindStaticField("s4", "I");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400479 EXPECT_EQ('I', s4->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700480 // EXPECT_EQ(2000000000, s4->GetInt(NULL)); // TODO: needs clinit to be run?
481 s4->SetInt(NULL, 2000000001);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400482
Brian Carlstrom4873d462011-08-21 15:23:39 -0700483 Field* s5 = statics->FindStaticField("s5", "J");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400484 EXPECT_EQ('J', s5->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700485 // EXPECT_EQ(0x1234567890abcdefLL, s5->GetLong(NULL)); // TODO: needs clinit to be run?
486 s5->SetLong(NULL, 0x34567890abcdef12LL);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400487
Brian Carlstrom4873d462011-08-21 15:23:39 -0700488 Field* s6 = statics->FindStaticField("s6", "F");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400489 EXPECT_EQ('F', s6->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700490 // EXPECT_EQ(0.5, s6->GetFloat(NULL)); // TODO: needs clinit to be run?
491 s6->SetFloat(NULL, 0.75);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400492
Brian Carlstrom4873d462011-08-21 15:23:39 -0700493 Field* s7 = statics->FindStaticField("s7", "D");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400494 EXPECT_EQ('D', s7->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700495 // EXPECT_EQ(16777217, s7->GetDouble(NULL)); // TODO: needs clinit to be run?
496 s7->SetDouble(NULL, 16777219);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400497
Brian Carlstrom4873d462011-08-21 15:23:39 -0700498 Field* s8 = statics->FindStaticField("s8", "Ljava/lang/Object;");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400499 EXPECT_EQ('L', s8->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700500 // EXPECT_TRUE(s8->GetObject(NULL)->AsString()->Equals("android")); // TODO: needs clinit to be run?
501 s8->SetObject(NULL, String::AllocFromModifiedUtf8("robot"));
Jesse Wilson7833bd22011-08-09 18:31:44 -0400502
Brian Carlstrom4873d462011-08-21 15:23:39 -0700503 Field* s9 = statics->FindStaticField("s9", "[Ljava/lang/Object;");
Jesse Wilson7833bd22011-08-09 18:31:44 -0400504 EXPECT_EQ('[', s9->GetType());
Brian Carlstrom4873d462011-08-21 15:23:39 -0700505 // EXPECT_EQ(NULL, s9->GetObject(NULL)); // TODO: needs clinit to be run?
506 s9->SetObject(NULL, NULL);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400507
Brian Carlstrom4873d462011-08-21 15:23:39 -0700508 EXPECT_EQ(false, s0->GetBoolean(NULL));
509 EXPECT_EQ(6, s1->GetByte(NULL));
510 EXPECT_EQ('b', s2->GetChar(NULL));
511 EXPECT_EQ(65001, s3->GetShort(NULL));
512 EXPECT_EQ(2000000001, s4->GetInt(NULL));
513 EXPECT_EQ(0x34567890abcdef12LL, s5->GetLong(NULL));
514 EXPECT_EQ(0.75, s6->GetFloat(NULL));
515 EXPECT_EQ(16777219, s7->GetDouble(NULL));
516 EXPECT_TRUE(s8->GetObject(NULL)->AsString()->Equals("robot"));
Jesse Wilson7833bd22011-08-09 18:31:44 -0400517}
518
Jesse Wilsondf4189c2011-08-09 17:10:28 -0400519} // namespace art