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 */