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 "classfile/vmSymbols.hpp"
26 #include "memory/resourceArea.hpp"
27 #include "oops/annotations.hpp"
28 #include "oops/constantPool.hpp"
29 #include "oops/fieldStreams.inline.hpp"
30 #include "oops/instanceKlass.hpp"
31 #include "oops/klass.inline.hpp"
32 #include "oops/oop.inline.hpp"
33 #include "runtime/fieldDescriptor.inline.hpp"
34 #include "runtime/handles.inline.hpp"
35 #include "runtime/signature.hpp"
36
37 Symbol* fieldDescriptor::generic_signature() const {
38 if (!has_generic_signature()) {
39 return nullptr;
40 }
41 return _cp->symbol_at(_fieldinfo.generic_signature_index());
42 }
43
44 bool fieldDescriptor::is_trusted_final() const {
45 InstanceKlass* ik = field_holder();
46 return is_final() && (is_static() || ik->is_hidden() || ik->is_record());
47 }
48
49 bool fieldDescriptor::is_mutable_static_final() const {
50 InstanceKlass* ik = field_holder();
51 // write protected fields (JLS 17.5.4)
52 if (is_final() && is_static() && ik == vmClasses::System_klass() &&
53 (offset() == java_lang_System::in_offset() || offset() == java_lang_System::out_offset() || offset() == java_lang_System::err_offset())) {
54 return true;
55 }
56 return false;
57 }
58
59 AnnotationArray* fieldDescriptor::annotations() const {
60 InstanceKlass* ik = field_holder();
61 Array<AnnotationArray*>* md = ik->fields_annotations();
62 if (md == nullptr)
63 return nullptr;
64 return md->at(index());
65 }
66
79 jint fieldDescriptor::int_initial_value() const {
80 return constants()->int_at(initial_value_index());
81 }
82
83 jlong fieldDescriptor::long_initial_value() const {
84 return constants()->long_at(initial_value_index());
85 }
86
87 jfloat fieldDescriptor::float_initial_value() const {
88 return constants()->float_at(initial_value_index());
89 }
90
91 jdouble fieldDescriptor::double_initial_value() const {
92 return constants()->double_at(initial_value_index());
93 }
94
95 oop fieldDescriptor::string_initial_value(TRAPS) const {
96 return constants()->uncached_string_at(initial_value_index(), THREAD);
97 }
98
99 void fieldDescriptor::reinitialize(InstanceKlass* ik, const FieldInfo& fieldinfo) {
100 if (_cp.is_null() || field_holder() != ik) {
101 _cp = constantPoolHandle(Thread::current(), ik->constants());
102 // _cp should now reference ik's constant pool; i.e., ik is now field_holder.
103 // If the class is a scratch class, the constant pool points to the original class,
104 // but that's ok because of constant pool merging.
105 assert(field_holder() == ik || ik->is_scratch_class(), "must be already initialized to this class");
106 }
107 _fieldinfo = fieldinfo;
108 guarantee(_fieldinfo.name_index() != 0 && _fieldinfo.signature_index() != 0, "bad constant pool index for fieldDescriptor");
109 }
110
111 void fieldDescriptor::print_access_flags(outputStream* st) const {
112 AccessFlags flags = access_flags();
113 if (flags.is_public ()) st->print("public ");
114 if (flags.is_private ()) st->print("private ");
115 if (flags.is_protected()) st->print("protected ");
116 if (flags.is_static ()) st->print("static ");
117 if (flags.is_final ()) st->print("final ");
118 if (flags.is_volatile ()) st->print("volatile ");
119 if (flags.is_transient()) st->print("transient ");
120 if (flags.is_enum ()) st->print("enum ");
121 if (flags.is_synthetic()) st->print("synthetic ");
122 }
123
124 void fieldDescriptor::print_on(outputStream* st) const {
125 print_access_flags(st);
126 if (field_flags().is_injected()) st->print("injected ");
127 name()->print_value_on(st);
128 st->print(" ");
129 signature()->print_value_on(st);
130 st->print(" @%d ", offset());
131 if (WizardMode && has_initial_value()) {
132 st->print("(initval ");
133 constantTag t = initial_value_tag();
134 if (t.is_int()) {
135 st->print("int %d)", int_initial_value());
136 } else if (t.is_long()){
137 st->print_jlong(long_initial_value());
138 } else if (t.is_float()){
139 st->print("float %f)", float_initial_value());
140 } else if (t.is_double()){
141 st->print("double %lf)", double_initial_value());
142 }
143 }
144 }
145
146 void fieldDescriptor::print() const { print_on(tty); }
147
148 void fieldDescriptor::print_on_for(outputStream* st, oop obj) {
149 print_on(st);
150 st->print(" ");
151
152 BasicType ft = field_type();
153 switch (ft) {
154 case T_BYTE:
155 st->print("%d", obj->byte_field(offset()));
156 break;
157 case T_CHAR:
158 {
159 jchar c = obj->char_field(offset());
160 st->print("%c %d", isprint(c) ? c : ' ', c);
161 }
162 break;
163 case T_DOUBLE:
164 st->print("%lf", obj->double_field(offset()));
165 break;
166 case T_FLOAT:
167 st->print("%f", obj->float_field(offset()));
168 break;
169 case T_INT:
170 st->print("%d", obj->int_field(offset()));
171 break;
172 case T_LONG:
173 st->print_jlong(obj->long_field(offset()));
174 break;
175 case T_SHORT:
176 st->print("%d", obj->short_field(offset()));
177 break;
178 case T_BOOLEAN:
179 st->print("%s", obj->bool_field(offset()) ? "true" : "false");
180 break;
181 case T_ARRAY:
182 if (obj->obj_field(offset()) != nullptr) {
183 obj->obj_field(offset())->print_value_on(st);
184 } else {
185 st->print("null");
186 }
187 break;
188 case T_OBJECT:
189 if (obj->obj_field(offset()) != nullptr) {
190 obj->obj_field(offset())->print_value_on(st);
191 } else {
192 st->print("null");
193 }
194 break;
195 default:
196 ShouldNotReachHere();
197 break;
198 }
199
200 // Print a hint as to the underlying integer representation.
201 if (is_reference_type(ft)) {
202 #ifdef _LP64
203 if (UseCompressedOops) {
204 st->print(" (" INT32_FORMAT_X_0 ")", obj->int_field(offset()));
205 } else {
206 st->print(" (" INT64_FORMAT_X_0 ")", (int64_t)obj->long_field(offset()));
207 }
208 #else
|
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 "classfile/vmSymbols.hpp"
26 #include "memory/resourceArea.hpp"
27 #include "oops/annotations.hpp"
28 #include "oops/constantPool.hpp"
29 #include "oops/fieldStreams.inline.hpp"
30 #include "oops/inlineKlass.inline.hpp"
31 #include "oops/instanceKlass.hpp"
32 #include "oops/klass.inline.hpp"
33 #include "oops/oop.inline.hpp"
34 #include "runtime/arguments.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 bool fieldDescriptor::is_mutable_static_final() const {
53 InstanceKlass* ik = field_holder();
54 // write protected fields (JLS 17.5.4)
55 if (is_final() && is_static() && ik == vmClasses::System_klass() &&
56 (offset() == java_lang_System::in_offset() || offset() == java_lang_System::out_offset() || offset() == java_lang_System::err_offset())) {
57 return true;
58 }
59 return false;
60 }
61
62 AnnotationArray* fieldDescriptor::annotations() const {
63 InstanceKlass* ik = field_holder();
64 Array<AnnotationArray*>* md = ik->fields_annotations();
65 if (md == nullptr)
66 return nullptr;
67 return md->at(index());
68 }
69
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(const InstanceKlass* ik, const FieldInfo& fieldinfo) {
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 // If the class is a scratch class, the constant pool points to the original class,
107 // but that's ok because of constant pool merging.
108 assert(field_holder() == ik || ik->is_scratch_class(), "must be already initialized to this class");
109 }
110 _fieldinfo = fieldinfo;
111 guarantee(_fieldinfo.name_index() != 0 && _fieldinfo.signature_index() != 0, "bad constant pool index for fieldDescriptor");
112 }
113
114 void fieldDescriptor::print_access_flags(outputStream* st) const {
115 AccessFlags flags = access_flags();
116 if (flags.is_public ()) st->print("public ");
117 if (flags.is_private ()) st->print("private ");
118 if (flags.is_protected()) st->print("protected ");
119 if (flags.is_static ()) st->print("static ");
120 if (flags.is_final ()) st->print("final ");
121 if (flags.is_volatile ()) st->print("volatile ");
122 if (flags.is_transient()) st->print("transient ");
123 if (flags.is_enum ()) st->print("enum ");
124 if (flags.is_synthetic()) st->print("synthetic ");
125 if (Arguments::is_valhalla_enabled()) {
126 if (flags.is_identity_class()) st->print("identity ");
127 if (!flags.is_identity_class()) st->print("value " );
128 }
129 }
130
131 void fieldDescriptor::print_on(outputStream* st, int base_offset) const {
132 print_access_flags(st);
133 if (field_flags().is_injected()) st->print("injected ");
134 bool flat = field_flags().is_flat();
135 if (flat) st->print("flat ");
136 name()->print_value_on(st);
137 st->print(" (fields 0x%08x) ", field_flags().as_uint());
138 signature()->print_value_on(st);
139 st->print(" @%d ", offset() + base_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 st->print(" ");
153 }
154 if (flat) LayoutKindHelper::print_on(layout_kind(), st);
155 }
156
157 void fieldDescriptor::print() const { print_on(tty); }
158
159 void fieldDescriptor::print_on_for(outputStream* st, oop obj, int indent, int base_offset) {
160 BasicType ft = field_type();
161 print_on(st, base_offset);
162 st->print(" ");
163 jint as_int = 0;
164 switch (ft) {
165 case T_BYTE:
166 st->print("%d", obj->byte_field(offset()));
167 break;
168 case T_CHAR:
169 {
170 jchar c = obj->char_field(offset());
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 st->print("%f", obj->float_field(offset()));
179 break;
180 case T_INT:
181 st->print("%d", obj->int_field(offset()));
182 break;
183 case T_LONG:
184 st->print_jlong(obj->long_field(offset()));
185 break;
186 case T_SHORT:
187 st->print("%d", obj->short_field(offset()));
188 break;
189 case T_BOOLEAN:
190 st->print("%s", obj->bool_field(offset()) ? "true" : "false");
191 break;
192 case T_ARRAY:
193 case T_OBJECT:
194 if (is_flat()) { // only some inline types can be flat
195 InlineKlass* vk = InlineKlass::cast(field_holder()->get_inline_type_field_klass(index()));
196 st->print("Flat inline type field '%s':", vk->name()->as_C_string());
197 if (!is_null_free_inline_type()) {
198 assert(has_null_marker(), "should have null marker");
199 InlineLayoutInfo* li = field_holder()->inline_layout_info_adr(index());
200 int nm_offset = li->null_marker_offset();
201 if (obj->byte_field_acquire(nm_offset) == 0) {
202 st->print_cr(" null");
203 return;
204 }
205 }
206 st->cr();
207 // Print fields of flat field (recursively)
208 int field_offset = offset() - vk->payload_offset();
209 obj = cast_to_oop(cast_from_oop<address>(obj) + field_offset);
210 FieldPrinter print_field(st, obj, indent + 1, base_offset + field_offset );
211 vk->do_nonstatic_fields(&print_field);
212 if (this->field_flags().has_null_marker()) {
213 for (int i = 0; i < indent + 1; i++) st->print(" ");
214 st->print_cr(" - [null_marker] @%d %s",
215 vk->null_marker_offset() - base_offset + field_offset,
216 obj->bool_field(vk->null_marker_offset()) ? "Field marked as non-null" : "Field marked as null");
217 }
218 return; // Do not print underlying representation
219 }
220 // Not flat inline type field, fall through
221 if (obj->obj_field(offset()) != nullptr) {
222 obj->obj_field(offset())->print_value_on(st);
223 } else {
224 st->print("null");
225 }
226 break;
227 default:
228 ShouldNotReachHere();
229 break;
230 }
231
232 // Print a hint as to the underlying integer representation.
233 if (is_reference_type(ft)) {
234 #ifdef _LP64
235 if (UseCompressedOops) {
236 st->print(" (" INT32_FORMAT_X_0 ")", obj->int_field(offset()));
237 } else {
238 st->print(" (" INT64_FORMAT_X_0 ")", (int64_t)obj->long_field(offset()));
239 }
240 #else
|