blob: 6bc30218bf15d639a6c51855ec393215c1f91ddb [file] [log] [blame]
Carl Shapiro3ee755d2011-06-28 12:11:04 -07001// Copyright 2011 Google Inc. All Rights Reserved.
2
Brian Carlstrom578bbdc2011-07-21 14:07:47 -07003#include "object.h"
4
Ian Rogersb033c752011-07-20 12:22:35 -07005#include <string.h>
Ian Rogersdf20fe02011-07-20 20:34:16 -07006#include <algorithm>
Brian Carlstrom578bbdc2011-07-21 14:07:47 -07007
Elliott Hughesd8ddfd52011-08-15 14:32:53 -07008#include "class_linker.h"
Brian Carlstrom1f870082011-08-23 16:02:11 -07009#include "class_loader.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070010#include "globals.h"
Brian Carlstroma40f9bc2011-07-26 21:26:07 -070011#include "heap.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070012#include "logging.h"
Brian Carlstrom7e49dca2011-07-22 18:07:34 -070013#include "dex_cache.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070014#include "dex_file.h"
Brian Carlstrom1f870082011-08-23 16:02:11 -070015#include "runtime.h"
Carl Shapiro3ee755d2011-06-28 12:11:04 -070016
17namespace art {
18
Brian Carlstromb63ec392011-08-27 17:38:27 -070019Array* Array::Alloc(Class* array_class, int32_t component_count, size_t component_size) {
20 DCHECK_GE(component_count, 0);
21 DCHECK(array_class->IsArrayClass());
22 size_t size = SizeOf(component_count, component_size);
23 Array* array = down_cast<Array*>(Heap::AllocObject(array_class, size));
24 if (array != NULL) {
25 DCHECK(array->IsArrayInstance());
26 array->SetLength(component_count);
27 }
28 return array;
29}
30
31Array* Array::Alloc(Class* array_class, int32_t component_count) {
Elliott Hughes68f4fa02011-08-21 10:46:59 -070032 return Alloc(array_class, component_count, array_class->GetComponentSize());
33}
34
Brian Carlstromb63ec392011-08-27 17:38:27 -070035Array* Array::AllocFromCode(uint32_t type_idx, Method* method, int32_t component_count) {
Brian Carlstrom1caa2c22011-08-28 13:02:33 -070036 // TODO: throw on negative component_count
37 Class* klass = method->dex_cache_resolved_types_->Get(type_idx);
Brian Carlstromb63ec392011-08-27 17:38:27 -070038 if (klass == NULL) {
39 klass = Runtime::Current()->GetClassLinker()->ResolveType(type_idx, method);
40 if (klass == NULL || !klass->IsArrayClass()) {
41 UNIMPLEMENTED(FATAL) << "throw an error";
42 return NULL;
43 }
44 }
45 return Array::Alloc(klass, component_count);
46}
47
Brian Carlstrom1f870082011-08-23 16:02:11 -070048Object* Class::AllocObjectFromCode(uint32_t type_idx, Method* method) {
Brian Carlstrom1caa2c22011-08-28 13:02:33 -070049 Class* klass = method->dex_cache_resolved_types_->Get(type_idx);
Brian Carlstromb63ec392011-08-27 17:38:27 -070050 if (klass == NULL) {
51 klass = Runtime::Current()->GetClassLinker()->ResolveType(type_idx, method);
52 if (klass == NULL) {
53 UNIMPLEMENTED(FATAL) << "throw an error";
54 return NULL;
55 }
56 }
Brian Carlstrom1f870082011-08-23 16:02:11 -070057 return klass->AllocObject();
58}
59
60Object* Class::AllocObject() {
61 DCHECK(!IsAbstract());
62 return Heap::AllocObject(this, this->object_size_);
Brian Carlstromb63ec392011-08-27 17:38:27 -070063}
64
Elliott Hughesbf86d042011-08-31 17:53:14 -070065bool Class::CanPutArrayElementNoThrow(const Class* elementClass, const Class* arrayClass) {
66 UNIMPLEMENTED(FATAL);
67 return false;
68}
69
Brian Carlstromf7ed11a2011-08-09 17:55:51 -070070bool Class::Implements(const Class* klass) const {
71 DCHECK(klass != NULL);
72 DCHECK(klass->IsInterface());
73 // All interfaces implemented directly and by our superclass, and
74 // recursively all super-interfaces of those interfaces, are listed
75 // in iftable_, so we can just do a linear scan through that.
76 for (size_t i = 0; i < iftable_count_; i++) {
Brian Carlstrom30b94452011-08-25 21:35:26 -070077 if (iftable_[i].GetInterface() == klass) {
Brian Carlstromf7ed11a2011-08-09 17:55:51 -070078 return true;
79 }
80 }
81 return false;
82}
83
84// Determine whether "this" is assignable from "klazz", where both of these
85// are array classes.
86//
87// Consider an array class, e.g. Y[][], where Y is a subclass of X.
88// Y[][] = Y[][] --> true (identity)
89// X[][] = Y[][] --> true (element superclass)
90// Y = Y[][] --> false
91// Y[] = Y[][] --> false
92// Object = Y[][] --> true (everything is an object)
93// Object[] = Y[][] --> true
94// Object[][] = Y[][] --> true
95// Object[][][] = Y[][] --> false (too many []s)
96// Serializable = Y[][] --> true (all arrays are Serializable)
97// Serializable[] = Y[][] --> true
98// Serializable[][] = Y[][] --> false (unless Y is Serializable)
99//
100// Don't forget about primitive types.
101// int[] instanceof Object[] --> false
102//
103bool Class::IsArrayAssignableFromArray(const Class* klass) const {
Brian Carlstromb63ec392011-08-27 17:38:27 -0700104 DCHECK(IsArrayClass());
105 DCHECK(klass->IsArrayClass());
Brian Carlstromf7ed11a2011-08-09 17:55:51 -0700106 DCHECK_GT(array_rank_, 0);
107 DCHECK_GT(klass->array_rank_, 0);
108 DCHECK(component_type_ != NULL);
109 DCHECK(klass->component_type_ != NULL);
110 if (array_rank_ > klass->array_rank_) {
111 // Too many []s.
112 return false;
113 }
114 if (array_rank_ == klass->array_rank_) {
115 return component_type_->IsAssignableFrom(klass->component_type_);
116 }
117 DCHECK_LT(array_rank_, klass->array_rank_);
118 // The thing we might be assignable from has more dimensions. We
119 // must be an Object or array of Object, or a standard array
120 // interface or array of standard array interfaces (the standard
121 // interfaces being java/lang/Cloneable and java/io/Serializable).
122 if (component_type_->IsInterface()) {
123 // See if we implement our component type. We know the
124 // base element is an interface; if the array class implements
125 // it, we know it's a standard array interface.
126 return Implements(component_type_);
127 }
128 // See if this is an array of Object, Object[], etc. We know
129 // that the superclass of an array is always Object, so we
130 // just compare the element type to that.
131 Class* java_lang_Object = GetSuperClass();
132 DCHECK(java_lang_Object != NULL);
133 DCHECK(java_lang_Object->GetSuperClass() == NULL);
134 return (component_type_ == java_lang_Object);
135}
136
137bool Class::IsAssignableFromArray(const Class* klass) const {
138 DCHECK(!IsInterface()); // handled first in IsAssignableFrom
Brian Carlstromb63ec392011-08-27 17:38:27 -0700139 DCHECK(klass->IsArrayClass());
140 if (!IsArrayClass()) {
Brian Carlstromf7ed11a2011-08-09 17:55:51 -0700141 // If "this" is not also an array, it must be Object.
142 // klass's super should be java_lang_Object, since it is an array.
143 Class* java_lang_Object = klass->GetSuperClass();
144 DCHECK(java_lang_Object != NULL);
145 DCHECK(java_lang_Object->GetSuperClass() == NULL);
146 return this == java_lang_Object;
147 }
148 return IsArrayAssignableFromArray(klass);
149}
150
151bool Class::IsSubClass(const Class* klass) const {
152 DCHECK(!IsInterface());
Brian Carlstromb63ec392011-08-27 17:38:27 -0700153 DCHECK(!klass->IsArrayClass());
Brian Carlstromf7ed11a2011-08-09 17:55:51 -0700154 const Class* current = this;
155 do {
156 if (current == klass) {
157 return true;
158 }
159 current = current->GetSuperClass();
160 } while (current != NULL);
161 return false;
162}
163
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700164bool Class::IsInSamePackage(const String* descriptor_string_1,
165 const String* descriptor_string_2) {
166 const std::string descriptor1(descriptor_string_1->ToModifiedUtf8());
167 const std::string descriptor2(descriptor_string_2->ToModifiedUtf8());
168
Carl Shapiro894d0fa2011-06-30 14:48:49 -0700169 size_t i = 0;
170 while (descriptor1[i] != '\0' && descriptor1[i] == descriptor2[i]) {
171 ++i;
172 }
Brian Carlstrom6cc18452011-07-18 15:10:33 -0700173 if (descriptor1.find('/', i) != StringPiece::npos ||
174 descriptor2.find('/', i) != StringPiece::npos) {
Carl Shapiro894d0fa2011-06-30 14:48:49 -0700175 return false;
176 } else {
177 return true;
178 }
179}
180
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700181#if 0
Ian Rogersb033c752011-07-20 12:22:35 -0700182bool Class::IsInSamePackage(const StringPiece& descriptor1,
183 const StringPiece& descriptor2) {
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700184 size_t size = std::min(descriptor1.size(), descriptor2.size());
Brian Carlstrom6cc18452011-07-18 15:10:33 -0700185 std::pair<StringPiece::const_iterator, StringPiece::const_iterator> pos;
Ian Rogersb033c752011-07-20 12:22:35 -0700186 pos = std::mismatch(descriptor1.begin(), descriptor1.begin() + size,
187 descriptor2.begin());
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700188 return !(*(pos.second).rfind('/') != npos && descriptor2.rfind('/') != npos);
189}
190#endif
191
Carl Shapiro894d0fa2011-06-30 14:48:49 -0700192bool Class::IsInSamePackage(const Class* that) const {
193 const Class* klass1 = this;
194 const Class* klass2 = that;
195 if (klass1 == klass2) {
196 return true;
197 }
198 // Class loaders must match.
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700199 if (klass1->GetClassLoader() != klass2->GetClassLoader()) {
Carl Shapiro894d0fa2011-06-30 14:48:49 -0700200 return false;
201 }
202 // Arrays are in the same package when their element classes are.
Brian Carlstromb63ec392011-08-27 17:38:27 -0700203 if (klass1->IsArrayClass()) {
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700204 klass1 = klass1->GetComponentType();
Carl Shapiro894d0fa2011-06-30 14:48:49 -0700205 }
Brian Carlstromb63ec392011-08-27 17:38:27 -0700206 if (klass2->IsArrayClass()) {
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700207 klass2 = klass2->GetComponentType();
Carl Shapiro894d0fa2011-06-30 14:48:49 -0700208 }
209 // Compare the package part of the descriptor string.
Brian Carlstrom6cc18452011-07-18 15:10:33 -0700210 return IsInSamePackage(klass1->descriptor_, klass2->descriptor_);
Carl Shapiro894d0fa2011-06-30 14:48:49 -0700211}
212
Brian Carlstromb9edb842011-08-28 16:31:06 -0700213uint32_t Field::Get32StaticFromCode(uint32_t field_idx, const Method* referrer) {
214 Field* field = Runtime::Current()->GetClassLinker()->ResolveField(field_idx, referrer);
215 if (field == NULL) {
216 UNIMPLEMENTED(FATAL) << "throw an error";
217 return 0;
218 }
219 return field->Get32(NULL);
220}
221void Field::Set32StaticFromCode(uint32_t field_idx, const Method* referrer, uint32_t new_value) {
222 Field* field = Runtime::Current()->GetClassLinker()->ResolveField(field_idx, referrer);
223 if (field == NULL) {
224 UNIMPLEMENTED(FATAL) << "throw an error";
225 return;
226 }
227 field->Set32(NULL, new_value);
228}
229uint64_t Field::Get64StaticFromCode(uint32_t field_idx, const Method* referrer) {
230 Field* field = Runtime::Current()->GetClassLinker()->ResolveField(field_idx, referrer);
231 if (field == NULL) {
232 UNIMPLEMENTED(FATAL) << "throw an error";
233 return 0;
234 }
235 return field->Get64(NULL);
236}
237void Field::Set64StaticFromCode(uint32_t field_idx, const Method* referrer, uint64_t new_value) {
238 Field* field = Runtime::Current()->GetClassLinker()->ResolveField(field_idx, referrer);
239 if (field == NULL) {
240 UNIMPLEMENTED(FATAL) << "throw an error";
241 return;
242 }
243 field->Set64(NULL, new_value);
244}
245Object* Field::GetObjStaticFromCode(uint32_t field_idx, const Method* referrer) {
246 Field* field = Runtime::Current()->GetClassLinker()->ResolveField(field_idx, referrer);
247 if (field == NULL) {
248 UNIMPLEMENTED(FATAL) << "throw an error";
249 return 0;
250 }
251 return field->GetObj(NULL);
252}
253void Field::SetObjStaticFromCode(uint32_t field_idx, const Method* referrer, Object* new_value) {
254 Field* field = Runtime::Current()->GetClassLinker()->ResolveField(field_idx, referrer);
255 if (field == NULL) {
256 UNIMPLEMENTED(FATAL) << "throw an error";
257 return;
258 }
259 field->SetObj(NULL, new_value);
260}
261
Brian Carlstrom4873d462011-08-21 15:23:39 -0700262uint32_t Field::Get32(const Object* object) const {
263 CHECK((object == NULL) == IsStatic());
264 if (IsStatic()) {
265 object = declaring_class_;
266 }
Elliott Hughes37f7a402011-08-22 18:56:01 -0700267 // TODO: volatile
Brian Carlstrom4873d462011-08-21 15:23:39 -0700268 return object->GetField32(GetOffset());
Jesse Wilson7833bd22011-08-09 18:31:44 -0400269}
270
Brian Carlstrom4873d462011-08-21 15:23:39 -0700271void Field::Set32(Object* object, uint32_t new_value) const {
272 CHECK((object == NULL) == IsStatic());
273 if (IsStatic()) {
274 object = declaring_class_;
275 }
Elliott Hughes37f7a402011-08-22 18:56:01 -0700276 // TODO: volatile
Brian Carlstrom4873d462011-08-21 15:23:39 -0700277 object->SetField32(GetOffset(), new_value);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400278}
279
Brian Carlstrom4873d462011-08-21 15:23:39 -0700280uint64_t Field::Get64(const Object* object) const {
281 CHECK((object == NULL) == IsStatic());
282 if (IsStatic()) {
283 object = declaring_class_;
284 }
Elliott Hughes37f7a402011-08-22 18:56:01 -0700285 // TODO: volatile
Brian Carlstrom4873d462011-08-21 15:23:39 -0700286 return object->GetField64(GetOffset());
287}
288
289void Field::Set64(Object* object, uint64_t new_value) const {
290 CHECK((object == NULL) == IsStatic());
291 if (IsStatic()) {
292 object = declaring_class_;
293 }
Elliott Hughes37f7a402011-08-22 18:56:01 -0700294 // TODO: volatile
Brian Carlstrom4873d462011-08-21 15:23:39 -0700295 object->SetField64(GetOffset(), new_value);
296}
297
298Object* Field::GetObj(const Object* object) const {
299 CHECK((object == NULL) == IsStatic());
300 if (IsStatic()) {
301 object = declaring_class_;
302 }
Elliott Hughes37f7a402011-08-22 18:56:01 -0700303 // TODO: volatile
Brian Carlstrom4873d462011-08-21 15:23:39 -0700304 return object->GetFieldObject(GetOffset());
305}
306
307void Field::SetObj(Object* object, Object* new_value) const {
308 CHECK((object == NULL) == IsStatic());
309 if (IsStatic()) {
310 object = declaring_class_;
311 }
Elliott Hughes37f7a402011-08-22 18:56:01 -0700312 // TODO: volatile
Brian Carlstrom4873d462011-08-21 15:23:39 -0700313 object->SetFieldObject(GetOffset(), new_value);
314}
315
316bool Field::GetBoolean(const Object* object) const {
317 CHECK_EQ(GetType(), 'Z');
318 return Get32(object);
319}
320
321void Field::SetBoolean(Object* object, bool z) const {
322 CHECK_EQ(GetType(), 'Z');
323 Set32(object, z);
324}
325
326int8_t Field::GetByte(const Object* object) const {
327 CHECK_EQ(GetType(), 'B');
328 return Get32(object);
329}
330
331void Field::SetByte(Object* object, int8_t b) const {
Jesse Wilson7833bd22011-08-09 18:31:44 -0400332 CHECK_EQ(GetType(), 'B');
Brian Carlstrom4873d462011-08-21 15:23:39 -0700333 Set32(object, b);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400334}
335
Brian Carlstrom4873d462011-08-21 15:23:39 -0700336uint16_t Field::GetChar(const Object* object) const {
337 CHECK_EQ(GetType(), 'C');
338 return Get32(object);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400339}
340
Brian Carlstrom4873d462011-08-21 15:23:39 -0700341void Field::SetChar(Object* object, uint16_t c) const {
Jesse Wilson7833bd22011-08-09 18:31:44 -0400342 CHECK_EQ(GetType(), 'C');
Brian Carlstrom4873d462011-08-21 15:23:39 -0700343 Set32(object, c);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400344}
345
Brian Carlstrom4873d462011-08-21 15:23:39 -0700346uint16_t Field::GetShort(const Object* object) const {
347 CHECK_EQ(GetType(), 'S');
348 return Get32(object);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400349}
350
Brian Carlstrom4873d462011-08-21 15:23:39 -0700351void Field::SetShort(Object* object, uint16_t s) const {
Jesse Wilson7833bd22011-08-09 18:31:44 -0400352 CHECK_EQ(GetType(), 'S');
Brian Carlstrom4873d462011-08-21 15:23:39 -0700353 Set32(object, s);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400354}
355
Brian Carlstrom4873d462011-08-21 15:23:39 -0700356int32_t Field::GetInt(const Object* object) const {
357 CHECK_EQ(GetType(), 'I');
358 return Get32(object);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400359}
360
Brian Carlstrom4873d462011-08-21 15:23:39 -0700361void Field::SetInt(Object* object, int32_t i) const {
Jesse Wilson7833bd22011-08-09 18:31:44 -0400362 CHECK_EQ(GetType(), 'I');
Brian Carlstrom4873d462011-08-21 15:23:39 -0700363 Set32(object, i);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400364}
365
Brian Carlstrom4873d462011-08-21 15:23:39 -0700366int64_t Field::GetLong(const Object* object) const {
367 CHECK_EQ(GetType(), 'J');
368 return Get64(object);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400369}
370
Brian Carlstrom4873d462011-08-21 15:23:39 -0700371void Field::SetLong(Object* object, int64_t j) const {
Jesse Wilson7833bd22011-08-09 18:31:44 -0400372 CHECK_EQ(GetType(), 'J');
Brian Carlstrom4873d462011-08-21 15:23:39 -0700373 Set64(object, j);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400374}
375
Brian Carlstrom4873d462011-08-21 15:23:39 -0700376float Field::GetFloat(const Object* object) const {
Jesse Wilson7833bd22011-08-09 18:31:44 -0400377 CHECK_EQ(GetType(), 'F');
378 JValue float_bits;
Brian Carlstrom4873d462011-08-21 15:23:39 -0700379 float_bits.i = Get32(object);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400380 return float_bits.f;
381}
382
Brian Carlstrom4873d462011-08-21 15:23:39 -0700383void Field::SetFloat(Object* object, float f) const {
Jesse Wilson7833bd22011-08-09 18:31:44 -0400384 CHECK_EQ(GetType(), 'F');
385 JValue float_bits;
386 float_bits.f = f;
Brian Carlstrom4873d462011-08-21 15:23:39 -0700387 Set32(object, float_bits.i);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400388}
389
Brian Carlstrom4873d462011-08-21 15:23:39 -0700390double Field::GetDouble(const Object* object) const {
Jesse Wilson7833bd22011-08-09 18:31:44 -0400391 CHECK_EQ(GetType(), 'D');
392 JValue double_bits;
Brian Carlstrom4873d462011-08-21 15:23:39 -0700393 double_bits.j = Get64(object);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400394 return double_bits.d;
395}
396
Brian Carlstrom4873d462011-08-21 15:23:39 -0700397void Field::SetDouble(Object* object, double d) const {
Jesse Wilson7833bd22011-08-09 18:31:44 -0400398 CHECK_EQ(GetType(), 'D');
399 JValue double_bits;
400 double_bits.d = d;
Brian Carlstrom4873d462011-08-21 15:23:39 -0700401 Set64(object, double_bits.j);
Jesse Wilson7833bd22011-08-09 18:31:44 -0400402}
403
Brian Carlstrom4873d462011-08-21 15:23:39 -0700404Object* Field::GetObject(const Object* object) const {
Jesse Wilson7833bd22011-08-09 18:31:44 -0400405 CHECK(GetType() == 'L' || GetType() == '[');
Brian Carlstrom4873d462011-08-21 15:23:39 -0700406 return GetObj(object);
Jesse Wilson35baaab2011-08-10 16:18:03 -0400407}
408
Brian Carlstrom4873d462011-08-21 15:23:39 -0700409void Field::SetObject(Object* object, Object* l) const {
Jesse Wilson35baaab2011-08-10 16:18:03 -0400410 CHECK(GetType() == 'L' || GetType() == '[');
Brian Carlstrom4873d462011-08-21 15:23:39 -0700411 SetObj(object, l);
Jesse Wilson35baaab2011-08-10 16:18:03 -0400412}
413
Brian Carlstrom4873d462011-08-21 15:23:39 -0700414uint32_t Method::NumArgRegisters() const {
Carl Shapiro3ee755d2011-06-28 12:11:04 -0700415 CHECK(shorty_ != NULL);
416 uint32_t num_registers = 0;
Carl Shapiro565f5072011-07-10 13:39:43 -0700417 for (int i = 1; i < shorty_.length(); ++i) {
Carl Shapiro3ee755d2011-06-28 12:11:04 -0700418 char ch = shorty_[i];
419 if (ch == 'D' || ch == 'J') {
420 num_registers += 2;
421 } else {
422 num_registers += 1;
423 }
424 }
425 return num_registers;
426}
427
Brian Carlstrom4873d462011-08-21 15:23:39 -0700428size_t Method::NumArgArrayBytes() const {
Carl Shapiro9b9ba282011-08-14 15:30:39 -0700429 const StringPiece& shorty = GetShorty();
430 size_t num_bytes = 0;
431 for (int i = 1; i < shorty.size(); ++i) {
432 char ch = shorty[i];
433 if (ch == 'D' || ch == 'J') {
434 num_bytes += 8;
Carl Shapiro84d00e62011-08-18 14:57:20 -0700435 } else if (ch == 'L') {
Carl Shapiro9b9ba282011-08-14 15:30:39 -0700436 // Argument is a reference or an array. The shorty descriptor
437 // does not distinguish between these types.
438 num_bytes += sizeof(Object*);
439 } else {
440 num_bytes += 4;
441 }
442 }
443 return num_bytes;
444}
445
Ian Rogersb033c752011-07-20 12:22:35 -0700446// The number of reference arguments to this method including implicit this
447// pointer
448size_t Method::NumReferenceArgs() const {
Shih-wei Liao5381cf92011-07-27 00:28:04 -0700449 size_t result = IsStatic() ? 0 : 1; // The implicit this pointer.
Ian Rogersb033c752011-07-20 12:22:35 -0700450 for (int i = 1; i < shorty_.length(); i++) {
451 if ((shorty_[i] == 'L') || (shorty_[i] == '[')) {
452 result++;
453 }
454 }
455 return result;
456}
457
458// The number of long or double arguments
459size_t Method::NumLongOrDoubleArgs() const {
460 size_t result = 0;
461 for (int i = 1; i < shorty_.length(); i++) {
462 if ((shorty_[i] == 'D') || (shorty_[i] == 'J')) {
463 result++;
464 }
465 }
466 return result;
467}
468
469// The number of reference arguments to this method before the given parameter
470// index
471size_t Method::NumReferenceArgsBefore(unsigned int param) const {
472 CHECK_LT(param, NumArgs());
473 unsigned int result = IsStatic() ? 0 : 1;
474 for (unsigned int i = 1; (i < (unsigned int)shorty_.length()) &&
475 (i < (param + 1)); i++) {
476 if ((shorty_[i] == 'L') || (shorty_[i] == '[')) {
477 result++;
478 }
479 }
480 return result;
481}
482
483// Is the given method parameter a reference?
484bool Method::IsParamAReference(unsigned int param) const {
485 CHECK_LT(param, NumArgs());
486 if (IsStatic()) {
487 param++; // 0th argument must skip return value at start of the shorty
488 } else if (param == 0) {
489 return true; // this argument
490 }
491 return ((shorty_[param] == 'L') || (shorty_[param] == '['));
492}
493
494// Is the given method parameter a long or double?
495bool Method::IsParamALongOrDouble(unsigned int param) const {
496 CHECK_LT(param, NumArgs());
497 if (IsStatic()) {
498 param++; // 0th argument must skip return value at start of the shorty
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700499 } else if (param == 0) {
500 return false; // this argument
Ian Rogersb033c752011-07-20 12:22:35 -0700501 }
502 return (shorty_[param] == 'J') || (shorty_[param] == 'D');
503}
504
Ian Rogersdf20fe02011-07-20 20:34:16 -0700505static size_t ShortyCharToSize(char x) {
506 switch (x) {
Ian Rogers45a76cb2011-07-21 22:00:15 -0700507 case 'V': return 0;
Ian Rogersb033c752011-07-20 12:22:35 -0700508 case '[': return kPointerSize;
509 case 'L': return kPointerSize;
510 case 'D': return 8;
511 case 'J': return 8;
512 default: return 4;
513 }
514}
515
Ian Rogersdf20fe02011-07-20 20:34:16 -0700516size_t Method::ParamSize(unsigned int param) const {
517 CHECK_LT(param, NumArgs());
518 if (IsStatic()) {
519 param++; // 0th argument must skip return value at start of the shorty
520 } else if (param == 0) {
521 return kPointerSize; // this argument
522 }
523 return ShortyCharToSize(shorty_[param]);
524}
525
526size_t Method::ReturnSize() const {
527 return ShortyCharToSize(shorty_[0]);
528}
529
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700530bool Method::HasSameNameAndDescriptor(const Method* that) const {
531 return (this->GetName()->Equals(that->GetName()) &&
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700532 this->GetSignature()->Equals(that->GetSignature()));
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700533}
534
Brian Carlstrom30b94452011-08-25 21:35:26 -0700535Method* Class::FindVirtualMethodForInterface(Method* method) {
536 Class* declaring_class = method->GetDeclaringClass();
537 DCHECK(declaring_class->IsInterface());
538 // TODO cache to improve lookup speed
539 for (size_t i = 0; i < iftable_count_; i++) {
540 InterfaceEntry& interface_entry = iftable_[i];
541 if (interface_entry.GetInterface() == declaring_class) {
542 return vtable_->Get(interface_entry.method_index_array_[method->method_index_]);
543 }
544 }
545 UNIMPLEMENTED(FATAL) << "Need to throw an error of some kind";
546 return NULL;
547}
548
Carl Shapiro419ec7b2011-08-03 14:48:33 -0700549Method* Class::FindDeclaredDirectMethod(const StringPiece& name,
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700550 const StringPiece& signature) {
Carl Shapiro419ec7b2011-08-03 14:48:33 -0700551 for (size_t i = 0; i < NumDirectMethods(); ++i) {
Ian Rogersb033c752011-07-20 12:22:35 -0700552 Method* method = GetDirectMethod(i);
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700553 if (method->GetName()->Equals(name) &&
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700554 method->GetSignature()->Equals(signature)) {
Carl Shapiro419ec7b2011-08-03 14:48:33 -0700555 return method;
Ian Rogersb033c752011-07-20 12:22:35 -0700556 }
557 }
Carl Shapiro419ec7b2011-08-03 14:48:33 -0700558 return NULL;
Ian Rogersb033c752011-07-20 12:22:35 -0700559}
560
Carl Shapiro419ec7b2011-08-03 14:48:33 -0700561Method* Class::FindDirectMethod(const StringPiece& name,
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700562 const StringPiece& signature) {
Carl Shapiro419ec7b2011-08-03 14:48:33 -0700563 for (Class* klass = this; klass != NULL; klass = klass->GetSuperClass()) {
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700564 Method* method = klass->FindDeclaredDirectMethod(name, signature);
Carl Shapiro419ec7b2011-08-03 14:48:33 -0700565 if (method != NULL) {
566 return method;
567 }
568 }
569 return NULL;
570}
571
572Method* Class::FindDeclaredVirtualMethod(const StringPiece& name,
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700573 const StringPiece& signature) {
Carl Shapiro419ec7b2011-08-03 14:48:33 -0700574 for (size_t i = 0; i < NumVirtualMethods(); ++i) {
Ian Rogersb033c752011-07-20 12:22:35 -0700575 Method* method = GetVirtualMethod(i);
Carl Shapiro8860c0e2011-08-04 17:36:16 -0700576 if (method->GetName()->Equals(name) &&
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700577 method->GetSignature()->Equals(signature)) {
Carl Shapiro419ec7b2011-08-03 14:48:33 -0700578 return method;
Ian Rogersb033c752011-07-20 12:22:35 -0700579 }
580 }
Carl Shapiro419ec7b2011-08-03 14:48:33 -0700581 return NULL;
Ian Rogersb033c752011-07-20 12:22:35 -0700582}
583
Carl Shapiro419ec7b2011-08-03 14:48:33 -0700584Method* Class::FindVirtualMethod(const StringPiece& name,
585 const StringPiece& descriptor) {
586 for (Class* klass = this; klass != NULL; klass = klass->GetSuperClass()) {
587 Method* method = klass->FindDeclaredVirtualMethod(name, descriptor);
588 if (method != NULL) {
589 return method;
590 }
591 }
592 return NULL;
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700593}
594
Elliott Hughescdf53122011-08-19 15:46:09 -0700595Field* Class::FindDeclaredInstanceField(const StringPiece& name, const StringPiece& descriptor) {
596 // Is the field in this class?
597 // Interfaces are not relevant because they can't contain instance fields.
598 for (size_t i = 0; i < NumInstanceFields(); ++i) {
599 Field* f = GetInstanceField(i);
600 if (f->GetName()->Equals(name) && f->GetDescriptor() == descriptor) {
601 return f;
602 }
603 }
604 return NULL;
605}
606
607Field* Class::FindInstanceField(const StringPiece& name, const StringPiece& descriptor) {
608 // Is the field in this class, or any of its superclasses?
609 // Interfaces are not relevant because they can't contain instance fields.
610 for (Class* c = this; c != NULL; c = c->GetSuperClass()) {
611 Field* f = c->FindDeclaredInstanceField(name, descriptor);
612 if (f != NULL) {
613 return f;
614 }
615 }
616 return NULL;
617}
618
619Field* Class::FindDeclaredStaticField(const StringPiece& name, const StringPiece& descriptor) {
620 for (size_t i = 0; i < NumStaticFields(); ++i) {
621 Field* f = GetStaticField(i);
622 if (f->GetName()->Equals(name) && f->GetDescriptor() == descriptor) {
623 return f;
624 }
625 }
626 return NULL;
627}
628
629Field* Class::FindStaticField(const StringPiece& name, const StringPiece& descriptor) {
630 // Is the field in this class (or its interfaces), or any of its
631 // superclasses (or their interfaces)?
632 for (Class* c = this; c != NULL; c = c->GetSuperClass()) {
633 // Is the field in this class?
634 Field* f = c->FindDeclaredStaticField(name, descriptor);
635 if (f != NULL) {
636 return f;
637 }
638
639 // Is this field in any of this class' interfaces?
640 for (size_t i = 0; i < c->NumInterfaces(); ++i) {
641 Class* interface = c->GetInterface(i);
642 f = interface->FindDeclaredStaticField(name, descriptor);
643 if (f != NULL) {
644 return f;
645 }
646 }
647 }
648 return NULL;
649}
650
Elliott Hughesd8ddfd52011-08-15 14:32:53 -0700651template<typename T>
652PrimitiveArray<T>* PrimitiveArray<T>::Alloc(size_t length) {
Elliott Hughesc1674ed2011-08-25 18:09:09 -0700653 DCHECK(array_class_ != NULL);
Elliott Hughesd8ddfd52011-08-15 14:32:53 -0700654 Array* raw_array = Array::Alloc(array_class_, length, sizeof(T));
655 return down_cast<PrimitiveArray<T>*>(raw_array);
656}
657
658template <typename T> Class* PrimitiveArray<T>::array_class_ = NULL;
659
660// Explicitly instantiate all the primitive array types.
661template class PrimitiveArray<uint8_t>; // BooleanArray
662template class PrimitiveArray<int8_t>; // ByteArray
663template class PrimitiveArray<uint16_t>; // CharArray
664template class PrimitiveArray<double>; // DoubleArray
665template class PrimitiveArray<float>; // FloatArray
666template class PrimitiveArray<int32_t>; // IntArray
667template class PrimitiveArray<int64_t>; // LongArray
668template class PrimitiveArray<int16_t>; // ShortArray
669
Jesse Wilsonf7e85a52011-08-01 18:45:58 -0700670// TODO: get global references for these
671Class* String::java_lang_String_ = NULL;
Jesse Wilsonf7e85a52011-08-01 18:45:58 -0700672
Brian Carlstroma663ea52011-08-19 23:33:41 -0700673void String::SetClass(Class* java_lang_String) {
674 CHECK(java_lang_String_ == NULL);
675 CHECK(java_lang_String != NULL);
Jesse Wilsonf7e85a52011-08-01 18:45:58 -0700676 java_lang_String_ = java_lang_String;
Jesse Wilsonf7e85a52011-08-01 18:45:58 -0700677}
Brian Carlstroma663ea52011-08-19 23:33:41 -0700678void String::ResetClass() {
679 CHECK(java_lang_String_ != NULL);
680 java_lang_String_ = NULL;
681}
Jesse Wilsonf7e85a52011-08-01 18:45:58 -0700682
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700683Class* StackTraceElement::java_lang_StackTraceElement_ = NULL;
684
685void StackTraceElement::SetClass(Class* java_lang_StackTraceElement) {
686 CHECK(java_lang_StackTraceElement_ == NULL);
687 CHECK(java_lang_StackTraceElement != NULL);
688 java_lang_StackTraceElement_ = java_lang_StackTraceElement;
689}
690
691void StackTraceElement::ResetClass() {
692 CHECK(java_lang_StackTraceElement_ != NULL);
693 java_lang_StackTraceElement_ = NULL;
694}
695
Elliott Hughes1f359b02011-07-17 14:27:17 -0700696static const char* kClassStatusNames[] = {
697 "Error",
698 "NotReady",
699 "Idx",
700 "Loaded",
701 "Resolved",
702 "Verifying",
703 "Verified",
704 "Initializing",
705 "Initialized"
706};
707std::ostream& operator<<(std::ostream& os, const Class::Status& rhs) {
708 if (rhs >= Class::kStatusError && rhs <= Class::kStatusInitialized) {
Brian Carlstromae3ac012011-07-27 01:30:28 -0700709 os << kClassStatusNames[rhs + 1];
Elliott Hughes1f359b02011-07-17 14:27:17 -0700710 } else {
Ian Rogersb033c752011-07-20 12:22:35 -0700711 os << "Class::Status[" << static_cast<int>(rhs) << "]";
Elliott Hughes1f359b02011-07-17 14:27:17 -0700712 }
713 return os;
714}
Carl Shapiro0e5d75d2011-07-06 18:28:37 -0700715
Carl Shapiro3ee755d2011-06-28 12:11:04 -0700716} // namespace art