hotspot/src/share/vm/runtime/reflection.cpp
author coleenp
Wed, 28 Oct 2015 09:47:23 -0400
changeset 33611 9abd65805e19
parent 33602 16053580a684
child 34229 892795cc82fe
permissions -rw-r--r--
8139203: Consistent naming for klass type predicates 8138923: Remove oop coupling with InstanceKlass subclasses Summary: Renamed oop_is_instance and friends, removed the functions in oop that dug down into InstanceKlass. Reviewed-by: jrose, lfoltan, stefank
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
29081
c61eb4914428 8072911: Remove includes of oop.inline.hpp from .hpp files
stefank
parents: 27685
diff changeset
     2
 * Copyright (c) 1997, 2015, Oracle and/or its affiliates. All rights reserved.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     4
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
489c9b5090e2 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
489c9b5090e2 Initial load
duke
parents:
diff changeset
     7
 * published by the Free Software Foundation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     8
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
489c9b5090e2 Initial load
duke
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
489c9b5090e2 Initial load
duke
parents:
diff changeset
    13
 * accompanied this code).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    14
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
489c9b5090e2 Initial load
duke
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    18
 *
5547
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 4581
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 4581
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 4581
diff changeset
    21
 * questions.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    22
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    23
 */
489c9b5090e2 Initial load
duke
parents:
diff changeset
    24
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    25
#include "precompiled.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    26
#include "classfile/javaClasses.hpp"
24426
0a69c8cdfca9 8038654: Separate SymbolTable and StringTable code
gziemski
parents: 22897
diff changeset
    27
#include "classfile/stringTable.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    28
#include "classfile/systemDictionary.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    29
#include "classfile/verifier.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    30
#include "classfile/vmSymbols.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    31
#include "interpreter/linkResolver.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    32
#include "memory/oopFactory.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    33
#include "memory/resourceArea.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    34
#include "memory/universe.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    35
#include "oops/instanceKlass.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    36
#include "oops/objArrayKlass.hpp"
29081
c61eb4914428 8072911: Remove includes of oop.inline.hpp from .hpp files
stefank
parents: 27685
diff changeset
    37
#include "oops/objArrayOop.inline.hpp"
c61eb4914428 8072911: Remove includes of oop.inline.hpp from .hpp files
stefank
parents: 27685
diff changeset
    38
#include "oops/oop.inline.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    39
#include "prims/jvm.h"
22897
77e1024a4a14 4505697: nsk/jdi/ExceptionEvent/_itself_/exevent006 and exevent008 tests fail with InvocationTargetException
jbachorik
parents: 22551
diff changeset
    40
#include "prims/jvmtiExport.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    41
#include "runtime/arguments.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    42
#include "runtime/handles.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    43
#include "runtime/javaCalls.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    44
#include "runtime/reflection.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    45
#include "runtime/reflectionUtils.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    46
#include "runtime/signature.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    47
#include "runtime/vframe.hpp"
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    48
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
    49
static void trace_class_resolution(Klass* to_class) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
  ResourceMark rm;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
  int line_number = -1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
  const char * source_file = NULL;
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
    53
  Klass* caller = NULL;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
  JavaThread* jthread = JavaThread::current();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
  if (jthread->has_last_Java_frame()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
    vframeStream vfst(jthread);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
    // skip over any frames belonging to java.lang.Class
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
    while (!vfst.at_end() &&
14391
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 14385
diff changeset
    59
           vfst.method()->method_holder()->name() == vmSymbols::java_lang_Class()) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
      vfst.next();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
    if (!vfst.at_end()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
      // this frame is a likely suspect
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
      caller = vfst.method()->method_holder();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
      line_number = vfst.method()->line_number_from_bci(vfst.bci());
14391
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 14385
diff changeset
    66
      Symbol* s = vfst.method()->method_holder()->source_file_name();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
      if (s != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
        source_file = s->as_C_string();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
  if (caller != NULL) {
14488
ab48109f7d1b 8001471: Klass::cast() does nothing
hseigel
parents: 14391
diff changeset
    73
    const char * from = caller->external_name();
ab48109f7d1b 8001471: Klass::cast() does nothing
hseigel
parents: 14391
diff changeset
    74
    const char * to = to_class->external_name();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
    // print in a single call to reduce interleaving between threads
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
    if (source_file != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
      tty->print("RESOLVE %s %s %s:%d (reflection)\n", from, to, source_file, line_number);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    78
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
      tty->print("RESOLVE %s %s (reflection)\n", from, to);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
oop Reflection::box(jvalue* value, BasicType type, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
  if (type == T_VOID) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
    return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
  if (type == T_OBJECT || type == T_ARRAY) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
    // regular objects are not boxed
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
    return (oop) value->l;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
  oop result = java_lang_boxing_object::create(type, value, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
  if (result == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
    THROW_(vmSymbols::java_lang_IllegalArgumentException(), result);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
  return result;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
BasicType Reflection::unbox_for_primitive(oop box, jvalue* value, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
  if (box == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
    THROW_(vmSymbols::java_lang_IllegalArgumentException(), T_ILLEGAL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
  return java_lang_boxing_object::get_value(box, value);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   106
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
BasicType Reflection::unbox_for_regular_object(oop box, jvalue* value) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
  // Note:  box is really the unboxed oop.  It might even be a Short, etc.!
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
  value->l = (jobject) box;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
  return T_OBJECT;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
489c9b5090e2 Initial load
duke
parents:
diff changeset
   114
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
void Reflection::widen(jvalue* value, BasicType current_type, BasicType wide_type, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
  assert(wide_type != current_type, "widen should not be called with identical types");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   117
  switch (wide_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   118
    case T_BOOLEAN:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   119
    case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   120
    case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
      break;  // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
   122
    case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   123
      switch (current_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   124
        case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   125
          value->s = (jshort) value->b;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   126
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
      break;  // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
    case T_INT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
      switch (current_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   131
        case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   132
          value->i = (jint) value->b;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
        case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
          value->i = (jint) value->c;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
        case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
          value->i = (jint) value->s;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   141
      break;  // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
   142
    case T_LONG:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   143
      switch (current_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   144
        case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
          value->j = (jlong) value->b;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   147
        case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
          value->j = (jlong) value->c;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   150
        case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   151
          value->j = (jlong) value->s;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   152
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   153
        case T_INT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   154
          value->j = (jlong) value->i;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   155
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   156
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   157
      break;  // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
   158
    case T_FLOAT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   159
      switch (current_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   160
        case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   161
          value->f = (jfloat) value->b;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   162
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   163
        case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   164
          value->f = (jfloat) value->c;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   165
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   166
        case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   167
          value->f = (jfloat) value->s;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   168
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   169
        case T_INT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   170
          value->f = (jfloat) value->i;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   171
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   172
        case T_LONG:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   173
          value->f = (jfloat) value->j;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   174
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   175
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   176
      break;  // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
   177
    case T_DOUBLE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   178
      switch (current_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   179
        case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   180
          value->d = (jdouble) value->b;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   181
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   182
        case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   183
          value->d = (jdouble) value->c;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   184
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   185
        case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   186
          value->d = (jdouble) value->s;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   187
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   188
        case T_INT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   189
          value->d = (jdouble) value->i;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   190
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   191
        case T_FLOAT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   192
          value->d = (jdouble) value->f;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   193
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   194
        case T_LONG:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   195
          value->d = (jdouble) value->j;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   196
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   197
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   198
      break;  // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
   199
    default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   200
      break;  // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
   201
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   202
  THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(), "argument type mismatch");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   203
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   204
489c9b5090e2 Initial load
duke
parents:
diff changeset
   205
489c9b5090e2 Initial load
duke
parents:
diff changeset
   206
BasicType Reflection::array_get(jvalue* value, arrayOop a, int index, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   207
  if (!a->is_within_bounds(index)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   208
    THROW_(vmSymbols::java_lang_ArrayIndexOutOfBoundsException(), T_ILLEGAL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   209
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   210
  if (a->is_objArray()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   211
    value->l = (jobject) objArrayOop(a)->obj_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   212
    return T_OBJECT;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   213
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   214
    assert(a->is_typeArray(), "just checking");
13952
e3cf184080bc 8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents: 13728
diff changeset
   215
    BasicType type = TypeArrayKlass::cast(a->klass())->element_type();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   216
    switch (type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   217
      case T_BOOLEAN:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   218
        value->z = typeArrayOop(a)->bool_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   219
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   220
      case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   221
        value->c = typeArrayOop(a)->char_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   222
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   223
      case T_FLOAT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   224
        value->f = typeArrayOop(a)->float_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   225
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   226
      case T_DOUBLE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   227
        value->d = typeArrayOop(a)->double_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   228
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   229
      case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   230
        value->b = typeArrayOop(a)->byte_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   231
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   232
      case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   233
        value->s = typeArrayOop(a)->short_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   234
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   235
      case T_INT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   236
        value->i = typeArrayOop(a)->int_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   237
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   238
      case T_LONG:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   239
        value->j = typeArrayOop(a)->long_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   240
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   241
      default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   242
        return T_ILLEGAL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   243
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   244
    return type;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   245
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   246
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   247
489c9b5090e2 Initial load
duke
parents:
diff changeset
   248
489c9b5090e2 Initial load
duke
parents:
diff changeset
   249
void Reflection::array_set(jvalue* value, arrayOop a, int index, BasicType value_type, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   250
  if (!a->is_within_bounds(index)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   251
    THROW(vmSymbols::java_lang_ArrayIndexOutOfBoundsException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   252
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   253
  if (a->is_objArray()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   254
    if (value_type == T_OBJECT) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   255
      oop obj = (oop) value->l;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   256
      if (obj != NULL) {
13952
e3cf184080bc 8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents: 13728
diff changeset
   257
        Klass* element_klass = ObjArrayKlass::cast(a->klass())->element_klass();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   258
        if (!obj->is_a(element_klass)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   259
          THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(), "array element type mismatch");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   260
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   261
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   262
      objArrayOop(a)->obj_at_put(index, obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   263
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   264
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   265
    assert(a->is_typeArray(), "just checking");
13952
e3cf184080bc 8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents: 13728
diff changeset
   266
    BasicType array_type = TypeArrayKlass::cast(a->klass())->element_type();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   267
    if (array_type != value_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   268
      // The widen operation can potentially throw an exception, but cannot block,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   269
      // so typeArrayOop a is safe if the call succeeds.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   270
      widen(value, value_type, array_type, CHECK);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   271
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   272
    switch (array_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   273
      case T_BOOLEAN:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   274
        typeArrayOop(a)->bool_at_put(index, value->z);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   275
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   276
      case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   277
        typeArrayOop(a)->char_at_put(index, value->c);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   278
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   279
      case T_FLOAT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   280
        typeArrayOop(a)->float_at_put(index, value->f);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   281
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   282
      case T_DOUBLE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   283
        typeArrayOop(a)->double_at_put(index, value->d);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   284
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   285
      case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   286
        typeArrayOop(a)->byte_at_put(index, value->b);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   287
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   288
      case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   289
        typeArrayOop(a)->short_at_put(index, value->s);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   290
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   291
      case T_INT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   292
        typeArrayOop(a)->int_at_put(index, value->i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   293
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   294
      case T_LONG:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   295
        typeArrayOop(a)->long_at_put(index, value->j);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   296
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   297
      default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   298
        THROW(vmSymbols::java_lang_IllegalArgumentException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   299
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   300
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   301
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   302
489c9b5090e2 Initial load
duke
parents:
diff changeset
   303
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   304
Klass* Reflection::basic_type_mirror_to_arrayklass(oop basic_type_mirror, TRAPS) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   305
  assert(java_lang_Class::is_primitive(basic_type_mirror), "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   306
  BasicType type = java_lang_Class::primitive_type(basic_type_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   307
  if (type == T_VOID) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   308
    THROW_0(vmSymbols::java_lang_IllegalArgumentException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   309
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   310
    return Universe::typeArrayKlassObj(type);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   311
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   312
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   313
489c9b5090e2 Initial load
duke
parents:
diff changeset
   314
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   315
oop Reflection:: basic_type_arrayklass_to_mirror(Klass* basic_type_arrayklass, TRAPS) {
13952
e3cf184080bc 8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents: 13728
diff changeset
   316
  BasicType type = TypeArrayKlass::cast(basic_type_arrayklass)->element_type();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   317
  return Universe::java_mirror(type);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   318
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   319
489c9b5090e2 Initial load
duke
parents:
diff changeset
   320
489c9b5090e2 Initial load
duke
parents:
diff changeset
   321
arrayOop Reflection::reflect_new_array(oop element_mirror, jint length, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   322
  if (element_mirror == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   323
    THROW_0(vmSymbols::java_lang_NullPointerException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   324
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   325
  if (length < 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   326
    THROW_0(vmSymbols::java_lang_NegativeArraySizeException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   327
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   328
  if (java_lang_Class::is_primitive(element_mirror)) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   329
    Klass* tak = basic_type_mirror_to_arrayklass(element_mirror, CHECK_NULL);
13952
e3cf184080bc 8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents: 13728
diff changeset
   330
    return TypeArrayKlass::cast(tak)->allocate(length, THREAD);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   331
  } else {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   332
    Klass* k = java_lang_Class::as_Klass(element_mirror);
33611
9abd65805e19 8139203: Consistent naming for klass type predicates
coleenp
parents: 33602
diff changeset
   333
    if (k->is_array_klass() && ArrayKlass::cast(k)->dimension() >= MAX_DIM) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   334
      THROW_0(vmSymbols::java_lang_IllegalArgumentException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   335
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   336
    return oopFactory::new_objArray(k, length, THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   337
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   338
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   339
489c9b5090e2 Initial load
duke
parents:
diff changeset
   340
489c9b5090e2 Initial load
duke
parents:
diff changeset
   341
arrayOop Reflection::reflect_new_multi_array(oop element_mirror, typeArrayOop dim_array, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   342
  assert(dim_array->is_typeArray(), "just checking");
13952
e3cf184080bc 8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents: 13728
diff changeset
   343
  assert(TypeArrayKlass::cast(dim_array->klass())->element_type() == T_INT, "just checking");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   344
489c9b5090e2 Initial load
duke
parents:
diff changeset
   345
  if (element_mirror == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   346
    THROW_0(vmSymbols::java_lang_NullPointerException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   347
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   348
489c9b5090e2 Initial load
duke
parents:
diff changeset
   349
  int len = dim_array->length();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   350
  if (len <= 0 || len > MAX_DIM) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   351
    THROW_0(vmSymbols::java_lang_IllegalArgumentException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   352
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   353
489c9b5090e2 Initial load
duke
parents:
diff changeset
   354
  jint dimensions[MAX_DIM];   // C array copy of intArrayOop
489c9b5090e2 Initial load
duke
parents:
diff changeset
   355
  for (int i = 0; i < len; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   356
    int d = dim_array->int_at(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   357
    if (d < 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   358
      THROW_0(vmSymbols::java_lang_NegativeArraySizeException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   359
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   360
    dimensions[i] = d;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   361
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   362
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   363
  Klass* klass;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   364
  int dim = len;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   365
  if (java_lang_Class::is_primitive(element_mirror)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   366
    klass = basic_type_mirror_to_arrayklass(element_mirror, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   367
  } else {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   368
    klass = java_lang_Class::as_Klass(element_mirror);
33611
9abd65805e19 8139203: Consistent naming for klass type predicates
coleenp
parents: 33602
diff changeset
   369
    if (klass->is_array_klass()) {
13952
e3cf184080bc 8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents: 13728
diff changeset
   370
      int k_dim = ArrayKlass::cast(klass)->dimension();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   371
      if (k_dim + len > MAX_DIM) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   372
        THROW_0(vmSymbols::java_lang_IllegalArgumentException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   373
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   374
      dim += k_dim;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   375
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   376
  }
14488
ab48109f7d1b 8001471: Klass::cast() does nothing
hseigel
parents: 14391
diff changeset
   377
  klass = klass->array_klass(dim, CHECK_NULL);
17861
8f14da01157d 6726963: multi_allocate() call does not CHECK_NULL and causes crash in fastdebug bits
ctornqvi
parents: 17860
diff changeset
   378
  oop obj = ArrayKlass::cast(klass)->multi_allocate(len, dimensions, CHECK_NULL);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   379
  assert(obj->is_array(), "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   380
  return arrayOop(obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   381
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   382
489c9b5090e2 Initial load
duke
parents:
diff changeset
   383
489c9b5090e2 Initial load
duke
parents:
diff changeset
   384
oop Reflection::array_component_type(oop mirror, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   385
  if (java_lang_Class::is_primitive(mirror)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   386
    return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   387
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   388
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   389
  Klass* klass = java_lang_Class::as_Klass(mirror);
33611
9abd65805e19 8139203: Consistent naming for klass type predicates
coleenp
parents: 33602
diff changeset
   390
  if (!klass->is_array_klass()) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   391
    return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   392
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   393
26412
80741eb33ba2 8049105: Move array component mirror to instance of java/lang/Class (hotspot part 2)
coleenp
parents: 25057
diff changeset
   394
  oop result = java_lang_Class::component_mirror(mirror);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   395
#ifdef ASSERT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   396
  oop result2 = NULL;
13952
e3cf184080bc 8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents: 13728
diff changeset
   397
  if (ArrayKlass::cast(klass)->dimension() == 1) {
33611
9abd65805e19 8139203: Consistent naming for klass type predicates
coleenp
parents: 33602
diff changeset
   398
    if (klass->is_typeArray_klass()) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   399
      result2 = basic_type_arrayklass_to_mirror(klass, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   400
    } else {
14488
ab48109f7d1b 8001471: Klass::cast() does nothing
hseigel
parents: 14391
diff changeset
   401
      result2 = ObjArrayKlass::cast(klass)->element_klass()->java_mirror();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   402
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   403
  } else {
13952
e3cf184080bc 8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents: 13728
diff changeset
   404
    Klass* lower_dim = ArrayKlass::cast(klass)->lower_dimension();
33611
9abd65805e19 8139203: Consistent naming for klass type predicates
coleenp
parents: 33602
diff changeset
   405
    assert(lower_dim->is_array_klass(), "just checking");
14488
ab48109f7d1b 8001471: Klass::cast() does nothing
hseigel
parents: 14391
diff changeset
   406
    result2 = lower_dim->java_mirror();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   407
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   408
  assert(result == result2, "results must be consistent");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   409
#endif //ASSERT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   410
  return result;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   411
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   412
489c9b5090e2 Initial load
duke
parents:
diff changeset
   413
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   414
bool Reflection::verify_class_access(Klass* current_class, Klass* new_class, bool classloader_only) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   415
  // Verify that current_class can access new_class.  If the classloader_only
489c9b5090e2 Initial load
duke
parents:
diff changeset
   416
  // flag is set, we automatically allow any accesses in which current_class
489c9b5090e2 Initial load
duke
parents:
diff changeset
   417
  // doesn't have a classloader.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   418
  if ((current_class == NULL) ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   419
      (current_class == new_class) ||
18508
3b95160639d8 8017571: JSR292: JVM crashing on assert "cast to instanceKlass" while producing MethodHandle for array methods with MethodHandle.findVirtual
twisti
parents: 17863
diff changeset
   420
      (new_class->is_public()) ||
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   421
      is_same_class_package(current_class, new_class)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   422
    return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   423
  }
25057
f38210f84f8c 8031819: Remove legacy jdk checks and code
hseigel
parents: 24456
diff changeset
   424
  // Allow all accesses from sun/reflect/MagicAccessorImpl subclasses to
f38210f84f8c 8031819: Remove legacy jdk checks and code
hseigel
parents: 24456
diff changeset
   425
  // succeed trivially.
f38210f84f8c 8031819: Remove legacy jdk checks and code
hseigel
parents: 24456
diff changeset
   426
  if (current_class->is_subclass_of(SystemDictionary::reflect_MagicAccessorImpl_klass())) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   427
    return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   428
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   429
489c9b5090e2 Initial load
duke
parents:
diff changeset
   430
  return can_relax_access_check_for(current_class, new_class, classloader_only);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   431
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   432
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   433
static bool under_host_klass(InstanceKlass* ik, Klass* host_klass) {
1550
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   434
  DEBUG_ONLY(int inf_loop_check = 1000 * 1000 * 1000);
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   435
  for (;;) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   436
    Klass* hc = (Klass*) ik->host_klass();
1550
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   437
    if (hc == NULL)        return false;
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   438
    if (hc == host_klass)  return true;
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   439
    ik = InstanceKlass::cast(hc);
1550
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   440
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   441
    // There's no way to make a host class loop short of patching memory.
22551
9bf46d16dcc6 8025856: Fix typos in the GC code
jwilhelm
parents: 22215
diff changeset
   442
    // Therefore there cannot be a loop here unless there's another bug.
1550
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   443
    // Still, let's check for it.
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   444
    assert(--inf_loop_check > 0, "no host_klass loop");
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   445
  }
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   446
}
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   447
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   448
bool Reflection::can_relax_access_check_for(
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   449
    Klass* accessor, Klass* accessee, bool classloader_only) {
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   450
  InstanceKlass* accessor_ik = InstanceKlass::cast(accessor);
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   451
  InstanceKlass* accessee_ik  = InstanceKlass::cast(accessee);
1550
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   452
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   453
  // If either is on the other's host_klass chain, access is OK,
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   454
  // because one is inside the other.
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   455
  if (under_host_klass(accessor_ik, accessee) ||
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   456
      under_host_klass(accessee_ik, accessor))
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   457
    return true;
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   458
17863
d77007cf03c1 8015385: Remove RelaxAccessControlCheck for JDK 8 bytecodes
hseigel
parents: 17861
diff changeset
   459
  if ((RelaxAccessControlCheck &&
d77007cf03c1 8015385: Remove RelaxAccessControlCheck for JDK 8 bytecodes
hseigel
parents: 17861
diff changeset
   460
        accessor_ik->major_version() < Verifier::NO_RELAX_ACCESS_CTRL_CHECK_VERSION &&
d77007cf03c1 8015385: Remove RelaxAccessControlCheck for JDK 8 bytecodes
hseigel
parents: 17861
diff changeset
   461
        accessee_ik->major_version() < Verifier::NO_RELAX_ACCESS_CTRL_CHECK_VERSION) ||
d77007cf03c1 8015385: Remove RelaxAccessControlCheck for JDK 8 bytecodes
hseigel
parents: 17861
diff changeset
   462
      (accessor_ik->major_version() < Verifier::STRICTER_ACCESS_CTRL_CHECK_VERSION &&
d77007cf03c1 8015385: Remove RelaxAccessControlCheck for JDK 8 bytecodes
hseigel
parents: 17861
diff changeset
   463
       accessee_ik->major_version() < Verifier::STRICTER_ACCESS_CTRL_CHECK_VERSION)) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   464
    return classloader_only &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   465
      Verifier::relax_verify_for(accessor_ik->class_loader()) &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   466
      accessor_ik->protection_domain() == accessee_ik->protection_domain() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   467
      accessor_ik->class_loader() == accessee_ik->class_loader();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   468
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   469
    return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   470
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   471
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   472
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   473
bool Reflection::verify_field_access(Klass* current_class,
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   474
                                     Klass* resolved_class,
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   475
                                     Klass* field_class,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   476
                                     AccessFlags access,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   477
                                     bool classloader_only,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   478
                                     bool protected_restriction) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   479
  // Verify that current_class can access a field of field_class, where that
489c9b5090e2 Initial load
duke
parents:
diff changeset
   480
  // field's access bits are "access".  We assume that we've already verified
489c9b5090e2 Initial load
duke
parents:
diff changeset
   481
  // that current_class can access field_class.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   482
  //
489c9b5090e2 Initial load
duke
parents:
diff changeset
   483
  // If the classloader_only flag is set, we automatically allow any accesses
489c9b5090e2 Initial load
duke
parents:
diff changeset
   484
  // in which current_class doesn't have a classloader.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   485
  //
489c9b5090e2 Initial load
duke
parents:
diff changeset
   486
  // "resolved_class" is the runtime type of "field_class". Sometimes we don't
489c9b5090e2 Initial load
duke
parents:
diff changeset
   487
  // need this distinction (e.g. if all we have is the runtime type, or during
489c9b5090e2 Initial load
duke
parents:
diff changeset
   488
  // class file parsing when we only care about the static type); in that case
489c9b5090e2 Initial load
duke
parents:
diff changeset
   489
  // callers should ensure that resolved_class == field_class.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   490
  //
489c9b5090e2 Initial load
duke
parents:
diff changeset
   491
  if ((current_class == NULL) ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   492
      (current_class == field_class) ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   493
      access.is_public()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   494
    return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   495
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   496
22215
579f4a1a4aa6 8027458: VM anonymous classes: wrong context for protected access checks
hseigel
parents: 21729
diff changeset
   497
  Klass* host_class = current_class;
33611
9abd65805e19 8139203: Consistent naming for klass type predicates
coleenp
parents: 33602
diff changeset
   498
  while (host_class->is_instance_klass() &&
22215
579f4a1a4aa6 8027458: VM anonymous classes: wrong context for protected access checks
hseigel
parents: 21729
diff changeset
   499
         InstanceKlass::cast(host_class)->is_anonymous()) {
579f4a1a4aa6 8027458: VM anonymous classes: wrong context for protected access checks
hseigel
parents: 21729
diff changeset
   500
    Klass* next_host_class = InstanceKlass::cast(host_class)->host_klass();
579f4a1a4aa6 8027458: VM anonymous classes: wrong context for protected access checks
hseigel
parents: 21729
diff changeset
   501
    if (next_host_class == NULL)  break;
579f4a1a4aa6 8027458: VM anonymous classes: wrong context for protected access checks
hseigel
parents: 21729
diff changeset
   502
    host_class = next_host_class;
579f4a1a4aa6 8027458: VM anonymous classes: wrong context for protected access checks
hseigel
parents: 21729
diff changeset
   503
  }
579f4a1a4aa6 8027458: VM anonymous classes: wrong context for protected access checks
hseigel
parents: 21729
diff changeset
   504
  if (host_class == field_class) {
579f4a1a4aa6 8027458: VM anonymous classes: wrong context for protected access checks
hseigel
parents: 21729
diff changeset
   505
    return true;
579f4a1a4aa6 8027458: VM anonymous classes: wrong context for protected access checks
hseigel
parents: 21729
diff changeset
   506
  }
579f4a1a4aa6 8027458: VM anonymous classes: wrong context for protected access checks
hseigel
parents: 21729
diff changeset
   507
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   508
  if (access.is_protected()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   509
    if (!protected_restriction) {
22215
579f4a1a4aa6 8027458: VM anonymous classes: wrong context for protected access checks
hseigel
parents: 21729
diff changeset
   510
      // See if current_class (or outermost host class) is a subclass of field_class
27022
2db6fe33afc2 8036533: Method for correct defaults
hseigel
parents: 26412
diff changeset
   511
      // An interface may not access protected members of j.l.Object
2db6fe33afc2 8036533: Method for correct defaults
hseigel
parents: 26412
diff changeset
   512
      if (!host_class->is_interface() && host_class->is_subclass_of(field_class)) {
362
00cf4bffd828 6622385: Accessing protected static methods
kamg
parents: 224
diff changeset
   513
        if (access.is_static() || // static fields are ok, see 6622385
00cf4bffd828 6622385: Accessing protected static methods
kamg
parents: 224
diff changeset
   514
            current_class == resolved_class ||
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   515
            field_class == resolved_class ||
22215
579f4a1a4aa6 8027458: VM anonymous classes: wrong context for protected access checks
hseigel
parents: 21729
diff changeset
   516
            host_class->is_subclass_of(resolved_class) ||
579f4a1a4aa6 8027458: VM anonymous classes: wrong context for protected access checks
hseigel
parents: 21729
diff changeset
   517
            resolved_class->is_subclass_of(host_class)) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   518
          return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   519
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   520
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   521
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   522
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   523
489c9b5090e2 Initial load
duke
parents:
diff changeset
   524
  if (!access.is_private() && is_same_class_package(current_class, field_class)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   525
    return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   526
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   527
25057
f38210f84f8c 8031819: Remove legacy jdk checks and code
hseigel
parents: 24456
diff changeset
   528
  // Allow all accesses from sun/reflect/MagicAccessorImpl subclasses to
f38210f84f8c 8031819: Remove legacy jdk checks and code
hseigel
parents: 24456
diff changeset
   529
  // succeed trivially.
f38210f84f8c 8031819: Remove legacy jdk checks and code
hseigel
parents: 24456
diff changeset
   530
  if (current_class->is_subclass_of(SystemDictionary::reflect_MagicAccessorImpl_klass())) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   531
    return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   532
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   533
489c9b5090e2 Initial load
duke
parents:
diff changeset
   534
  return can_relax_access_check_for(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   535
    current_class, field_class, classloader_only);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   536
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   537
489c9b5090e2 Initial load
duke
parents:
diff changeset
   538
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   539
bool Reflection::is_same_class_package(Klass* class1, Klass* class2) {
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   540
  return InstanceKlass::cast(class1)->is_same_class_package(class2);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   541
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   542
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   543
bool Reflection::is_same_package_member(Klass* class1, Klass* class2, TRAPS) {
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   544
  return InstanceKlass::cast(class1)->is_same_package_member(class2, THREAD);
2332
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   545
}
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   546
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   547
489c9b5090e2 Initial load
duke
parents:
diff changeset
   548
// Checks that the 'outer' klass has declared 'inner' as being an inner klass. If not,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   549
// throw an incompatible class change exception
2332
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   550
// If inner_is_member, require the inner to be a member of the outer.
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   551
// If !inner_is_member, require the inner to be anonymous (a non-member).
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   552
// Caller is responsible for figuring out in advance which case must be true.
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   553
void Reflection::check_for_inner_class(instanceKlassHandle outer, instanceKlassHandle inner,
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   554
                                       bool inner_is_member, TRAPS) {
12231
6a9cfc59a18a 7109878: The instanceKlass EnclosingMethhod attribute fields can be folded into the _inner_class field.
jiangli
parents: 10504
diff changeset
   555
  InnerClassesIterator iter(outer);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   556
  constantPoolHandle cp   (THREAD, outer->constants());
12231
6a9cfc59a18a 7109878: The instanceKlass EnclosingMethhod attribute fields can be folded into the _inner_class field.
jiangli
parents: 10504
diff changeset
   557
  for (; !iter.done(); iter.next()) {
6a9cfc59a18a 7109878: The instanceKlass EnclosingMethhod attribute fields can be folded into the _inner_class field.
jiangli
parents: 10504
diff changeset
   558
     int ioff = iter.inner_class_info_index();
6a9cfc59a18a 7109878: The instanceKlass EnclosingMethhod attribute fields can be folded into the _inner_class field.
jiangli
parents: 10504
diff changeset
   559
     int ooff = iter.outer_class_info_index();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   560
2332
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   561
     if (inner_is_member && ioff != 0 && ooff != 0) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   562
        Klass* o = cp->klass_at(ooff, CHECK);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   563
        if (o == outer()) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   564
          Klass* i = cp->klass_at(ioff, CHECK);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   565
          if (i == inner()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   566
            return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   567
          }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   568
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   569
     }
2332
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   570
     if (!inner_is_member && ioff != 0 && ooff == 0 &&
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   571
         cp->klass_name_at_matches(inner, ioff)) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   572
        Klass* i = cp->klass_at(ioff, CHECK);
2332
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   573
        if (i == inner()) {
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   574
          return;
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   575
        }
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   576
     }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   577
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   578
489c9b5090e2 Initial load
duke
parents:
diff changeset
   579
  // 'inner' not declared as an inner klass in outer
489c9b5090e2 Initial load
duke
parents:
diff changeset
   580
  ResourceMark rm(THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   581
  Exceptions::fthrow(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   582
    THREAD_AND_LOCATION,
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   583
    vmSymbols::java_lang_IncompatibleClassChangeError(),
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   584
    "%s and %s disagree on InnerClasses attribute",
489c9b5090e2 Initial load
duke
parents:
diff changeset
   585
    outer->external_name(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   586
    inner->external_name()
489c9b5090e2 Initial load
duke
parents:
diff changeset
   587
  );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   588
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   589
489c9b5090e2 Initial load
duke
parents:
diff changeset
   590
// Utility method converting a single SignatureStream element into java.lang.Class instance
489c9b5090e2 Initial load
duke
parents:
diff changeset
   591
489c9b5090e2 Initial load
duke
parents:
diff changeset
   592
oop get_mirror_from_signature(methodHandle method, SignatureStream* ss, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   593
  switch (ss->type()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   594
    default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   595
      assert(ss->type() != T_VOID || ss->at_return_type(), "T_VOID should only appear as return type");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   596
      return java_lang_Class::primitive_mirror(ss->type());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   597
    case T_OBJECT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   598
    case T_ARRAY:
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   599
      Symbol* name        = ss->as_symbol(CHECK_NULL);
14391
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 14385
diff changeset
   600
      oop loader            = method->method_holder()->class_loader();
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 14385
diff changeset
   601
      oop protection_domain = method->method_holder()->protection_domain();
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   602
      Klass* k = SystemDictionary::resolve_or_fail(
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   603
                                       name,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   604
                                       Handle(THREAD, loader),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   605
                                       Handle(THREAD, protection_domain),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   606
                                       true, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   607
      if (TraceClassResolution) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   608
        trace_class_resolution(k);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   609
      }
8725
8c1e3dd5fe1b 7017732: move static fields into Class to prepare for perm gen removal
never
parents: 8076
diff changeset
   610
      return k->java_mirror();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   611
  };
489c9b5090e2 Initial load
duke
parents:
diff changeset
   612
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   613
489c9b5090e2 Initial load
duke
parents:
diff changeset
   614
33593
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 31615
diff changeset
   615
objArrayHandle Reflection::get_parameter_types(const methodHandle& method, int parameter_count, oop* return_type, TRAPS) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   616
  // Allocate array holding parameter types (java.lang.Class instances)
4571
80b553bddc26 6914300: ciEnv should export all well known classes
never
parents: 2332
diff changeset
   617
  objArrayOop m = oopFactory::new_objArray(SystemDictionary::Class_klass(), parameter_count, CHECK_(objArrayHandle()));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   618
  objArrayHandle mirrors (THREAD, m);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   619
  int index = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   620
  // Collect parameter types
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   621
  ResourceMark rm(THREAD);
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   622
  Symbol*  signature  = method->signature();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   623
  SignatureStream ss(signature);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   624
  while (!ss.at_return_type()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   625
    oop mirror = get_mirror_from_signature(method, &ss, CHECK_(objArrayHandle()));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   626
    mirrors->obj_at_put(index++, mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   627
    ss.next();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   628
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   629
  assert(index == parameter_count, "invalid parameter count");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   630
  if (return_type != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   631
    // Collect return type as well
489c9b5090e2 Initial load
duke
parents:
diff changeset
   632
    assert(ss.at_return_type(), "return type should be present");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   633
    *return_type = get_mirror_from_signature(method, &ss, CHECK_(objArrayHandle()));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   634
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   635
  return mirrors;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   636
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   637
33593
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 31615
diff changeset
   638
objArrayHandle Reflection::get_exception_types(const methodHandle& method, TRAPS) {
27680
8ecc0871c18e 8064811: Use THREAD instead of CHECK_NULL in return statements
stefank
parents: 27677
diff changeset
   639
  return method->resolved_checked_exceptions(THREAD);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   640
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   641
489c9b5090e2 Initial load
duke
parents:
diff changeset
   642
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   643
Handle Reflection::new_type(Symbol* signature, KlassHandle k, TRAPS) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   644
  // Basic types
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   645
  BasicType type = vmSymbols::signature_type(signature);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   646
  if (type != T_OBJECT) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   647
    return Handle(THREAD, Universe::java_mirror(type));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   648
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   649
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   650
  Klass* result = SystemDictionary::resolve_or_fail(signature,
33602
16053580a684 8139163: InstanceKlass::cast passes through NULL
coleenp
parents: 33593
diff changeset
   651
                                    Handle(THREAD, k->class_loader()),
16053580a684 8139163: InstanceKlass::cast passes through NULL
coleenp
parents: 33593
diff changeset
   652
                                    Handle(THREAD, k->protection_domain()),
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   653
                                    true, CHECK_(Handle()));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   654
489c9b5090e2 Initial load
duke
parents:
diff changeset
   655
  if (TraceClassResolution) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   656
    trace_class_resolution(result);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   657
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   658
14488
ab48109f7d1b 8001471: Klass::cast() does nothing
hseigel
parents: 14391
diff changeset
   659
  oop nt = result->java_mirror();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   660
  return Handle(THREAD, nt);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   661
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   662
489c9b5090e2 Initial load
duke
parents:
diff changeset
   663
33593
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 31615
diff changeset
   664
oop Reflection::new_method(const methodHandle& method, bool for_constant_pool_access, TRAPS) {
25057
f38210f84f8c 8031819: Remove legacy jdk checks and code
hseigel
parents: 24456
diff changeset
   665
  // Allow sun.reflect.ConstantPool to refer to <clinit> methods as java.lang.reflect.Methods.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   666
  assert(!method()->is_initializer() ||
25057
f38210f84f8c 8031819: Remove legacy jdk checks and code
hseigel
parents: 24456
diff changeset
   667
         (for_constant_pool_access && method()->is_static()),
f38210f84f8c 8031819: Remove legacy jdk checks and code
hseigel
parents: 24456
diff changeset
   668
         "should call new_constructor instead");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   669
  instanceKlassHandle holder (THREAD, method->method_holder());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   670
  int slot = method->method_idnum();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   671
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   672
  Symbol*  signature  = method->signature();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   673
  int parameter_count = ArgumentCount(signature).size();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   674
  oop return_type_oop = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   675
  objArrayHandle parameter_types = get_parameter_types(method, parameter_count, &return_type_oop, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   676
  if (parameter_types.is_null() || return_type_oop == NULL) return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   677
489c9b5090e2 Initial load
duke
parents:
diff changeset
   678
  Handle return_type(THREAD, return_type_oop);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   679
489c9b5090e2 Initial load
duke
parents:
diff changeset
   680
  objArrayHandle exception_types = get_exception_types(method, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   681
489c9b5090e2 Initial load
duke
parents:
diff changeset
   682
  if (exception_types.is_null()) return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   683
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   684
  Symbol*  method_name = method->name();
24456
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   685
  oop name_oop = StringTable::intern(method_name, CHECK_NULL);
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   686
  Handle name = Handle(THREAD, name_oop);
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   687
  if (name == NULL) return NULL;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   688
489c9b5090e2 Initial load
duke
parents:
diff changeset
   689
  int modifiers = method->access_flags().as_int() & JVM_RECOGNIZED_METHOD_MODIFIERS;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   690
489c9b5090e2 Initial load
duke
parents:
diff changeset
   691
  Handle mh = java_lang_reflect_Method::create(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   692
489c9b5090e2 Initial load
duke
parents:
diff changeset
   693
  java_lang_reflect_Method::set_clazz(mh(), holder->java_mirror());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   694
  java_lang_reflect_Method::set_slot(mh(), slot);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   695
  java_lang_reflect_Method::set_name(mh(), name());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   696
  java_lang_reflect_Method::set_return_type(mh(), return_type());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   697
  java_lang_reflect_Method::set_parameter_types(mh(), parameter_types());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   698
  java_lang_reflect_Method::set_exception_types(mh(), exception_types());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   699
  java_lang_reflect_Method::set_modifiers(mh(), modifiers);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   700
  java_lang_reflect_Method::set_override(mh(), false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   701
  if (java_lang_reflect_Method::has_signature_field() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   702
      method->generic_signature() != NULL) {
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   703
    Symbol*  gs = method->generic_signature();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   704
    Handle sig = java_lang_String::create_from_symbol(gs, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   705
    java_lang_reflect_Method::set_signature(mh(), sig());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   706
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   707
  if (java_lang_reflect_Method::has_annotations_field()) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   708
    typeArrayOop an_oop = Annotations::make_java_array(method->annotations(), CHECK_NULL);
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   709
    java_lang_reflect_Method::set_annotations(mh(), an_oop);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   710
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   711
  if (java_lang_reflect_Method::has_parameter_annotations_field()) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   712
    typeArrayOop an_oop = Annotations::make_java_array(method->parameter_annotations(), CHECK_NULL);
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   713
    java_lang_reflect_Method::set_parameter_annotations(mh(), an_oop);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   714
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   715
  if (java_lang_reflect_Method::has_annotation_default_field()) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   716
    typeArrayOop an_oop = Annotations::make_java_array(method->annotation_default(), CHECK_NULL);
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   717
    java_lang_reflect_Method::set_annotation_default(mh(), an_oop);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   718
  }
15097
9db149412e0e 8004823: Add VM support for type annotation reflection
stefank
parents: 14488
diff changeset
   719
  if (java_lang_reflect_Method::has_type_annotations_field()) {
9db149412e0e 8004823: Add VM support for type annotation reflection
stefank
parents: 14488
diff changeset
   720
    typeArrayOop an_oop = Annotations::make_java_array(method->type_annotations(), CHECK_NULL);
9db149412e0e 8004823: Add VM support for type annotation reflection
stefank
parents: 14488
diff changeset
   721
    java_lang_reflect_Method::set_type_annotations(mh(), an_oop);
9db149412e0e 8004823: Add VM support for type annotation reflection
stefank
parents: 14488
diff changeset
   722
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   723
  return mh();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   724
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   725
489c9b5090e2 Initial load
duke
parents:
diff changeset
   726
33593
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 31615
diff changeset
   727
oop Reflection::new_constructor(const methodHandle& method, TRAPS) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   728
  assert(method()->is_initializer(), "should call new_method instead");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   729
489c9b5090e2 Initial load
duke
parents:
diff changeset
   730
  instanceKlassHandle  holder (THREAD, method->method_holder());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   731
  int slot = method->method_idnum();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   732
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   733
  Symbol*  signature  = method->signature();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   734
  int parameter_count = ArgumentCount(signature).size();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   735
  objArrayHandle parameter_types = get_parameter_types(method, parameter_count, NULL, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   736
  if (parameter_types.is_null()) return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   737
489c9b5090e2 Initial load
duke
parents:
diff changeset
   738
  objArrayHandle exception_types = get_exception_types(method, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   739
  if (exception_types.is_null()) return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   740
489c9b5090e2 Initial load
duke
parents:
diff changeset
   741
  int modifiers = method->access_flags().as_int() & JVM_RECOGNIZED_METHOD_MODIFIERS;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   742
489c9b5090e2 Initial load
duke
parents:
diff changeset
   743
  Handle ch = java_lang_reflect_Constructor::create(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   744
489c9b5090e2 Initial load
duke
parents:
diff changeset
   745
  java_lang_reflect_Constructor::set_clazz(ch(), holder->java_mirror());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   746
  java_lang_reflect_Constructor::set_slot(ch(), slot);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   747
  java_lang_reflect_Constructor::set_parameter_types(ch(), parameter_types());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   748
  java_lang_reflect_Constructor::set_exception_types(ch(), exception_types());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   749
  java_lang_reflect_Constructor::set_modifiers(ch(), modifiers);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   750
  java_lang_reflect_Constructor::set_override(ch(), false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   751
  if (java_lang_reflect_Constructor::has_signature_field() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   752
      method->generic_signature() != NULL) {
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   753
    Symbol*  gs = method->generic_signature();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   754
    Handle sig = java_lang_String::create_from_symbol(gs, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   755
    java_lang_reflect_Constructor::set_signature(ch(), sig());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   756
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   757
  if (java_lang_reflect_Constructor::has_annotations_field()) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   758
    typeArrayOop an_oop = Annotations::make_java_array(method->annotations(), CHECK_NULL);
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   759
    java_lang_reflect_Constructor::set_annotations(ch(), an_oop);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   760
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   761
  if (java_lang_reflect_Constructor::has_parameter_annotations_field()) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   762
    typeArrayOop an_oop = Annotations::make_java_array(method->parameter_annotations(), CHECK_NULL);
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   763
    java_lang_reflect_Constructor::set_parameter_annotations(ch(), an_oop);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   764
  }
17860
1ad3f2d9b4eb 8014709: Constructor.getAnnotatedReturnType() returns empty AnnotatedType
rbackman
parents: 15194
diff changeset
   765
  if (java_lang_reflect_Constructor::has_type_annotations_field()) {
1ad3f2d9b4eb 8014709: Constructor.getAnnotatedReturnType() returns empty AnnotatedType
rbackman
parents: 15194
diff changeset
   766
    typeArrayOop an_oop = Annotations::make_java_array(method->type_annotations(), CHECK_NULL);
1ad3f2d9b4eb 8014709: Constructor.getAnnotatedReturnType() returns empty AnnotatedType
rbackman
parents: 15194
diff changeset
   767
    java_lang_reflect_Constructor::set_type_annotations(ch(), an_oop);
1ad3f2d9b4eb 8014709: Constructor.getAnnotatedReturnType() returns empty AnnotatedType
rbackman
parents: 15194
diff changeset
   768
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   769
  return ch();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   770
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   771
489c9b5090e2 Initial load
duke
parents:
diff changeset
   772
24456
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   773
oop Reflection::new_field(fieldDescriptor* fd, TRAPS) {
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   774
  Symbol*  field_name = fd->name();
24456
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   775
  oop name_oop = StringTable::intern(field_name, CHECK_NULL);
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   776
  Handle name = Handle(THREAD, name_oop);
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   777
  Symbol*  signature  = fd->signature();
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   778
  instanceKlassHandle  holder    (THREAD, fd->field_holder());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   779
  Handle type = new_type(signature, holder, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   780
  Handle rh  = java_lang_reflect_Field::create(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   781
14391
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 14385
diff changeset
   782
  java_lang_reflect_Field::set_clazz(rh(), fd->field_holder()->java_mirror());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   783
  java_lang_reflect_Field::set_slot(rh(), fd->index());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   784
  java_lang_reflect_Field::set_name(rh(), name());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   785
  java_lang_reflect_Field::set_type(rh(), type());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   786
  // Note the ACC_ANNOTATION bit, which is a per-class access flag, is never set here.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   787
  java_lang_reflect_Field::set_modifiers(rh(), fd->access_flags().as_int() & JVM_RECOGNIZED_FIELD_MODIFIERS);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   788
  java_lang_reflect_Field::set_override(rh(), false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   789
  if (java_lang_reflect_Field::has_signature_field() &&
13101
67539edd246d 7177409: Perf regression in JVM_GetClassDeclaredFields after generic signature changes.
jiangli
parents: 12231
diff changeset
   790
      fd->has_generic_signature()) {
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   791
    Symbol*  gs = fd->generic_signature();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   792
    Handle sig = java_lang_String::create_from_symbol(gs, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   793
    java_lang_reflect_Field::set_signature(rh(), sig());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   794
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   795
  if (java_lang_reflect_Field::has_annotations_field()) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   796
    typeArrayOop an_oop = Annotations::make_java_array(fd->annotations(), CHECK_NULL);
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   797
    java_lang_reflect_Field::set_annotations(rh(), an_oop);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   798
  }
15097
9db149412e0e 8004823: Add VM support for type annotation reflection
stefank
parents: 14488
diff changeset
   799
  if (java_lang_reflect_Field::has_type_annotations_field()) {
9db149412e0e 8004823: Add VM support for type annotation reflection
stefank
parents: 14488
diff changeset
   800
    typeArrayOop an_oop = Annotations::make_java_array(fd->type_annotations(), CHECK_NULL);
9db149412e0e 8004823: Add VM support for type annotation reflection
stefank
parents: 14488
diff changeset
   801
    java_lang_reflect_Field::set_type_annotations(rh(), an_oop);
9db149412e0e 8004823: Add VM support for type annotation reflection
stefank
parents: 14488
diff changeset
   802
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   803
  return rh();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   804
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   805
15102
0a86564e5f61 8004728: Add hotspot support for parameter reflection
coleenp
parents: 15097
diff changeset
   806
oop Reflection::new_parameter(Handle method, int index, Symbol* sym,
0a86564e5f61 8004728: Add hotspot support for parameter reflection
coleenp
parents: 15097
diff changeset
   807
                              int flags, TRAPS) {
15194
a35093d73168 8006005: Fix constant pool index validation and alignment trap for method parameter reflection
coleenp
parents: 15102
diff changeset
   808
27613
f4773c0d8717 8058322: Zero name_index item of MethodParameters attribute cause MalformedParameterException
emc
parents: 27022
diff changeset
   809
  Handle rh = java_lang_reflect_Parameter::create(CHECK_NULL);
f4773c0d8717 8058322: Zero name_index item of MethodParameters attribute cause MalformedParameterException
emc
parents: 27022
diff changeset
   810
15194
a35093d73168 8006005: Fix constant pool index validation and alignment trap for method parameter reflection
coleenp
parents: 15102
diff changeset
   811
  if(NULL != sym) {
27613
f4773c0d8717 8058322: Zero name_index item of MethodParameters attribute cause MalformedParameterException
emc
parents: 27022
diff changeset
   812
    Handle name = java_lang_String::create_from_symbol(sym, CHECK_NULL);
f4773c0d8717 8058322: Zero name_index item of MethodParameters attribute cause MalformedParameterException
emc
parents: 27022
diff changeset
   813
    java_lang_reflect_Parameter::set_name(rh(), name());
15194
a35093d73168 8006005: Fix constant pool index validation and alignment trap for method parameter reflection
coleenp
parents: 15102
diff changeset
   814
  } else {
27613
f4773c0d8717 8058322: Zero name_index item of MethodParameters attribute cause MalformedParameterException
emc
parents: 27022
diff changeset
   815
    java_lang_reflect_Parameter::set_name(rh(), NULL);
15194
a35093d73168 8006005: Fix constant pool index validation and alignment trap for method parameter reflection
coleenp
parents: 15102
diff changeset
   816
  }
a35093d73168 8006005: Fix constant pool index validation and alignment trap for method parameter reflection
coleenp
parents: 15102
diff changeset
   817
15102
0a86564e5f61 8004728: Add hotspot support for parameter reflection
coleenp
parents: 15097
diff changeset
   818
  java_lang_reflect_Parameter::set_modifiers(rh(), flags);
0a86564e5f61 8004728: Add hotspot support for parameter reflection
coleenp
parents: 15097
diff changeset
   819
  java_lang_reflect_Parameter::set_executable(rh(), method());
0a86564e5f61 8004728: Add hotspot support for parameter reflection
coleenp
parents: 15097
diff changeset
   820
  java_lang_reflect_Parameter::set_index(rh(), index);
0a86564e5f61 8004728: Add hotspot support for parameter reflection
coleenp
parents: 15097
diff changeset
   821
  return rh();
0a86564e5f61 8004728: Add hotspot support for parameter reflection
coleenp
parents: 15097
diff changeset
   822
}
0a86564e5f61 8004728: Add hotspot support for parameter reflection
coleenp
parents: 15097
diff changeset
   823
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   824
33593
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 31615
diff changeset
   825
methodHandle Reflection::resolve_interface_call(instanceKlassHandle klass, const methodHandle& method,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   826
                                                KlassHandle recv_klass, Handle receiver, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   827
  assert(!method.is_null() , "method should not be null");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   828
489c9b5090e2 Initial load
duke
parents:
diff changeset
   829
  CallInfo info;
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   830
  Symbol*  signature  = method->signature();
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   831
  Symbol*  name       = method->name();
31019
d05fcdd70109 8029567: Clean up linkResolver code
coleenp
parents: 29081
diff changeset
   832
  LinkResolver::resolve_interface_call(info, receiver, recv_klass,
d05fcdd70109 8029567: Clean up linkResolver code
coleenp
parents: 29081
diff changeset
   833
                                       LinkInfo(klass, name, signature, KlassHandle(), false),
d05fcdd70109 8029567: Clean up linkResolver code
coleenp
parents: 29081
diff changeset
   834
                                       true,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   835
                                       CHECK_(methodHandle()));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   836
  return info.selected_method();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   837
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   838
489c9b5090e2 Initial load
duke
parents:
diff changeset
   839
33593
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 31615
diff changeset
   840
oop Reflection::invoke(instanceKlassHandle klass, const methodHandle& reflected_method,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   841
                       Handle receiver, bool override, objArrayHandle ptypes,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   842
                       BasicType rtype, objArrayHandle args, bool is_method_invoke, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   843
  ResourceMark rm(THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   844
489c9b5090e2 Initial load
duke
parents:
diff changeset
   845
  methodHandle method;      // actual method to invoke
489c9b5090e2 Initial load
duke
parents:
diff changeset
   846
  KlassHandle target_klass; // target klass, receiver's klass for non-static
489c9b5090e2 Initial load
duke
parents:
diff changeset
   847
489c9b5090e2 Initial load
duke
parents:
diff changeset
   848
  // Ensure klass is initialized
489c9b5090e2 Initial load
duke
parents:
diff changeset
   849
  klass->initialize(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   850
489c9b5090e2 Initial load
duke
parents:
diff changeset
   851
  bool is_static = reflected_method->is_static();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   852
  if (is_static) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   853
    // ignore receiver argument
489c9b5090e2 Initial load
duke
parents:
diff changeset
   854
    method = reflected_method;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   855
    target_klass = klass;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   856
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   857
    // check for null receiver
489c9b5090e2 Initial load
duke
parents:
diff changeset
   858
    if (receiver.is_null()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   859
      THROW_0(vmSymbols::java_lang_NullPointerException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   860
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   861
    // Check class of receiver against class declaring method
489c9b5090e2 Initial load
duke
parents:
diff changeset
   862
    if (!receiver->is_a(klass())) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   863
      THROW_MSG_0(vmSymbols::java_lang_IllegalArgumentException(), "object is not an instance of declaring class");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   864
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   865
    // target klass is receiver's klass
489c9b5090e2 Initial load
duke
parents:
diff changeset
   866
    target_klass = KlassHandle(THREAD, receiver->klass());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   867
    // no need to resolve if method is private or <init>
489c9b5090e2 Initial load
duke
parents:
diff changeset
   868
    if (reflected_method->is_private() || reflected_method->name() == vmSymbols::object_initializer_name()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   869
      method = reflected_method;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   870
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   871
      // resolve based on the receiver
14391
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 14385
diff changeset
   872
      if (reflected_method->method_holder()->is_interface()) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   873
        // resolve interface call
24456
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   874
        //
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   875
        // Match resolution errors with those thrown due to reflection inlining
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   876
        // Linktime resolution & IllegalAccessCheck already done by Class.getMethod()
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   877
        method = resolve_interface_call(klass, reflected_method, target_klass, receiver, THREAD);
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   878
        if (HAS_PENDING_EXCEPTION) {
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   879
        // Method resolution threw an exception; wrap it in an InvocationTargetException
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   880
          oop resolution_exception = PENDING_EXCEPTION;
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   881
          CLEAR_PENDING_EXCEPTION;
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   882
          // JVMTI has already reported the pending exception
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   883
          // JVMTI internal flag reset is needed in order to report InvocationTargetException
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   884
          if (THREAD->is_Java_thread()) {
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   885
            JvmtiExport::clear_detected_exception((JavaThread*) THREAD);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   886
          }
24456
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   887
          JavaCallArguments args(Handle(THREAD, resolution_exception));
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   888
          THROW_ARG_0(vmSymbols::java_lang_reflect_InvocationTargetException(),
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   889
              vmSymbols::throwable_void_signature(),
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   890
              &args);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   891
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   892
      }  else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   893
        // if the method can be overridden, we resolve using the vtable index.
20017
81eba62e9048 8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents: 18508
diff changeset
   894
        assert(!reflected_method->has_itable_index(), "");
81eba62e9048 8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents: 18508
diff changeset
   895
        int index = reflected_method->vtable_index();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   896
        method = reflected_method;
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   897
        if (index != Method::nonvirtual_vtable_index) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   898
          // target_klass might be an arrayKlassOop but all vtables start at
489c9b5090e2 Initial load
duke
parents:
diff changeset
   899
          // the same place. The cast is to avoid virtual call and assertion.
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   900
          InstanceKlass* inst = (InstanceKlass*)target_klass();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   901
          method = methodHandle(THREAD, inst->method_at_vtable(index));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   902
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   903
        if (!method.is_null()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   904
          // Check for abstract methods as well
489c9b5090e2 Initial load
duke
parents:
diff changeset
   905
          if (method->is_abstract()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   906
            // new default: 6531596
24456
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   907
            ResourceMark rm(THREAD);
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   908
            Handle h_origexception = Exceptions::new_exception(THREAD,
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   909
                   vmSymbols::java_lang_AbstractMethodError(),
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   910
                   Method::name_and_sig_as_C_string(target_klass(),
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   911
                   method->name(),
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   912
                   method->signature()));
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   913
            JavaCallArguments args(h_origexception);
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   914
            THROW_ARG_0(vmSymbols::java_lang_reflect_InvocationTargetException(),
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   915
              vmSymbols::throwable_void_signature(),
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   916
              &args);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   917
          }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   918
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   919
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   920
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   921
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   922
489c9b5090e2 Initial load
duke
parents:
diff changeset
   923
  // I believe this is a ShouldNotGetHere case which requires
489c9b5090e2 Initial load
duke
parents:
diff changeset
   924
  // an internal vtable bug. If you ever get this please let Karen know.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   925
  if (method.is_null()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   926
    ResourceMark rm(THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   927
    THROW_MSG_0(vmSymbols::java_lang_NoSuchMethodError(),
14488
ab48109f7d1b 8001471: Klass::cast() does nothing
hseigel
parents: 14391
diff changeset
   928
                Method::name_and_sig_as_C_string(klass(),
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   929
                                                        reflected_method->name(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   930
                                                        reflected_method->signature()));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   931
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   932
489c9b5090e2 Initial load
duke
parents:
diff changeset
   933
  assert(ptypes->is_objArray(), "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   934
  int args_len = args.is_null() ? 0 : args->length();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   935
  // Check number of arguments
489c9b5090e2 Initial load
duke
parents:
diff changeset
   936
  if (ptypes->length() != args_len) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   937
    THROW_MSG_0(vmSymbols::java_lang_IllegalArgumentException(), "wrong number of arguments");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   938
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   939
489c9b5090e2 Initial load
duke
parents:
diff changeset
   940
  // Create object to contain parameters for the JavaCall
489c9b5090e2 Initial load
duke
parents:
diff changeset
   941
  JavaCallArguments java_args(method->size_of_parameters());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   942
489c9b5090e2 Initial load
duke
parents:
diff changeset
   943
  if (!is_static) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   944
    java_args.push_oop(receiver);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   945
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   946
489c9b5090e2 Initial load
duke
parents:
diff changeset
   947
  for (int i = 0; i < args_len; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   948
    oop type_mirror = ptypes->obj_at(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   949
    oop arg = args->obj_at(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   950
    if (java_lang_Class::is_primitive(type_mirror)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   951
      jvalue value;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   952
      BasicType ptype = basic_type_mirror_to_basic_type(type_mirror, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   953
      BasicType atype = unbox_for_primitive(arg, &value, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   954
      if (ptype != atype) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   955
        widen(&value, atype, ptype, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   956
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   957
      switch (ptype) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   958
        case T_BOOLEAN:     java_args.push_int(value.z);    break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   959
        case T_CHAR:        java_args.push_int(value.c);    break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   960
        case T_BYTE:        java_args.push_int(value.b);    break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   961
        case T_SHORT:       java_args.push_int(value.s);    break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   962
        case T_INT:         java_args.push_int(value.i);    break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   963
        case T_LONG:        java_args.push_long(value.j);   break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   964
        case T_FLOAT:       java_args.push_float(value.f);  break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   965
        case T_DOUBLE:      java_args.push_double(value.d); break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   966
        default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   967
          THROW_MSG_0(vmSymbols::java_lang_IllegalArgumentException(), "argument type mismatch");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   968
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   969
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   970
      if (arg != NULL) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   971
        Klass* k = java_lang_Class::as_Klass(type_mirror);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   972
        if (!arg->is_a(k)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   973
          THROW_MSG_0(vmSymbols::java_lang_IllegalArgumentException(), "argument type mismatch");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   974
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   975
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   976
      Handle arg_handle(THREAD, arg);         // Create handle for argument
489c9b5090e2 Initial load
duke
parents:
diff changeset
   977
      java_args.push_oop(arg_handle); // Push handle
489c9b5090e2 Initial load
duke
parents:
diff changeset
   978
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   979
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   980
489c9b5090e2 Initial load
duke
parents:
diff changeset
   981
  assert(java_args.size_of_parameters() == method->size_of_parameters(), "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   982
489c9b5090e2 Initial load
duke
parents:
diff changeset
   983
  // All oops (including receiver) is passed in as Handles. An potential oop is returned as an
489c9b5090e2 Initial load
duke
parents:
diff changeset
   984
  // oop (i.e., NOT as an handle)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   985
  JavaValue result(rtype);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   986
  JavaCalls::call(&result, method, &java_args, THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   987
489c9b5090e2 Initial load
duke
parents:
diff changeset
   988
  if (HAS_PENDING_EXCEPTION) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   989
    // Method threw an exception; wrap it in an InvocationTargetException
489c9b5090e2 Initial load
duke
parents:
diff changeset
   990
    oop target_exception = PENDING_EXCEPTION;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   991
    CLEAR_PENDING_EXCEPTION;
22897
77e1024a4a14 4505697: nsk/jdi/ExceptionEvent/_itself_/exevent006 and exevent008 tests fail with InvocationTargetException
jbachorik
parents: 22551
diff changeset
   992
    // JVMTI has already reported the pending exception
77e1024a4a14 4505697: nsk/jdi/ExceptionEvent/_itself_/exevent006 and exevent008 tests fail with InvocationTargetException
jbachorik
parents: 22551
diff changeset
   993
    // JVMTI internal flag reset is needed in order to report InvocationTargetException
77e1024a4a14 4505697: nsk/jdi/ExceptionEvent/_itself_/exevent006 and exevent008 tests fail with InvocationTargetException
jbachorik
parents: 22551
diff changeset
   994
    if (THREAD->is_Java_thread()) {
77e1024a4a14 4505697: nsk/jdi/ExceptionEvent/_itself_/exevent006 and exevent008 tests fail with InvocationTargetException
jbachorik
parents: 22551
diff changeset
   995
      JvmtiExport::clear_detected_exception((JavaThread*) THREAD);
77e1024a4a14 4505697: nsk/jdi/ExceptionEvent/_itself_/exevent006 and exevent008 tests fail with InvocationTargetException
jbachorik
parents: 22551
diff changeset
   996
    }
77e1024a4a14 4505697: nsk/jdi/ExceptionEvent/_itself_/exevent006 and exevent008 tests fail with InvocationTargetException
jbachorik
parents: 22551
diff changeset
   997
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   998
    JavaCallArguments args(Handle(THREAD, target_exception));
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   999
    THROW_ARG_0(vmSymbols::java_lang_reflect_InvocationTargetException(),
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
  1000
                vmSymbols::throwable_void_signature(),
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1001
                &args);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1002
  } else {
31615
e48d94b97b6c 8130036: Fix problems with imprecise C++ coding.
goetz
parents: 31019
diff changeset
  1003
    if (rtype == T_BOOLEAN || rtype == T_BYTE || rtype == T_CHAR || rtype == T_SHORT) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1004
      narrow((jvalue*) result.get_value_addr(), rtype, CHECK_NULL);
31615
e48d94b97b6c 8130036: Fix problems with imprecise C++ coding.
goetz
parents: 31019
diff changeset
  1005
    }
27677
b1997f2f1b56 8062808: Turn on the -Wreturn-type warning
stefank
parents: 27022
diff changeset
  1006
    return box((jvalue*) result.get_value_addr(), rtype, THREAD);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1007
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1008
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1009
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1010
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1011
void Reflection::narrow(jvalue* value, BasicType narrow_type, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1012
  switch (narrow_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1013
    case T_BOOLEAN:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1014
     value->z = (jboolean) value->i;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1015
     return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1016
    case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1017
     value->b = (jbyte) value->i;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1018
     return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1019
    case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1020
     value->c = (jchar) value->i;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1021
     return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1022
    case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1023
     value->s = (jshort) value->i;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1024
     return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1025
    default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1026
      break; // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1027
   }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1028
  THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(), "argument type mismatch");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1029
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1030
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1031
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1032
BasicType Reflection::basic_type_mirror_to_basic_type(oop basic_type_mirror, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1033
  assert(java_lang_Class::is_primitive(basic_type_mirror), "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1034
  return java_lang_Class::primitive_type(basic_type_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1035
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1036
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1037
// This would be nicer if, say, java.lang.reflect.Method was a subclass
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1038
// of java.lang.reflect.Constructor
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1039
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1040
oop Reflection::invoke_method(oop method_mirror, Handle receiver, objArrayHandle args, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1041
  oop mirror             = java_lang_reflect_Method::clazz(method_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1042
  int slot               = java_lang_reflect_Method::slot(method_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1043
  bool override          = java_lang_reflect_Method::override(method_mirror) != 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1044
  objArrayHandle ptypes(THREAD, objArrayOop(java_lang_reflect_Method::parameter_types(method_mirror)));
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1045
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1046
  oop return_type_mirror = java_lang_reflect_Method::return_type(method_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1047
  BasicType rtype;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1048
  if (java_lang_Class::is_primitive(return_type_mirror)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1049
    rtype = basic_type_mirror_to_basic_type(return_type_mirror, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1050
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1051
    rtype = T_OBJECT;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1052
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1053
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
  1054
  instanceKlassHandle klass(THREAD, java_lang_Class::as_Klass(mirror));
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
  1055
  Method* m = klass->method_with_idnum(slot);
224
6a257cd604e7 6667089: 3/3 multiple redefinitions of a class break reflection
dcubed
parents: 1
diff changeset
  1056
  if (m == NULL) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1057
    THROW_MSG_0(vmSymbols::java_lang_InternalError(), "invoke");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1058
  }
224
6a257cd604e7 6667089: 3/3 multiple redefinitions of a class break reflection
dcubed
parents: 1
diff changeset
  1059
  methodHandle method(THREAD, m);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1060
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1061
  return invoke(klass, method, receiver, override, ptypes, rtype, args, true, THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1062
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1063
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1064
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1065
oop Reflection::invoke_constructor(oop constructor_mirror, objArrayHandle args, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1066
  oop mirror             = java_lang_reflect_Constructor::clazz(constructor_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1067
  int slot               = java_lang_reflect_Constructor::slot(constructor_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1068
  bool override          = java_lang_reflect_Constructor::override(constructor_mirror) != 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1069
  objArrayHandle ptypes(THREAD, objArrayOop(java_lang_reflect_Constructor::parameter_types(constructor_mirror)));
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1070
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
  1071
  instanceKlassHandle klass(THREAD, java_lang_Class::as_Klass(mirror));
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
  1072
  Method* m = klass->method_with_idnum(slot);
224
6a257cd604e7 6667089: 3/3 multiple redefinitions of a class break reflection
dcubed
parents: 1
diff changeset
  1073
  if (m == NULL) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1074
    THROW_MSG_0(vmSymbols::java_lang_InternalError(), "invoke");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1075
  }
224
6a257cd604e7 6667089: 3/3 multiple redefinitions of a class break reflection
dcubed
parents: 1
diff changeset
  1076
  methodHandle method(THREAD, m);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1077
  assert(method->name() == vmSymbols::object_initializer_name(), "invalid constructor");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1078
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1079
  // Make sure klass gets initialize
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1080
  klass->initialize(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1081
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1082
  // Create new instance (the receiver)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1083
  klass->check_valid_for_instantiation(false, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1084
  Handle receiver = klass->allocate_instance_handle(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1085
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1086
  // Ignore result from call and return receiver
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1087
  invoke(klass, method, receiver, override, ptypes, T_VOID, args, false, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1088
  return receiver();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1089
}