blob: 7f39e70b8e966062e1e24456cbd497c8395c13c4 [file] [log] [blame]
Elliott Hughes418d20f2011-09-22 14:00:39 -07001/*
2 * Copyright (C) 2011 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17#include "reflection.h"
18
19#include "class_linker.h"
Ian Rogers62d6c772013-02-27 08:32:07 -080020#include "common_throws.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070021#include "dex_file-inl.h"
Elliott Hughes418d20f2011-09-22 14:00:39 -070022#include "jni_internal.h"
Brian Carlstromea46f952013-07-30 01:26:50 -070023#include "mirror/art_field-inl.h"
24#include "mirror/art_method-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080025#include "mirror/class.h"
26#include "mirror/class-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080027#include "mirror/object_array.h"
28#include "mirror/object_array-inl.h"
Ian Rogers6d4d9fc2011-11-30 16:24:48 -080029#include "object_utils.h"
Ian Rogers00f7d0e2012-07-19 15:28:27 -070030#include "scoped_thread_state_change.h"
Ian Rogers53b8b092014-03-13 23:45:53 -070031#include "stack.h"
Ian Rogers00f7d0e2012-07-19 15:28:27 -070032#include "well_known_classes.h"
Elliott Hughes418d20f2011-09-22 14:00:39 -070033
Elliott Hughes418d20f2011-09-22 14:00:39 -070034namespace art {
35
Ian Rogers53b8b092014-03-13 23:45:53 -070036class ArgArray {
37 public:
38 explicit ArgArray(const char* shorty, uint32_t shorty_len)
39 : shorty_(shorty), shorty_len_(shorty_len), num_bytes_(0) {
40 size_t num_slots = shorty_len + 1; // +1 in case of receiver.
41 if (LIKELY((num_slots * 2) < kSmallArgArraySize)) {
42 // We can trivially use the small arg array.
43 arg_array_ = small_arg_array_;
44 } else {
45 // Analyze shorty to see if we need the large arg array.
46 for (size_t i = 1; i < shorty_len; ++i) {
47 char c = shorty[i];
48 if (c == 'J' || c == 'D') {
49 num_slots++;
50 }
51 }
52 if (num_slots <= kSmallArgArraySize) {
53 arg_array_ = small_arg_array_;
54 } else {
55 large_arg_array_.reset(new uint32_t[num_slots]);
56 arg_array_ = large_arg_array_.get();
57 }
58 }
59 }
60
61 uint32_t* GetArray() {
62 return arg_array_;
63 }
64
65 uint32_t GetNumBytes() {
66 return num_bytes_;
67 }
68
69 void Append(uint32_t value) {
70 arg_array_[num_bytes_ / 4] = value;
71 num_bytes_ += 4;
72 }
73
74 void Append(mirror::Object* obj) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
75 Append(StackReference<mirror::Object>::FromMirrorPtr(obj).AsVRegValue());
76 }
77
78 void AppendWide(uint64_t value) {
79 // For ARM and MIPS portable, align wide values to 8 bytes (ArgArray starts at offset of 4).
80#if defined(ART_USE_PORTABLE_COMPILER) && (defined(__arm__) || defined(__mips__))
81 if (num_bytes_ % 8 == 0) {
82 num_bytes_ += 4;
83 }
84#endif
85 arg_array_[num_bytes_ / 4] = value;
86 arg_array_[(num_bytes_ / 4) + 1] = value >> 32;
87 num_bytes_ += 8;
88 }
89
90 void AppendFloat(float value) {
91 jvalue jv;
92 jv.f = value;
93 Append(jv.i);
94 }
95
96 void AppendDouble(double value) {
97 jvalue jv;
98 jv.d = value;
99 AppendWide(jv.j);
100 }
101
Ian Rogerse18fdd22014-03-14 13:29:43 -0700102 void BuildArgArrayFromVarArgs(const ScopedObjectAccess& soa, mirror::Object* receiver, va_list ap)
Ian Rogers53b8b092014-03-13 23:45:53 -0700103 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
104 // Set receiver if non-null (method is not static)
105 if (receiver != nullptr) {
106 Append(receiver);
107 }
108 for (size_t i = 1; i < shorty_len_; ++i) {
109 switch (shorty_[i]) {
110 case 'Z':
111 case 'B':
112 case 'C':
113 case 'S':
114 case 'I':
115 Append(va_arg(ap, jint));
116 break;
117 case 'F':
118 AppendFloat(va_arg(ap, jdouble));
119 break;
120 case 'L':
121 Append(soa.Decode<mirror::Object*>(va_arg(ap, jobject)));
122 break;
123 case 'D':
124 AppendDouble(va_arg(ap, jdouble));
125 break;
126 case 'J':
127 AppendWide(va_arg(ap, jlong));
128 break;
129#ifndef NDEBUG
130 default:
131 LOG(FATAL) << "Unexpected shorty character: " << shorty_[i];
132#endif
133 }
134 }
135 }
136
Ian Rogerse18fdd22014-03-14 13:29:43 -0700137 void BuildArgArrayFromJValues(const ScopedObjectAccessUnchecked& soa, mirror::Object* receiver,
138 jvalue* args)
Ian Rogers53b8b092014-03-13 23:45:53 -0700139 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
140 // Set receiver if non-null (method is not static)
141 if (receiver != nullptr) {
142 Append(receiver);
143 }
144 for (size_t i = 1, args_offset = 0; i < shorty_len_; ++i, ++args_offset) {
145 switch (shorty_[i]) {
146 case 'Z':
147 Append(args[args_offset].z);
148 break;
149 case 'B':
150 Append(args[args_offset].b);
151 break;
152 case 'C':
153 Append(args[args_offset].c);
154 break;
155 case 'S':
156 Append(args[args_offset].s);
157 break;
158 case 'I':
159 case 'F':
160 Append(args[args_offset].i);
161 break;
162 case 'L':
163 Append(soa.Decode<mirror::Object*>(args[args_offset].l));
164 break;
165 case 'D':
166 case 'J':
167 AppendWide(args[args_offset].j);
168 break;
169#ifndef NDEBUG
170 default:
171 LOG(FATAL) << "Unexpected shorty character: " << shorty_[i];
172#endif
173 }
174 }
175 }
176
177 void BuildArgArrayFromFrame(ShadowFrame* shadow_frame, uint32_t arg_offset)
178 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
179 // Set receiver if non-null (method is not static)
180 size_t cur_arg = arg_offset;
181 if (!shadow_frame->GetMethod()->IsStatic()) {
182 Append(shadow_frame->GetVReg(cur_arg));
183 cur_arg++;
184 }
185 for (size_t i = 1; i < shorty_len_; ++i) {
186 switch (shorty_[i]) {
187 case 'Z':
188 case 'B':
189 case 'C':
190 case 'S':
191 case 'I':
192 case 'F':
193 case 'L':
194 Append(shadow_frame->GetVReg(cur_arg));
195 cur_arg++;
196 break;
197 case 'D':
198 case 'J':
199 AppendWide(shadow_frame->GetVRegLong(cur_arg));
200 cur_arg++;
201 cur_arg++;
202 break;
203#ifndef NDEBUG
204 default:
205 LOG(FATAL) << "Unexpected shorty character: " << shorty_[i];
206#endif
207 }
208 }
209 }
210
211 static void ThrowIllegalPrimitiveArgumentException(const char* expected,
212 const StringPiece& found_descriptor)
213 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
214 ThrowIllegalArgumentException(nullptr,
215 StringPrintf("Invalid primitive conversion from %s to %s", expected,
216 PrettyDescriptor(found_descriptor.as_string()).c_str()).c_str());
217 }
218
Ian Rogerse18fdd22014-03-14 13:29:43 -0700219 bool BuildArgArrayFromObjectArray(const ScopedObjectAccess& soa, mirror::Object* receiver,
220 mirror::ObjectArray<mirror::Object>* args, MethodHelper& mh)
Ian Rogers53b8b092014-03-13 23:45:53 -0700221 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
222 const DexFile::TypeList* classes = mh.GetParameterTypeList();
223 // Set receiver if non-null (method is not static)
224 if (receiver != nullptr) {
225 Append(receiver);
226 }
227 for (size_t i = 1, args_offset = 0; i < shorty_len_; ++i, ++args_offset) {
228 mirror::Object* arg = args->Get(args_offset);
229 if (((shorty_[i] == 'L') && (arg != nullptr)) || ((arg == nullptr && shorty_[i] != 'L'))) {
230 mirror::Class* dst_class =
231 mh.GetClassFromTypeIdx(classes->GetTypeItem(args_offset).type_idx_);
232 if (UNLIKELY(arg == nullptr || !arg->InstanceOf(dst_class))) {
233 ThrowIllegalArgumentException(nullptr,
Ian Rogers11e4c032014-03-14 12:00:39 -0700234 StringPrintf("method %s argument %zd has type %s, got %s",
Ian Rogers53b8b092014-03-13 23:45:53 -0700235 PrettyMethod(mh.GetMethod(), false).c_str(),
236 args_offset + 1, // Humans don't count from 0.
237 PrettyDescriptor(dst_class).c_str(),
238 PrettyTypeOf(arg).c_str()).c_str());
239 return false;
240 }
241 }
242
243#define DO_FIRST_ARG(match_descriptor, get_fn, append) { \
244 const StringPiece src_descriptor(arg != nullptr \
245 ? ClassHelper(arg->GetClass<>()).GetDescriptor() \
246 : "null"); \
247 if (LIKELY(src_descriptor == match_descriptor)) { \
248 mirror::ArtField* primitive_field = arg->GetClass()->GetIFields()->Get(0); \
249 append(primitive_field-> get_fn(arg));
250
251#define DO_ARG(match_descriptor, get_fn, append) \
252 } else if (LIKELY(src_descriptor == match_descriptor)) { \
253 mirror::ArtField* primitive_field = arg->GetClass()->GetIFields()->Get(0); \
254 append(primitive_field-> get_fn(arg));
255
256#define DO_FAIL(expected) \
257 } else { \
258 if (arg->GetClass<>()->IsPrimitive()) { \
259 ThrowIllegalPrimitiveArgumentException(expected, src_descriptor); \
260 } else { \
261 ThrowIllegalArgumentException(nullptr, \
Ian Rogers11e4c032014-03-14 12:00:39 -0700262 StringPrintf("method %s argument %zd has type %s, got %s", \
Ian Rogers53b8b092014-03-13 23:45:53 -0700263 PrettyMethod(mh.GetMethod(), false).c_str(), \
264 args_offset + 1, \
265 expected, \
266 PrettyTypeOf(arg).c_str()).c_str()); \
267 } \
268 return false; \
269 } }
270
271 switch (shorty_[i]) {
272 case 'L':
273 Append(arg);
274 break;
275 case 'Z':
276 DO_FIRST_ARG("Ljava/lang/Boolean;", GetBoolean, Append)
277 DO_FAIL("boolean")
278 break;
279 case 'B':
280 DO_FIRST_ARG("Ljava/lang/Byte;", GetByte, Append)
281 DO_FAIL("byte")
282 break;
283 case 'C':
284 DO_FIRST_ARG("Ljava/lang/Character;", GetChar, Append)
285 DO_FAIL("char")
286 break;
287 case 'S':
288 DO_FIRST_ARG("Ljava/lang/Short;", GetShort, Append)
289 DO_ARG("Ljava/lang/Byte;", GetByte, Append)
290 DO_FAIL("short")
291 break;
292 case 'I':
293 DO_FIRST_ARG("Ljava/lang/Integer;", GetInt, Append)
294 DO_ARG("Ljava/lang/Character;", GetChar, Append)
295 DO_ARG("Ljava/lang/Short;", GetShort, Append)
296 DO_ARG("Ljava/lang/Byte;", GetByte, Append)
297 DO_FAIL("int")
298 break;
299 case 'J':
300 DO_FIRST_ARG("Ljava/lang/Long;", GetLong, AppendWide)
301 DO_ARG("Ljava/lang/Integer;", GetInt, AppendWide)
302 DO_ARG("Ljava/lang/Character;", GetChar, AppendWide)
303 DO_ARG("Ljava/lang/Short;", GetShort, AppendWide)
304 DO_ARG("Ljava/lang/Byte;", GetByte, AppendWide)
305 DO_FAIL("long")
306 break;
307 case 'F':
308 DO_FIRST_ARG("Ljava/lang/Float;", GetFloat, AppendFloat)
309 DO_ARG("Ljava/lang/Long;", GetLong, AppendFloat)
310 DO_ARG("Ljava/lang/Integer;", GetInt, AppendFloat)
311 DO_ARG("Ljava/lang/Character;", GetChar, AppendFloat)
312 DO_ARG("Ljava/lang/Short;", GetShort, AppendFloat)
313 DO_ARG("Ljava/lang/Byte;", GetByte, AppendFloat)
314 DO_FAIL("float")
315 break;
316 case 'D':
317 DO_FIRST_ARG("Ljava/lang/Double;", GetDouble, AppendDouble)
318 DO_ARG("Ljava/lang/Float;", GetFloat, AppendDouble)
319 DO_ARG("Ljava/lang/Long;", GetLong, AppendDouble)
320 DO_ARG("Ljava/lang/Integer;", GetInt, AppendDouble)
321 DO_ARG("Ljava/lang/Character;", GetChar, AppendDouble)
322 DO_ARG("Ljava/lang/Short;", GetShort, AppendDouble)
323 DO_ARG("Ljava/lang/Byte;", GetByte, AppendDouble)
324 DO_FAIL("double")
325 break;
326#ifndef NDEBUG
327 default:
328 LOG(FATAL) << "Unexpected shorty character: " << shorty_[i];
329#endif
330 }
331#undef DO_FIRST_ARG
332#undef DO_ARG
333#undef DO_FAIL
334 }
335 return true;
336 }
337
338 private:
339 enum { kSmallArgArraySize = 16 };
340 const char* const shorty_;
341 const uint32_t shorty_len_;
342 uint32_t num_bytes_;
343 uint32_t* arg_array_;
344 uint32_t small_arg_array_[kSmallArgArraySize];
345 UniquePtr<uint32_t[]> large_arg_array_;
346};
347
348static void CheckMethodArguments(mirror::ArtMethod* m, uint32_t* args)
349 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
350 const DexFile::TypeList* params = MethodHelper(m).GetParameterTypeList();
351 if (params == nullptr) {
352 return; // No arguments so nothing to check.
353 }
354 uint32_t offset = 0;
355 uint32_t num_params = params->Size();
356 size_t error_count = 0;
357 if (!m->IsStatic()) {
358 offset = 1;
359 }
360 for (uint32_t i = 0; i < num_params; i++) {
361 uint16_t type_idx = params->GetTypeItem(i).type_idx_;
362 mirror::Class* param_type = MethodHelper(m).GetClassFromTypeIdx(type_idx);
363 if (param_type == nullptr) {
364 Thread* self = Thread::Current();
365 CHECK(self->IsExceptionPending());
366 LOG(ERROR) << "Internal error: unresolvable type for argument type in JNI invoke: "
367 << MethodHelper(m).GetTypeDescriptorFromTypeIdx(type_idx) << "\n"
368 << self->GetException(nullptr)->Dump();
369 self->ClearException();
370 ++error_count;
371 } else if (!param_type->IsPrimitive()) {
372 // TODO: check primitives are in range.
373 mirror::Object* argument = reinterpret_cast<mirror::Object*>(args[i + offset]);
374 if (argument != nullptr && !argument->InstanceOf(param_type)) {
375 LOG(ERROR) << "JNI ERROR (app bug): attempt to pass an instance of "
376 << PrettyTypeOf(argument) << " as argument " << (i + 1)
377 << " to " << PrettyMethod(m);
378 ++error_count;
379 }
380 } else if (param_type->IsPrimitiveLong() || param_type->IsPrimitiveDouble()) {
381 offset++;
382 }
383 }
384 if (error_count > 0) {
385 // TODO: pass the JNI function name (such as "CallVoidMethodV") through so we can call JniAbort
386 // with an argument.
387 JniAbortF(nullptr, "bad arguments passed to %s (see above for details)",
388 PrettyMethod(m).c_str());
389 }
390}
391
392static mirror::ArtMethod* FindVirtualMethod(mirror::Object* receiver,
393 mirror::ArtMethod* method)
394 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
395 return receiver->GetClass()->FindVirtualMethodForVirtualOrInterface(method);
396}
397
398
399static void InvokeWithArgArray(const ScopedObjectAccessUnchecked& soa, mirror::ArtMethod* method,
400 ArgArray* arg_array, JValue* result, const char* shorty)
401 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
402 uint32_t* args = arg_array->GetArray();
403 if (UNLIKELY(soa.Env()->check_jni)) {
404 CheckMethodArguments(method, args);
405 }
406 method->Invoke(soa.Self(), args, arg_array->GetNumBytes(), result, shorty);
407}
408
409JValue InvokeWithVarArgs(const ScopedObjectAccess& soa, jobject obj, jmethodID mid, va_list args)
410 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
411 mirror::ArtMethod* method = soa.DecodeMethod(mid);
412 mirror::Object* receiver = method->IsStatic() ? nullptr : soa.Decode<mirror::Object*>(obj);
413 MethodHelper mh(method);
414 JValue result;
415 ArgArray arg_array(mh.GetShorty(), mh.GetShortyLength());
Ian Rogerse18fdd22014-03-14 13:29:43 -0700416 arg_array.BuildArgArrayFromVarArgs(soa, receiver, args);
Ian Rogers53b8b092014-03-13 23:45:53 -0700417 InvokeWithArgArray(soa, method, &arg_array, &result, mh.GetShorty());
418 return result;
419}
420
421JValue InvokeWithJValues(const ScopedObjectAccessUnchecked& soa, mirror::Object* receiver,
422 jmethodID mid, jvalue* args) {
423 mirror::ArtMethod* method = soa.DecodeMethod(mid);
424 MethodHelper mh(method);
425 JValue result;
426 ArgArray arg_array(mh.GetShorty(), mh.GetShortyLength());
Ian Rogerse18fdd22014-03-14 13:29:43 -0700427 arg_array.BuildArgArrayFromJValues(soa, receiver, args);
Ian Rogers53b8b092014-03-13 23:45:53 -0700428 InvokeWithArgArray(soa, method, &arg_array, &result, mh.GetShorty());
429 return result;
430}
431
432JValue InvokeVirtualOrInterfaceWithJValues(const ScopedObjectAccess& soa,
433 mirror::Object* receiver, jmethodID mid, jvalue* args) {
434 mirror::ArtMethod* method = FindVirtualMethod(receiver, soa.DecodeMethod(mid));
435 MethodHelper mh(method);
436 JValue result;
437 ArgArray arg_array(mh.GetShorty(), mh.GetShortyLength());
Ian Rogerse18fdd22014-03-14 13:29:43 -0700438 arg_array.BuildArgArrayFromJValues(soa, receiver, args);
Ian Rogers53b8b092014-03-13 23:45:53 -0700439 InvokeWithArgArray(soa, method, &arg_array, &result, mh.GetShorty());
440 return result;
441}
442
443JValue InvokeVirtualOrInterfaceWithVarArgs(const ScopedObjectAccess& soa,
444 jobject obj, jmethodID mid, va_list args) {
445 mirror::Object* receiver = soa.Decode<mirror::Object*>(obj);
446 mirror::ArtMethod* method = FindVirtualMethod(receiver, soa.DecodeMethod(mid));
447 MethodHelper mh(method);
448 JValue result;
449 ArgArray arg_array(mh.GetShorty(), mh.GetShortyLength());
Ian Rogerse18fdd22014-03-14 13:29:43 -0700450 arg_array.BuildArgArrayFromVarArgs(soa, receiver, args);
Ian Rogers53b8b092014-03-13 23:45:53 -0700451 InvokeWithArgArray(soa, method, &arg_array, &result, mh.GetShorty());
452 return result;
453}
454
455void InvokeWithShadowFrame(Thread* self, ShadowFrame* shadow_frame, uint16_t arg_offset,
456 MethodHelper& mh, JValue* result) {
457 ArgArray arg_array(mh.GetShorty(), mh.GetShortyLength());
458 arg_array.BuildArgArrayFromFrame(shadow_frame, arg_offset);
459 shadow_frame->GetMethod()->Invoke(self, arg_array.GetArray(), arg_array.GetNumBytes(), result,
460 mh.GetShorty());
461}
462
463jobject InvokeMethod(const ScopedObjectAccess& soa, jobject javaMethod,
464 jobject javaReceiver, jobject javaArgs) {
Ian Rogers62f05122014-03-21 11:21:29 -0700465 mirror::ArtMethod* m = mirror::ArtMethod::FromReflectedMethod(soa, javaMethod);
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700466
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800467 mirror::Class* declaring_class = m->GetDeclaringClass();
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800468 if (UNLIKELY(!declaring_class->IsInitialized())) {
469 SirtRef<mirror::Class> sirt_c(soa.Self(), declaring_class);
470 if (!Runtime::Current()->GetClassLinker()->EnsureInitialized(sirt_c, true, true)) {
471 return nullptr;
472 }
473 declaring_class = sirt_c.get();
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700474 }
475
Ian Rogers53b8b092014-03-13 23:45:53 -0700476 mirror::Object* receiver = nullptr;
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700477 if (!m->IsStatic()) {
478 // Check that the receiver is non-null and an instance of the field's declaring class.
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800479 receiver = soa.Decode<mirror::Object*>(javaReceiver);
Ian Rogers53b8b092014-03-13 23:45:53 -0700480 if (!VerifyObjectIsClass(receiver, declaring_class)) {
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700481 return NULL;
482 }
483
484 // Find the actual implementation of the virtual method.
485 m = receiver->GetClass()->FindVirtualMethodForVirtualOrInterface(m);
486 }
487
488 // Get our arrays of arguments and their types, and check they're the same size.
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800489 mirror::ObjectArray<mirror::Object>* objects =
490 soa.Decode<mirror::ObjectArray<mirror::Object>*>(javaArgs);
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800491 MethodHelper mh(m);
492 const DexFile::TypeList* classes = mh.GetParameterTypeList();
Ian Rogers53b8b092014-03-13 23:45:53 -0700493 uint32_t classes_size = (classes == nullptr) ? 0 : classes->Size();
494 uint32_t arg_count = (objects != nullptr) ? objects->GetLength() : 0;
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800495 if (arg_count != classes_size) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800496 ThrowIllegalArgumentException(NULL,
497 StringPrintf("Wrong number of arguments; expected %d, got %d",
498 classes_size, arg_count).c_str());
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700499 return NULL;
500 }
501
Ian Rogers53b8b092014-03-13 23:45:53 -0700502 // Invoke the method.
503 JValue result;
504 ArgArray arg_array(mh.GetShorty(), mh.GetShortyLength());
Ian Rogerse18fdd22014-03-14 13:29:43 -0700505 if (!arg_array.BuildArgArrayFromObjectArray(soa, receiver, objects, mh)) {
Ian Rogers53b8b092014-03-13 23:45:53 -0700506 CHECK(soa.Self()->IsExceptionPending());
507 return nullptr;
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700508 }
509
Ian Rogers53b8b092014-03-13 23:45:53 -0700510 InvokeWithArgArray(soa, m, &arg_array, &result, mh.GetShorty());
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700511
512 // Wrap any exception with "Ljava/lang/reflect/InvocationTargetException;" and return early.
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700513 if (soa.Self()->IsExceptionPending()) {
514 jthrowable th = soa.Env()->ExceptionOccurred();
515 soa.Env()->ExceptionClear();
516 jclass exception_class = soa.Env()->FindClass("java/lang/reflect/InvocationTargetException");
517 jmethodID mid = soa.Env()->GetMethodID(exception_class, "<init>", "(Ljava/lang/Throwable;)V");
518 jobject exception_instance = soa.Env()->NewObject(exception_class, mid, th);
519 soa.Env()->Throw(reinterpret_cast<jthrowable>(exception_instance));
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700520 return NULL;
521 }
522
523 // Box if necessary and return.
Ian Rogers53b8b092014-03-13 23:45:53 -0700524 return soa.AddLocalReference<jobject>(BoxPrimitive(mh.GetReturnType()->GetPrimitiveType(),
525 result));
Elliott Hughes2a20cfd2011-09-23 19:30:41 -0700526}
527
Ian Rogers53b8b092014-03-13 23:45:53 -0700528bool VerifyObjectIsClass(mirror::Object* o, mirror::Class* c) {
Elliott Hughes418d20f2011-09-22 14:00:39 -0700529 if (o == NULL) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800530 ThrowNullPointerException(NULL, "null receiver");
531 return false;
Elliott Hughesb600b3f2012-03-14 13:57:24 -0700532 } else if (!o->InstanceOf(c)) {
Elliott Hughesb600b3f2012-03-14 13:57:24 -0700533 std::string expected_class_name(PrettyDescriptor(c));
534 std::string actual_class_name(PrettyTypeOf(o));
Ian Rogers62d6c772013-02-27 08:32:07 -0800535 ThrowIllegalArgumentException(NULL,
536 StringPrintf("Expected receiver of type %s, but got %s",
537 expected_class_name.c_str(),
538 actual_class_name.c_str()).c_str());
Elliott Hughes418d20f2011-09-22 14:00:39 -0700539 return false;
540 }
541 return true;
542}
543
Ian Rogers62d6c772013-02-27 08:32:07 -0800544bool ConvertPrimitiveValue(const ThrowLocation* throw_location, bool unbox_for_result,
545 Primitive::Type srcType, Primitive::Type dstType,
Ian Rogers84956ff2014-03-26 23:52:41 -0700546 const JValue& src, JValue* dst) {
547 DCHECK(srcType != Primitive::kPrimNot && dstType != Primitive::kPrimNot);
548 if (LIKELY(srcType == dstType)) {
549 dst->SetJ(src.GetJ());
550 return true;
551 }
Elliott Hughes418d20f2011-09-22 14:00:39 -0700552 switch (dstType) {
Ian Rogers84956ff2014-03-26 23:52:41 -0700553 case Primitive::kPrimBoolean: // Fall-through.
554 case Primitive::kPrimChar: // Fall-through.
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700555 case Primitive::kPrimByte:
Ian Rogers84956ff2014-03-26 23:52:41 -0700556 // Only expect assignment with source and destination of identical type.
Elliott Hughes418d20f2011-09-22 14:00:39 -0700557 break;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700558 case Primitive::kPrimShort:
Ian Rogers84956ff2014-03-26 23:52:41 -0700559 if (srcType == Primitive::kPrimByte) {
560 dst->SetS(src.GetI());
Elliott Hughes418d20f2011-09-22 14:00:39 -0700561 return true;
562 }
563 break;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700564 case Primitive::kPrimInt:
565 if (srcType == Primitive::kPrimByte || srcType == Primitive::kPrimChar ||
Ian Rogers84956ff2014-03-26 23:52:41 -0700566 srcType == Primitive::kPrimShort) {
567 dst->SetI(src.GetI());
Elliott Hughes418d20f2011-09-22 14:00:39 -0700568 return true;
569 }
570 break;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700571 case Primitive::kPrimLong:
572 if (srcType == Primitive::kPrimByte || srcType == Primitive::kPrimChar ||
573 srcType == Primitive::kPrimShort || srcType == Primitive::kPrimInt) {
Ian Rogers84956ff2014-03-26 23:52:41 -0700574 dst->SetJ(src.GetI());
Elliott Hughes418d20f2011-09-22 14:00:39 -0700575 return true;
576 }
577 break;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700578 case Primitive::kPrimFloat:
579 if (srcType == Primitive::kPrimByte || srcType == Primitive::kPrimChar ||
580 srcType == Primitive::kPrimShort || srcType == Primitive::kPrimInt) {
Ian Rogers84956ff2014-03-26 23:52:41 -0700581 dst->SetF(src.GetI());
Elliott Hughes418d20f2011-09-22 14:00:39 -0700582 return true;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700583 } else if (srcType == Primitive::kPrimLong) {
Ian Rogers84956ff2014-03-26 23:52:41 -0700584 dst->SetF(src.GetJ());
Elliott Hughes418d20f2011-09-22 14:00:39 -0700585 return true;
586 }
587 break;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700588 case Primitive::kPrimDouble:
589 if (srcType == Primitive::kPrimByte || srcType == Primitive::kPrimChar ||
590 srcType == Primitive::kPrimShort || srcType == Primitive::kPrimInt) {
Ian Rogers84956ff2014-03-26 23:52:41 -0700591 dst->SetD(src.GetI());
Elliott Hughes418d20f2011-09-22 14:00:39 -0700592 return true;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700593 } else if (srcType == Primitive::kPrimLong) {
Ian Rogers84956ff2014-03-26 23:52:41 -0700594 dst->SetD(src.GetJ());
Elliott Hughes418d20f2011-09-22 14:00:39 -0700595 return true;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700596 } else if (srcType == Primitive::kPrimFloat) {
Ian Rogers84956ff2014-03-26 23:52:41 -0700597 dst->SetD(src.GetF());
Elliott Hughes418d20f2011-09-22 14:00:39 -0700598 return true;
599 }
600 break;
601 default:
602 break;
603 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800604 if (!unbox_for_result) {
605 ThrowIllegalArgumentException(throw_location,
606 StringPrintf("Invalid primitive conversion from %s to %s",
607 PrettyDescriptor(srcType).c_str(),
608 PrettyDescriptor(dstType).c_str()).c_str());
609 } else {
610 ThrowClassCastException(throw_location,
611 StringPrintf("Couldn't convert result of type %s to %s",
612 PrettyDescriptor(srcType).c_str(),
Brian Carlstromdf629502013-07-17 22:39:56 -0700613 PrettyDescriptor(dstType).c_str()).c_str());
Ian Rogers62d6c772013-02-27 08:32:07 -0800614 }
Elliott Hughes418d20f2011-09-22 14:00:39 -0700615 return false;
616}
617
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800618mirror::Object* BoxPrimitive(Primitive::Type src_class, const JValue& value) {
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700619 if (src_class == Primitive::kPrimNot) {
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800620 return value.GetL();
Elliott Hughes418d20f2011-09-22 14:00:39 -0700621 }
Ian Rogers53b8b092014-03-13 23:45:53 -0700622 if (src_class == Primitive::kPrimVoid) {
623 // There's no such thing as a void field, and void methods invoked via reflection return null.
624 return nullptr;
625 }
Elliott Hughes418d20f2011-09-22 14:00:39 -0700626
Ian Rogers84956ff2014-03-26 23:52:41 -0700627 jmethodID m = nullptr;
Ian Rogers0177e532014-02-11 16:30:46 -0800628 const char* shorty;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700629 switch (src_class) {
630 case Primitive::kPrimBoolean:
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700631 m = WellKnownClasses::java_lang_Boolean_valueOf;
Ian Rogers0177e532014-02-11 16:30:46 -0800632 shorty = "LZ";
Elliott Hughes418d20f2011-09-22 14:00:39 -0700633 break;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700634 case Primitive::kPrimByte:
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700635 m = WellKnownClasses::java_lang_Byte_valueOf;
Ian Rogers0177e532014-02-11 16:30:46 -0800636 shorty = "LB";
Elliott Hughes418d20f2011-09-22 14:00:39 -0700637 break;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700638 case Primitive::kPrimChar:
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700639 m = WellKnownClasses::java_lang_Character_valueOf;
Ian Rogers0177e532014-02-11 16:30:46 -0800640 shorty = "LC";
Elliott Hughes418d20f2011-09-22 14:00:39 -0700641 break;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700642 case Primitive::kPrimDouble:
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700643 m = WellKnownClasses::java_lang_Double_valueOf;
Ian Rogers0177e532014-02-11 16:30:46 -0800644 shorty = "LD";
Elliott Hughes418d20f2011-09-22 14:00:39 -0700645 break;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700646 case Primitive::kPrimFloat:
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700647 m = WellKnownClasses::java_lang_Float_valueOf;
Ian Rogers0177e532014-02-11 16:30:46 -0800648 shorty = "LF";
Elliott Hughes418d20f2011-09-22 14:00:39 -0700649 break;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700650 case Primitive::kPrimInt:
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700651 m = WellKnownClasses::java_lang_Integer_valueOf;
Ian Rogers0177e532014-02-11 16:30:46 -0800652 shorty = "LI";
Elliott Hughes418d20f2011-09-22 14:00:39 -0700653 break;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700654 case Primitive::kPrimLong:
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700655 m = WellKnownClasses::java_lang_Long_valueOf;
Ian Rogers0177e532014-02-11 16:30:46 -0800656 shorty = "LJ";
Elliott Hughes418d20f2011-09-22 14:00:39 -0700657 break;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700658 case Primitive::kPrimShort:
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700659 m = WellKnownClasses::java_lang_Short_valueOf;
Ian Rogers0177e532014-02-11 16:30:46 -0800660 shorty = "LS";
Elliott Hughes418d20f2011-09-22 14:00:39 -0700661 break;
Elliott Hughes418d20f2011-09-22 14:00:39 -0700662 default:
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700663 LOG(FATAL) << static_cast<int>(src_class);
Ian Rogers0177e532014-02-11 16:30:46 -0800664 shorty = nullptr;
Elliott Hughes418d20f2011-09-22 14:00:39 -0700665 }
666
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700667 ScopedObjectAccessUnchecked soa(Thread::Current());
Ian Rogers53b8b092014-03-13 23:45:53 -0700668 DCHECK_EQ(soa.Self()->GetState(), kRunnable);
Jeff Hao5d917302013-02-27 17:57:33 -0800669
Ian Rogers53b8b092014-03-13 23:45:53 -0700670 ArgArray arg_array(shorty, 2);
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800671 JValue result;
Jeff Hao5d917302013-02-27 17:57:33 -0800672 if (src_class == Primitive::kPrimDouble || src_class == Primitive::kPrimLong) {
673 arg_array.AppendWide(value.GetJ());
674 } else {
675 arg_array.Append(value.GetI());
676 }
677
678 soa.DecodeMethod(m)->Invoke(soa.Self(), arg_array.GetArray(), arg_array.GetNumBytes(),
Ian Rogers0177e532014-02-11 16:30:46 -0800679 &result, shorty);
Ian Rogersaf6e67a2013-01-16 08:38:37 -0800680 return result.GetL();
Elliott Hughes418d20f2011-09-22 14:00:39 -0700681}
682
Ian Rogers84956ff2014-03-26 23:52:41 -0700683static std::string UnboxingFailureKind(mirror::ArtField* f)
Ian Rogersb726dcb2012-09-05 08:57:23 -0700684 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Ian Rogers84956ff2014-03-26 23:52:41 -0700685 if (f != nullptr) {
Elliott Hughesaaa5edc2012-05-16 15:54:30 -0700686 return "field " + PrettyField(f, false);
687 }
688 return "result";
689}
690
Ian Rogers62d6c772013-02-27 08:32:07 -0800691static bool UnboxPrimitive(const ThrowLocation* throw_location, mirror::Object* o,
Ian Rogers84956ff2014-03-26 23:52:41 -0700692 mirror::Class* dst_class, mirror::ArtField* f,
693 JValue* unboxed_value)
Ian Rogersb726dcb2012-09-05 08:57:23 -0700694 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Ian Rogers84956ff2014-03-26 23:52:41 -0700695 bool unbox_for_result = (f == nullptr);
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700696 if (!dst_class->IsPrimitive()) {
Ian Rogers84956ff2014-03-26 23:52:41 -0700697 if (UNLIKELY(o != nullptr && !o->InstanceOf(dst_class))) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800698 if (!unbox_for_result) {
699 ThrowIllegalArgumentException(throw_location,
700 StringPrintf("%s has type %s, got %s",
Ian Rogers84956ff2014-03-26 23:52:41 -0700701 UnboxingFailureKind(f).c_str(),
Ian Rogers62d6c772013-02-27 08:32:07 -0800702 PrettyDescriptor(dst_class).c_str(),
703 PrettyTypeOf(o).c_str()).c_str());
704 } else {
705 ThrowClassCastException(throw_location,
706 StringPrintf("Couldn't convert result of type %s to %s",
707 PrettyTypeOf(o).c_str(),
Brian Carlstromdf629502013-07-17 22:39:56 -0700708 PrettyDescriptor(dst_class).c_str()).c_str());
Ian Rogers62d6c772013-02-27 08:32:07 -0800709 }
Elliott Hughes418d20f2011-09-22 14:00:39 -0700710 return false;
711 }
Ian Rogers84956ff2014-03-26 23:52:41 -0700712 unboxed_value->SetL(o);
Elliott Hughes418d20f2011-09-22 14:00:39 -0700713 return true;
Ian Rogers62d6c772013-02-27 08:32:07 -0800714 }
715 if (UNLIKELY(dst_class->GetPrimitiveType() == Primitive::kPrimVoid)) {
716 ThrowIllegalArgumentException(throw_location,
717 StringPrintf("Can't unbox %s to void",
Ian Rogers84956ff2014-03-26 23:52:41 -0700718 UnboxingFailureKind(f).c_str()).c_str());
Elliott Hughes418d20f2011-09-22 14:00:39 -0700719 return false;
720 }
Ian Rogers84956ff2014-03-26 23:52:41 -0700721 if (UNLIKELY(o == nullptr)) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800722 if (!unbox_for_result) {
723 ThrowIllegalArgumentException(throw_location,
724 StringPrintf("%s has type %s, got null",
Ian Rogers84956ff2014-03-26 23:52:41 -0700725 UnboxingFailureKind(f).c_str(),
Ian Rogers62d6c772013-02-27 08:32:07 -0800726 PrettyDescriptor(dst_class).c_str()).c_str());
727 } else {
728 ThrowNullPointerException(throw_location,
729 StringPrintf("Expected to unbox a '%s' primitive type but was returned null",
730 PrettyDescriptor(dst_class).c_str()).c_str());
731 }
Elliott Hughes418d20f2011-09-22 14:00:39 -0700732 return false;
733 }
734
Elliott Hughes1d878f32012-04-11 15:17:54 -0700735 JValue boxed_value;
Ian Rogersdfb325e2013-10-30 01:00:44 -0700736 const StringPiece src_descriptor(ClassHelper(o->GetClass()).GetDescriptor());
Ian Rogers84956ff2014-03-26 23:52:41 -0700737 mirror::Class* src_class = nullptr;
Elliott Hughes418d20f2011-09-22 14:00:39 -0700738 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Brian Carlstromea46f952013-07-30 01:26:50 -0700739 mirror::ArtField* primitive_field = o->GetClass()->GetIFields()->Get(0);
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800740 if (src_descriptor == "Ljava/lang/Boolean;") {
Elliott Hughes418d20f2011-09-22 14:00:39 -0700741 src_class = class_linker->FindPrimitiveClass('Z');
Elliott Hughesf24d3ce2012-04-11 17:43:37 -0700742 boxed_value.SetZ(primitive_field->GetBoolean(o));
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800743 } else if (src_descriptor == "Ljava/lang/Byte;") {
Elliott Hughes418d20f2011-09-22 14:00:39 -0700744 src_class = class_linker->FindPrimitiveClass('B');
Elliott Hughesf24d3ce2012-04-11 17:43:37 -0700745 boxed_value.SetB(primitive_field->GetByte(o));
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800746 } else if (src_descriptor == "Ljava/lang/Character;") {
Elliott Hughes418d20f2011-09-22 14:00:39 -0700747 src_class = class_linker->FindPrimitiveClass('C');
Elliott Hughesf24d3ce2012-04-11 17:43:37 -0700748 boxed_value.SetC(primitive_field->GetChar(o));
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800749 } else if (src_descriptor == "Ljava/lang/Float;") {
Elliott Hughes418d20f2011-09-22 14:00:39 -0700750 src_class = class_linker->FindPrimitiveClass('F');
Elliott Hughesf24d3ce2012-04-11 17:43:37 -0700751 boxed_value.SetF(primitive_field->GetFloat(o));
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800752 } else if (src_descriptor == "Ljava/lang/Double;") {
Elliott Hughes418d20f2011-09-22 14:00:39 -0700753 src_class = class_linker->FindPrimitiveClass('D');
Elliott Hughesf24d3ce2012-04-11 17:43:37 -0700754 boxed_value.SetD(primitive_field->GetDouble(o));
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800755 } else if (src_descriptor == "Ljava/lang/Integer;") {
Elliott Hughes418d20f2011-09-22 14:00:39 -0700756 src_class = class_linker->FindPrimitiveClass('I');
Elliott Hughesf24d3ce2012-04-11 17:43:37 -0700757 boxed_value.SetI(primitive_field->GetInt(o));
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800758 } else if (src_descriptor == "Ljava/lang/Long;") {
Elliott Hughes418d20f2011-09-22 14:00:39 -0700759 src_class = class_linker->FindPrimitiveClass('J');
Elliott Hughesf24d3ce2012-04-11 17:43:37 -0700760 boxed_value.SetJ(primitive_field->GetLong(o));
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800761 } else if (src_descriptor == "Ljava/lang/Short;") {
Elliott Hughes418d20f2011-09-22 14:00:39 -0700762 src_class = class_linker->FindPrimitiveClass('S');
Elliott Hughesf24d3ce2012-04-11 17:43:37 -0700763 boxed_value.SetS(primitive_field->GetShort(o));
Elliott Hughes418d20f2011-09-22 14:00:39 -0700764 } else {
Ian Rogers62d6c772013-02-27 08:32:07 -0800765 ThrowIllegalArgumentException(throw_location,
766 StringPrintf("%s has type %s, got %s",
Ian Rogers84956ff2014-03-26 23:52:41 -0700767 UnboxingFailureKind(f).c_str(),
Ian Rogers62d6c772013-02-27 08:32:07 -0800768 PrettyDescriptor(dst_class).c_str(),
Ian Rogersfc0e94b2013-09-23 23:51:32 -0700769 PrettyDescriptor(src_descriptor.data()).c_str()).c_str());
Elliott Hughes418d20f2011-09-22 14:00:39 -0700770 return false;
771 }
772
Ian Rogers62d6c772013-02-27 08:32:07 -0800773 return ConvertPrimitiveValue(throw_location, unbox_for_result,
774 src_class->GetPrimitiveType(), dst_class->GetPrimitiveType(),
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700775 boxed_value, unboxed_value);
Elliott Hughes418d20f2011-09-22 14:00:39 -0700776}
777
Ian Rogers84956ff2014-03-26 23:52:41 -0700778bool UnboxPrimitiveForField(mirror::Object* o, mirror::Class* dst_class, mirror::ArtField* f,
779 JValue* unboxed_value) {
780 DCHECK(f != nullptr);
781 return UnboxPrimitive(nullptr, o, dst_class, f, unboxed_value);
Elliott Hughesaaa5edc2012-05-16 15:54:30 -0700782}
783
Ian Rogers62d6c772013-02-27 08:32:07 -0800784bool UnboxPrimitiveForResult(const ThrowLocation& throw_location, mirror::Object* o,
Ian Rogers84956ff2014-03-26 23:52:41 -0700785 mirror::Class* dst_class, JValue* unboxed_value) {
786 return UnboxPrimitive(&throw_location, o, dst_class, nullptr, unboxed_value);
Elliott Hughesaaa5edc2012-05-16 15:54:30 -0700787}
788
Elliott Hughes418d20f2011-09-22 14:00:39 -0700789} // namespace art