1 /* 2 * Copyright (c) 1997, 2021, Oracle and/or its affiliates. All rights reserved. 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 4 * 5 * This code is free software; you can redistribute it and/or modify it 6 * under the terms of the GNU General Public License version 2 only, as 7 * published by the Free Software Foundation. 8 * 9 * This code is distributed in the hope that it will be useful, but WITHOUT 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 12 * version 2 for more details (a copy is included in the LICENSE file that 13 * accompanied this code). 14 * 15 * You should have received a copy of the GNU General Public License version 16 * 2 along with this work; if not, write to the Free Software Foundation, 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 18 * 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 20 * or visit www.oracle.com if you need additional information or have any 21 * questions. 22 * 23 */ 24 25 #include "precompiled.hpp" 26 #include "classfile/vmSymbols.hpp" 27 #include "memory/resourceArea.hpp" 28 #include "oops/annotations.hpp" 29 #include "oops/constantPool.hpp" 30 #include "oops/instanceKlass.hpp" 31 #include "oops/klass.inline.hpp" 32 #include "oops/oop.inline.hpp" 33 #include "oops/fieldStreams.inline.hpp" 34 #include "runtime/fieldDescriptor.inline.hpp" 35 #include "runtime/handles.inline.hpp" 36 #include "runtime/signature.hpp" 37 38 39 oop fieldDescriptor::loader() const { 40 return _cp->pool_holder()->class_loader(); 41 } 42 43 Symbol* fieldDescriptor::generic_signature() const { 44 if (!has_generic_signature()) { 45 return NULL; 46 } 47 48 int idx = 0; 49 InstanceKlass* ik = field_holder(); 50 for (AllFieldStream fs(ik); !fs.done(); fs.next()) { 51 if (idx == _index) { 52 return fs.generic_signature(); 53 } else { 54 idx ++; 55 } 56 } 57 assert(false, "should never happen"); 58 return vmSymbols::void_signature(); // return a default value (for code analyzers) 59 } 60 61 bool fieldDescriptor::is_trusted_final() const { 62 InstanceKlass* ik = field_holder(); 63 return is_final() && (is_static() || ik->is_hidden() || ik->is_record()); 64 } 65 66 AnnotationArray* fieldDescriptor::annotations() const { 67 InstanceKlass* ik = field_holder(); 68 Array<AnnotationArray*>* md = ik->fields_annotations(); 69 if (md == NULL) 70 return NULL; 71 return md->at(index()); 72 } 73 74 AnnotationArray* fieldDescriptor::type_annotations() const { 75 InstanceKlass* ik = field_holder(); 76 Array<AnnotationArray*>* type_annos = ik->fields_type_annotations(); 77 if (type_annos == NULL) 78 return NULL; 79 return type_annos->at(index()); 80 } 81 82 constantTag fieldDescriptor::initial_value_tag() const { 83 return constants()->tag_at(initial_value_index()); 84 } 85 86 jint fieldDescriptor::int_initial_value() const { 87 return constants()->int_at(initial_value_index()); 88 } 89 90 jlong fieldDescriptor::long_initial_value() const { 91 return constants()->long_at(initial_value_index()); 92 } 93 94 jfloat fieldDescriptor::float_initial_value() const { 95 return constants()->float_at(initial_value_index()); 96 } 97 98 jdouble fieldDescriptor::double_initial_value() const { 99 return constants()->double_at(initial_value_index()); 100 } 101 102 oop fieldDescriptor::string_initial_value(TRAPS) const { 103 return constants()->uncached_string_at(initial_value_index(), THREAD); 104 } 105 106 void fieldDescriptor::reinitialize(InstanceKlass* ik, int index) { 107 if (_cp.is_null() || field_holder() != ik) { 108 _cp = constantPoolHandle(Thread::current(), ik->constants()); 109 // _cp should now reference ik's constant pool; i.e., ik is now field_holder. 110 assert(field_holder() == ik, "must be already initialized to this class"); 111 } 112 FieldInfo* f = ik->field(index); 113 _access_flags = accessFlags_from(f->access_flags()); 114 guarantee(f->name_index() != 0 && f->signature_index() != 0, "bad constant pool index for fieldDescriptor"); 115 _index = index; 116 verify(); 117 } 118 119 #ifndef PRODUCT 120 121 void fieldDescriptor::verify() const { 122 if (_cp.is_null()) { 123 assert(_index == badInt, "constructor must be called"); // see constructor 124 } else { 125 assert(_index >= 0, "good index"); 126 assert(access_flags().is_internal() || 127 _index < field_holder()->java_fields_count(), "oob"); 128 } 129 } 130 131 #endif /* PRODUCT */ 132 133 void fieldDescriptor::print_on(outputStream* st) const { 134 access_flags().print_on(st); 135 if (access_flags().is_internal()) st->print("internal "); 136 name()->print_value_on(st); 137 st->print(" "); 138 signature()->print_value_on(st); 139 st->print(" @%d ", offset()); 140 if (WizardMode && has_initial_value()) { 141 st->print("(initval "); 142 constantTag t = initial_value_tag(); 143 if (t.is_int()) { 144 st->print("int %d)", int_initial_value()); 145 } else if (t.is_long()){ 146 st->print_jlong(long_initial_value()); 147 } else if (t.is_float()){ 148 st->print("float %f)", float_initial_value()); 149 } else if (t.is_double()){ 150 st->print("double %lf)", double_initial_value()); 151 } 152 } 153 } 154 155 void fieldDescriptor::print() const { print_on(tty); } 156 157 void fieldDescriptor::print_on_for(outputStream* st, oop obj) { 158 print_on(st); 159 BasicType ft = field_type(); 160 jint as_int = 0; 161 switch (ft) { 162 case T_BYTE: 163 as_int = (jint)obj->byte_field(offset()); 164 st->print(" %d", obj->byte_field(offset())); 165 break; 166 case T_CHAR: 167 as_int = (jint)obj->char_field(offset()); 168 { 169 jchar c = obj->char_field(offset()); 170 as_int = c; 171 st->print(" %c %d", isprint(c) ? c : ' ', c); 172 } 173 break; 174 case T_DOUBLE: 175 st->print(" %lf", obj->double_field(offset())); 176 break; 177 case T_FLOAT: 178 as_int = obj->int_field(offset()); 179 st->print(" %f", obj->float_field(offset())); 180 break; 181 case T_INT: 182 as_int = obj->int_field(offset()); 183 st->print(" %d", obj->int_field(offset())); 184 break; 185 case T_LONG: 186 st->print(" "); 187 st->print_jlong(obj->long_field(offset())); 188 break; 189 case T_SHORT: 190 as_int = obj->short_field(offset()); 191 st->print(" %d", obj->short_field(offset())); 192 break; 193 case T_BOOLEAN: 194 as_int = obj->bool_field(offset()); 195 st->print(" %s", obj->bool_field(offset()) ? "true" : "false"); 196 break; 197 case T_ARRAY: 198 st->print(" "); 199 NOT_LP64(as_int = obj->int_field(offset())); 200 if (obj->obj_field(offset()) != NULL) { 201 obj->obj_field(offset())->print_value_on(st); 202 } else { 203 st->print("NULL"); 204 } 205 break; 206 case T_OBJECT: 207 st->print(" "); 208 NOT_LP64(as_int = obj->int_field(offset())); 209 if (obj->obj_field(offset()) != NULL) { 210 obj->obj_field(offset())->print_value_on(st); 211 } else { 212 st->print("NULL"); 213 } 214 break; 215 default: 216 ShouldNotReachHere(); 217 break; 218 } 219 // Print a hint as to the underlying integer representation. This can be wrong for 220 // pointers on an LP64 machine 221 #ifdef _LP64 222 if (is_reference_type(ft) && UseCompressedOops) { 223 st->print(" (%x)", obj->int_field(offset())); 224 } 225 else // <- intended 226 #endif 227 if (ft == T_LONG || ft == T_DOUBLE LP64_ONLY(|| !is_java_primitive(ft)) ) { 228 st->print(" (%x %x)", obj->int_field(offset()), obj->int_field(offset()+sizeof(jint))); 229 } else if (as_int < 0 || as_int > 9) { 230 st->print(" (%x)", as_int); 231 } 232 } 233