Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 1 | // Copyright 2011 Google Inc. All Rights Reserved. |
| 2 | |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 3 | #include "class_linker.h" |
Elliott Hughes | 90a3369 | 2011-08-30 13:27:07 -0700 | [diff] [blame] | 4 | |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 5 | #include <string> |
| 6 | |
Elliott Hughes | 90a3369 | 2011-08-30 13:27:07 -0700 | [diff] [blame] | 7 | #include "UniquePtr.h" |
| 8 | #include "common_test.h" |
Brian Carlstrom | c4fa2c0 | 2011-08-21 03:00:12 -0700 | [diff] [blame] | 9 | #include "dex_cache.h" |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 10 | #include "dex_file.h" |
| 11 | #include "heap.h" |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 12 | |
| 13 | namespace art { |
| 14 | |
Brian Carlstrom | f734cf5 | 2011-08-17 16:28:14 -0700 | [diff] [blame] | 15 | class ClassLinkerTest : public CommonTest { |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 16 | protected: |
Elliott Hughes | bd93599 | 2011-08-22 11:59:34 -0700 | [diff] [blame] | 17 | void AssertNonExistentClass(const StringPiece& descriptor) { |
Carl Shapiro | 7a90959 | 2011-07-24 19:21:59 -0700 | [diff] [blame] | 18 | EXPECT_TRUE(class_linker_->FindSystemClass(descriptor) == NULL); |
Elliott Hughes | 885c3bd | 2011-08-22 16:59:20 -0700 | [diff] [blame] | 19 | Thread* self = Thread::Current(); |
| 20 | EXPECT_TRUE(self->IsExceptionPending()); |
| 21 | Object* exception = self->GetException(); |
| 22 | self->ClearException(); |
| 23 | Class* exception_class = class_linker_->FindSystemClass("Ljava/lang/NoClassDefFoundError;"); |
| 24 | EXPECT_TRUE(exception->InstanceOf(exception_class)); |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 25 | } |
| 26 | |
| 27 | void AssertPrimitiveClass(const StringPiece& descriptor) { |
Brian Carlstrom | d2fbb2b | 2011-08-23 11:57:08 -0700 | [diff] [blame] | 28 | AssertPrimitiveClass(descriptor, class_linker_->FindSystemClass(descriptor)); |
| 29 | } |
| 30 | |
| 31 | void AssertPrimitiveClass(const StringPiece& descriptor, const Class* primitive) { |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 32 | ASSERT_TRUE(primitive != NULL); |
| 33 | ASSERT_TRUE(primitive->GetClass() != NULL); |
| 34 | ASSERT_EQ(primitive->GetClass(), primitive->GetClass()->GetClass()); |
| 35 | EXPECT_TRUE(primitive->GetClass()->GetSuperClass() != NULL); |
Brian Carlstrom | 9cff8e1 | 2011-08-18 16:47:29 -0700 | [diff] [blame] | 36 | ASSERT_TRUE(primitive->GetDescriptor()->Equals(descriptor)); |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 37 | EXPECT_TRUE(primitive->GetSuperClass() == NULL); |
| 38 | EXPECT_FALSE(primitive->HasSuperClass()); |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 39 | EXPECT_TRUE(primitive->GetClassLoader() == NULL); |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 40 | EXPECT_TRUE(primitive->GetStatus() == Class::kStatusInitialized); |
| 41 | EXPECT_FALSE(primitive->IsErroneous()); |
| 42 | EXPECT_TRUE(primitive->IsVerified()); |
| 43 | EXPECT_TRUE(primitive->IsLinked()); |
Brian Carlstrom | b63ec39 | 2011-08-27 17:38:27 -0700 | [diff] [blame] | 44 | EXPECT_FALSE(primitive->IsArrayInstance()); |
| 45 | EXPECT_FALSE(primitive->IsArrayClass()); |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 46 | EXPECT_EQ(0, primitive->GetArrayRank()); |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 47 | EXPECT_FALSE(primitive->IsInterface()); |
| 48 | EXPECT_TRUE(primitive->IsPublic()); |
| 49 | EXPECT_TRUE(primitive->IsFinal()); |
| 50 | EXPECT_TRUE(primitive->IsPrimitive()); |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 51 | EXPECT_FALSE(primitive->IsSynthetic()); |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 52 | EXPECT_EQ(0U, primitive->NumDirectMethods()); |
| 53 | EXPECT_EQ(0U, primitive->NumVirtualMethods()); |
| 54 | EXPECT_EQ(0U, primitive->NumInstanceFields()); |
| 55 | EXPECT_EQ(0U, primitive->NumStaticFields()); |
Brian Carlstrom | 913af1b | 2011-07-23 21:41:13 -0700 | [diff] [blame] | 56 | EXPECT_EQ(0U, primitive->NumInterfaces()); |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 57 | } |
| 58 | |
| 59 | void AssertArrayClass(const StringPiece& array_descriptor, |
| 60 | int32_t array_rank, |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 61 | const StringPiece& component_type, |
Brian Carlstrom | 8a48741 | 2011-08-29 20:08:52 -0700 | [diff] [blame] | 62 | const ClassLoader* class_loader) { |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 63 | Class* array = class_linker_->FindClass(array_descriptor, class_loader); |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 64 | EXPECT_EQ(array_rank, array->GetArrayRank()); |
Brian Carlstrom | d2fbb2b | 2011-08-23 11:57:08 -0700 | [diff] [blame] | 65 | EXPECT_TRUE(array->GetComponentType()->GetDescriptor()->Equals(component_type)); |
| 66 | EXPECT_EQ(class_loader, array->GetClassLoader()); |
| 67 | AssertArrayClass(array_descriptor, array); |
| 68 | } |
| 69 | |
| 70 | void AssertArrayClass(const StringPiece& array_descriptor, Class* array) { |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 71 | ASSERT_TRUE(array != NULL); |
| 72 | ASSERT_TRUE(array->GetClass() != NULL); |
| 73 | ASSERT_EQ(array->GetClass(), array->GetClass()->GetClass()); |
| 74 | EXPECT_TRUE(array->GetClass()->GetSuperClass() != NULL); |
Brian Carlstrom | 9cff8e1 | 2011-08-18 16:47:29 -0700 | [diff] [blame] | 75 | ASSERT_TRUE(array->GetDescriptor()->Equals(array_descriptor)); |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 76 | EXPECT_TRUE(array->GetSuperClass() != NULL); |
Carl Shapiro | 7a90959 | 2011-07-24 19:21:59 -0700 | [diff] [blame] | 77 | EXPECT_EQ(class_linker_->FindSystemClass("Ljava/lang/Object;"), array->GetSuperClass()); |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 78 | EXPECT_TRUE(array->HasSuperClass()); |
| 79 | ASSERT_TRUE(array->GetComponentType() != NULL); |
| 80 | ASSERT_TRUE(array->GetComponentType()->GetDescriptor() != NULL); |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 81 | EXPECT_TRUE(array->GetStatus() == Class::kStatusInitialized); |
| 82 | EXPECT_FALSE(array->IsErroneous()); |
| 83 | EXPECT_TRUE(array->IsVerified()); |
| 84 | EXPECT_TRUE(array->IsLinked()); |
Brian Carlstrom | b63ec39 | 2011-08-27 17:38:27 -0700 | [diff] [blame] | 85 | EXPECT_FALSE(array->IsArrayInstance()); |
| 86 | EXPECT_TRUE(array->IsArrayClass()); |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 87 | EXPECT_LE(1, array->GetArrayRank()); |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 88 | EXPECT_FALSE(array->IsInterface()); |
| 89 | EXPECT_EQ(array->GetComponentType()->IsPublic(), array->IsPublic()); |
| 90 | EXPECT_TRUE(array->IsFinal()); |
| 91 | EXPECT_FALSE(array->IsPrimitive()); |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 92 | EXPECT_FALSE(array->IsSynthetic()); |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 93 | EXPECT_EQ(0U, array->NumDirectMethods()); |
| 94 | EXPECT_EQ(0U, array->NumVirtualMethods()); |
| 95 | EXPECT_EQ(0U, array->NumInstanceFields()); |
| 96 | EXPECT_EQ(0U, array->NumStaticFields()); |
Brian Carlstrom | 913af1b | 2011-07-23 21:41:13 -0700 | [diff] [blame] | 97 | EXPECT_EQ(2U, array->NumInterfaces()); |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 98 | } |
Brian Carlstrom | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 99 | |
Brian Carlstrom | d2fbb2b | 2011-08-23 11:57:08 -0700 | [diff] [blame] | 100 | void AssertMethod(Class* klass, Method* method) { |
Brian Carlstrom | c4fa2c0 | 2011-08-21 03:00:12 -0700 | [diff] [blame] | 101 | EXPECT_TRUE(method != NULL); |
| 102 | EXPECT_TRUE(method->GetName() != NULL); |
| 103 | EXPECT_TRUE(method->GetSignature() != NULL); |
| 104 | |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 105 | EXPECT_TRUE(method->GetDexCacheStrings() != NULL); |
| 106 | EXPECT_TRUE(method->GetDexCacheResolvedTypes() != NULL); |
| 107 | EXPECT_TRUE(method->GetDexCacheResolvedMethods() != NULL); |
| 108 | EXPECT_TRUE(method->GetDexCacheResolvedFields() != NULL); |
| 109 | EXPECT_TRUE(method->GetDexCacheCodeAndDirectMethods() != NULL); |
| 110 | EXPECT_TRUE(method->GetDexCacheInitializedStaticStorage() != NULL); |
| 111 | EXPECT_EQ(method->GetDeclaringClass()->GetDexCache()->GetStrings(), |
| 112 | method->GetDexCacheStrings()); |
| 113 | EXPECT_EQ(method->GetDeclaringClass()->GetDexCache()->GetResolvedTypes(), |
| 114 | method->GetDexCacheResolvedTypes()); |
| 115 | EXPECT_EQ(method->GetDeclaringClass()->GetDexCache()->GetResolvedMethods(), |
| 116 | method->GetDexCacheResolvedMethods()); |
| 117 | EXPECT_EQ(method->GetDeclaringClass()->GetDexCache()->GetResolvedFields(), |
| 118 | method->GetDexCacheResolvedFields()); |
| 119 | EXPECT_EQ(method->GetDeclaringClass()->GetDexCache()->GetCodeAndDirectMethods(), |
| 120 | method->GetDexCacheCodeAndDirectMethods()); |
| 121 | EXPECT_EQ(method->GetDeclaringClass()->GetDexCache()->GetInitializedStaticStorage(), |
| 122 | method->GetDexCacheInitializedStaticStorage()); |
Brian Carlstrom | c4fa2c0 | 2011-08-21 03:00:12 -0700 | [diff] [blame] | 123 | } |
| 124 | |
Brian Carlstrom | d2fbb2b | 2011-08-23 11:57:08 -0700 | [diff] [blame] | 125 | void AssertField(Class* klass, Field* field) { |
Brian Carlstrom | c4fa2c0 | 2011-08-21 03:00:12 -0700 | [diff] [blame] | 126 | EXPECT_TRUE(field != NULL); |
| 127 | EXPECT_EQ(klass, field->GetDeclaringClass()); |
| 128 | EXPECT_TRUE(field->GetName() != NULL); |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 129 | EXPECT_TRUE(field->GetType() != NULL); |
Brian Carlstrom | c4fa2c0 | 2011-08-21 03:00:12 -0700 | [diff] [blame] | 130 | } |
| 131 | |
Brian Carlstrom | d2fbb2b | 2011-08-23 11:57:08 -0700 | [diff] [blame] | 132 | void AssertClass(const StringPiece& descriptor, Class* klass) { |
Brian Carlstrom | 9cff8e1 | 2011-08-18 16:47:29 -0700 | [diff] [blame] | 133 | EXPECT_TRUE(klass->GetDescriptor()->Equals(descriptor)); |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 134 | if (klass->GetDescriptor()->Equals(String::AllocFromModifiedUtf8("Ljava/lang/Object;"))) { |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 135 | EXPECT_FALSE(klass->HasSuperClass()); |
Brian Carlstrom | ae3ac01 | 2011-07-27 01:30:28 -0700 | [diff] [blame] | 136 | } else { |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 137 | EXPECT_TRUE(klass->HasSuperClass()); |
| 138 | EXPECT_TRUE(klass->GetSuperClass() != NULL); |
Brian Carlstrom | ae3ac01 | 2011-07-27 01:30:28 -0700 | [diff] [blame] | 139 | } |
Brian Carlstrom | ae3ac01 | 2011-07-27 01:30:28 -0700 | [diff] [blame] | 140 | EXPECT_TRUE(klass->GetDexCache() != NULL); |
Brian Carlstrom | ae3ac01 | 2011-07-27 01:30:28 -0700 | [diff] [blame] | 141 | EXPECT_EQ(Class::kStatusResolved, klass->GetStatus()); |
| 142 | EXPECT_FALSE(klass->IsErroneous()); |
| 143 | EXPECT_FALSE(klass->IsVerified()); |
| 144 | EXPECT_TRUE(klass->IsLinked()); |
| 145 | EXPECT_TRUE(klass->IsLoaded()); |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 146 | EXPECT_FALSE(klass->IsArrayClass()); |
| 147 | EXPECT_EQ(0, klass->GetArrayRank()); |
Brian Carlstrom | ae3ac01 | 2011-07-27 01:30:28 -0700 | [diff] [blame] | 148 | EXPECT_TRUE(klass->IsInSamePackage(klass)); |
| 149 | EXPECT_TRUE(Class::IsInSamePackage(klass->GetDescriptor(), klass->GetDescriptor())); |
| 150 | if (klass->IsInterface()) { |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 151 | EXPECT_TRUE(klass->IsAbstract()); |
| 152 | if (klass->NumDirectMethods() == 1) { |
Carl Shapiro | 8860c0e | 2011-08-04 17:36:16 -0700 | [diff] [blame] | 153 | EXPECT_TRUE(klass->GetDirectMethod(0)->GetName()->Equals("<clinit>")); |
Brian Carlstrom | 9cc262e | 2011-08-28 12:45:30 -0700 | [diff] [blame] | 154 | EXPECT_TRUE(klass->GetDirectMethod(0)->IsDirect()); |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 155 | } else { |
| 156 | EXPECT_EQ(0U, klass->NumDirectMethods()); |
| 157 | } |
Brian Carlstrom | ae3ac01 | 2011-07-27 01:30:28 -0700 | [diff] [blame] | 158 | } else { |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 159 | if (!klass->IsSynthetic()) { |
| 160 | EXPECT_NE(0U, klass->NumDirectMethods()); |
| 161 | } |
Brian Carlstrom | ae3ac01 | 2011-07-27 01:30:28 -0700 | [diff] [blame] | 162 | } |
| 163 | if (klass->IsAbstract()) { |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 164 | EXPECT_FALSE(klass->IsFinal()); |
Brian Carlstrom | ae3ac01 | 2011-07-27 01:30:28 -0700 | [diff] [blame] | 165 | } else { |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 166 | EXPECT_FALSE(klass->IsAnnotation()); |
Brian Carlstrom | ae3ac01 | 2011-07-27 01:30:28 -0700 | [diff] [blame] | 167 | } |
| 168 | if (klass->IsFinal()) { |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 169 | EXPECT_FALSE(klass->IsAbstract()); |
| 170 | EXPECT_FALSE(klass->IsAnnotation()); |
Brian Carlstrom | ae3ac01 | 2011-07-27 01:30:28 -0700 | [diff] [blame] | 171 | } |
| 172 | if (klass->IsAnnotation()) { |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 173 | EXPECT_FALSE(klass->IsFinal()); |
| 174 | EXPECT_TRUE(klass->IsAbstract()); |
Brian Carlstrom | ae3ac01 | 2011-07-27 01:30:28 -0700 | [diff] [blame] | 175 | } |
| 176 | |
| 177 | EXPECT_FALSE(klass->IsPrimitive()); |
| 178 | EXPECT_TRUE(klass->CanAccess(klass)); |
| 179 | |
| 180 | for (size_t i = 0; i < klass->NumDirectMethods(); i++) { |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 181 | Method* method = klass->GetDirectMethod(i); |
Brian Carlstrom | d2fbb2b | 2011-08-23 11:57:08 -0700 | [diff] [blame] | 182 | AssertMethod(klass, method); |
Brian Carlstrom | 9cc262e | 2011-08-28 12:45:30 -0700 | [diff] [blame] | 183 | EXPECT_TRUE(method->IsDirect()); |
Jesse Wilson | 7833bd2 | 2011-08-09 18:31:44 -0400 | [diff] [blame] | 184 | EXPECT_EQ(klass, method->GetDeclaringClass()); |
Brian Carlstrom | ae3ac01 | 2011-07-27 01:30:28 -0700 | [diff] [blame] | 185 | } |
| 186 | |
| 187 | for (size_t i = 0; i < klass->NumVirtualMethods(); i++) { |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 188 | Method* method = klass->GetVirtualMethod(i); |
Brian Carlstrom | d2fbb2b | 2011-08-23 11:57:08 -0700 | [diff] [blame] | 189 | AssertMethod(klass, method); |
Brian Carlstrom | 9cc262e | 2011-08-28 12:45:30 -0700 | [diff] [blame] | 190 | EXPECT_FALSE(method->IsDirect()); |
Brian Carlstrom | c4fa2c0 | 2011-08-21 03:00:12 -0700 | [diff] [blame] | 191 | EXPECT_TRUE(method->GetDeclaringClass()->IsAssignableFrom(klass)); |
Brian Carlstrom | ae3ac01 | 2011-07-27 01:30:28 -0700 | [diff] [blame] | 192 | } |
| 193 | |
| 194 | for (size_t i = 0; i < klass->NumInstanceFields(); i++) { |
Jesse Wilson | 35baaab | 2011-08-10 16:18:03 -0400 | [diff] [blame] | 195 | Field* field = klass->GetInstanceField(i); |
Brian Carlstrom | d2fbb2b | 2011-08-23 11:57:08 -0700 | [diff] [blame] | 196 | AssertField(klass, field); |
Jesse Wilson | fd687c5 | 2011-08-04 19:27:35 -0700 | [diff] [blame] | 197 | EXPECT_FALSE(field->IsStatic()); |
Brian Carlstrom | ae3ac01 | 2011-07-27 01:30:28 -0700 | [diff] [blame] | 198 | } |
| 199 | |
| 200 | for (size_t i = 0; i < klass->NumStaticFields(); i++) { |
Jesse Wilson | 35baaab | 2011-08-10 16:18:03 -0400 | [diff] [blame] | 201 | Field* field = klass->GetStaticField(i); |
Brian Carlstrom | d2fbb2b | 2011-08-23 11:57:08 -0700 | [diff] [blame] | 202 | AssertField(klass, field); |
Jesse Wilson | fd687c5 | 2011-08-04 19:27:35 -0700 | [diff] [blame] | 203 | EXPECT_TRUE(field->IsStatic()); |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame] | 204 | } |
Brian Carlstrom | ae3ac01 | 2011-07-27 01:30:28 -0700 | [diff] [blame] | 205 | |
| 206 | // Confirm that all instances fields are packed together at the start |
| 207 | EXPECT_GE(klass->NumInstanceFields(), klass->NumReferenceInstanceFields()); |
| 208 | for (size_t i = 0; i < klass->NumReferenceInstanceFields(); i++) { |
Jesse Wilson | 35baaab | 2011-08-10 16:18:03 -0400 | [diff] [blame] | 209 | Field* field = klass->GetInstanceField(i); |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 210 | Class* field_type = field->GetType(); |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 211 | ASSERT_TRUE(field_type != NULL); |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 212 | ASSERT_TRUE(!field_type->IsPrimitive()); |
Brian Carlstrom | ae3ac01 | 2011-07-27 01:30:28 -0700 | [diff] [blame] | 213 | } |
| 214 | for (size_t i = klass->NumReferenceInstanceFields(); i < klass->NumInstanceFields(); i++) { |
Jesse Wilson | 35baaab | 2011-08-10 16:18:03 -0400 | [diff] [blame] | 215 | Field* field = klass->GetInstanceField(i); |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 216 | Class* field_type = field->GetType(); |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 217 | ASSERT_TRUE(field_type != NULL); |
| 218 | EXPECT_TRUE(field_type->IsPrimitive()); |
Brian Carlstrom | ae3ac01 | 2011-07-27 01:30:28 -0700 | [diff] [blame] | 219 | } |
| 220 | |
| 221 | size_t total_num_reference_instance_fields = 0; |
| 222 | Class* k = klass; |
| 223 | while (k != NULL) { |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 224 | total_num_reference_instance_fields += k->NumReferenceInstanceFields(); |
| 225 | k = k->GetSuperClass(); |
Brian Carlstrom | ae3ac01 | 2011-07-27 01:30:28 -0700 | [diff] [blame] | 226 | } |
Brian Carlstrom | 4873d46 | 2011-08-21 15:23:39 -0700 | [diff] [blame] | 227 | EXPECT_EQ(klass->GetReferenceInstanceOffsets() == 0, |
Brian Carlstrom | ae3ac01 | 2011-07-27 01:30:28 -0700 | [diff] [blame] | 228 | total_num_reference_instance_fields == 0); |
Brian Carlstrom | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 229 | } |
| 230 | |
Brian Carlstrom | d2fbb2b | 2011-08-23 11:57:08 -0700 | [diff] [blame] | 231 | void AssertDexFileClass(ClassLoader* class_loader, const StringPiece& descriptor) { |
| 232 | ASSERT_TRUE(descriptor != NULL); |
| 233 | Class* klass = class_linker_->FindSystemClass(descriptor); |
| 234 | ASSERT_TRUE(klass != NULL); |
| 235 | EXPECT_TRUE(klass->GetDescriptor()->Equals(descriptor)); |
| 236 | EXPECT_EQ(class_loader, klass->GetClassLoader()); |
| 237 | if (klass->IsPrimitive()) { |
| 238 | AssertPrimitiveClass(descriptor, klass); |
Brian Carlstrom | b63ec39 | 2011-08-27 17:38:27 -0700 | [diff] [blame] | 239 | } else if (klass->IsArrayClass()) { |
Brian Carlstrom | d2fbb2b | 2011-08-23 11:57:08 -0700 | [diff] [blame] | 240 | AssertArrayClass(descriptor, klass); |
| 241 | } else { |
| 242 | AssertClass(descriptor, klass); |
| 243 | } |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 244 | } |
| 245 | |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 246 | void AssertDexFile(const DexFile* dex, ClassLoader* class_loader) { |
Brian Carlstrom | ae3ac01 | 2011-07-27 01:30:28 -0700 | [diff] [blame] | 247 | ASSERT_TRUE(dex != NULL); |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 248 | |
Brian Carlstrom | d2fbb2b | 2011-08-23 11:57:08 -0700 | [diff] [blame] | 249 | // Verify all the classes defined in this file |
Brian Carlstrom | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 250 | for (size_t i = 0; i < dex->NumClassDefs(); i++) { |
Brian Carlstrom | d2fbb2b | 2011-08-23 11:57:08 -0700 | [diff] [blame] | 251 | const DexFile::ClassDef& class_def = dex->GetClassDef(i); |
Brian Carlstrom | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 252 | const char* descriptor = dex->GetClassDescriptor(class_def); |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 253 | AssertDexFileClass(class_loader, descriptor); |
Brian Carlstrom | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 254 | } |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 255 | // Verify all the types referenced by this file |
Brian Carlstrom | d2fbb2b | 2011-08-23 11:57:08 -0700 | [diff] [blame] | 256 | for (size_t i = 0; i < dex->NumTypeIds(); i++) { |
| 257 | const DexFile::TypeId& type_id = dex->GetTypeId(i); |
| 258 | const char* descriptor = dex->GetTypeDescriptor(type_id); |
| 259 | AssertDexFileClass(class_loader, descriptor); |
| 260 | } |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 261 | class_linker_->VisitRoots(TestRootVisitor, NULL); |
Brian Carlstrom | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 262 | } |
Brian Carlstrom | d2fbb2b | 2011-08-23 11:57:08 -0700 | [diff] [blame] | 263 | |
Elliott Hughes | cf4c6c4 | 2011-09-01 15:16:42 -0700 | [diff] [blame] | 264 | static void TestRootVisitor(const Object* root, void* arg) { |
Brian Carlstrom | d2fbb2b | 2011-08-23 11:57:08 -0700 | [diff] [blame] | 265 | EXPECT_TRUE(root != NULL); |
| 266 | } |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 267 | }; |
Brian Carlstrom | a331b3c | 2011-07-18 17:47:56 -0700 | [diff] [blame] | 268 | |
| 269 | TEST_F(ClassLinkerTest, FindClassNonexistent) { |
Elliott Hughes | bd93599 | 2011-08-22 11:59:34 -0700 | [diff] [blame] | 270 | AssertNonExistentClass("NoSuchClass;"); |
| 271 | AssertNonExistentClass("LNoSuchClass;"); |
Brian Carlstrom | 934486c | 2011-07-12 23:42:50 -0700 | [diff] [blame] | 272 | } |
| 273 | |
Brian Carlstrom | a331b3c | 2011-07-18 17:47:56 -0700 | [diff] [blame] | 274 | TEST_F(ClassLinkerTest, FindClassNested) { |
Brian Carlstrom | 9baa4ae | 2011-09-01 21:14:14 -0700 | [diff] [blame] | 275 | const ClassLoader* class_loader = LoadDex("Nested"); |
Brian Carlstrom | 934486c | 2011-07-12 23:42:50 -0700 | [diff] [blame] | 276 | |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 277 | Class* outer = class_linker_->FindClass("LNested;", class_loader); |
Brian Carlstrom | a331b3c | 2011-07-18 17:47:56 -0700 | [diff] [blame] | 278 | ASSERT_TRUE(outer != NULL); |
| 279 | EXPECT_EQ(0U, outer->NumVirtualMethods()); |
| 280 | EXPECT_EQ(1U, outer->NumDirectMethods()); |
Brian Carlstrom | 934486c | 2011-07-12 23:42:50 -0700 | [diff] [blame] | 281 | |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 282 | Class* inner = class_linker_->FindClass("LNested$Inner;", class_loader); |
Brian Carlstrom | a331b3c | 2011-07-18 17:47:56 -0700 | [diff] [blame] | 283 | ASSERT_TRUE(inner != NULL); |
| 284 | EXPECT_EQ(0U, inner->NumVirtualMethods()); |
| 285 | EXPECT_EQ(1U, inner->NumDirectMethods()); |
Brian Carlstrom | 934486c | 2011-07-12 23:42:50 -0700 | [diff] [blame] | 286 | } |
Carl Shapiro | 0e5d75d | 2011-07-06 18:28:37 -0700 | [diff] [blame] | 287 | |
Elliott Hughes | e5b0dc8 | 2011-08-23 09:59:02 -0700 | [diff] [blame] | 288 | TEST_F(ClassLinkerTest, FindClass_Primitives) { |
Brian Carlstrom | a331b3c | 2011-07-18 17:47:56 -0700 | [diff] [blame] | 289 | StringPiece expected = "BCDFIJSZV"; |
| 290 | for (int ch = 0; ch < 255; ch++) { |
| 291 | char* s = reinterpret_cast<char*>(&ch); |
| 292 | StringPiece descriptor(s, 1); |
| 293 | if (expected.find(ch) == StringPiece::npos) { |
Elliott Hughes | bd93599 | 2011-08-22 11:59:34 -0700 | [diff] [blame] | 294 | AssertNonExistentClass(descriptor); |
Brian Carlstrom | a331b3c | 2011-07-18 17:47:56 -0700 | [diff] [blame] | 295 | } else { |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 296 | AssertPrimitiveClass(descriptor); |
Brian Carlstrom | a331b3c | 2011-07-18 17:47:56 -0700 | [diff] [blame] | 297 | } |
| 298 | } |
Elliott Hughes | e5b0dc8 | 2011-08-23 09:59:02 -0700 | [diff] [blame] | 299 | } |
Elliott Hughes | a5780da | 2011-07-17 11:39:39 -0700 | [diff] [blame] | 300 | |
Elliott Hughes | e5b0dc8 | 2011-08-23 09:59:02 -0700 | [diff] [blame] | 301 | TEST_F(ClassLinkerTest, FindClass) { |
| 302 | Class* JavaLangObject = class_linker_->FindSystemClass("Ljava/lang/Object;"); |
Brian Carlstrom | 934486c | 2011-07-12 23:42:50 -0700 | [diff] [blame] | 303 | ASSERT_TRUE(JavaLangObject != NULL); |
Brian Carlstrom | a080803 | 2011-07-18 00:39:23 -0700 | [diff] [blame] | 304 | ASSERT_TRUE(JavaLangObject->GetClass() != NULL); |
| 305 | ASSERT_EQ(JavaLangObject->GetClass(), JavaLangObject->GetClass()->GetClass()); |
Brian Carlstrom | a331b3c | 2011-07-18 17:47:56 -0700 | [diff] [blame] | 306 | EXPECT_EQ(JavaLangObject, JavaLangObject->GetClass()->GetSuperClass()); |
Brian Carlstrom | 9cff8e1 | 2011-08-18 16:47:29 -0700 | [diff] [blame] | 307 | ASSERT_TRUE(JavaLangObject->GetDescriptor()->Equals("Ljava/lang/Object;")); |
Brian Carlstrom | 934486c | 2011-07-12 23:42:50 -0700 | [diff] [blame] | 308 | EXPECT_TRUE(JavaLangObject->GetSuperClass() == NULL); |
| 309 | EXPECT_FALSE(JavaLangObject->HasSuperClass()); |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 310 | EXPECT_TRUE(JavaLangObject->GetClassLoader() == NULL); |
Brian Carlstrom | 934486c | 2011-07-12 23:42:50 -0700 | [diff] [blame] | 311 | EXPECT_FALSE(JavaLangObject->IsErroneous()); |
| 312 | EXPECT_FALSE(JavaLangObject->IsVerified()); |
| 313 | EXPECT_TRUE(JavaLangObject->IsLinked()); |
Brian Carlstrom | b63ec39 | 2011-08-27 17:38:27 -0700 | [diff] [blame] | 314 | EXPECT_FALSE(JavaLangObject->IsArrayInstance()); |
| 315 | EXPECT_FALSE(JavaLangObject->IsArrayClass()); |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 316 | EXPECT_EQ(0, JavaLangObject->GetArrayRank()); |
Brian Carlstrom | 934486c | 2011-07-12 23:42:50 -0700 | [diff] [blame] | 317 | EXPECT_FALSE(JavaLangObject->IsInterface()); |
| 318 | EXPECT_TRUE(JavaLangObject->IsPublic()); |
| 319 | EXPECT_FALSE(JavaLangObject->IsFinal()); |
| 320 | EXPECT_FALSE(JavaLangObject->IsPrimitive()); |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 321 | EXPECT_FALSE(JavaLangObject->IsSynthetic()); |
Elliott Hughes | a5b897e | 2011-08-16 11:33:06 -0700 | [diff] [blame] | 322 | EXPECT_EQ(2U, JavaLangObject->NumDirectMethods()); |
| 323 | EXPECT_EQ(11U, JavaLangObject->NumVirtualMethods()); |
Carl Shapiro | f10edca | 2011-07-14 23:16:21 -0700 | [diff] [blame] | 324 | EXPECT_EQ(0U, JavaLangObject->NumInstanceFields()); |
| 325 | EXPECT_EQ(0U, JavaLangObject->NumStaticFields()); |
Brian Carlstrom | 913af1b | 2011-07-23 21:41:13 -0700 | [diff] [blame] | 326 | EXPECT_EQ(0U, JavaLangObject->NumInterfaces()); |
Brian Carlstrom | a331b3c | 2011-07-18 17:47:56 -0700 | [diff] [blame] | 327 | |
Brian Carlstrom | 9baa4ae | 2011-09-01 21:14:14 -0700 | [diff] [blame] | 328 | const ClassLoader* class_loader = LoadDex("MyClass"); |
Elliott Hughes | bd93599 | 2011-08-22 11:59:34 -0700 | [diff] [blame] | 329 | AssertNonExistentClass("LMyClass;"); |
Elliott Hughes | e5b0dc8 | 2011-08-23 09:59:02 -0700 | [diff] [blame] | 330 | Class* MyClass = class_linker_->FindClass("LMyClass;", class_loader); |
Brian Carlstrom | 934486c | 2011-07-12 23:42:50 -0700 | [diff] [blame] | 331 | ASSERT_TRUE(MyClass != NULL); |
Brian Carlstrom | a080803 | 2011-07-18 00:39:23 -0700 | [diff] [blame] | 332 | ASSERT_TRUE(MyClass->GetClass() != NULL); |
| 333 | ASSERT_EQ(MyClass->GetClass(), MyClass->GetClass()->GetClass()); |
Brian Carlstrom | a331b3c | 2011-07-18 17:47:56 -0700 | [diff] [blame] | 334 | EXPECT_EQ(JavaLangObject, MyClass->GetClass()->GetSuperClass()); |
Brian Carlstrom | 9cff8e1 | 2011-08-18 16:47:29 -0700 | [diff] [blame] | 335 | ASSERT_TRUE(MyClass->GetDescriptor()->Equals("LMyClass;")); |
Brian Carlstrom | 934486c | 2011-07-12 23:42:50 -0700 | [diff] [blame] | 336 | EXPECT_TRUE(MyClass->GetSuperClass() == JavaLangObject); |
| 337 | EXPECT_TRUE(MyClass->HasSuperClass()); |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 338 | EXPECT_EQ(class_loader, MyClass->GetClassLoader()); |
Brian Carlstrom | 934486c | 2011-07-12 23:42:50 -0700 | [diff] [blame] | 339 | EXPECT_TRUE(MyClass->GetStatus() == Class::kStatusResolved); |
| 340 | EXPECT_FALSE(MyClass->IsErroneous()); |
| 341 | EXPECT_FALSE(MyClass->IsVerified()); |
| 342 | EXPECT_TRUE(MyClass->IsLinked()); |
Brian Carlstrom | b63ec39 | 2011-08-27 17:38:27 -0700 | [diff] [blame] | 343 | EXPECT_FALSE(MyClass->IsArrayInstance()); |
| 344 | EXPECT_FALSE(MyClass->IsArrayClass()); |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 345 | EXPECT_EQ(0, JavaLangObject->GetArrayRank()); |
Brian Carlstrom | 934486c | 2011-07-12 23:42:50 -0700 | [diff] [blame] | 346 | EXPECT_FALSE(MyClass->IsInterface()); |
| 347 | EXPECT_FALSE(MyClass->IsPublic()); |
| 348 | EXPECT_FALSE(MyClass->IsFinal()); |
| 349 | EXPECT_FALSE(MyClass->IsPrimitive()); |
Brian Carlstrom | 75cb3b4 | 2011-07-28 02:13:36 -0700 | [diff] [blame] | 350 | EXPECT_FALSE(MyClass->IsSynthetic()); |
Carl Shapiro | f10edca | 2011-07-14 23:16:21 -0700 | [diff] [blame] | 351 | EXPECT_EQ(1U, MyClass->NumDirectMethods()); |
| 352 | EXPECT_EQ(0U, MyClass->NumVirtualMethods()); |
| 353 | EXPECT_EQ(0U, MyClass->NumInstanceFields()); |
| 354 | EXPECT_EQ(0U, MyClass->NumStaticFields()); |
Brian Carlstrom | 913af1b | 2011-07-23 21:41:13 -0700 | [diff] [blame] | 355 | EXPECT_EQ(0U, MyClass->NumInterfaces()); |
Brian Carlstrom | a080803 | 2011-07-18 00:39:23 -0700 | [diff] [blame] | 356 | |
| 357 | EXPECT_EQ(JavaLangObject->GetClass()->GetClass(), MyClass->GetClass()->GetClass()); |
| 358 | |
Brian Carlstrom | a331b3c | 2011-07-18 17:47:56 -0700 | [diff] [blame] | 359 | // created by class_linker |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 360 | AssertArrayClass("[C", 1, "C", NULL); |
| 361 | AssertArrayClass("[Ljava/lang/Object;", 1, "Ljava/lang/Object;", NULL); |
Brian Carlstrom | a331b3c | 2011-07-18 17:47:56 -0700 | [diff] [blame] | 362 | // synthesized on the fly |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 363 | AssertArrayClass("[[C", 2, "C", NULL); |
| 364 | AssertArrayClass("[[[LMyClass;", 3, "LMyClass;", class_loader); |
Brian Carlstrom | a331b3c | 2011-07-18 17:47:56 -0700 | [diff] [blame] | 365 | // or not available at all |
Elliott Hughes | bd93599 | 2011-08-22 11:59:34 -0700 | [diff] [blame] | 366 | AssertNonExistentClass("[[[[LNonExistentClass;"); |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 367 | } |
| 368 | |
Brian Carlstrom | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 369 | TEST_F(ClassLinkerTest, LibCore) { |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 370 | AssertDexFile(java_lang_dex_file_.get(), NULL); |
Brian Carlstrom | 4a96b60 | 2011-07-26 16:40:23 -0700 | [diff] [blame] | 371 | } |
| 372 | |
Jesse Wilson | 46cdd4b | 2011-07-28 17:40:48 -0400 | [diff] [blame] | 373 | // C++ fields must exactly match the fields in the Java classes. If this fails, |
Jesse Wilson | ac5b9e2 | 2011-07-27 15:11:13 -0400 | [diff] [blame] | 374 | // reorder the fields in the C++ class. Managed class fields are ordered by |
| 375 | // ClassLinker::LinkInstanceFields. |
Jesse Wilson | 46cdd4b | 2011-07-28 17:40:48 -0400 | [diff] [blame] | 376 | TEST_F(ClassLinkerTest, ValidateFieldOrderOfJavaCppUnionClasses) { |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 377 | Class* string = class_linker_->FindSystemClass( "Ljava/lang/String;"); |
Jesse Wilson | 46cdd4b | 2011-07-28 17:40:48 -0400 | [diff] [blame] | 378 | ASSERT_EQ(4U, string->NumInstanceFields()); |
Carl Shapiro | 8860c0e | 2011-08-04 17:36:16 -0700 | [diff] [blame] | 379 | EXPECT_TRUE(string->GetInstanceField(0)->GetName()->Equals("value")); |
| 380 | EXPECT_TRUE(string->GetInstanceField(1)->GetName()->Equals("hashCode")); |
| 381 | EXPECT_TRUE(string->GetInstanceField(2)->GetName()->Equals("offset")); |
| 382 | EXPECT_TRUE(string->GetInstanceField(3)->GetName()->Equals("count")); |
Jesse Wilson | 46cdd4b | 2011-07-28 17:40:48 -0400 | [diff] [blame] | 383 | |
Elliott Hughes | e5b0dc8 | 2011-08-23 09:59:02 -0700 | [diff] [blame] | 384 | Class* throwable = class_linker_->FindSystemClass( "Ljava/lang/Throwable;"); |
| 385 | ASSERT_EQ(5U, throwable->NumInstanceFields()); |
| 386 | EXPECT_TRUE(throwable->GetInstanceField(0)->GetName()->Equals("cause")); |
| 387 | EXPECT_TRUE(throwable->GetInstanceField(1)->GetName()->Equals("detailMessage")); |
| 388 | EXPECT_TRUE(throwable->GetInstanceField(2)->GetName()->Equals("stackState")); |
| 389 | EXPECT_TRUE(throwable->GetInstanceField(3)->GetName()->Equals("stackTrace")); |
| 390 | EXPECT_TRUE(throwable->GetInstanceField(4)->GetName()->Equals("suppressedExceptions")); |
| 391 | |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 392 | Class* stack_trace_element = class_linker_->FindSystemClass( "Ljava/lang/StackTraceElement;"); |
| 393 | ASSERT_EQ(4U, stack_trace_element->NumInstanceFields()); |
| 394 | EXPECT_TRUE(stack_trace_element->GetInstanceField(0)->GetName()->Equals("declaringClass")); |
| 395 | EXPECT_TRUE(stack_trace_element->GetInstanceField(1)->GetName()->Equals("fileName")); |
| 396 | EXPECT_TRUE(stack_trace_element->GetInstanceField(2)->GetName()->Equals("methodName")); |
| 397 | EXPECT_TRUE(stack_trace_element->GetInstanceField(3)->GetName()->Equals("lineNumber")); |
| 398 | |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 399 | Class* accessible_object = class_linker_->FindSystemClass("Ljava/lang/reflect/AccessibleObject;"); |
Jesse Wilson | 46cdd4b | 2011-07-28 17:40:48 -0400 | [diff] [blame] | 400 | ASSERT_EQ(1U, accessible_object->NumInstanceFields()); |
Carl Shapiro | 8860c0e | 2011-08-04 17:36:16 -0700 | [diff] [blame] | 401 | EXPECT_TRUE(accessible_object->GetInstanceField(0)->GetName()->Equals("flag")); |
Jesse Wilson | 46cdd4b | 2011-07-28 17:40:48 -0400 | [diff] [blame] | 402 | |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 403 | Class* field = class_linker_->FindSystemClass("Ljava/lang/reflect/Field;"); |
Jesse Wilson | 46cdd4b | 2011-07-28 17:40:48 -0400 | [diff] [blame] | 404 | ASSERT_EQ(6U, field->NumInstanceFields()); |
Carl Shapiro | 8860c0e | 2011-08-04 17:36:16 -0700 | [diff] [blame] | 405 | EXPECT_TRUE(field->GetInstanceField(0)->GetName()->Equals("declaringClass")); |
| 406 | EXPECT_TRUE(field->GetInstanceField(1)->GetName()->Equals("genericType")); |
| 407 | EXPECT_TRUE(field->GetInstanceField(2)->GetName()->Equals("type")); |
| 408 | EXPECT_TRUE(field->GetInstanceField(3)->GetName()->Equals("name")); |
| 409 | EXPECT_TRUE(field->GetInstanceField(4)->GetName()->Equals("slot")); |
| 410 | EXPECT_TRUE(field->GetInstanceField(5)->GetName()->Equals("genericTypesAreInitialized")); |
Jesse Wilson | 46cdd4b | 2011-07-28 17:40:48 -0400 | [diff] [blame] | 411 | |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 412 | Class* method = class_linker_->FindSystemClass("Ljava/lang/reflect/Method;"); |
Jesse Wilson | 46cdd4b | 2011-07-28 17:40:48 -0400 | [diff] [blame] | 413 | ASSERT_EQ(11U, method->NumInstanceFields()); |
Carl Shapiro | 8860c0e | 2011-08-04 17:36:16 -0700 | [diff] [blame] | 414 | EXPECT_TRUE(method->GetInstanceField( 0)->GetName()->Equals("declaringClass")); |
| 415 | EXPECT_TRUE(method->GetInstanceField( 1)->GetName()->Equals("exceptionTypes")); |
| 416 | EXPECT_TRUE(method->GetInstanceField( 2)->GetName()->Equals("formalTypeParameters")); |
| 417 | EXPECT_TRUE(method->GetInstanceField( 3)->GetName()->Equals("genericExceptionTypes")); |
| 418 | EXPECT_TRUE(method->GetInstanceField( 4)->GetName()->Equals("genericParameterTypes")); |
| 419 | EXPECT_TRUE(method->GetInstanceField( 5)->GetName()->Equals("genericReturnType")); |
| 420 | EXPECT_TRUE(method->GetInstanceField( 6)->GetName()->Equals("returnType")); |
| 421 | EXPECT_TRUE(method->GetInstanceField( 7)->GetName()->Equals("name")); |
| 422 | EXPECT_TRUE(method->GetInstanceField( 8)->GetName()->Equals("parameterTypes")); |
| 423 | EXPECT_TRUE(method->GetInstanceField( 9)->GetName()->Equals("genericTypesAreInitialized")); |
| 424 | EXPECT_TRUE(method->GetInstanceField(10)->GetName()->Equals("slot")); |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 425 | |
| 426 | Class* class_loader = class_linker_->FindSystemClass("Ljava/lang/ClassLoader;"); |
| 427 | ASSERT_EQ(2U, class_loader->NumInstanceFields()); |
Carl Shapiro | 8860c0e | 2011-08-04 17:36:16 -0700 | [diff] [blame] | 428 | EXPECT_TRUE(class_loader->GetInstanceField(0)->GetName()->Equals("packages")); |
| 429 | EXPECT_TRUE(class_loader->GetInstanceField(1)->GetName()->Equals("parent")); |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 430 | |
| 431 | Class* dex_base_class_loader = class_linker_->FindSystemClass("Ldalvik/system/BaseDexClassLoader;"); |
| 432 | ASSERT_EQ(2U, dex_base_class_loader->NumInstanceFields()); |
Carl Shapiro | 8860c0e | 2011-08-04 17:36:16 -0700 | [diff] [blame] | 433 | EXPECT_TRUE(dex_base_class_loader->GetInstanceField(0)->GetName()->Equals("originalPath")); |
| 434 | EXPECT_TRUE(dex_base_class_loader->GetInstanceField(1)->GetName()->Equals("pathList")); |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 435 | } |
| 436 | |
Jesse Wilson | df4189c | 2011-08-09 17:10:28 -0400 | [diff] [blame] | 437 | // The first reference array element must be a multiple of 8 bytes from the |
| 438 | // start of the object |
| 439 | TEST_F(ClassLinkerTest, ValidateObjectArrayElementsOffset) { |
| 440 | Class* array_class = class_linker_->FindSystemClass("[Ljava/lang/String;"); |
| 441 | ObjectArray<String>* array = ObjectArray<String>::Alloc(array_class, 0); |
| 442 | uint32_t array_offset = reinterpret_cast<uint32_t>(array); |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 443 | uint32_t data_offset = |
| 444 | array_offset + ObjectArray<String>::DataOffset().Uint32Value(); |
Jesse Wilson | df4189c | 2011-08-09 17:10:28 -0400 | [diff] [blame] | 445 | EXPECT_EQ(16U, data_offset - array_offset); |
| 446 | } |
| 447 | |
| 448 | TEST_F(ClassLinkerTest, ValidatePrimitiveArrayElementsOffset) { |
Elliott Hughes | d8ddfd5 | 2011-08-15 14:32:53 -0700 | [diff] [blame] | 449 | LongArray* array = LongArray::Alloc(0); |
| 450 | EXPECT_EQ(class_linker_->FindSystemClass("[J"), array->GetClass()); |
Jesse Wilson | df4189c | 2011-08-09 17:10:28 -0400 | [diff] [blame] | 451 | uint32_t array_offset = reinterpret_cast<uint32_t>(array); |
| 452 | uint32_t data_offset = reinterpret_cast<uint32_t>(array->GetData()); |
| 453 | EXPECT_EQ(16U, data_offset - array_offset); |
| 454 | } |
| 455 | |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 456 | TEST_F(ClassLinkerTest, TwoClassLoadersOneClass) { |
Brian Carlstrom | 9baa4ae | 2011-09-01 21:14:14 -0700 | [diff] [blame] | 457 | const ClassLoader* class_loader_1 = LoadDex("MyClass"); |
| 458 | const ClassLoader* class_loader_2 = LoadDex("MyClass"); |
Brian Carlstrom | 74eb46a | 2011-08-02 20:10:14 -0700 | [diff] [blame] | 459 | Class* MyClass_1 = class_linker_->FindClass("LMyClass;", class_loader_1); |
| 460 | Class* MyClass_2 = class_linker_->FindClass("LMyClass;", class_loader_2); |
| 461 | EXPECT_TRUE(MyClass_1 != NULL); |
| 462 | EXPECT_TRUE(MyClass_2 != NULL); |
| 463 | EXPECT_NE(MyClass_1, MyClass_2); |
Jesse Wilson | ac5b9e2 | 2011-07-27 15:11:13 -0400 | [diff] [blame] | 464 | } |
| 465 | |
Jesse Wilson | 7833bd2 | 2011-08-09 18:31:44 -0400 | [diff] [blame] | 466 | TEST_F(ClassLinkerTest, StaticFields) { |
| 467 | // TODO: uncomment expectations of initial values when InitializeClass works |
Brian Carlstrom | 9baa4ae | 2011-09-01 21:14:14 -0700 | [diff] [blame] | 468 | const ClassLoader* class_loader = LoadDex("Statics"); |
Jesse Wilson | 7833bd2 | 2011-08-09 18:31:44 -0400 | [diff] [blame] | 469 | Class* statics = class_linker_->FindClass("LStatics;", class_loader); |
Brian Carlstrom | 4873d46 | 2011-08-21 15:23:39 -0700 | [diff] [blame] | 470 | class_linker_->EnsureInitialized(statics); |
Jesse Wilson | 7833bd2 | 2011-08-09 18:31:44 -0400 | [diff] [blame] | 471 | |
| 472 | EXPECT_EQ(10U, statics->NumStaticFields()); |
| 473 | |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 474 | Field* s0 = statics->FindStaticField("s0", class_linker_->FindClass("Z", class_loader)); |
| 475 | EXPECT_TRUE(s0->GetClass()->GetDescriptor()->Equals("Ljava/lang/reflect/Field;")); |
| 476 | EXPECT_TRUE(s0->GetType()->IsPrimitiveBoolean()); |
Brian Carlstrom | 4873d46 | 2011-08-21 15:23:39 -0700 | [diff] [blame] | 477 | // EXPECT_EQ(true, s0->GetBoolean(NULL)); // TODO: needs clinit to be run? |
| 478 | s0->SetBoolean(NULL, false); |
Jesse Wilson | 7833bd2 | 2011-08-09 18:31:44 -0400 | [diff] [blame] | 479 | |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 480 | Field* s1 = statics->FindStaticField("s1", class_linker_->FindClass("B", class_loader)); |
| 481 | EXPECT_TRUE(s1->GetType()->IsPrimitiveByte()); |
Brian Carlstrom | 4873d46 | 2011-08-21 15:23:39 -0700 | [diff] [blame] | 482 | // EXPECT_EQ(5, s1->GetByte(NULL)); // TODO: needs clinit to be run? |
| 483 | s1->SetByte(NULL, 6); |
Jesse Wilson | 7833bd2 | 2011-08-09 18:31:44 -0400 | [diff] [blame] | 484 | |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 485 | Field* s2 = statics->FindStaticField("s2", class_linker_->FindClass("C", class_loader)); |
| 486 | EXPECT_TRUE(s2->GetType()->IsPrimitiveChar()); |
Brian Carlstrom | 4873d46 | 2011-08-21 15:23:39 -0700 | [diff] [blame] | 487 | // EXPECT_EQ('a', s2->GetChar(NULL)); // TODO: needs clinit to be run? |
| 488 | s2->SetChar(NULL, 'b'); |
Jesse Wilson | 7833bd2 | 2011-08-09 18:31:44 -0400 | [diff] [blame] | 489 | |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 490 | Field* s3 = statics->FindStaticField("s3", class_linker_->FindClass("S", class_loader)); |
| 491 | EXPECT_TRUE(s3->GetType()->IsPrimitiveShort()); |
Brian Carlstrom | 4873d46 | 2011-08-21 15:23:39 -0700 | [diff] [blame] | 492 | // EXPECT_EQ(65000, s3->GetShort(NULL)); // TODO: needs clinit to be run? |
| 493 | s3->SetShort(NULL, 65001); |
Jesse Wilson | 7833bd2 | 2011-08-09 18:31:44 -0400 | [diff] [blame] | 494 | |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 495 | Field* s4 = statics->FindStaticField("s4", class_linker_->FindClass("I", class_loader)); |
| 496 | EXPECT_TRUE(s4->GetType()->IsPrimitiveInt()); |
Brian Carlstrom | 4873d46 | 2011-08-21 15:23:39 -0700 | [diff] [blame] | 497 | // EXPECT_EQ(2000000000, s4->GetInt(NULL)); // TODO: needs clinit to be run? |
| 498 | s4->SetInt(NULL, 2000000001); |
Jesse Wilson | 7833bd2 | 2011-08-09 18:31:44 -0400 | [diff] [blame] | 499 | |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 500 | Field* s5 = statics->FindStaticField("s5", class_linker_->FindClass("J", class_loader)); |
| 501 | EXPECT_TRUE(s5->GetType()->IsPrimitiveLong()); |
Brian Carlstrom | 4873d46 | 2011-08-21 15:23:39 -0700 | [diff] [blame] | 502 | // EXPECT_EQ(0x1234567890abcdefLL, s5->GetLong(NULL)); // TODO: needs clinit to be run? |
| 503 | s5->SetLong(NULL, 0x34567890abcdef12LL); |
Jesse Wilson | 7833bd2 | 2011-08-09 18:31:44 -0400 | [diff] [blame] | 504 | |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 505 | Field* s6 = statics->FindStaticField("s6", class_linker_->FindClass("F", class_loader)); |
| 506 | EXPECT_TRUE(s6->GetType()->IsPrimitiveFloat()); |
Brian Carlstrom | 4873d46 | 2011-08-21 15:23:39 -0700 | [diff] [blame] | 507 | // EXPECT_EQ(0.5, s6->GetFloat(NULL)); // TODO: needs clinit to be run? |
| 508 | s6->SetFloat(NULL, 0.75); |
Jesse Wilson | 7833bd2 | 2011-08-09 18:31:44 -0400 | [diff] [blame] | 509 | |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 510 | Field* s7 = statics->FindStaticField("s7", class_linker_->FindClass("D", class_loader)); |
| 511 | EXPECT_TRUE(s7->GetType()->IsPrimitiveDouble()); |
Brian Carlstrom | 4873d46 | 2011-08-21 15:23:39 -0700 | [diff] [blame] | 512 | // EXPECT_EQ(16777217, s7->GetDouble(NULL)); // TODO: needs clinit to be run? |
| 513 | s7->SetDouble(NULL, 16777219); |
Jesse Wilson | 7833bd2 | 2011-08-09 18:31:44 -0400 | [diff] [blame] | 514 | |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 515 | Field* s8 = statics->FindStaticField("s8", class_linker_->FindClass("Ljava/lang/Object;", class_loader)); |
| 516 | EXPECT_FALSE(s8->GetType()->IsPrimitive()); |
Brian Carlstrom | 4873d46 | 2011-08-21 15:23:39 -0700 | [diff] [blame] | 517 | // EXPECT_TRUE(s8->GetObject(NULL)->AsString()->Equals("android")); // TODO: needs clinit to be run? |
| 518 | s8->SetObject(NULL, String::AllocFromModifiedUtf8("robot")); |
Jesse Wilson | 7833bd2 | 2011-08-09 18:31:44 -0400 | [diff] [blame] | 519 | |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 520 | Field* s9 = statics->FindStaticField("s9", class_linker_->FindClass("[Ljava/lang/Object;", class_loader)); |
| 521 | EXPECT_TRUE(s9->GetType()->IsArrayClass()); |
Brian Carlstrom | 4873d46 | 2011-08-21 15:23:39 -0700 | [diff] [blame] | 522 | // EXPECT_EQ(NULL, s9->GetObject(NULL)); // TODO: needs clinit to be run? |
| 523 | s9->SetObject(NULL, NULL); |
Jesse Wilson | 7833bd2 | 2011-08-09 18:31:44 -0400 | [diff] [blame] | 524 | |
Brian Carlstrom | 4873d46 | 2011-08-21 15:23:39 -0700 | [diff] [blame] | 525 | EXPECT_EQ(false, s0->GetBoolean(NULL)); |
| 526 | EXPECT_EQ(6, s1->GetByte(NULL)); |
| 527 | EXPECT_EQ('b', s2->GetChar(NULL)); |
| 528 | EXPECT_EQ(65001, s3->GetShort(NULL)); |
| 529 | EXPECT_EQ(2000000001, s4->GetInt(NULL)); |
| 530 | EXPECT_EQ(0x34567890abcdef12LL, s5->GetLong(NULL)); |
| 531 | EXPECT_EQ(0.75, s6->GetFloat(NULL)); |
| 532 | EXPECT_EQ(16777219, s7->GetDouble(NULL)); |
| 533 | EXPECT_TRUE(s8->GetObject(NULL)->AsString()->Equals("robot")); |
Jesse Wilson | 7833bd2 | 2011-08-09 18:31:44 -0400 | [diff] [blame] | 534 | } |
| 535 | |
Brian Carlstrom | 30b9445 | 2011-08-25 21:35:26 -0700 | [diff] [blame] | 536 | TEST_F(ClassLinkerTest, Interfaces) { |
Brian Carlstrom | 9baa4ae | 2011-09-01 21:14:14 -0700 | [diff] [blame] | 537 | const ClassLoader* class_loader = LoadDex("Interfaces"); |
Brian Carlstrom | 30b9445 | 2011-08-25 21:35:26 -0700 | [diff] [blame] | 538 | Class* I = class_linker_->FindClass("LInterfaces$I;", class_loader); |
| 539 | Class* J = class_linker_->FindClass("LInterfaces$J;", class_loader); |
| 540 | Class* A = class_linker_->FindClass("LInterfaces$A;", class_loader); |
| 541 | EXPECT_TRUE(I->IsAssignableFrom(A)); |
| 542 | EXPECT_TRUE(J->IsAssignableFrom(A)); |
| 543 | |
| 544 | Method* Ii = I->FindVirtualMethod("i", "()V"); |
| 545 | Method* Jj1 = J->FindVirtualMethod("j1", "()V"); |
| 546 | Method* Jj2 = J->FindVirtualMethod("j2", "()V"); |
| 547 | Method* Ai = A->FindVirtualMethod("i", "()V"); |
| 548 | Method* Aj1 = A->FindVirtualMethod("j1", "()V"); |
| 549 | Method* Aj2 = A->FindVirtualMethod("j2", "()V"); |
| 550 | ASSERT_TRUE(Ii != NULL); |
| 551 | ASSERT_TRUE(Jj1 != NULL); |
| 552 | ASSERT_TRUE(Jj2 != NULL); |
| 553 | ASSERT_TRUE(Ai != NULL); |
| 554 | ASSERT_TRUE(Aj1 != NULL); |
| 555 | ASSERT_TRUE(Aj2 != NULL); |
| 556 | ASSERT_TRUE(Ii != NULL); |
| 557 | EXPECT_NE(Ii, Ai); |
| 558 | EXPECT_NE(Jj1, Aj1); |
| 559 | EXPECT_NE(Jj2, Aj2); |
| 560 | EXPECT_EQ(Ai, A->FindVirtualMethodForInterface(Ii)); |
| 561 | EXPECT_EQ(Aj1, A->FindVirtualMethodForInterface(Jj1)); |
| 562 | EXPECT_EQ(Aj2, A->FindVirtualMethodForInterface(Jj2)); |
| 563 | EXPECT_EQ(Ai, A->FindVirtualMethodForVirtualOrInterface(Ii)); |
| 564 | EXPECT_EQ(Aj1, A->FindVirtualMethodForVirtualOrInterface(Jj1)); |
| 565 | EXPECT_EQ(Aj2, A->FindVirtualMethodForVirtualOrInterface(Jj2)); |
| 566 | } |
| 567 | |
Brian Carlstrom | 848a4b3 | 2011-09-04 11:29:27 -0700 | [diff] [blame] | 568 | TEST_F(ClassLinkerTest, InitializeStaticStorageFromCode) { |
| 569 | // pretend we are trying to ensure we have initilized storage for Static from Statics.<clinit> |
| 570 | const ClassLoader* class_loader = LoadDex("Statics"); |
| 571 | const DexFile* dex_file = ClassLoader::GetClassPath(class_loader)[0]; |
| 572 | CHECK(dex_file != NULL); |
| 573 | |
| 574 | Class* Statics = class_linker_->FindClass("LStatics;", class_loader); |
| 575 | Method* clinit = Statics->FindDirectMethod("<clinit>", "()V"); |
| 576 | uint32_t type_idx = FindTypeIdxByDescriptor(*dex_file, "LStatics;"); |
| 577 | |
| 578 | EXPECT_TRUE(clinit->GetDexCacheInitializedStaticStorage()->Get(type_idx) == NULL); |
| 579 | StaticStorageBase* storage = class_linker_->InitializeStaticStorageFromCode(type_idx, clinit); |
| 580 | EXPECT_TRUE(storage != NULL); |
| 581 | EXPECT_EQ(storage, clinit->GetDexCacheInitializedStaticStorage()->Get(type_idx)); |
| 582 | } |
| 583 | |
Jesse Wilson | df4189c | 2011-08-09 17:10:28 -0400 | [diff] [blame] | 584 | } // namespace art |