blob: cfc4a292ba103be262836f6a71d6872a100a6d31 [file] [log] [blame]
Brian Carlstromf867b6f2011-09-16 12:17:25 -07001/*
2 * Copyright (C) 2008 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
Andreas Gampe277ccbd2014-11-03 21:36:10 -080017#include "java_lang_reflect_Field.h"
18
Andreas Gampe46ee31b2016-12-14 10:11:49 -080019#include "android-base/stringprintf.h"
Andreas Gampea14100c2017-04-24 15:09:56 -070020#include "nativehelper/jni_macros.h"
Andreas Gampe46ee31b2016-12-14 10:11:49 -080021
Andreas Gampea1d2f952017-04-20 22:53:58 -070022#include "art_field-inl.h"
David Sehrc431b9d2018-03-02 12:01:51 -080023#include "base/utils.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080024#include "class_linker-inl.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070025#include "class_linker.h"
Ian Rogers62d6c772013-02-27 08:32:07 -080026#include "common_throws.h"
David Sehr9e734c72018-01-04 17:56:19 -080027#include "dex/dex_file-inl.h"
28#include "dex/dex_file_annotations.h"
Lokesh Gidra8dcdd472021-02-17 19:30:02 -080029#include "gc/reference_processor.h"
Vladimir Markoa3ad0cd2018-05-04 10:06:38 +010030#include "jni/jni_internal.h"
Andreas Gampec5b75642018-05-16 15:12:11 -070031#include "jvalue-inl.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070032#include "mirror/class-inl.h"
Andreas Gampe895f9222017-07-05 09:53:32 -070033#include "mirror/field-inl.h"
Andreas Gampe52ecb652018-10-24 15:18:21 -070034#include "mirror/object_array-alloc-inl.h"
Andreas Gampe87583b32017-05-25 11:22:18 -070035#include "native_util.h"
Mathieu Chartier76433272014-09-26 14:32:37 -070036#include "reflection-inl.h"
Mathieu Chartier0795f232016-09-27 18:43:30 -070037#include "scoped_fast_native_object_access-inl.h"
Andreas Gampea1d2f952017-04-20 22:53:58 -070038#include "well_known_classes.h"
Brian Carlstromf867b6f2011-09-16 12:17:25 -070039
Brian Carlstromf867b6f2011-09-16 12:17:25 -070040namespace art {
41
Andreas Gampe46ee31b2016-12-14 10:11:49 -080042using android::base::StringPrintf;
43
Mathieu Chartier76433272014-09-26 14:32:37 -070044template<bool kIsSet>
Mathieu Chartier299958f2016-10-05 13:48:41 -070045ALWAYS_INLINE inline static bool VerifyFieldAccess(Thread* self,
46 ObjPtr<mirror::Field> field,
47 ObjPtr<mirror::Object> obj)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070048 REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier76433272014-09-26 14:32:37 -070049 if (kIsSet && field->IsFinal()) {
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +000050 ThrowIllegalAccessException(
Andreas Gampec0d82292014-09-23 10:38:30 -070051 StringPrintf("Cannot set %s field %s of class %s",
52 PrettyJavaAccessFlags(field->GetAccessFlags()).c_str(),
David Sehr709b0702016-10-13 09:12:37 -070053 ArtField::PrettyField(field->GetArtField()).c_str(),
Andreas Gampec0d82292014-09-23 10:38:30 -070054 field->GetDeclaringClass() == nullptr ? "null" :
David Sehr709b0702016-10-13 09:12:37 -070055 field->GetDeclaringClass()->PrettyClass().c_str()).c_str());
Jeff Hao11d5d8f2014-03-26 15:08:20 -070056 return false;
57 }
Mathieu Chartiera59d9b22016-09-26 18:13:17 -070058 ObjPtr<mirror::Class> calling_class;
59 if (!VerifyAccess(self,
Mathieu Chartierf8ac97f2016-10-05 15:56:52 -070060 obj,
61 field->GetDeclaringClass(),
Mathieu Chartiera59d9b22016-09-26 18:13:17 -070062 field->GetAccessFlags(),
63 &calling_class,
64 1)) {
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +000065 ThrowIllegalAccessException(
Andreas Gampec0d82292014-09-23 10:38:30 -070066 StringPrintf("Class %s cannot access %s field %s of class %s",
David Sehr709b0702016-10-13 09:12:37 -070067 calling_class == nullptr ? "null" : calling_class->PrettyClass().c_str(),
Andreas Gampec0d82292014-09-23 10:38:30 -070068 PrettyJavaAccessFlags(field->GetAccessFlags()).c_str(),
David Sehr709b0702016-10-13 09:12:37 -070069 ArtField::PrettyField(field->GetArtField()).c_str(),
Andreas Gampec0d82292014-09-23 10:38:30 -070070 field->GetDeclaringClass() == nullptr ? "null" :
David Sehr709b0702016-10-13 09:12:37 -070071 field->GetDeclaringClass()->PrettyClass().c_str()).c_str());
Jeff Hao11d5d8f2014-03-26 15:08:20 -070072 return false;
73 }
74 return true;
75}
76
Mathieu Chartier76433272014-09-26 14:32:37 -070077template<bool kAllowReferences>
Lokesh Gidra8dcdd472021-02-17 19:30:02 -080078ALWAYS_INLINE inline static bool GetFieldValue(const ScopedFastNativeObjectAccess& soa,
79 ObjPtr<mirror::Object> o,
Mathieu Chartier299958f2016-10-05 13:48:41 -070080 ObjPtr<mirror::Field> f,
81 Primitive::Type field_type,
82 JValue* value)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070083 REQUIRES_SHARED(Locks::mutator_lock_) {
Ian Rogers62f05122014-03-21 11:21:29 -070084 DCHECK_EQ(value->GetJ(), INT64_C(0));
Mathieu Chartierdaaf3262015-03-24 13:30:28 -070085 MemberOffset offset(f->GetOffset());
86 const bool is_volatile = f->IsVolatile();
Ian Rogers62f05122014-03-21 11:21:29 -070087 switch (field_type) {
88 case Primitive::kPrimBoolean:
Mathieu Chartierdaaf3262015-03-24 13:30:28 -070089 value->SetZ(is_volatile ? o->GetFieldBooleanVolatile(offset) : o->GetFieldBoolean(offset));
Elliott Hughes33203b52011-09-20 19:42:01 -070090 return true;
Ian Rogers62f05122014-03-21 11:21:29 -070091 case Primitive::kPrimByte:
Mathieu Chartierdaaf3262015-03-24 13:30:28 -070092 value->SetB(is_volatile ? o->GetFieldByteVolatile(offset) : o->GetFieldByte(offset));
Ian Rogers62f05122014-03-21 11:21:29 -070093 return true;
94 case Primitive::kPrimChar:
Mathieu Chartierdaaf3262015-03-24 13:30:28 -070095 value->SetC(is_volatile ? o->GetFieldCharVolatile(offset) : o->GetFieldChar(offset));
Ian Rogers62f05122014-03-21 11:21:29 -070096 return true;
97 case Primitive::kPrimInt:
Mathieu Chartierdaaf3262015-03-24 13:30:28 -070098 case Primitive::kPrimFloat:
99 value->SetI(is_volatile ? o->GetField32Volatile(offset) : o->GetField32(offset));
Ian Rogers62f05122014-03-21 11:21:29 -0700100 return true;
101 case Primitive::kPrimLong:
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700102 case Primitive::kPrimDouble:
103 value->SetJ(is_volatile ? o->GetField64Volatile(offset) : o->GetField64(offset));
Ian Rogers62f05122014-03-21 11:21:29 -0700104 return true;
105 case Primitive::kPrimShort:
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700106 value->SetS(is_volatile ? o->GetFieldShortVolatile(offset) : o->GetFieldShort(offset));
Ian Rogers62f05122014-03-21 11:21:29 -0700107 return true;
108 case Primitive::kPrimNot:
Mathieu Chartier76433272014-09-26 14:32:37 -0700109 if (kAllowReferences) {
Lokesh Gidra8dcdd472021-02-17 19:30:02 -0800110 // We need to ensure that a Reference-type object's referent is fetched
111 // via GetReferent and not directly using a read-barrier (See b/174433134)
Lokesh Gidra3a8d7c22021-02-24 11:29:26 -0800112 const uint32_t class_flags = o->GetClass()->GetClassFlags();
113 if (UNLIKELY((class_flags & mirror::kClassFlagReference) != 0 &&
114 mirror::Reference::ReferentOffset() == offset)) {
115 // PhantomReference's get() always returns null.
116 value->SetL((class_flags & mirror::kClassFlagPhantomReference) != 0
Lokesh Gidra55a45f32021-02-25 10:45:14 -0800117 ? nullptr
118 : Runtime::Current()->GetHeap()->GetReferenceProcessor()->GetReferent(
119 soa.Self(), o->AsReference()));
Lokesh Gidra8dcdd472021-02-17 19:30:02 -0800120 } else {
121 value->SetL(is_volatile ? o->GetFieldObjectVolatile<mirror::Object>(offset) :
122 o->GetFieldObject<mirror::Object>(offset));
123 }
Ian Rogers62f05122014-03-21 11:21:29 -0700124 return true;
125 }
126 // Else break to report an error.
127 break;
128 case Primitive::kPrimVoid:
129 // Never okay.
130 break;
Elliott Hughes33203b52011-09-20 19:42:01 -0700131 }
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700132 ThrowIllegalArgumentException(
David Sehr709b0702016-10-13 09:12:37 -0700133 StringPrintf("Not a primitive field: %s",
134 ArtField::PrettyField(f->GetArtField()).c_str()).c_str());
Elliott Hughes33203b52011-09-20 19:42:01 -0700135 return false;
136}
137
Mathieu Chartier76433272014-09-26 14:32:37 -0700138ALWAYS_INLINE inline static bool CheckReceiver(const ScopedFastNativeObjectAccess& soa,
Mathieu Chartier299958f2016-10-05 13:48:41 -0700139 jobject j_rcvr,
140 ObjPtr<mirror::Field>* f,
141 ObjPtr<mirror::Object>* class_or_rcvr)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700142 REQUIRES_SHARED(Locks::mutator_lock_) {
Ian Rogers62f05122014-03-21 11:21:29 -0700143 soa.Self()->AssertThreadSuspensionIsAllowable();
Mathieu Chartier299958f2016-10-05 13:48:41 -0700144 ObjPtr<mirror::Class> declaring_class = (*f)->GetDeclaringClass();
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700145 if ((*f)->IsStatic()) {
Vladimir Markode055502019-08-02 13:41:35 +0100146 if (UNLIKELY(!declaring_class->IsVisiblyInitialized())) {
147 Thread* self = soa.Self();
148 StackHandleScope<2> hs(self);
Mathieu Chartier299958f2016-10-05 13:48:41 -0700149 HandleWrapperObjPtr<mirror::Field> h_f(hs.NewHandleWrapper(f));
150 HandleWrapperObjPtr<mirror::Class> h_klass(hs.NewHandleWrapper(&declaring_class));
Vladimir Markode055502019-08-02 13:41:35 +0100151 if (UNLIKELY(!Runtime::Current()->GetClassLinker()->EnsureInitialized(
152 self, h_klass, /*can_init_fields=*/ true, /*can_init_parents=*/ true))) {
153 DCHECK(self->IsExceptionPending());
Mathieu Chartier76433272014-09-26 14:32:37 -0700154 return false;
155 }
Vladimir Markode055502019-08-02 13:41:35 +0100156 DCHECK(h_klass->IsInitializing());
Ian Rogers62f05122014-03-21 11:21:29 -0700157 }
Mathieu Chartier299958f2016-10-05 13:48:41 -0700158 *class_or_rcvr = declaring_class;
Elliott Hughesed1c1e32011-10-02 14:31:05 -0700159 return true;
160 }
Mathieu Chartier299958f2016-10-05 13:48:41 -0700161 *class_or_rcvr = soa.Decode<mirror::Object>(j_rcvr);
162 if (!VerifyObjectIsClass(*class_or_rcvr, declaring_class)) {
Ian Rogers62f05122014-03-21 11:21:29 -0700163 DCHECK(soa.Self()->IsExceptionPending());
Elliott Hughesed1c1e32011-10-02 14:31:05 -0700164 return false;
165 }
166 return true;
167}
168
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700169static jobject Field_get(JNIEnv* env, jobject javaField, jobject javaObj) {
Ian Rogers1eb512d2013-10-18 15:42:20 -0700170 ScopedFastNativeObjectAccess soa(env);
Mathieu Chartier299958f2016-10-05 13:48:41 -0700171 ObjPtr<mirror::Field> f = soa.Decode<mirror::Field>(javaField);
172 ObjPtr<mirror::Object> o;
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700173 if (!CheckReceiver(soa, javaObj, &f, &o)) {
Ian Rogers62f05122014-03-21 11:21:29 -0700174 DCHECK(soa.Self()->IsExceptionPending());
175 return nullptr;
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800176 }
Jeff Haocb4581a2014-03-28 15:43:37 -0700177 // If field is not set to be accessible, verify it can be accessed by the caller.
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700178 if (!f->IsAccessible() && !VerifyFieldAccess<false>(soa.Self(), f, o)) {
Jeff Hao11d5d8f2014-03-26 15:08:20 -0700179 DCHECK(soa.Self()->IsExceptionPending());
180 return nullptr;
181 }
Ian Rogers62f05122014-03-21 11:21:29 -0700182 // We now don't expect suspension unless an exception is thrown.
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800183 // Get the field's value, boxing if necessary.
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700184 Primitive::Type field_type = f->GetTypeAsPrimitiveType();
Elliott Hughes1d878f32012-04-11 15:17:54 -0700185 JValue value;
Lokesh Gidra8dcdd472021-02-17 19:30:02 -0800186 if (!GetFieldValue<true>(soa, o, f, field_type, &value)) {
Ian Rogers62f05122014-03-21 11:21:29 -0700187 DCHECK(soa.Self()->IsExceptionPending());
188 return nullptr;
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800189 }
Mathieu Chartier299958f2016-10-05 13:48:41 -0700190 return soa.AddLocalReference<jobject>(BoxPrimitive(field_type, value));
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800191}
192
Mathieu Chartier76433272014-09-26 14:32:37 -0700193template<Primitive::Type kPrimitiveType>
Mathieu Chartier299958f2016-10-05 13:48:41 -0700194ALWAYS_INLINE inline static JValue GetPrimitiveField(JNIEnv* env,
195 jobject javaField,
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700196 jobject javaObj) {
Ian Rogers1eb512d2013-10-18 15:42:20 -0700197 ScopedFastNativeObjectAccess soa(env);
Mathieu Chartier299958f2016-10-05 13:48:41 -0700198 ObjPtr<mirror::Field> f = soa.Decode<mirror::Field>(javaField);
199 ObjPtr<mirror::Object> o;
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700200 if (!CheckReceiver(soa, javaObj, &f, &o)) {
Ian Rogers62f05122014-03-21 11:21:29 -0700201 DCHECK(soa.Self()->IsExceptionPending());
Elliott Hughesed1c1e32011-10-02 14:31:05 -0700202 return JValue();
Elliott Hughes33203b52011-09-20 19:42:01 -0700203 }
David Brazdila02cb112018-01-31 11:36:39 +0000204
Jeff Haocb4581a2014-03-28 15:43:37 -0700205 // If field is not set to be accessible, verify it can be accessed by the caller.
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700206 if (!f->IsAccessible() && !VerifyFieldAccess<false>(soa.Self(), f, o)) {
Jeff Hao11d5d8f2014-03-26 15:08:20 -0700207 DCHECK(soa.Self()->IsExceptionPending());
208 return JValue();
209 }
210
Ian Rogers62f05122014-03-21 11:21:29 -0700211 // We now don't expect suspension unless an exception is thrown.
Elliott Hughes33203b52011-09-20 19:42:01 -0700212 // Read the value.
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700213 Primitive::Type field_type = f->GetTypeAsPrimitiveType();
Elliott Hughes1d878f32012-04-11 15:17:54 -0700214 JValue field_value;
Mathieu Chartier76433272014-09-26 14:32:37 -0700215 if (field_type == kPrimitiveType) {
216 // This if statement should get optimized out since we only pass in valid primitive types.
Lokesh Gidra8dcdd472021-02-17 19:30:02 -0800217 if (UNLIKELY(!GetFieldValue<false>(soa, o, f, kPrimitiveType, &field_value))) {
Mathieu Chartier76433272014-09-26 14:32:37 -0700218 DCHECK(soa.Self()->IsExceptionPending());
219 return JValue();
220 }
221 return field_value;
222 }
Lokesh Gidra8dcdd472021-02-17 19:30:02 -0800223 if (!GetFieldValue<false>(soa, o, f, field_type, &field_value)) {
Ian Rogers62f05122014-03-21 11:21:29 -0700224 DCHECK(soa.Self()->IsExceptionPending());
Elliott Hughes33203b52011-09-20 19:42:01 -0700225 return JValue();
226 }
Elliott Hughes33203b52011-09-20 19:42:01 -0700227 // Widen it if necessary (and possible).
228 JValue wide_value;
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000229 if (!ConvertPrimitiveValue(false, field_type, kPrimitiveType, field_value,
Mathieu Chartier76433272014-09-26 14:32:37 -0700230 &wide_value)) {
Ian Rogers62f05122014-03-21 11:21:29 -0700231 DCHECK(soa.Self()->IsExceptionPending());
Elliott Hughes33203b52011-09-20 19:42:01 -0700232 return JValue();
233 }
234 return wide_value;
235}
236
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700237static jboolean Field_getBoolean(JNIEnv* env, jobject javaField, jobject javaObj) {
238 return GetPrimitiveField<Primitive::kPrimBoolean>(env, javaField, javaObj).GetZ();
Elliott Hughes33203b52011-09-20 19:42:01 -0700239}
240
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700241static jbyte Field_getByte(JNIEnv* env, jobject javaField, jobject javaObj) {
242 return GetPrimitiveField<Primitive::kPrimByte>(env, javaField, javaObj).GetB();
Elliott Hughes33203b52011-09-20 19:42:01 -0700243}
244
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700245static jchar Field_getChar(JNIEnv* env, jobject javaField, jobject javaObj) {
246 return GetPrimitiveField<Primitive::kPrimChar>(env, javaField, javaObj).GetC();
Elliott Hughes33203b52011-09-20 19:42:01 -0700247}
248
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700249static jdouble Field_getDouble(JNIEnv* env, jobject javaField, jobject javaObj) {
250 return GetPrimitiveField<Primitive::kPrimDouble>(env, javaField, javaObj).GetD();
Elliott Hughes33203b52011-09-20 19:42:01 -0700251}
252
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700253static jfloat Field_getFloat(JNIEnv* env, jobject javaField, jobject javaObj) {
254 return GetPrimitiveField<Primitive::kPrimFloat>(env, javaField, javaObj).GetF();
Elliott Hughes33203b52011-09-20 19:42:01 -0700255}
256
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700257static jint Field_getInt(JNIEnv* env, jobject javaField, jobject javaObj) {
258 return GetPrimitiveField<Primitive::kPrimInt>(env, javaField, javaObj).GetI();
Elliott Hughes33203b52011-09-20 19:42:01 -0700259}
260
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700261static jlong Field_getLong(JNIEnv* env, jobject javaField, jobject javaObj) {
262 return GetPrimitiveField<Primitive::kPrimLong>(env, javaField, javaObj).GetJ();
Elliott Hughes33203b52011-09-20 19:42:01 -0700263}
264
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700265static jshort Field_getShort(JNIEnv* env, jobject javaField, jobject javaObj) {
266 return GetPrimitiveField<Primitive::kPrimShort>(env, javaField, javaObj).GetS();
Elliott Hughes33203b52011-09-20 19:42:01 -0700267}
268
Mathieu Chartier299958f2016-10-05 13:48:41 -0700269ALWAYS_INLINE inline static void SetFieldValue(ObjPtr<mirror::Object> o,
270 ObjPtr<mirror::Field> f,
271 Primitive::Type field_type,
272 bool allow_references,
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700273 const JValue& new_value)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700274 REQUIRES_SHARED(Locks::mutator_lock_) {
Vladimir Marko38a062e2019-08-02 13:59:27 +0100275 DCHECK(f->GetDeclaringClass()->IsInitializing());
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700276 MemberOffset offset(f->GetOffset());
277 const bool is_volatile = f->IsVolatile();
Ian Rogers62f05122014-03-21 11:21:29 -0700278 switch (field_type) {
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700279 case Primitive::kPrimBoolean:
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700280 if (is_volatile) {
281 o->SetFieldBooleanVolatile<false>(offset, new_value.GetZ());
282 } else {
283 o->SetFieldBoolean<false>(offset, new_value.GetZ());
284 }
Elliott Hughesfe6207f2011-09-26 17:24:06 -0700285 break;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700286 case Primitive::kPrimByte:
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700287 if (is_volatile) {
288 o->SetFieldBooleanVolatile<false>(offset, new_value.GetB());
289 } else {
290 o->SetFieldBoolean<false>(offset, new_value.GetB());
291 }
Elliott Hughesfe6207f2011-09-26 17:24:06 -0700292 break;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700293 case Primitive::kPrimChar:
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700294 if (is_volatile) {
Fredrik Roubert3152c822015-07-28 00:14:08 +0200295 o->SetFieldCharVolatile<false>(offset, new_value.GetC());
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700296 } else {
Fredrik Roubert3152c822015-07-28 00:14:08 +0200297 o->SetFieldChar<false>(offset, new_value.GetC());
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700298 }
Elliott Hughesfe6207f2011-09-26 17:24:06 -0700299 break;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700300 case Primitive::kPrimInt:
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700301 case Primitive::kPrimFloat:
302 if (is_volatile) {
303 o->SetField32Volatile<false>(offset, new_value.GetI());
304 } else {
305 o->SetField32<false>(offset, new_value.GetI());
306 }
Elliott Hughesfe6207f2011-09-26 17:24:06 -0700307 break;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700308 case Primitive::kPrimLong:
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700309 case Primitive::kPrimDouble:
310 if (is_volatile) {
311 o->SetField64Volatile<false>(offset, new_value.GetJ());
312 } else {
313 o->SetField64<false>(offset, new_value.GetJ());
314 }
Elliott Hughesfe6207f2011-09-26 17:24:06 -0700315 break;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700316 case Primitive::kPrimShort:
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700317 if (is_volatile) {
Mathieu Chartierca239af2015-03-29 18:27:50 -0700318 o->SetFieldShortVolatile<false>(offset, new_value.GetS());
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700319 } else {
Mathieu Chartierca239af2015-03-29 18:27:50 -0700320 o->SetFieldShort<false>(offset, new_value.GetS());
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700321 }
Elliott Hughesfe6207f2011-09-26 17:24:06 -0700322 break;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700323 case Primitive::kPrimNot:
Elliott Hughes33203b52011-09-20 19:42:01 -0700324 if (allow_references) {
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700325 if (is_volatile) {
326 o->SetFieldObjectVolatile<false>(offset, new_value.GetL());
327 } else {
328 o->SetFieldObject<false>(offset, new_value.GetL());
329 }
Elliott Hughesfe6207f2011-09-26 17:24:06 -0700330 break;
Elliott Hughes33203b52011-09-20 19:42:01 -0700331 }
Elliott Hughesfe6207f2011-09-26 17:24:06 -0700332 // Else fall through to report an error.
Ian Rogersfc787ec2014-10-09 21:56:44 -0700333 FALLTHROUGH_INTENDED;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700334 case Primitive::kPrimVoid:
Elliott Hughes33203b52011-09-20 19:42:01 -0700335 // Never okay.
David Sehr709b0702016-10-13 09:12:37 -0700336 ThrowIllegalArgumentException(
337 StringPrintf("Not a primitive field: %s",
338 ArtField::PrettyField(f->GetArtField()).c_str()).c_str());
Elliott Hughesfe6207f2011-09-26 17:24:06 -0700339 return;
Elliott Hughes33203b52011-09-20 19:42:01 -0700340 }
Elliott Hughes33203b52011-09-20 19:42:01 -0700341}
342
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700343static void Field_set(JNIEnv* env, jobject javaField, jobject javaObj, jobject javaValue) {
Ian Rogers1eb512d2013-10-18 15:42:20 -0700344 ScopedFastNativeObjectAccess soa(env);
Mathieu Chartier299958f2016-10-05 13:48:41 -0700345 ObjPtr<mirror::Field> f = soa.Decode<mirror::Field>(javaField);
Ian Rogers62f05122014-03-21 11:21:29 -0700346 // Check that the receiver is non-null and an instance of the field's declaring class.
Mathieu Chartier299958f2016-10-05 13:48:41 -0700347 ObjPtr<mirror::Object> o;
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700348 if (!CheckReceiver(soa, javaObj, &f, &o)) {
Ian Rogers62f05122014-03-21 11:21:29 -0700349 DCHECK(soa.Self()->IsExceptionPending());
350 return;
351 }
Mathieu Chartier299958f2016-10-05 13:48:41 -0700352 ObjPtr<mirror::Class> field_type;
Vladimir Marko9186b182018-11-06 14:55:54 +0000353 const char* field_type_descriptor = f->GetArtField()->GetTypeDescriptor();
354 Primitive::Type field_prim_type = Primitive::GetType(field_type_descriptor[0]);
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700355 if (field_prim_type == Primitive::kPrimNot) {
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700356 field_type = f->GetType();
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700357 } else {
Vladimir Marko9186b182018-11-06 14:55:54 +0000358 field_type =
359 Runtime::Current()->GetClassLinker()->LookupPrimitiveClass(field_type_descriptor[0]);
Ian Rogers62f05122014-03-21 11:21:29 -0700360 }
Vladimir Marko9186b182018-11-06 14:55:54 +0000361 DCHECK(field_type != nullptr) << field_type_descriptor;
Ian Rogers62f05122014-03-21 11:21:29 -0700362 // We now don't expect suspension unless an exception is thrown.
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800363 // Unbox the value, if necessary.
Mathieu Chartier0795f232016-09-27 18:43:30 -0700364 ObjPtr<mirror::Object> boxed_value = soa.Decode<mirror::Object>(javaValue);
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800365 JValue unboxed_value;
Mathieu Chartier0795f232016-09-27 18:43:30 -0700366 if (!UnboxPrimitiveForField(boxed_value,
Mathieu Chartierf8ac97f2016-10-05 15:56:52 -0700367 field_type,
Mathieu Chartiera59d9b22016-09-26 18:13:17 -0700368 f->GetArtField(),
369 &unboxed_value)) {
Ian Rogers62f05122014-03-21 11:21:29 -0700370 DCHECK(soa.Self()->IsExceptionPending());
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800371 return;
372 }
Jeff Haocb4581a2014-03-28 15:43:37 -0700373 // If field is not set to be accessible, verify it can be accessed by the caller.
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700374 if (!f->IsAccessible() && !VerifyFieldAccess<true>(soa.Self(), f, o)) {
Jeff Hao11d5d8f2014-03-26 15:08:20 -0700375 DCHECK(soa.Self()->IsExceptionPending());
376 return;
377 }
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700378 SetFieldValue(o, f, field_prim_type, true, unboxed_value);
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800379}
380
Mathieu Chartier76433272014-09-26 14:32:37 -0700381template<Primitive::Type kPrimitiveType>
Mathieu Chartier299958f2016-10-05 13:48:41 -0700382static void SetPrimitiveField(JNIEnv* env,
383 jobject javaField,
384 jobject javaObj,
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700385 const JValue& new_value) {
Ian Rogers1eb512d2013-10-18 15:42:20 -0700386 ScopedFastNativeObjectAccess soa(env);
Mathieu Chartier299958f2016-10-05 13:48:41 -0700387 ObjPtr<mirror::Field> f = soa.Decode<mirror::Field>(javaField);
388 ObjPtr<mirror::Object> o;
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700389 if (!CheckReceiver(soa, javaObj, &f, &o)) {
Elliott Hughesed1c1e32011-10-02 14:31:05 -0700390 return;
Elliott Hughes33203b52011-09-20 19:42:01 -0700391 }
Mathieu Chartier61c5ebc2014-06-05 17:42:53 -0700392 Primitive::Type field_type = f->GetTypeAsPrimitiveType();
Ian Rogers62f05122014-03-21 11:21:29 -0700393 if (UNLIKELY(field_type == Primitive::kPrimNot)) {
David Sehr709b0702016-10-13 09:12:37 -0700394 ThrowIllegalArgumentException(
395 StringPrintf("Not a primitive field: %s",
396 ArtField::PrettyField(f->GetArtField()).c_str()).c_str());
Jesse Wilsonc129a6b2011-11-24 14:47:46 -0500397 return;
398 }
Elliott Hughes33203b52011-09-20 19:42:01 -0700399
400 // Widen the value if necessary (and possible).
401 JValue wide_value;
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000402 if (!ConvertPrimitiveValue(false, kPrimitiveType, field_type, new_value, &wide_value)) {
Ian Rogers62f05122014-03-21 11:21:29 -0700403 DCHECK(soa.Self()->IsExceptionPending());
Elliott Hughes33203b52011-09-20 19:42:01 -0700404 return;
405 }
406
Jeff Haocb4581a2014-03-28 15:43:37 -0700407 // If field is not set to be accessible, verify it can be accessed by the caller.
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700408 if (!f->IsAccessible() && !VerifyFieldAccess<true>(soa.Self(), f, o)) {
Jeff Hao11d5d8f2014-03-26 15:08:20 -0700409 DCHECK(soa.Self()->IsExceptionPending());
410 return;
411 }
412
Elliott Hughes33203b52011-09-20 19:42:01 -0700413 // Write the value.
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700414 SetFieldValue(o, f, field_type, false, wide_value);
Elliott Hughes33203b52011-09-20 19:42:01 -0700415}
416
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700417static void Field_setBoolean(JNIEnv* env, jobject javaField, jobject javaObj, jboolean z) {
Elliott Hughesf24d3ce2012-04-11 17:43:37 -0700418 JValue value;
419 value.SetZ(z);
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700420 SetPrimitiveField<Primitive::kPrimBoolean>(env, javaField, javaObj, value);
Elliott Hughes33203b52011-09-20 19:42:01 -0700421}
422
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700423static void Field_setByte(JNIEnv* env, jobject javaField, jobject javaObj, jbyte b) {
Elliott Hughesf24d3ce2012-04-11 17:43:37 -0700424 JValue value;
425 value.SetB(b);
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700426 SetPrimitiveField<Primitive::kPrimByte>(env, javaField, javaObj, value);
Elliott Hughes33203b52011-09-20 19:42:01 -0700427}
428
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700429static void Field_setChar(JNIEnv* env, jobject javaField, jobject javaObj, jchar c) {
Elliott Hughesf24d3ce2012-04-11 17:43:37 -0700430 JValue value;
431 value.SetC(c);
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700432 SetPrimitiveField<Primitive::kPrimChar>(env, javaField, javaObj, value);
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800433}
Elliott Hughes33203b52011-09-20 19:42:01 -0700434
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700435static void Field_setDouble(JNIEnv* env, jobject javaField, jobject javaObj, jdouble d) {
Elliott Hughesf24d3ce2012-04-11 17:43:37 -0700436 JValue value;
437 value.SetD(d);
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700438 SetPrimitiveField<Primitive::kPrimDouble>(env, javaField, javaObj, value);
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800439}
Elliott Hughes33203b52011-09-20 19:42:01 -0700440
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700441static void Field_setFloat(JNIEnv* env, jobject javaField, jobject javaObj, jfloat f) {
Elliott Hughesf24d3ce2012-04-11 17:43:37 -0700442 JValue value;
443 value.SetF(f);
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700444 SetPrimitiveField<Primitive::kPrimFloat>(env, javaField, javaObj, value);
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800445}
446
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700447static void Field_setInt(JNIEnv* env, jobject javaField, jobject javaObj, jint i) {
Elliott Hughesf24d3ce2012-04-11 17:43:37 -0700448 JValue value;
449 value.SetI(i);
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700450 SetPrimitiveField<Primitive::kPrimInt>(env, javaField, javaObj, value);
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800451}
452
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700453static void Field_setLong(JNIEnv* env, jobject javaField, jobject javaObj, jlong j) {
Elliott Hughesf24d3ce2012-04-11 17:43:37 -0700454 JValue value;
455 value.SetJ(j);
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700456 SetPrimitiveField<Primitive::kPrimLong>(env, javaField, javaObj, value);
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800457}
458
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700459static void Field_setShort(JNIEnv* env, jobject javaField, jobject javaObj, jshort s) {
Elliott Hughesf24d3ce2012-04-11 17:43:37 -0700460 JValue value;
461 value.SetS(s);
Mathieu Chartierdaaf3262015-03-24 13:30:28 -0700462 SetPrimitiveField<Primitive::kPrimShort>(env, javaField, javaObj, value);
Elliott Hughes33203b52011-09-20 19:42:01 -0700463}
464
Jeff Hao13e748b2015-08-25 20:44:19 +0000465static jobject Field_getAnnotationNative(JNIEnv* env, jobject javaField, jclass annotationType) {
466 ScopedFastNativeObjectAccess soa(env);
467 StackHandleScope<1> hs(soa.Self());
Mathieu Chartier0795f232016-09-27 18:43:30 -0700468 ArtField* field = soa.Decode<mirror::Field>(javaField)->GetArtField();
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000469 if (field->GetDeclaringClass()->IsProxyClass()) {
Jeff Hao13e748b2015-08-25 20:44:19 +0000470 return nullptr;
471 }
Mathieu Chartier0795f232016-09-27 18:43:30 -0700472 Handle<mirror::Class> klass(hs.NewHandle(soa.Decode<mirror::Class>(annotationType)));
David Sehr9323e6e2016-09-13 08:58:35 -0700473 return soa.AddLocalReference<jobject>(annotations::GetAnnotationForField(field, klass));
Jeff Hao13e748b2015-08-25 20:44:19 +0000474}
475
Orion Hodson3d617ac2016-10-19 14:00:46 +0100476static jlong Field_getArtField(JNIEnv* env, jobject javaField) {
477 ScopedFastNativeObjectAccess soa(env);
478 ArtField* field = soa.Decode<mirror::Field>(javaField)->GetArtField();
479 return reinterpret_cast<jlong>(field);
480}
481
Igor Murashkin06537f72018-02-22 15:03:05 -0800482static jstring Field_getNameInternal(JNIEnv* env, jobject javaField) {
Narayan Kamath6b2dc312017-03-14 13:26:12 +0000483 ScopedFastNativeObjectAccess soa(env);
484 ArtField* field = soa.Decode<mirror::Field>(javaField)->GetArtField();
Vladimir Marko18090d12018-06-01 16:53:12 +0100485 return soa.AddLocalReference<jstring>(field->ResolveNameString());
Narayan Kamath6b2dc312017-03-14 13:26:12 +0000486}
487
Jeff Hao13e748b2015-08-25 20:44:19 +0000488static jobjectArray Field_getDeclaredAnnotations(JNIEnv* env, jobject javaField) {
489 ScopedFastNativeObjectAccess soa(env);
Mathieu Chartier0795f232016-09-27 18:43:30 -0700490 ArtField* field = soa.Decode<mirror::Field>(javaField)->GetArtField();
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000491 if (field->GetDeclaringClass()->IsProxyClass()) {
Jeff Hao13e748b2015-08-25 20:44:19 +0000492 // Return an empty array instead of a null pointer.
Mathieu Chartier299958f2016-10-05 13:48:41 -0700493 ObjPtr<mirror::Class> annotation_array_class =
494 soa.Decode<mirror::Class>(WellKnownClasses::java_lang_annotation_Annotation__array);
495 ObjPtr<mirror::ObjectArray<mirror::Object>> empty_array =
Vladimir Markobcf17522018-06-01 13:14:32 +0100496 mirror::ObjectArray<mirror::Object>::Alloc(soa.Self(), annotation_array_class, 0);
Jeff Hao13e748b2015-08-25 20:44:19 +0000497 return soa.AddLocalReference<jobjectArray>(empty_array);
498 }
David Sehr9323e6e2016-09-13 08:58:35 -0700499 return soa.AddLocalReference<jobjectArray>(annotations::GetAnnotationsForField(field));
Jeff Hao13e748b2015-08-25 20:44:19 +0000500}
501
502static jobjectArray Field_getSignatureAnnotation(JNIEnv* env, jobject javaField) {
503 ScopedFastNativeObjectAccess soa(env);
Mathieu Chartier0795f232016-09-27 18:43:30 -0700504 ArtField* field = soa.Decode<mirror::Field>(javaField)->GetArtField();
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000505 if (field->GetDeclaringClass()->IsProxyClass()) {
Jeff Hao13e748b2015-08-25 20:44:19 +0000506 return nullptr;
507 }
David Sehr9323e6e2016-09-13 08:58:35 -0700508 return soa.AddLocalReference<jobjectArray>(annotations::GetSignatureAnnotationForField(field));
Jeff Hao13e748b2015-08-25 20:44:19 +0000509}
510
Mathieu Chartier299958f2016-10-05 13:48:41 -0700511static jboolean Field_isAnnotationPresentNative(JNIEnv* env,
512 jobject javaField,
Jeff Hao13e748b2015-08-25 20:44:19 +0000513 jclass annotationType) {
514 ScopedFastNativeObjectAccess soa(env);
515 StackHandleScope<1> hs(soa.Self());
Mathieu Chartier0795f232016-09-27 18:43:30 -0700516 ArtField* field = soa.Decode<mirror::Field>(javaField)->GetArtField();
Nicolas Geoffray3a090922015-11-24 09:17:30 +0000517 if (field->GetDeclaringClass()->IsProxyClass()) {
Jeff Hao13e748b2015-08-25 20:44:19 +0000518 return false;
519 }
Mathieu Chartier0795f232016-09-27 18:43:30 -0700520 Handle<mirror::Class> klass(hs.NewHandle(soa.Decode<mirror::Class>(annotationType)));
David Sehr9323e6e2016-09-13 08:58:35 -0700521 return annotations::IsFieldAnnotationPresent(field, klass);
Jeff Hao13e748b2015-08-25 20:44:19 +0000522}
523
Brian Carlstromf867b6f2011-09-16 12:17:25 -0700524static JNINativeMethod gMethods[] = {
Igor Murashkin3b6f4402017-02-16 16:13:17 -0800525 FAST_NATIVE_METHOD(Field, get, "(Ljava/lang/Object;)Ljava/lang/Object;"),
526 FAST_NATIVE_METHOD(Field, getBoolean, "(Ljava/lang/Object;)Z"),
527 FAST_NATIVE_METHOD(Field, getByte, "(Ljava/lang/Object;)B"),
528 FAST_NATIVE_METHOD(Field, getChar, "(Ljava/lang/Object;)C"),
529 FAST_NATIVE_METHOD(Field, getAnnotationNative,
530 "(Ljava/lang/Class;)Ljava/lang/annotation/Annotation;"),
531 FAST_NATIVE_METHOD(Field, getArtField, "()J"),
532 FAST_NATIVE_METHOD(Field, getDeclaredAnnotations, "()[Ljava/lang/annotation/Annotation;"),
533 FAST_NATIVE_METHOD(Field, getSignatureAnnotation, "()[Ljava/lang/String;"),
534 FAST_NATIVE_METHOD(Field, getDouble, "(Ljava/lang/Object;)D"),
535 FAST_NATIVE_METHOD(Field, getFloat, "(Ljava/lang/Object;)F"),
536 FAST_NATIVE_METHOD(Field, getInt, "(Ljava/lang/Object;)I"),
537 FAST_NATIVE_METHOD(Field, getLong, "(Ljava/lang/Object;)J"),
Narayan Kamath6b2dc312017-03-14 13:26:12 +0000538 FAST_NATIVE_METHOD(Field, getNameInternal, "()Ljava/lang/String;"),
Igor Murashkin3b6f4402017-02-16 16:13:17 -0800539 FAST_NATIVE_METHOD(Field, getShort, "(Ljava/lang/Object;)S"),
540 FAST_NATIVE_METHOD(Field, isAnnotationPresentNative, "(Ljava/lang/Class;)Z"),
541 FAST_NATIVE_METHOD(Field, set, "(Ljava/lang/Object;Ljava/lang/Object;)V"),
542 FAST_NATIVE_METHOD(Field, setBoolean, "(Ljava/lang/Object;Z)V"),
543 FAST_NATIVE_METHOD(Field, setByte, "(Ljava/lang/Object;B)V"),
544 FAST_NATIVE_METHOD(Field, setChar, "(Ljava/lang/Object;C)V"),
545 FAST_NATIVE_METHOD(Field, setDouble, "(Ljava/lang/Object;D)V"),
546 FAST_NATIVE_METHOD(Field, setFloat, "(Ljava/lang/Object;F)V"),
547 FAST_NATIVE_METHOD(Field, setInt, "(Ljava/lang/Object;I)V"),
548 FAST_NATIVE_METHOD(Field, setLong, "(Ljava/lang/Object;J)V"),
549 FAST_NATIVE_METHOD(Field, setShort, "(Ljava/lang/Object;S)V"),
Brian Carlstromf867b6f2011-09-16 12:17:25 -0700550};
551
Brian Carlstromf867b6f2011-09-16 12:17:25 -0700552void register_java_lang_reflect_Field(JNIEnv* env) {
Elliott Hugheseac76672012-05-24 21:56:51 -0700553 REGISTER_NATIVE_METHODS("java/lang/reflect/Field");
Brian Carlstromf867b6f2011-09-16 12:17:25 -0700554}
555
556} // namespace art