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 
--- EOF ---