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