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