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 "runtime/fieldDescriptor.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 NULL;
59 }
60
61 AnnotationArray* 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
69 AnnotationArray* 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
77 constantTag fieldDescriptor::initial_value_tag() const {
78 return constants()->tag_at(initial_value_index());
79 }
80
81 jint fieldDescriptor::int_initial_value() const {
82 return constants()->int_at(initial_value_index());
83 }
84
85 jlong fieldDescriptor::long_initial_value() const {
86 return constants()->long_at(initial_value_index());
87 }
88
89 jfloat fieldDescriptor::float_initial_value() const {
90 return constants()->float_at(initial_value_index());
91 }
92
93 jdouble fieldDescriptor::double_initial_value() const {
94 return constants()->double_at(initial_value_index());
95 }
96
97 oop fieldDescriptor::string_initial_value(TRAPS) const {
98 return constants()->uncached_string_at(initial_value_index(), THREAD);
99 }
100
101 void fieldDescriptor::reinitialize_accessor(InstanceKlass* ik) {
102 //assert(_getAccessor != -1 && _putAccessor != -1, "asymetric accesor configuration");
103 if (_cp.is_null()) {
104 _cp = constantPoolHandle(Thread::current(), ik->constants());
105 assert(!_cp.is_null(), "must be initialized");
106 }
107 Method* getM = ik->method_with_idnum(_getAccessor);
108 Method* putM = ik->method_with_idnum(_putAccessor);
109
110 assert(getM->access_flags().get_flags() == putM->access_flags().get_flags(), "asymetic accessiblity in accessor configuration");
111 _access_flags = accessFlags_from(getM->access_flags().get_flags());
112
113 // Somehow the memory has to be freed. Maybe create a destructor for fieldDescriptor
114 _accessor_info = NEW_C_HEAP_ARRAY(FieldInfo,1,mtInternal);
115 // How do I get an index for the signature. There maybe no signature in constant-pool of this class.
116 // Fortunatly the signature is not used for this prototype.
117 _accessor_info->initialize(/*_access_flags*/_access_flags.as_short(),_field_name_from_accessor,/*sig_index*/0,/*initval*/0);
118 // fieldDescriptor for accessor initialized completely
119 // maybe more checks are needed in future.
120 _is_accessor = true;
121 }
122
123 void fieldDescriptor::reinitialize(InstanceKlass* ik, int index) {
124 _is_accessor = false;
125 _accessor_info = NULL;
126 if (_cp.is_null() || field_holder() != ik) {
127 _cp = constantPoolHandle(Thread::current(), ik->constants());
128 // _cp should now reference ik's constant pool; i.e., ik is now field_holder.
129 assert(field_holder() == ik, "must be already initialized to this class");
130 }
131 FieldInfo* f = ik->field(index);
132 assert(!f->is_internal(), "regular Java fields only");
133
134 _access_flags = accessFlags_from(f->access_flags());
135 guarantee(f->name_index() != 0 && f->signature_index() != 0, "bad constant pool index for fieldDescriptor");
136 _index = index;
137 verify();
138 }
139
140 #ifndef PRODUCT
141
142 void fieldDescriptor::verify() const {
143 if (_cp.is_null()) {
144 assert(_index == badInt, "constructor must be called"); // see constructor
145 } else {
146 assert(_index >= 0, "good index");
147 assert(_index < field_holder()->java_fields_count(), "oob");
148 }
149 }
150
151 void fieldDescriptor::print_on(outputStream* st) const {
152 access_flags().print_on(st);
153 name()->print_value_on(st);
154 st->print(" ");
155 signature()->print_value_on(st);
156 st->print(" @%d ", offset());
157 if (WizardMode && has_initial_value()) {
158 st->print("(initval ");
159 constantTag t = initial_value_tag();
160 if (t.is_int()) {
161 st->print("int %d)", int_initial_value());
162 } else if (t.is_long()){
163 st->print_jlong(long_initial_value());
164 } else if (t.is_float()){
165 st->print("float %f)", float_initial_value());
166 } else if (t.is_double()){
167 st->print("double %lf)", double_initial_value());
168 }
169 }
170 }
171
172 void fieldDescriptor::print_on_for(outputStream* st, oop obj) {
173 print_on(st);
174 BasicType ft = field_type();
175 jint as_int = 0;
176 switch (ft) {
177 case T_BYTE:
178 as_int = (jint)obj->byte_field(offset());
179 st->print(" %d", obj->byte_field(offset()));
180 break;
181 case T_CHAR:
182 as_int = (jint)obj->char_field(offset());
183 {
184 jchar c = obj->char_field(offset());
185 as_int = c;
186 st->print(" %c %d", isprint(c) ? c : ' ', c);
187 }
188 break;
189 case T_DOUBLE:
190 st->print(" %lf", obj->double_field(offset()));
191 break;
192 case T_FLOAT:
193 as_int = obj->int_field(offset());
194 st->print(" %f", obj->float_field(offset()));
195 break;
196 case T_INT:
197 as_int = obj->int_field(offset());
198 st->print(" %d", obj->int_field(offset()));
199 break;
200 case T_LONG:
201 st->print(" ");
202 st->print_jlong(obj->long_field(offset()));
203 break;
204 case T_SHORT:
205 as_int = obj->short_field(offset());
206 st->print(" %d", obj->short_field(offset()));
207 break;
208 case T_BOOLEAN:
209 as_int = obj->bool_field(offset());
210 st->print(" %s", obj->bool_field(offset()) ? "true" : "false");
211 break;
212 case T_ARRAY:
213 st->print(" ");
214 NOT_LP64(as_int = obj->int_field(offset()));
215 obj->obj_field(offset())->print_value_on(st);
216 break;
217 case T_OBJECT:
218 st->print(" ");
219 NOT_LP64(as_int = obj->int_field(offset()));
220 obj->obj_field(offset())->print_value_on(st);
221 break;
222 default:
223 ShouldNotReachHere();
224 break;
225 }
226 // Print a hint as to the underlying integer representation. This can be wrong for
227 // pointers on an LP64 machine
228 if (ft == T_LONG || ft == T_DOUBLE LP64_ONLY(|| !is_java_primitive(ft)) ) {
229 st->print(" (%x %x)", obj->int_field(offset()), obj->int_field(offset()+sizeof(jint)));
230 } else if (as_int < 0 || as_int > 9) {
231 st->print(" (%x)", as_int);
232 }
233 }
234
235 #endif /* PRODUCT */