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