| /* |
| * Copyright (C) 2008 The Android Open Source Project |
| * |
| * Licensed under the Apache License, Version 2.0 (the "License"); |
| * you may not use this file except in compliance with the License. |
| * You may obtain a copy of the License at |
| * |
| * http://www.apache.org/licenses/LICENSE-2.0 |
| * |
| * Unless required by applicable law or agreed to in writing, software |
| * distributed under the License is distributed on an "AS IS" BASIS, |
| * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| * See the License for the specific language governing permissions and |
| * limitations under the License. |
| */ |
| |
| #include "class_linker.h" |
| #include "class_linker-inl.h" |
| #include "common_throws.h" |
| #include "dex_file-inl.h" |
| #include "field_helper.h" |
| #include "jni_internal.h" |
| #include "mirror/art_field-inl.h" |
| #include "mirror/art_method-inl.h" |
| #include "mirror/class-inl.h" |
| #include "reflection-inl.h" |
| #include "scoped_fast_native_object_access.h" |
| |
| namespace art { |
| |
| template<bool kIsSet> |
| ALWAYS_INLINE inline static bool VerifyFieldAccess(Thread* self, mirror::ArtField* field, |
| mirror::Object* obj) |
| SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { |
| if (kIsSet && field->IsFinal()) { |
| ThrowIllegalAccessException(nullptr, |
| StringPrintf("Cannot set %s field %s of class %s", |
| PrettyJavaAccessFlags(field->GetAccessFlags()).c_str(), |
| PrettyField(field).c_str(), |
| field->GetDeclaringClass() == nullptr ? "null" : |
| PrettyClass(field->GetDeclaringClass()).c_str()).c_str()); |
| return false; |
| } |
| mirror::Class* calling_class = nullptr; |
| if (!VerifyAccess(self, obj, field->GetDeclaringClass(), field->GetAccessFlags(), |
| &calling_class)) { |
| ThrowIllegalAccessException(nullptr, |
| StringPrintf("Class %s cannot access %s field %s of class %s", |
| calling_class == nullptr ? "null" : PrettyClass(calling_class).c_str(), |
| PrettyJavaAccessFlags(field->GetAccessFlags()).c_str(), |
| PrettyField(field).c_str(), |
| field->GetDeclaringClass() == nullptr ? "null" : |
| PrettyClass(field->GetDeclaringClass()).c_str()).c_str()); |
| return false; |
| } |
| return true; |
| } |
| |
| template<bool kAllowReferences> |
| ALWAYS_INLINE inline static bool GetFieldValue(mirror::Object* o, mirror::ArtField* f, |
| Primitive::Type field_type, JValue* value) |
| SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { |
| DCHECK_EQ(value->GetJ(), INT64_C(0)); |
| switch (field_type) { |
| case Primitive::kPrimBoolean: |
| value->SetZ(f->GetBoolean(o)); |
| return true; |
| case Primitive::kPrimByte: |
| value->SetB(f->GetByte(o)); |
| return true; |
| case Primitive::kPrimChar: |
| value->SetC(f->GetChar(o)); |
| return true; |
| case Primitive::kPrimDouble: |
| value->SetD(f->GetDouble(o)); |
| return true; |
| case Primitive::kPrimFloat: |
| value->SetF(f->GetFloat(o)); |
| return true; |
| case Primitive::kPrimInt: |
| value->SetI(f->GetInt(o)); |
| return true; |
| case Primitive::kPrimLong: |
| value->SetJ(f->GetLong(o)); |
| return true; |
| case Primitive::kPrimShort: |
| value->SetS(f->GetShort(o)); |
| return true; |
| case Primitive::kPrimNot: |
| if (kAllowReferences) { |
| value->SetL(f->GetObject(o)); |
| return true; |
| } |
| // Else break to report an error. |
| break; |
| case Primitive::kPrimVoid: |
| // Never okay. |
| break; |
| } |
| ThrowIllegalArgumentException(nullptr, StringPrintf("Not a primitive field: %s", |
| PrettyField(f).c_str()).c_str()); |
| return false; |
| } |
| |
| ALWAYS_INLINE inline static bool CheckReceiver(const ScopedFastNativeObjectAccess& soa, |
| jobject j_rcvr, mirror::ArtField** f, |
| mirror::Object** class_or_rcvr) |
| SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { |
| soa.Self()->AssertThreadSuspensionIsAllowable(); |
| mirror::Class* declaringClass = (*f)->GetDeclaringClass(); |
| if ((*f)->IsStatic()) { |
| if (UNLIKELY(!declaringClass->IsInitialized())) { |
| ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); |
| StackHandleScope<2> hs(soa.Self()); |
| HandleWrapper<mirror::ArtField> h_f(hs.NewHandleWrapper(f)); |
| HandleWrapper<mirror::Class> h_klass(hs.NewHandleWrapper(&declaringClass)); |
| if (UNLIKELY(!class_linker->EnsureInitialized(soa.Self(), h_klass, true, true))) { |
| DCHECK(soa.Self()->IsExceptionPending()); |
| return false; |
| } |
| } |
| *class_or_rcvr = declaringClass; |
| return true; |
| } |
| *class_or_rcvr = soa.Decode<mirror::Object*>(j_rcvr); |
| if (!VerifyObjectIsClass(*class_or_rcvr, declaringClass)) { |
| DCHECK(soa.Self()->IsExceptionPending()); |
| return false; |
| } |
| return true; |
| } |
| |
| static jobject Field_get(JNIEnv* env, jobject javaField, jobject javaObj, jboolean accessible) { |
| ScopedFastNativeObjectAccess soa(env); |
| mirror::ArtField* f = mirror::ArtField::FromReflectedField(soa, javaField); |
| mirror::Object* o = nullptr; |
| if (!CheckReceiver(soa, javaObj, &f, &o)) { |
| DCHECK(soa.Self()->IsExceptionPending()); |
| return nullptr; |
| } |
| // If field is not set to be accessible, verify it can be accessed by the caller. |
| if ((accessible == JNI_FALSE) && !VerifyFieldAccess<false>(soa.Self(), f, o)) { |
| DCHECK(soa.Self()->IsExceptionPending()); |
| return nullptr; |
| } |
| // We now don't expect suspension unless an exception is thrown. |
| // Get the field's value, boxing if necessary. |
| Primitive::Type field_type = f->GetTypeAsPrimitiveType(); |
| JValue value; |
| if (!GetFieldValue<true>(o, f, field_type, &value)) { |
| DCHECK(soa.Self()->IsExceptionPending()); |
| return nullptr; |
| } |
| return soa.AddLocalReference<jobject>(BoxPrimitive(field_type, value)); |
| } |
| |
| template<Primitive::Type kPrimitiveType> |
| ALWAYS_INLINE inline static JValue GetPrimitiveField(JNIEnv* env, jobject javaField, |
| jobject javaObj, jboolean accessible) { |
| ScopedFastNativeObjectAccess soa(env); |
| mirror::ArtField* f = mirror::ArtField::FromReflectedField(soa, javaField); |
| mirror::Object* o = nullptr; |
| if (!CheckReceiver(soa, javaObj, &f, &o)) { |
| DCHECK(soa.Self()->IsExceptionPending()); |
| return JValue(); |
| } |
| |
| // If field is not set to be accessible, verify it can be accessed by the caller. |
| if (accessible == JNI_FALSE && !VerifyFieldAccess<false>(soa.Self(), f, o)) { |
| DCHECK(soa.Self()->IsExceptionPending()); |
| return JValue(); |
| } |
| |
| // We now don't expect suspension unless an exception is thrown. |
| // Read the value. |
| Primitive::Type field_type = f->GetTypeAsPrimitiveType(); |
| JValue field_value; |
| if (field_type == kPrimitiveType) { |
| // This if statement should get optimized out since we only pass in valid primitive types. |
| if (UNLIKELY(!GetFieldValue<false>(o, f, kPrimitiveType, &field_value))) { |
| DCHECK(soa.Self()->IsExceptionPending()); |
| return JValue(); |
| } |
| return field_value; |
| } |
| if (!GetFieldValue<false>(o, f, field_type, &field_value)) { |
| DCHECK(soa.Self()->IsExceptionPending()); |
| return JValue(); |
| } |
| // Widen it if necessary (and possible). |
| JValue wide_value; |
| if (!ConvertPrimitiveValue(nullptr, false, field_type, kPrimitiveType, field_value, |
| &wide_value)) { |
| DCHECK(soa.Self()->IsExceptionPending()); |
| return JValue(); |
| } |
| return wide_value; |
| } |
| |
| static jboolean Field_getBoolean(JNIEnv* env, jobject javaField, jobject javaObj, |
| jboolean accessible) { |
| return GetPrimitiveField<Primitive::kPrimBoolean>(env, javaField, javaObj, accessible).GetZ(); |
| } |
| |
| static jbyte Field_getByte(JNIEnv* env, jobject javaField, jobject javaObj, jboolean accessible) { |
| return GetPrimitiveField<Primitive::kPrimByte>(env, javaField, javaObj, accessible).GetB(); |
| } |
| |
| static jchar Field_getChar(JNIEnv* env, jobject javaField, jobject javaObj, jboolean accessible) { |
| return GetPrimitiveField<Primitive::kPrimChar>(env, javaField, javaObj, accessible).GetC(); |
| } |
| |
| static jdouble Field_getDouble(JNIEnv* env, jobject javaField, jobject javaObj, |
| jboolean accessible) { |
| return GetPrimitiveField<Primitive::kPrimDouble>(env, javaField, javaObj, accessible).GetD(); |
| } |
| |
| static jfloat Field_getFloat(JNIEnv* env, jobject javaField, jobject javaObj, jboolean accessible) { |
| return GetPrimitiveField<Primitive::kPrimFloat>(env, javaField, javaObj, accessible).GetF(); |
| } |
| |
| static jint Field_getInt(JNIEnv* env, jobject javaField, jobject javaObj, jboolean accessible) { |
| return GetPrimitiveField<Primitive::kPrimInt>(env, javaField, javaObj, accessible).GetI(); |
| } |
| |
| static jlong Field_getLong(JNIEnv* env, jobject javaField, jobject javaObj, jboolean accessible) { |
| return GetPrimitiveField<Primitive::kPrimLong>(env, javaField, javaObj, accessible).GetJ(); |
| } |
| |
| static jshort Field_getShort(JNIEnv* env, jobject javaField, jobject javaObj, jboolean accessible) { |
| return GetPrimitiveField<Primitive::kPrimShort>(env, javaField, javaObj, accessible).GetS(); |
| } |
| |
| static void SetFieldValue(mirror::Object* o, mirror::ArtField* f, Primitive::Type field_type, |
| bool allow_references, const JValue& new_value) |
| SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { |
| DCHECK(f->GetDeclaringClass()->IsInitialized()); |
| switch (field_type) { |
| case Primitive::kPrimBoolean: |
| f->SetBoolean<false>(o, new_value.GetZ()); |
| break; |
| case Primitive::kPrimByte: |
| f->SetByte<false>(o, new_value.GetB()); |
| break; |
| case Primitive::kPrimChar: |
| f->SetChar<false>(o, new_value.GetC()); |
| break; |
| case Primitive::kPrimDouble: |
| f->SetDouble<false>(o, new_value.GetD()); |
| break; |
| case Primitive::kPrimFloat: |
| f->SetFloat<false>(o, new_value.GetF()); |
| break; |
| case Primitive::kPrimInt: |
| f->SetInt<false>(o, new_value.GetI()); |
| break; |
| case Primitive::kPrimLong: |
| f->SetLong<false>(o, new_value.GetJ()); |
| break; |
| case Primitive::kPrimShort: |
| f->SetShort<false>(o, new_value.GetS()); |
| break; |
| case Primitive::kPrimNot: |
| if (allow_references) { |
| f->SetObject<false>(o, new_value.GetL()); |
| break; |
| } |
| // Else fall through to report an error. |
| FALLTHROUGH_INTENDED; |
| case Primitive::kPrimVoid: |
| // Never okay. |
| ThrowIllegalArgumentException(nullptr, StringPrintf("Not a primitive field: %s", |
| PrettyField(f).c_str()).c_str()); |
| return; |
| } |
| } |
| |
| static void Field_set(JNIEnv* env, jobject javaField, jobject javaObj, jobject javaValue, |
| jboolean accessible) { |
| ScopedFastNativeObjectAccess soa(env); |
| mirror::ArtField* f = mirror::ArtField::FromReflectedField(soa, javaField); |
| // Check that the receiver is non-null and an instance of the field's declaring class. |
| mirror::Object* o = nullptr; |
| if (!CheckReceiver(soa, javaObj, &f, &o)) { |
| DCHECK(soa.Self()->IsExceptionPending()); |
| return; |
| } |
| mirror::Class* field_type; |
| const char* field_type_desciptor = f->GetTypeDescriptor(); |
| Primitive::Type field_prim_type = Primitive::GetType(field_type_desciptor[0]); |
| if (field_prim_type == Primitive::kPrimNot) { |
| StackHandleScope<2> hs(soa.Self()); |
| HandleWrapper<mirror::Object> h_o(hs.NewHandleWrapper(&o)); |
| HandleWrapper<mirror::ArtField> h_f(hs.NewHandleWrapper(&f)); |
| FieldHelper fh(h_f); |
| // May cause resolution. |
| field_type = fh.GetType(true); |
| if (field_type == nullptr) { |
| DCHECK(soa.Self()->IsExceptionPending()); |
| return; |
| } |
| } else { |
| field_type = Runtime::Current()->GetClassLinker()->FindPrimitiveClass(field_type_desciptor[0]); |
| } |
| // We now don't expect suspension unless an exception is thrown. |
| // Unbox the value, if necessary. |
| mirror::Object* boxed_value = soa.Decode<mirror::Object*>(javaValue); |
| JValue unboxed_value; |
| if (!UnboxPrimitiveForField(boxed_value, field_type, f, &unboxed_value)) { |
| DCHECK(soa.Self()->IsExceptionPending()); |
| return; |
| } |
| // If field is not set to be accessible, verify it can be accessed by the caller. |
| if ((accessible == JNI_FALSE) && !VerifyFieldAccess<true>(soa.Self(), f, o)) { |
| DCHECK(soa.Self()->IsExceptionPending()); |
| return; |
| } |
| SetFieldValue(o, f, field_prim_type, true, unboxed_value); |
| } |
| |
| template<Primitive::Type kPrimitiveType> |
| static void SetPrimitiveField(JNIEnv* env, jobject javaField, jobject javaObj, |
| const JValue& new_value, jboolean accessible) { |
| ScopedFastNativeObjectAccess soa(env); |
| mirror::ArtField* f = mirror::ArtField::FromReflectedField(soa, javaField); |
| mirror::Object* o = nullptr; |
| if (!CheckReceiver(soa, javaObj, &f, &o)) { |
| return; |
| } |
| Primitive::Type field_type = f->GetTypeAsPrimitiveType(); |
| if (UNLIKELY(field_type == Primitive::kPrimNot)) { |
| ThrowIllegalArgumentException(nullptr, StringPrintf("Not a primitive field: %s", |
| PrettyField(f).c_str()).c_str()); |
| return; |
| } |
| |
| // Widen the value if necessary (and possible). |
| JValue wide_value; |
| if (!ConvertPrimitiveValue(nullptr, false, kPrimitiveType, field_type, new_value, &wide_value)) { |
| DCHECK(soa.Self()->IsExceptionPending()); |
| return; |
| } |
| |
| // If field is not set to be accessible, verify it can be accessed by the caller. |
| if ((accessible == JNI_FALSE) && !VerifyFieldAccess<true>(soa.Self(), f, o)) { |
| DCHECK(soa.Self()->IsExceptionPending()); |
| return; |
| } |
| |
| // Write the value. |
| SetFieldValue(o, f, field_type, false, wide_value); |
| } |
| |
| static void Field_setBoolean(JNIEnv* env, jobject javaField, jobject javaObj, jboolean z, |
| jboolean accessible) { |
| JValue value; |
| value.SetZ(z); |
| SetPrimitiveField<Primitive::kPrimBoolean>(env, javaField, javaObj, value, accessible); |
| } |
| |
| static void Field_setByte(JNIEnv* env, jobject javaField, jobject javaObj, jbyte b, |
| jboolean accessible) { |
| JValue value; |
| value.SetB(b); |
| SetPrimitiveField<Primitive::kPrimByte>(env, javaField, javaObj, value, accessible); |
| } |
| |
| static void Field_setChar(JNIEnv* env, jobject javaField, jobject javaObj, jchar c, |
| jboolean accessible) { |
| JValue value; |
| value.SetC(c); |
| SetPrimitiveField<Primitive::kPrimChar>(env, javaField, javaObj, value, accessible); |
| } |
| |
| static void Field_setDouble(JNIEnv* env, jobject javaField, jobject javaObj, jdouble d, |
| jboolean accessible) { |
| JValue value; |
| value.SetD(d); |
| SetPrimitiveField<Primitive::kPrimDouble>(env, javaField, javaObj, value, accessible); |
| } |
| |
| static void Field_setFloat(JNIEnv* env, jobject javaField, jobject javaObj, jfloat f, |
| jboolean accessible) { |
| JValue value; |
| value.SetF(f); |
| SetPrimitiveField<Primitive::kPrimFloat>(env, javaField, javaObj, value, accessible); |
| } |
| |
| static void Field_setInt(JNIEnv* env, jobject javaField, jobject javaObj, jint i, |
| jboolean accessible) { |
| JValue value; |
| value.SetI(i); |
| SetPrimitiveField<Primitive::kPrimInt>(env, javaField, javaObj, value, accessible); |
| } |
| |
| static void Field_setLong(JNIEnv* env, jobject javaField, jobject javaObj, jlong j, |
| jboolean accessible) { |
| JValue value; |
| value.SetJ(j); |
| SetPrimitiveField<Primitive::kPrimLong>(env, javaField, javaObj, value, accessible); |
| } |
| |
| static void Field_setShort(JNIEnv* env, jobject javaField, jobject javaObj, jshort s, |
| jboolean accessible) { |
| JValue value; |
| value.SetS(s); |
| SetPrimitiveField<Primitive::kPrimShort>(env, javaField, javaObj, value, accessible); |
| } |
| |
| static JNINativeMethod gMethods[] = { |
| NATIVE_METHOD(Field, get, "!(Ljava/lang/Object;Z)Ljava/lang/Object;"), |
| NATIVE_METHOD(Field, getBoolean, "!(Ljava/lang/Object;Z)Z"), |
| NATIVE_METHOD(Field, getByte, "!(Ljava/lang/Object;Z)B"), |
| NATIVE_METHOD(Field, getChar, "!(Ljava/lang/Object;Z)C"), |
| NATIVE_METHOD(Field, getDouble, "!(Ljava/lang/Object;Z)D"), |
| NATIVE_METHOD(Field, getFloat, "!(Ljava/lang/Object;Z)F"), |
| NATIVE_METHOD(Field, getInt, "!(Ljava/lang/Object;Z)I"), |
| NATIVE_METHOD(Field, getLong, "!(Ljava/lang/Object;Z)J"), |
| NATIVE_METHOD(Field, getShort, "!(Ljava/lang/Object;Z)S"), |
| NATIVE_METHOD(Field, set, "!(Ljava/lang/Object;Ljava/lang/Object;Z)V"), |
| NATIVE_METHOD(Field, setBoolean, "!(Ljava/lang/Object;ZZ)V"), |
| NATIVE_METHOD(Field, setByte, "!(Ljava/lang/Object;BZ)V"), |
| NATIVE_METHOD(Field, setChar, "!(Ljava/lang/Object;CZ)V"), |
| NATIVE_METHOD(Field, setDouble, "!(Ljava/lang/Object;DZ)V"), |
| NATIVE_METHOD(Field, setFloat, "!(Ljava/lang/Object;FZ)V"), |
| NATIVE_METHOD(Field, setInt, "!(Ljava/lang/Object;IZ)V"), |
| NATIVE_METHOD(Field, setLong, "!(Ljava/lang/Object;JZ)V"), |
| NATIVE_METHOD(Field, setShort, "!(Ljava/lang/Object;SZ)V"), |
| }; |
| |
| void register_java_lang_reflect_Field(JNIEnv* env) { |
| REGISTER_NATIVE_METHODS("java/lang/reflect/Field"); |
| } |
| |
| } // namespace art |