1 /* 2 * Copyright (c) 1997, 2018, 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/systemDictionary.hpp" 27 #include "classfile/vmSymbols.hpp" 28 #include "memory/resourceArea.hpp" 29 #include "memory/universe.hpp" 30 #include "oops/annotations.hpp" 31 #include "oops/constantPool.hpp" 32 #include "oops/instanceKlass.hpp" 33 #include "oops/oop.inline.hpp" 34 #include "oops/fieldStreams.hpp" 35 #include "oops/valueKlass.hpp" 36 #include "runtime/fieldDescriptor.inline.hpp" 37 #include "runtime/handles.inline.hpp" 38 #include "runtime/signature.hpp" 39 40 41 oop fieldDescriptor::loader() const { 42 return _cp->pool_holder()->class_loader(); 43 } 44 45 Symbol* fieldDescriptor::generic_signature() const { 46 if (!has_generic_signature()) { 47 return NULL; 48 } 49 50 int idx = 0; 51 InstanceKlass* ik = field_holder(); 52 for (AllFieldStream fs(ik); !fs.done(); fs.next()) { 53 if (idx == _index) { 54 return fs.generic_signature(); 55 } else { 56 idx ++; 57 } 58 } 59 assert(false, "should never happen"); 60 return NULL; 61 } 62 63 AnnotationArray* fieldDescriptor::annotations() const { 64 InstanceKlass* ik = field_holder(); 65 Array<AnnotationArray*>* md = ik->fields_annotations(); 66 if (md == NULL) 67 return NULL; 68 return md->at(index()); 69 } 70 71 AnnotationArray* fieldDescriptor::type_annotations() const { 72 InstanceKlass* ik = field_holder(); 73 Array<AnnotationArray*>* type_annos = ik->fields_type_annotations(); 74 if (type_annos == NULL) 75 return NULL; 76 return type_annos->at(index()); 77 } 78 79 constantTag fieldDescriptor::initial_value_tag() const { 80 return constants()->tag_at(initial_value_index()); 81 } 82 83 jint fieldDescriptor::int_initial_value() const { 84 return constants()->int_at(initial_value_index()); 85 } 86 87 jlong fieldDescriptor::long_initial_value() const { 88 return constants()->long_at(initial_value_index()); 89 } 90 91 jfloat fieldDescriptor::float_initial_value() const { 92 return constants()->float_at(initial_value_index()); 93 } 94 95 jdouble fieldDescriptor::double_initial_value() const { 96 return constants()->double_at(initial_value_index()); 97 } 98 99 oop fieldDescriptor::string_initial_value(TRAPS) const { 100 return constants()->uncached_string_at(initial_value_index(), THREAD); 101 } 102 103 void fieldDescriptor::reinitialize(InstanceKlass* ik, int index) { 104 if (_cp.is_null() || field_holder() != ik) { 105 _cp = constantPoolHandle(Thread::current(), ik->constants()); 106 // _cp should now reference ik's constant pool; i.e., ik is now field_holder. 107 assert(field_holder() == ik, "must be already initialized to this class"); 108 } 109 FieldInfo* f = ik->field(index); 110 assert(!f->is_internal(), "regular Java fields only"); 111 112 _access_flags = accessFlags_from(f->access_flags()); 113 guarantee(f->name_index() != 0 && f->signature_index() != 0, "bad constant pool index for fieldDescriptor"); 114 _index = index; 115 verify(); 116 } 117 118 #ifndef PRODUCT 119 120 void fieldDescriptor::verify() const { 121 if (_cp.is_null()) { 122 assert(_index == badInt, "constructor must be called"); // see constructor 123 } else { 124 assert(_index >= 0, "good index"); 125 assert(_index < field_holder()->java_fields_count(), "oob"); 126 } 127 } 128 129 void fieldDescriptor::print_on(outputStream* st) const { 130 access_flags().print_on(st); 131 name()->print_value_on(st); 132 st->print(" "); 133 signature()->print_value_on(st); 134 st->print(" @%d ", offset()); 135 if (WizardMode && has_initial_value()) { 136 st->print("(initval "); 137 constantTag t = initial_value_tag(); 138 if (t.is_int()) { 139 st->print("int %d)", int_initial_value()); 140 } else if (t.is_long()){ 141 st->print_jlong(long_initial_value()); 142 } else if (t.is_float()){ 143 st->print("float %f)", float_initial_value()); 144 } else if (t.is_double()){ 145 st->print("double %lf)", double_initial_value()); 146 } 147 } 148 } 149 150 void fieldDescriptor::print_on_for(outputStream* st, oop obj) { 151 BasicType ft = field_type(); 152 if (ft != T_VALUETYPE) { 153 print_on(st); 154 } 155 jint as_int = 0; 156 switch (ft) { 157 case T_BYTE: 158 as_int = (jint)obj->byte_field(offset()); 159 st->print(" %d", obj->byte_field(offset())); 160 break; 161 case T_CHAR: 162 as_int = (jint)obj->char_field(offset()); 163 { 164 jchar c = obj->char_field(offset()); 165 as_int = c; 166 st->print(" %c %d", isprint(c) ? c : ' ', c); 167 } 168 break; 169 case T_DOUBLE: 170 st->print(" %lf", obj->double_field(offset())); 171 break; 172 case T_FLOAT: 173 as_int = obj->int_field(offset()); 174 st->print(" %f", obj->float_field(offset())); 175 break; 176 case T_INT: 177 as_int = obj->int_field(offset()); 178 st->print(" %d", obj->int_field(offset())); 179 break; 180 case T_LONG: 181 st->print(" "); 182 st->print_jlong(obj->long_field(offset())); 183 break; 184 case T_SHORT: 185 as_int = obj->short_field(offset()); 186 st->print(" %d", obj->short_field(offset())); 187 break; 188 case T_BOOLEAN: 189 as_int = obj->bool_field(offset()); 190 st->print(" %s", obj->bool_field(offset()) ? "true" : "false"); 191 break; 192 case T_ARRAY: 193 st->print(" "); 194 NOT_LP64(as_int = obj->int_field(offset())); 195 if (obj->obj_field(offset()) != NULL) { 196 obj->obj_field(offset())->print_value_on(st); 197 } else { 198 st->print_cr("NULL"); 199 } 200 break; 201 case T_OBJECT: 202 st->print(" "); 203 NOT_LP64(as_int = obj->int_field(offset())); 204 if (obj->obj_field(offset()) != NULL) { 205 obj->obj_field(offset())->print_value_on(st); 206 } else { 207 st->print_cr("NULL"); 208 } 209 break; 210 case T_VALUETYPE: 211 if (is_flattened()) { 212 // Resolve klass of flattened value type field 213 Thread* THREAD = Thread::current(); 214 ResourceMark rm(THREAD); 215 SignatureStream ss(signature(), false); 216 Klass* k = ss.as_klass(Handle(THREAD, field_holder()->class_loader()), 217 Handle(THREAD, field_holder()->protection_domain()), 218 SignatureStream::ReturnNull, THREAD); 219 assert(k != NULL && !HAS_PENDING_EXCEPTION, "can resolve klass?"); 220 ValueKlass* vk = ValueKlass::cast(k); 221 int field_offset = offset() - vk->first_field_offset(); 222 obj = (oop)((address)obj + field_offset); 223 // Print flattened fields of the value type field 224 st->print_cr("Flattened value type '%s':", vk->name()->as_C_string()); 225 FieldPrinter print_field(st, obj); 226 vk->do_nonstatic_fields(&print_field); 227 return; // Do not print underlying representation 228 } else { 229 st->print(" "); 230 NOT_LP64(as_int = obj->int_field(offset())); 231 obj->obj_field(offset())->print_value_on(st); 232 } 233 break; 234 default: 235 ShouldNotReachHere(); 236 break; 237 } 238 // Print a hint as to the underlying integer representation. This can be wrong for 239 // pointers on an LP64 machine 240 #ifdef _LP64 241 if ((ft == T_OBJECT || ft == T_ARRAY || ft == T_VALUETYPE) && UseCompressedOops) { 242 st->print(" (%x)", obj->int_field(offset())); 243 } 244 else // <- intended 245 #endif 246 if (ft == T_LONG || ft == T_DOUBLE LP64_ONLY(|| !is_java_primitive(ft)) ) { 247 st->print(" (%x %x)", obj->int_field(offset()), obj->int_field(offset()+sizeof(jint))); 248 } else if (as_int < 0 || as_int > 9) { 249 st->print(" (%x)", as_int); 250 } 251 st->cr(); 252 } 253 254 #endif /* PRODUCT */