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 Symbol* fieldDescriptor::generic_signature() const {
39 if (!has_generic_signature()) {
40 return nullptr;
41 }
42 return _cp->symbol_at(_fieldinfo.generic_signature_index());
43 }
44
45 bool fieldDescriptor::is_trusted_final() const {
46 InstanceKlass* ik = field_holder();
47 return is_final() && (is_static() || ik->is_hidden() || ik->is_record());
48 }
49
50 AnnotationArray* fieldDescriptor::annotations() const {
51 InstanceKlass* ik = field_holder();
52 Array<AnnotationArray*>* md = ik->fields_annotations();
53 if (md == nullptr)
54 return nullptr;
55 return md->at(index());
56 }
57
58 AnnotationArray* fieldDescriptor::type_annotations() const {
59 InstanceKlass* ik = field_holder();
60 Array<AnnotationArray*>* type_annos = ik->fields_type_annotations();
61 if (type_annos == nullptr)
62 return nullptr;
63 return type_annos->at(index());
64 }
65
66 constantTag fieldDescriptor::initial_value_tag() const {
67 return constants()->tag_at(initial_value_index());
83 return constants()->double_at(initial_value_index());
84 }
85
86 oop fieldDescriptor::string_initial_value(TRAPS) const {
87 return constants()->uncached_string_at(initial_value_index(), THREAD);
88 }
89
90 void fieldDescriptor::reinitialize(InstanceKlass* ik, int index) {
91 if (_cp.is_null() || field_holder() != ik) {
92 _cp = constantPoolHandle(Thread::current(), ik->constants());
93 // _cp should now reference ik's constant pool; i.e., ik is now field_holder.
94 // If the class is a scratch class, the constant pool points to the original class,
95 // but that's ok because of constant pool merging.
96 assert(field_holder() == ik || ik->is_scratch_class(), "must be already initialized to this class");
97 }
98 _fieldinfo= ik->field(index);
99 assert((int)_fieldinfo.index() == index, "just checking");
100 guarantee(_fieldinfo.name_index() != 0 && _fieldinfo.signature_index() != 0, "bad constant pool index for fieldDescriptor");
101 }
102
103 void fieldDescriptor::print_on(outputStream* st) const {
104 access_flags().print_on(st);
105 if (field_flags().is_injected()) st->print("injected ");
106 name()->print_value_on(st);
107 st->print(" ");
108 signature()->print_value_on(st);
109 st->print(" @%d ", offset());
110 if (WizardMode && has_initial_value()) {
111 st->print("(initval ");
112 constantTag t = initial_value_tag();
113 if (t.is_int()) {
114 st->print("int %d)", int_initial_value());
115 } else if (t.is_long()){
116 st->print_jlong(long_initial_value());
117 } else if (t.is_float()){
118 st->print("float %f)", float_initial_value());
119 } else if (t.is_double()){
120 st->print("double %lf)", double_initial_value());
121 }
122 }
123 }
124
125 void fieldDescriptor::print() const { print_on(tty); }
126
127 void fieldDescriptor::print_on_for(outputStream* st, oop obj) {
128 print_on(st);
129 st->print(" ");
130
131 BasicType ft = field_type();
132 switch (ft) {
133 case T_BYTE:
134 st->print("%d", obj->byte_field(offset()));
135 break;
136 case T_CHAR:
137 {
138 jchar c = obj->char_field(offset());
139 st->print("%c %d", isprint(c) ? c : ' ', c);
140 }
141 break;
142 case T_DOUBLE:
143 st->print("%lf", obj->double_field(offset()));
144 break;
145 case T_FLOAT:
146 st->print("%f", obj->float_field(offset()));
147 break;
148 case T_INT:
149 st->print("%d", obj->int_field(offset()));
150 break;
151 case T_LONG:
152 st->print_jlong(obj->long_field(offset()));
153 break;
154 case T_SHORT:
155 st->print("%d", obj->short_field(offset()));
156 break;
157 case T_BOOLEAN:
158 st->print("%s", obj->bool_field(offset()) ? "true" : "false");
159 break;
160 case T_ARRAY:
161 if (obj->obj_field(offset()) != nullptr) {
162 obj->obj_field(offset())->print_value_on(st);
163 } else {
164 st->print("null");
165 }
166 break;
167 case T_OBJECT:
168 if (obj->obj_field(offset()) != nullptr) {
169 obj->obj_field(offset())->print_value_on(st);
170 } else {
171 st->print("null");
172 }
173 break;
174 default:
175 ShouldNotReachHere();
176 break;
177 }
178
179 // Print a hint as to the underlying integer representation.
180 if (is_reference_type(ft)) {
181 #ifdef _LP64
182 if (UseCompressedOops) {
183 st->print(" (" INT32_FORMAT_X_0 ")", obj->int_field(offset()));
184 } else {
185 st->print(" (" INT64_FORMAT_X_0 ")", (int64_t)obj->long_field(offset()));
186 }
187 #else
|
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 "oops/inlineKlass.inline.hpp"
35 #include "runtime/fieldDescriptor.inline.hpp"
36 #include "runtime/handles.inline.hpp"
37 #include "runtime/signature.hpp"
38
39 Symbol* fieldDescriptor::generic_signature() const {
40 if (!has_generic_signature()) {
41 return nullptr;
42 }
43 return _cp->symbol_at(_fieldinfo.generic_signature_index());
44 }
45
46 bool fieldDescriptor::is_trusted_final() const {
47 InstanceKlass* ik = field_holder();
48 return is_final() && (is_static() || ik->is_hidden() || ik->is_record() || ik->is_inline_klass()
49 || (ik->is_abstract() && !ik->is_identity_class() && !ik->is_interface()));
50 }
51
52 AnnotationArray* fieldDescriptor::annotations() const {
53 InstanceKlass* ik = field_holder();
54 Array<AnnotationArray*>* md = ik->fields_annotations();
55 if (md == nullptr)
56 return nullptr;
57 return md->at(index());
58 }
59
60 AnnotationArray* fieldDescriptor::type_annotations() const {
61 InstanceKlass* ik = field_holder();
62 Array<AnnotationArray*>* type_annos = ik->fields_type_annotations();
63 if (type_annos == nullptr)
64 return nullptr;
65 return type_annos->at(index());
66 }
67
68 constantTag fieldDescriptor::initial_value_tag() const {
69 return constants()->tag_at(initial_value_index());
85 return constants()->double_at(initial_value_index());
86 }
87
88 oop fieldDescriptor::string_initial_value(TRAPS) const {
89 return constants()->uncached_string_at(initial_value_index(), THREAD);
90 }
91
92 void fieldDescriptor::reinitialize(InstanceKlass* ik, int index) {
93 if (_cp.is_null() || field_holder() != ik) {
94 _cp = constantPoolHandle(Thread::current(), ik->constants());
95 // _cp should now reference ik's constant pool; i.e., ik is now field_holder.
96 // If the class is a scratch class, the constant pool points to the original class,
97 // but that's ok because of constant pool merging.
98 assert(field_holder() == ik || ik->is_scratch_class(), "must be already initialized to this class");
99 }
100 _fieldinfo= ik->field(index);
101 assert((int)_fieldinfo.index() == index, "just checking");
102 guarantee(_fieldinfo.name_index() != 0 && _fieldinfo.signature_index() != 0, "bad constant pool index for fieldDescriptor");
103 }
104
105 void fieldDescriptor::print_on(outputStream* st, int base_offset) const {
106 access_flags().print_on(st);
107 if (field_flags().is_injected()) st->print("injected ");
108 name()->print_value_on(st);
109 st->print(" ");
110 signature()->print_value_on(st);
111 st->print(" @%d ", offset() + base_offset);
112 if (WizardMode && has_initial_value()) {
113 st->print("(initval ");
114 constantTag t = initial_value_tag();
115 if (t.is_int()) {
116 st->print("int %d)", int_initial_value());
117 } else if (t.is_long()){
118 st->print_jlong(long_initial_value());
119 } else if (t.is_float()){
120 st->print("float %f)", float_initial_value());
121 } else if (t.is_double()){
122 st->print("double %lf)", double_initial_value());
123 }
124 }
125 }
126
127 void fieldDescriptor::print() const { print_on(tty); }
128
129 void fieldDescriptor::print_on_for(outputStream* st, oop obj, int indent, int base_offset) {
130 BasicType ft = field_type();
131 print_on(st, base_offset);
132 st->print(" ");
133 jint as_int = 0;
134 switch (ft) {
135 case T_BYTE:
136 st->print("%d", obj->byte_field(offset()));
137 break;
138 case T_CHAR:
139 {
140 jchar c = obj->char_field(offset());
141 st->print("%c %d", isprint(c) ? c : ' ', c);
142 }
143 break;
144 case T_DOUBLE:
145 st->print("%lf", obj->double_field(offset()));
146 break;
147 case T_FLOAT:
148 st->print("%f", obj->float_field(offset()));
149 break;
150 case T_INT:
151 st->print("%d", obj->int_field(offset()));
152 break;
153 case T_LONG:
154 st->print_jlong(obj->long_field(offset()));
155 break;
156 case T_SHORT:
157 st->print("%d", obj->short_field(offset()));
158 break;
159 case T_BOOLEAN:
160 st->print("%s", obj->bool_field(offset()) ? "true" : "false");
161 break;
162 case T_ARRAY:
163 case T_OBJECT:
164 if (is_flat()) { // only some inline types can be flat
165 // Print fields of flat fields (recursively)
166 InlineKlass* vk = InlineKlass::cast(field_holder()->get_inline_type_field_klass(index()));
167 int field_offset = offset() - vk->first_field_offset();
168 obj = cast_to_oop(cast_from_oop<address>(obj) + field_offset);
169 st->print_cr("Flat inline type field:");
170 FieldPrinter print_field(st, obj, indent + 1, base_offset + field_offset );
171 vk->do_nonstatic_fields(&print_field);
172 if (this->field_flags().has_null_marker()) {
173 for (int i = 0; i < indent + 1; i++) st->print(" ");
174 st->print_cr(" - [null_marker] @%d %s",
175 vk->null_marker_offset() - base_offset + field_offset,
176 obj->bool_field(vk->null_marker_offset()) ? "Field marked as non-null" : "Field marked as null");
177 }
178 return; // Do not print underlying representation
179 }
180 // Not flat inline type field, fall through
181 if (obj->obj_field(offset()) != nullptr) {
182 obj->obj_field(offset())->print_value_on(st);
183 } else {
184 st->print("null");
185 }
186 break;
187 default:
188 ShouldNotReachHere();
189 break;
190 }
191
192 // Print a hint as to the underlying integer representation.
193 if (is_reference_type(ft)) {
194 #ifdef _LP64
195 if (UseCompressedOops) {
196 st->print(" (" INT32_FORMAT_X_0 ")", obj->int_field(offset()));
197 } else {
198 st->print(" (" INT64_FORMAT_X_0 ")", (int64_t)obj->long_field(offset()));
199 }
200 #else
|