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 
  38 oop fieldDescriptor::loader() const {
  39   return _cp->pool_holder()->class_loader();
  40 }
  41 
  42 Symbol* 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 
  60 AnnotationArray* 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 
  68 AnnotationArray* 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 
  76 constantTag fieldDescriptor::initial_value_tag() const {
  77   return constants()->tag_at(initial_value_index());
  78 }
  79 
  80 jint fieldDescriptor::int_initial_value() const {
  81   return constants()->int_at(initial_value_index());
  82 }
  83 
  84 jlong fieldDescriptor::long_initial_value() const {
  85   return constants()->long_at(initial_value_index());
  86 }
  87 
  88 jfloat fieldDescriptor::float_initial_value() const {
  89   return constants()->float_at(initial_value_index());
  90 }
  91 
  92 jdouble fieldDescriptor::double_initial_value() const {
  93   return constants()->double_at(initial_value_index());
  94 }
  95 
  96 oop fieldDescriptor::string_initial_value(TRAPS) const {
  97   return constants()->uncached_string_at(initial_value_index(), CHECK_0);
  98 }
  99 
 100 void 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 
 117 void 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 
 126 void 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 
 147 void 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 */