src/hotspot/share/runtime/reflection.cpp
author rkennke
Thu, 15 Feb 2018 23:45:15 +0100
changeset 49036 bc92debe57e4
parent 48836 423bcbb288ff
child 49359 59f6547e151f
permissions -rw-r--r--
8197999: Accessors in typeArrayOopDesc should use new Access API Reviewed-by: eosterlund, pliden
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
43471
bfb383279a16 8171971: Fix timing bug in JVM management of package export lists
hseigel
parents: 40923
diff changeset
     2
 * Copyright (c) 1997, 2017, 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"
47765
b7c7428eaab9 8189610: Reconcile jvm.h and all jvm_md.h between java.base and hotspot
coleenp
parents: 47216
diff changeset
    26
#include "jvm.h"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    27
#include "classfile/javaClasses.hpp"
36508
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
    28
#include "classfile/moduleEntry.hpp"
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
    29
#include "classfile/packageEntry.hpp"
24426
0a69c8cdfca9 8038654: Separate SymbolTable and StringTable code
gziemski
parents: 22897
diff changeset
    30
#include "classfile/stringTable.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    31
#include "classfile/systemDictionary.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    32
#include "classfile/verifier.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    33
#include "classfile/vmSymbols.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    34
#include "interpreter/linkResolver.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    35
#include "memory/oopFactory.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    36
#include "memory/resourceArea.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    37
#include "memory/universe.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    38
#include "oops/instanceKlass.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    39
#include "oops/objArrayKlass.hpp"
29081
c61eb4914428 8072911: Remove includes of oop.inline.hpp from .hpp files
stefank
parents: 27685
diff changeset
    40
#include "oops/objArrayOop.inline.hpp"
c61eb4914428 8072911: Remove includes of oop.inline.hpp from .hpp files
stefank
parents: 27685
diff changeset
    41
#include "oops/oop.inline.hpp"
49036
bc92debe57e4 8197999: Accessors in typeArrayOopDesc should use new Access API
rkennke
parents: 48836
diff changeset
    42
#include "oops/typeArrayOop.inline.hpp"
22897
77e1024a4a14 4505697: nsk/jdi/ExceptionEvent/_itself_/exevent006 and exevent008 tests fail with InvocationTargetException
jbachorik
parents: 22551
diff changeset
    43
#include "prims/jvmtiExport.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    44
#include "runtime/arguments.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    45
#include "runtime/handles.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    46
#include "runtime/javaCalls.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    47
#include "runtime/reflection.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    48
#include "runtime/reflectionUtils.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    49
#include "runtime/signature.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    50
#include "runtime/vframe.hpp"
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
    52
static void trace_class_resolution(const Klass* to_class) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
  ResourceMark rm;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
  int line_number = -1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
  const char * source_file = NULL;
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
    56
  Klass* caller = NULL;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
  JavaThread* jthread = JavaThread::current();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
  if (jthread->has_last_Java_frame()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
    vframeStream vfst(jthread);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
    // skip over any frames belonging to java.lang.Class
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
    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
    62
           vfst.method()->method_holder()->name() == vmSymbols::java_lang_Class()) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
      vfst.next();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
    if (!vfst.at_end()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
      // this frame is a likely suspect
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
      caller = vfst.method()->method_holder();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
      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
    69
      Symbol* s = vfst.method()->method_holder()->source_file_name();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
      if (s != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
        source_file = s->as_C_string();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
  if (caller != NULL) {
14488
ab48109f7d1b 8001471: Klass::cast() does nothing
hseigel
parents: 14391
diff changeset
    76
    const char * from = caller->external_name();
ab48109f7d1b 8001471: Klass::cast() does nothing
hseigel
parents: 14391
diff changeset
    77
    const char * to = to_class->external_name();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    78
    // print in a single call to reduce interleaving between threads
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
    if (source_file != NULL) {
38151
fffedc5e5cf8 8154110: Update class* and safepoint* logging subsystems
mockner
parents: 38094
diff changeset
    80
      log_debug(class, resolve)("%s %s %s:%d (reflection)", from, to, source_file, line_number);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
    } else {
38151
fffedc5e5cf8 8154110: Update class* and safepoint* logging subsystems
mockner
parents: 38094
diff changeset
    82
      log_debug(class, resolve)("%s %s (reflection)", from, to);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
oop Reflection::box(jvalue* value, BasicType type, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
  if (type == T_VOID) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
    return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
  if (type == T_OBJECT || type == T_ARRAY) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
    // regular objects are not boxed
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
    return (oop) value->l;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
  oop result = java_lang_boxing_object::create(type, value, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
  if (result == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
    THROW_(vmSymbols::java_lang_IllegalArgumentException(), result);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
  return result;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
BasicType Reflection::unbox_for_primitive(oop box, jvalue* value, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
  if (box == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   106
    THROW_(vmSymbols::java_lang_IllegalArgumentException(), T_ILLEGAL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
  return java_lang_boxing_object::get_value(box, value);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
BasicType Reflection::unbox_for_regular_object(oop box, jvalue* value) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
  // Note:  box is really the unboxed oop.  It might even be a Short, etc.!
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
  value->l = (jobject) box;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   114
  return T_OBJECT;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
489c9b5090e2 Initial load
duke
parents:
diff changeset
   117
489c9b5090e2 Initial load
duke
parents:
diff changeset
   118
void Reflection::widen(jvalue* value, BasicType current_type, BasicType wide_type, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   119
  assert(wide_type != current_type, "widen should not be called with identical types");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   120
  switch (wide_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
    case T_BOOLEAN:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   122
    case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   123
    case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   124
      break;  // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
   125
    case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   126
      switch (current_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
        case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
          value->s = (jshort) value->b;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
          return;
46630
75aa3e39d02c 8182299: Enable disabled clang warnings, build on OSX 10 + Xcode 8
jwilhelm
parents: 46543
diff changeset
   130
        default:
75aa3e39d02c 8182299: Enable disabled clang warnings, build on OSX 10 + Xcode 8
jwilhelm
parents: 46543
diff changeset
   131
          break;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   132
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
      break;  // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
    case T_INT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
      switch (current_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
        case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
          value->i = (jint) value->b;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
        case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
          value->i = (jint) value->c;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   141
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   142
        case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   143
          value->i = (jint) value->s;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   144
          return;
46630
75aa3e39d02c 8182299: Enable disabled clang warnings, build on OSX 10 + Xcode 8
jwilhelm
parents: 46543
diff changeset
   145
        default:
75aa3e39d02c 8182299: Enable disabled clang warnings, build on OSX 10 + Xcode 8
jwilhelm
parents: 46543
diff changeset
   146
          break;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   147
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
      break;  // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
    case T_LONG:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   150
      switch (current_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   151
        case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   152
          value->j = (jlong) value->b;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   153
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   154
        case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   155
          value->j = (jlong) value->c;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   156
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   157
        case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   158
          value->j = (jlong) value->s;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   159
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   160
        case T_INT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   161
          value->j = (jlong) value->i;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   162
          return;
46630
75aa3e39d02c 8182299: Enable disabled clang warnings, build on OSX 10 + Xcode 8
jwilhelm
parents: 46543
diff changeset
   163
        default:
75aa3e39d02c 8182299: Enable disabled clang warnings, build on OSX 10 + Xcode 8
jwilhelm
parents: 46543
diff changeset
   164
          break;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   165
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   166
      break;  // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
   167
    case T_FLOAT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   168
      switch (current_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   169
        case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   170
          value->f = (jfloat) value->b;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   171
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   172
        case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   173
          value->f = (jfloat) value->c;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   174
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   175
        case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   176
          value->f = (jfloat) value->s;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   177
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   178
        case T_INT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   179
          value->f = (jfloat) value->i;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   180
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   181
        case T_LONG:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   182
          value->f = (jfloat) value->j;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   183
          return;
46630
75aa3e39d02c 8182299: Enable disabled clang warnings, build on OSX 10 + Xcode 8
jwilhelm
parents: 46543
diff changeset
   184
        default:
75aa3e39d02c 8182299: Enable disabled clang warnings, build on OSX 10 + Xcode 8
jwilhelm
parents: 46543
diff changeset
   185
          break;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   186
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   187
      break;  // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
   188
    case T_DOUBLE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   189
      switch (current_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   190
        case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   191
          value->d = (jdouble) value->b;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   192
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   193
        case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   194
          value->d = (jdouble) value->c;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   195
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   196
        case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   197
          value->d = (jdouble) value->s;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   198
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   199
        case T_INT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   200
          value->d = (jdouble) value->i;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   201
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   202
        case T_FLOAT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   203
          value->d = (jdouble) value->f;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   204
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   205
        case T_LONG:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   206
          value->d = (jdouble) value->j;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   207
          return;
46630
75aa3e39d02c 8182299: Enable disabled clang warnings, build on OSX 10 + Xcode 8
jwilhelm
parents: 46543
diff changeset
   208
        default:
75aa3e39d02c 8182299: Enable disabled clang warnings, build on OSX 10 + Xcode 8
jwilhelm
parents: 46543
diff changeset
   209
          break;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   210
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   211
      break;  // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
   212
    default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   213
      break;  // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
   214
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   215
  THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(), "argument type mismatch");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   216
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   217
489c9b5090e2 Initial load
duke
parents:
diff changeset
   218
489c9b5090e2 Initial load
duke
parents:
diff changeset
   219
BasicType Reflection::array_get(jvalue* value, arrayOop a, int index, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   220
  if (!a->is_within_bounds(index)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   221
    THROW_(vmSymbols::java_lang_ArrayIndexOutOfBoundsException(), T_ILLEGAL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   222
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   223
  if (a->is_objArray()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   224
    value->l = (jobject) objArrayOop(a)->obj_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   225
    return T_OBJECT;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   226
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   227
    assert(a->is_typeArray(), "just checking");
13952
e3cf184080bc 8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents: 13728
diff changeset
   228
    BasicType type = TypeArrayKlass::cast(a->klass())->element_type();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   229
    switch (type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   230
      case T_BOOLEAN:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   231
        value->z = typeArrayOop(a)->bool_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   232
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   233
      case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   234
        value->c = typeArrayOop(a)->char_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   235
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   236
      case T_FLOAT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   237
        value->f = typeArrayOop(a)->float_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   238
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   239
      case T_DOUBLE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   240
        value->d = typeArrayOop(a)->double_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   241
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   242
      case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   243
        value->b = typeArrayOop(a)->byte_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   244
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   245
      case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   246
        value->s = typeArrayOop(a)->short_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   247
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   248
      case T_INT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   249
        value->i = typeArrayOop(a)->int_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   250
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   251
      case T_LONG:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   252
        value->j = typeArrayOop(a)->long_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   253
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   254
      default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   255
        return T_ILLEGAL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   256
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   257
    return type;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   258
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   259
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   260
489c9b5090e2 Initial load
duke
parents:
diff changeset
   261
489c9b5090e2 Initial load
duke
parents:
diff changeset
   262
void Reflection::array_set(jvalue* value, arrayOop a, int index, BasicType value_type, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   263
  if (!a->is_within_bounds(index)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   264
    THROW(vmSymbols::java_lang_ArrayIndexOutOfBoundsException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   265
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   266
  if (a->is_objArray()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   267
    if (value_type == T_OBJECT) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   268
      oop obj = (oop) value->l;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   269
      if (obj != NULL) {
13952
e3cf184080bc 8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents: 13728
diff changeset
   270
        Klass* element_klass = ObjArrayKlass::cast(a->klass())->element_klass();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   271
        if (!obj->is_a(element_klass)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   272
          THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(), "array element type mismatch");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   273
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   274
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   275
      objArrayOop(a)->obj_at_put(index, obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   276
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   277
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   278
    assert(a->is_typeArray(), "just checking");
13952
e3cf184080bc 8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents: 13728
diff changeset
   279
    BasicType array_type = TypeArrayKlass::cast(a->klass())->element_type();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   280
    if (array_type != value_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   281
      // The widen operation can potentially throw an exception, but cannot block,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   282
      // so typeArrayOop a is safe if the call succeeds.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   283
      widen(value, value_type, array_type, CHECK);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   284
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   285
    switch (array_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   286
      case T_BOOLEAN:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   287
        typeArrayOop(a)->bool_at_put(index, value->z);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   288
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   289
      case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   290
        typeArrayOop(a)->char_at_put(index, value->c);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   291
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   292
      case T_FLOAT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   293
        typeArrayOop(a)->float_at_put(index, value->f);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   294
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   295
      case T_DOUBLE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   296
        typeArrayOop(a)->double_at_put(index, value->d);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   297
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   298
      case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   299
        typeArrayOop(a)->byte_at_put(index, value->b);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   300
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   301
      case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   302
        typeArrayOop(a)->short_at_put(index, value->s);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   303
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   304
      case T_INT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   305
        typeArrayOop(a)->int_at_put(index, value->i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   306
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   307
      case T_LONG:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   308
        typeArrayOop(a)->long_at_put(index, value->j);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   309
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   310
      default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   311
        THROW(vmSymbols::java_lang_IllegalArgumentException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   312
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   313
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   314
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   315
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   316
static Klass* basic_type_mirror_to_arrayklass(oop basic_type_mirror, TRAPS) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   317
  assert(java_lang_Class::is_primitive(basic_type_mirror), "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   318
  BasicType type = java_lang_Class::primitive_type(basic_type_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   319
  if (type == T_VOID) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   320
    THROW_0(vmSymbols::java_lang_IllegalArgumentException());
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   321
  }
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   322
  else {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   323
    return Universe::typeArrayKlassObj(type);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   324
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   325
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   326
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   327
#ifdef ASSERT
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   328
static oop 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
   329
  BasicType type = TypeArrayKlass::cast(basic_type_arrayklass)->element_type();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   330
  return Universe::java_mirror(type);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   331
}
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   332
#endif
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   333
489c9b5090e2 Initial load
duke
parents:
diff changeset
   334
arrayOop Reflection::reflect_new_array(oop element_mirror, jint length, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   335
  if (element_mirror == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   336
    THROW_0(vmSymbols::java_lang_NullPointerException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   337
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   338
  if (length < 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   339
    THROW_0(vmSymbols::java_lang_NegativeArraySizeException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   340
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   341
  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
   342
    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
   343
    return TypeArrayKlass::cast(tak)->allocate(length, THREAD);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   344
  } else {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   345
    Klass* k = java_lang_Class::as_Klass(element_mirror);
33611
9abd65805e19 8139203: Consistent naming for klass type predicates
coleenp
parents: 33602
diff changeset
   346
    if (k->is_array_klass() && ArrayKlass::cast(k)->dimension() >= MAX_DIM) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   347
      THROW_0(vmSymbols::java_lang_IllegalArgumentException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   348
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   349
    return oopFactory::new_objArray(k, length, THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   350
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   351
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   352
489c9b5090e2 Initial load
duke
parents:
diff changeset
   353
489c9b5090e2 Initial load
duke
parents:
diff changeset
   354
arrayOop Reflection::reflect_new_multi_array(oop element_mirror, typeArrayOop dim_array, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   355
  assert(dim_array->is_typeArray(), "just checking");
13952
e3cf184080bc 8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents: 13728
diff changeset
   356
  assert(TypeArrayKlass::cast(dim_array->klass())->element_type() == T_INT, "just checking");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   357
489c9b5090e2 Initial load
duke
parents:
diff changeset
   358
  if (element_mirror == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   359
    THROW_0(vmSymbols::java_lang_NullPointerException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   360
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   361
489c9b5090e2 Initial load
duke
parents:
diff changeset
   362
  int len = dim_array->length();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   363
  if (len <= 0 || len > MAX_DIM) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   364
    THROW_0(vmSymbols::java_lang_IllegalArgumentException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   365
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   366
489c9b5090e2 Initial load
duke
parents:
diff changeset
   367
  jint dimensions[MAX_DIM];   // C array copy of intArrayOop
489c9b5090e2 Initial load
duke
parents:
diff changeset
   368
  for (int i = 0; i < len; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   369
    int d = dim_array->int_at(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   370
    if (d < 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   371
      THROW_0(vmSymbols::java_lang_NegativeArraySizeException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   372
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   373
    dimensions[i] = d;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   374
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   375
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   376
  Klass* klass;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   377
  int dim = len;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   378
  if (java_lang_Class::is_primitive(element_mirror)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   379
    klass = basic_type_mirror_to_arrayklass(element_mirror, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   380
  } else {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   381
    klass = java_lang_Class::as_Klass(element_mirror);
33611
9abd65805e19 8139203: Consistent naming for klass type predicates
coleenp
parents: 33602
diff changeset
   382
    if (klass->is_array_klass()) {
13952
e3cf184080bc 8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents: 13728
diff changeset
   383
      int k_dim = ArrayKlass::cast(klass)->dimension();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   384
      if (k_dim + len > MAX_DIM) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   385
        THROW_0(vmSymbols::java_lang_IllegalArgumentException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   386
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   387
      dim += k_dim;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   388
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   389
  }
14488
ab48109f7d1b 8001471: Klass::cast() does nothing
hseigel
parents: 14391
diff changeset
   390
  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
   391
  oop obj = ArrayKlass::cast(klass)->multi_allocate(len, dimensions, CHECK_NULL);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   392
  assert(obj->is_array(), "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   393
  return arrayOop(obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   394
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   395
489c9b5090e2 Initial load
duke
parents:
diff changeset
   396
489c9b5090e2 Initial load
duke
parents:
diff changeset
   397
oop Reflection::array_component_type(oop mirror, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   398
  if (java_lang_Class::is_primitive(mirror)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   399
    return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   400
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   401
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   402
  Klass* klass = java_lang_Class::as_Klass(mirror);
33611
9abd65805e19 8139203: Consistent naming for klass type predicates
coleenp
parents: 33602
diff changeset
   403
  if (!klass->is_array_klass()) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   404
    return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   405
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   406
26412
80741eb33ba2 8049105: Move array component mirror to instance of java/lang/Class (hotspot part 2)
coleenp
parents: 25057
diff changeset
   407
  oop result = java_lang_Class::component_mirror(mirror);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   408
#ifdef ASSERT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   409
  oop result2 = NULL;
13952
e3cf184080bc 8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents: 13728
diff changeset
   410
  if (ArrayKlass::cast(klass)->dimension() == 1) {
33611
9abd65805e19 8139203: Consistent naming for klass type predicates
coleenp
parents: 33602
diff changeset
   411
    if (klass->is_typeArray_klass()) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   412
      result2 = basic_type_arrayklass_to_mirror(klass, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   413
    } else {
14488
ab48109f7d1b 8001471: Klass::cast() does nothing
hseigel
parents: 14391
diff changeset
   414
      result2 = ObjArrayKlass::cast(klass)->element_klass()->java_mirror();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   415
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   416
  } else {
13952
e3cf184080bc 8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents: 13728
diff changeset
   417
    Klass* lower_dim = ArrayKlass::cast(klass)->lower_dimension();
33611
9abd65805e19 8139203: Consistent naming for klass type predicates
coleenp
parents: 33602
diff changeset
   418
    assert(lower_dim->is_array_klass(), "just checking");
14488
ab48109f7d1b 8001471: Klass::cast() does nothing
hseigel
parents: 14391
diff changeset
   419
    result2 = lower_dim->java_mirror();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   420
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   421
  assert(result == result2, "results must be consistent");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   422
#endif //ASSERT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   423
  return result;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   424
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   425
40923
10fe1c28b9f6 8058575: IllegalAccessError trying to access package-private class from VM anonymous class
hseigel
parents: 40856
diff changeset
   426
static bool under_host_klass(const InstanceKlass* ik, const InstanceKlass* host_klass) {
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   427
  DEBUG_ONLY(int inf_loop_check = 1000 * 1000 * 1000);
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   428
  for (;;) {
40923
10fe1c28b9f6 8058575: IllegalAccessError trying to access package-private class from VM anonymous class
hseigel
parents: 40856
diff changeset
   429
    const InstanceKlass* hc = ik->host_klass();
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   430
    if (hc == NULL)        return false;
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   431
    if (hc == host_klass)  return true;
40923
10fe1c28b9f6 8058575: IllegalAccessError trying to access package-private class from VM anonymous class
hseigel
parents: 40856
diff changeset
   432
    ik = hc;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   433
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   434
    // There's no way to make a host class loop short of patching memory.
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   435
    // Therefore there cannot be a loop here unless there's another bug.
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   436
    // Still, let's check for it.
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   437
    assert(--inf_loop_check > 0, "no host_klass loop");
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   438
  }
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   439
}
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   440
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   441
static bool can_relax_access_check_for(const Klass* accessor,
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   442
                                       const Klass* accessee,
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   443
                                       bool classloader_only) {
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   444
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   445
  const InstanceKlass* accessor_ik = InstanceKlass::cast(accessor);
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   446
  const InstanceKlass* accessee_ik = InstanceKlass::cast(accessee);
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   447
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   448
  // If either is on the other's host_klass chain, access is OK,
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   449
  // because one is inside the other.
40923
10fe1c28b9f6 8058575: IllegalAccessError trying to access package-private class from VM anonymous class
hseigel
parents: 40856
diff changeset
   450
  if (under_host_klass(accessor_ik, accessee_ik) ||
10fe1c28b9f6 8058575: IllegalAccessError trying to access package-private class from VM anonymous class
hseigel
parents: 40856
diff changeset
   451
    under_host_klass(accessee_ik, accessor_ik))
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   452
    return true;
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   453
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   454
  if ((RelaxAccessControlCheck &&
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   455
    accessor_ik->major_version() < Verifier::NO_RELAX_ACCESS_CTRL_CHECK_VERSION &&
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   456
    accessee_ik->major_version() < Verifier::NO_RELAX_ACCESS_CTRL_CHECK_VERSION) ||
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   457
    (accessor_ik->major_version() < Verifier::STRICTER_ACCESS_CTRL_CHECK_VERSION &&
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   458
    accessee_ik->major_version() < Verifier::STRICTER_ACCESS_CTRL_CHECK_VERSION)) {
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   459
    return classloader_only &&
40856
3378947a95e6 8148854: Class names "SomeClass" and "LSomeClass;" treated by JVM as an equivalent
rprotacio
parents: 40385
diff changeset
   460
      Verifier::relax_access_for(accessor_ik->class_loader()) &&
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   461
      accessor_ik->protection_domain() == accessee_ik->protection_domain() &&
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   462
      accessor_ik->class_loader() == accessee_ik->class_loader();
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   463
  }
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   464
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   465
  return false;
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   466
}
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   467
36508
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   468
/*
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   469
    Type Accessibility check for public types: Callee Type T is accessible to Caller Type S if:
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   470
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   471
                        Callee T in             Callee T in package PT,
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   472
                        unnamed module          runtime module MT
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   473
 ------------------------------------------------------------------------------------------------
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   474
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   475
 Caller S in package     If MS is loose: YES      If same classloader/package (PS == PT): YES
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   476
 PS, runtime module MS   If MS can read T's       If same runtime module: (MS == MT): YES
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   477
                         unnamed module: YES
46404
ae62ba99a1a7 8165896: Use "open" flag from JVM_DefineModule to export all module packages
rprotacio
parents: 46388
diff changeset
   478
                                                  Else if (MS can read MT (establish readability) &&
ae62ba99a1a7 8165896: Use "open" flag from JVM_DefineModule to export all module packages
rprotacio
parents: 46388
diff changeset
   479
                                                    ((MT exports PT to MS or to all modules) ||
ae62ba99a1a7 8165896: Use "open" flag from JVM_DefineModule to export all module packages
rprotacio
parents: 46388
diff changeset
   480
                                                     (MT is open))): YES
36508
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   481
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   482
 ------------------------------------------------------------------------------------------------
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   483
 Caller S in unnamed         YES                  Readability exists because unnamed module
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   484
 module UM                                            "reads" all modules
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   485
                                                  if (MT exports PT to UM or to all modules): YES
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   486
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   487
 ------------------------------------------------------------------------------------------------
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   488
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   489
 Note: a loose module is a module that can read all current and future unnamed modules.
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   490
*/
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   491
Reflection::VerifyClassAccessResults Reflection::verify_class_access(
46262
83280d968b96 8174092: Remove array-related access checks from Reflection::verify_class_access()
hseigel
parents: 40923
diff changeset
   492
  const Klass* current_class, const InstanceKlass* new_class, bool classloader_only) {
36508
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   493
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   494
  // Verify that current_class can access new_class.  If the classloader_only
489c9b5090e2 Initial load
duke
parents:
diff changeset
   495
  // flag is set, we automatically allow any accesses in which current_class
489c9b5090e2 Initial load
duke
parents:
diff changeset
   496
  // doesn't have a classloader.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   497
  if ((current_class == NULL) ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   498
      (current_class == new_class) ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   499
      is_same_class_package(current_class, new_class)) {
36508
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   500
    return ACCESS_OK;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   501
  }
37301
a936b4e01afb 8137058: Clear out all non-Critical APIs from sun.reflect
chegar
parents: 37179
diff changeset
   502
  // Allow all accesses from jdk/internal/reflect/MagicAccessorImpl subclasses to
25057
f38210f84f8c 8031819: Remove legacy jdk checks and code
hseigel
parents: 24456
diff changeset
   503
  // succeed trivially.
f38210f84f8c 8031819: Remove legacy jdk checks and code
hseigel
parents: 24456
diff changeset
   504
  if (current_class->is_subclass_of(SystemDictionary::reflect_MagicAccessorImpl_klass())) {
36508
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   505
    return ACCESS_OK;
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   506
  }
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   507
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   508
  // module boundaries
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   509
  if (new_class->is_public()) {
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   510
    // Ignore modules for DumpSharedSpaces because we do not have any package
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   511
    // or module information for modules other than java.base.
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   512
    if (DumpSharedSpaces) {
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   513
      return ACCESS_OK;
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   514
    }
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   515
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   516
    // Find the module entry for current_class, the accessor
38094
46977cd73d86 8152844: JVM InstanceKlass Methods For Obtaining Package/Module Should Be Moved to Klass
rprotacio
parents: 37480
diff changeset
   517
    ModuleEntry* module_from = current_class->module();
36508
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   518
    // Find the module entry for new_class, the accessee
38094
46977cd73d86 8152844: JVM InstanceKlass Methods For Obtaining Package/Module Should Be Moved to Klass
rprotacio
parents: 37480
diff changeset
   519
    ModuleEntry* module_to = new_class->module();
36508
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   520
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   521
    // both in same (possibly unnamed) module
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   522
    if (module_from == module_to) {
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   523
      return ACCESS_OK;
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   524
    }
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   525
46404
ae62ba99a1a7 8165896: Use "open" flag from JVM_DefineModule to export all module packages
rprotacio
parents: 46388
diff changeset
   526
    // Acceptable access to a type in an unnamed module. Note that since
36508
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   527
    // unnamed modules can read all unnamed modules, this also handles the
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   528
    // case where module_from is also unnamed but in a different class loader.
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   529
    if (!module_to->is_named() &&
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   530
        (module_from->can_read_all_unnamed() || module_from->can_read(module_to))) {
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   531
      return ACCESS_OK;
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   532
    }
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   533
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   534
    // Establish readability, check if module_from is allowed to read module_to.
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   535
    if (!module_from->can_read(module_to)) {
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   536
      return MODULE_NOT_READABLE;
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   537
    }
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   538
46404
ae62ba99a1a7 8165896: Use "open" flag from JVM_DefineModule to export all module packages
rprotacio
parents: 46388
diff changeset
   539
    // Access is allowed if module_to is open, i.e. all its packages are unqualifiedly exported
ae62ba99a1a7 8165896: Use "open" flag from JVM_DefineModule to export all module packages
rprotacio
parents: 46388
diff changeset
   540
    if (module_to->is_open()) {
ae62ba99a1a7 8165896: Use "open" flag from JVM_DefineModule to export all module packages
rprotacio
parents: 46388
diff changeset
   541
      return ACCESS_OK;
ae62ba99a1a7 8165896: Use "open" flag from JVM_DefineModule to export all module packages
rprotacio
parents: 46388
diff changeset
   542
    }
ae62ba99a1a7 8165896: Use "open" flag from JVM_DefineModule to export all module packages
rprotacio
parents: 46388
diff changeset
   543
38094
46977cd73d86 8152844: JVM InstanceKlass Methods For Obtaining Package/Module Should Be Moved to Klass
rprotacio
parents: 37480
diff changeset
   544
    PackageEntry* package_to = new_class->package();
36508
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   545
    assert(package_to != NULL, "can not obtain new_class' package");
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   546
43471
bfb383279a16 8171971: Fix timing bug in JVM management of package export lists
hseigel
parents: 40923
diff changeset
   547
    {
bfb383279a16 8171971: Fix timing bug in JVM management of package export lists
hseigel
parents: 40923
diff changeset
   548
      MutexLocker m1(Module_lock);
bfb383279a16 8171971: Fix timing bug in JVM management of package export lists
hseigel
parents: 40923
diff changeset
   549
bfb383279a16 8171971: Fix timing bug in JVM management of package export lists
hseigel
parents: 40923
diff changeset
   550
      // Once readability is established, if module_to exports T unqualifiedly,
bfb383279a16 8171971: Fix timing bug in JVM management of package export lists
hseigel
parents: 40923
diff changeset
   551
      // (to all modules), than whether module_from is in the unnamed module
bfb383279a16 8171971: Fix timing bug in JVM management of package export lists
hseigel
parents: 40923
diff changeset
   552
      // or not does not matter, access is allowed.
bfb383279a16 8171971: Fix timing bug in JVM management of package export lists
hseigel
parents: 40923
diff changeset
   553
      if (package_to->is_unqual_exported()) {
bfb383279a16 8171971: Fix timing bug in JVM management of package export lists
hseigel
parents: 40923
diff changeset
   554
        return ACCESS_OK;
bfb383279a16 8171971: Fix timing bug in JVM management of package export lists
hseigel
parents: 40923
diff changeset
   555
      }
36508
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   556
43471
bfb383279a16 8171971: Fix timing bug in JVM management of package export lists
hseigel
parents: 40923
diff changeset
   557
      // Access is allowed if both 1 & 2 hold:
bfb383279a16 8171971: Fix timing bug in JVM management of package export lists
hseigel
parents: 40923
diff changeset
   558
      //   1. Readability, module_from can read module_to (established above).
bfb383279a16 8171971: Fix timing bug in JVM management of package export lists
hseigel
parents: 40923
diff changeset
   559
      //   2. Either module_to exports T to module_from qualifiedly.
bfb383279a16 8171971: Fix timing bug in JVM management of package export lists
hseigel
parents: 40923
diff changeset
   560
      //      or
bfb383279a16 8171971: Fix timing bug in JVM management of package export lists
hseigel
parents: 40923
diff changeset
   561
      //      module_to exports T to all unnamed modules and module_from is unnamed.
bfb383279a16 8171971: Fix timing bug in JVM management of package export lists
hseigel
parents: 40923
diff changeset
   562
      //      or
bfb383279a16 8171971: Fix timing bug in JVM management of package export lists
hseigel
parents: 40923
diff changeset
   563
      //      module_to exports T unqualifiedly to all modules (checked above).
bfb383279a16 8171971: Fix timing bug in JVM management of package export lists
hseigel
parents: 40923
diff changeset
   564
      if (!package_to->is_qexported_to(module_from)) {
bfb383279a16 8171971: Fix timing bug in JVM management of package export lists
hseigel
parents: 40923
diff changeset
   565
        return TYPE_NOT_EXPORTED;
bfb383279a16 8171971: Fix timing bug in JVM management of package export lists
hseigel
parents: 40923
diff changeset
   566
      }
36508
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   567
    }
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   568
    return ACCESS_OK;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   569
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   570
36508
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   571
  if (can_relax_access_check_for(current_class, new_class, classloader_only)) {
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   572
    return ACCESS_OK;
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   573
  }
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   574
  return OTHER_PROBLEM;
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   575
}
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   576
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   577
// Return an error message specific to the specified Klass*'s and result.
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   578
// This function must be called from within a block containing a ResourceMark.
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   579
char* Reflection::verify_class_access_msg(const Klass* current_class,
46262
83280d968b96 8174092: Remove array-related access checks from Reflection::verify_class_access()
hseigel
parents: 40923
diff changeset
   580
                                          const InstanceKlass* new_class,
46543
a6c67129b3fd 8182089: build error in hotspot/src/share/vm/runtime/reflection.cpp
hseigel
parents: 46404
diff changeset
   581
                                          const VerifyClassAccessResults result) {
36508
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   582
  assert(result != ACCESS_OK, "must be failure result");
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   583
  char * msg = NULL;
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   584
  if (result != OTHER_PROBLEM && new_class != NULL && current_class != NULL) {
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   585
    // Find the module entry for current_class, the accessor
38094
46977cd73d86 8152844: JVM InstanceKlass Methods For Obtaining Package/Module Should Be Moved to Klass
rprotacio
parents: 37480
diff changeset
   586
    ModuleEntry* module_from = current_class->module();
36508
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   587
    const char * module_from_name = module_from->is_named() ? module_from->name()->as_C_string() : UNNAMED_MODULE;
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   588
    const char * current_class_name = current_class->external_name();
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   589
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   590
    // Find the module entry for new_class, the accessee
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   591
    ModuleEntry* module_to = NULL;
38094
46977cd73d86 8152844: JVM InstanceKlass Methods For Obtaining Package/Module Should Be Moved to Klass
rprotacio
parents: 37480
diff changeset
   592
    module_to = new_class->module();
36508
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   593
    const char * module_to_name = module_to->is_named() ? module_to->name()->as_C_string() : UNNAMED_MODULE;
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   594
    const char * new_class_name = new_class->external_name();
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   595
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   596
    if (result == MODULE_NOT_READABLE) {
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   597
      assert(module_from->is_named(), "Unnamed modules can read all modules");
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   598
      if (module_to->is_named()) {
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   599
        size_t len = 100 + strlen(current_class_name) + 2*strlen(module_from_name) +
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   600
          strlen(new_class_name) + 2*strlen(module_to_name);
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   601
        msg = NEW_RESOURCE_ARRAY(char, len);
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   602
        jio_snprintf(msg, len - 1,
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   603
          "class %s (in module %s) cannot access class %s (in module %s) because module %s does not read module %s",
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   604
          current_class_name, module_from_name, new_class_name,
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   605
          module_to_name, module_from_name, module_to_name);
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   606
      } else {
46773
fb17cc9a6847 8185717: Make ModuleEntry->module() return an oop not a jobject
hseigel
parents: 46727
diff changeset
   607
        oop jlm = module_to->module();
44520
0553e129e0ec 8177530: Module system implementation refresh (4/2017)
alanb
parents: 43471
diff changeset
   608
        assert(jlm != NULL, "Null jlm in module_to ModuleEntry");
46773
fb17cc9a6847 8185717: Make ModuleEntry->module() return an oop not a jobject
hseigel
parents: 46727
diff changeset
   609
        intptr_t identity_hash = jlm->identity_hash();
36508
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   610
        size_t len = 160 + strlen(current_class_name) + 2*strlen(module_from_name) +
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   611
          strlen(new_class_name) + 2*sizeof(uintx);
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   612
        msg = NEW_RESOURCE_ARRAY(char, len);
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   613
        jio_snprintf(msg, len - 1,
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   614
          "class %s (in module %s) cannot access class %s (in unnamed module @" SIZE_FORMAT_HEX ") because module %s does not read unnamed module @" SIZE_FORMAT_HEX,
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   615
          current_class_name, module_from_name, new_class_name, uintx(identity_hash),
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   616
          module_from_name, uintx(identity_hash));
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   617
      }
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   618
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   619
    } else if (result == TYPE_NOT_EXPORTED) {
38094
46977cd73d86 8152844: JVM InstanceKlass Methods For Obtaining Package/Module Should Be Moved to Klass
rprotacio
parents: 37480
diff changeset
   620
      assert(new_class->package() != NULL,
36508
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   621
             "Unnamed packages are always exported");
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   622
      const char * package_name =
38094
46977cd73d86 8152844: JVM InstanceKlass Methods For Obtaining Package/Module Should Be Moved to Klass
rprotacio
parents: 37480
diff changeset
   623
        new_class->package()->name()->as_klass_external_name();
36508
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   624
      assert(module_to->is_named(), "Unnamed modules export all packages");
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   625
      if (module_from->is_named()) {
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   626
        size_t len = 118 + strlen(current_class_name) + 2*strlen(module_from_name) +
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   627
          strlen(new_class_name) + 2*strlen(module_to_name) + strlen(package_name);
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   628
        msg = NEW_RESOURCE_ARRAY(char, len);
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   629
        jio_snprintf(msg, len - 1,
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   630
          "class %s (in module %s) cannot access class %s (in module %s) because module %s does not export %s to module %s",
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   631
          current_class_name, module_from_name, new_class_name,
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   632
          module_to_name, module_to_name, package_name, module_from_name);
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   633
      } else {
46773
fb17cc9a6847 8185717: Make ModuleEntry->module() return an oop not a jobject
hseigel
parents: 46727
diff changeset
   634
        oop jlm = module_from->module();
44520
0553e129e0ec 8177530: Module system implementation refresh (4/2017)
alanb
parents: 43471
diff changeset
   635
        assert(jlm != NULL, "Null jlm in module_from ModuleEntry");
46773
fb17cc9a6847 8185717: Make ModuleEntry->module() return an oop not a jobject
hseigel
parents: 46727
diff changeset
   636
        intptr_t identity_hash = jlm->identity_hash();
36508
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   637
        size_t len = 170 + strlen(current_class_name) + strlen(new_class_name) +
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   638
          2*strlen(module_to_name) + strlen(package_name) + 2*sizeof(uintx);
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   639
        msg = NEW_RESOURCE_ARRAY(char, len);
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   640
        jio_snprintf(msg, len - 1,
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   641
          "class %s (in unnamed module @" SIZE_FORMAT_HEX ") cannot access class %s (in module %s) because module %s does not export %s to unnamed module @" SIZE_FORMAT_HEX,
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   642
          current_class_name, uintx(identity_hash), new_class_name, module_to_name,
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   643
          module_to_name, package_name, uintx(identity_hash));
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   644
      }
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   645
    } else {
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   646
        ShouldNotReachHere();
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   647
    }
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   648
  }  // result != OTHER_PROBLEM...
5f9eee6b383b 8142968: Module System implementation
alanb
parents: 35900
diff changeset
   649
  return msg;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   650
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   651
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   652
bool Reflection::verify_field_access(const Klass* current_class,
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   653
                                     const Klass* resolved_class,
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   654
                                     const Klass* field_class,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   655
                                     AccessFlags access,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   656
                                     bool classloader_only,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   657
                                     bool protected_restriction) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   658
  // Verify that current_class can access a field of field_class, where that
489c9b5090e2 Initial load
duke
parents:
diff changeset
   659
  // field's access bits are "access".  We assume that we've already verified
489c9b5090e2 Initial load
duke
parents:
diff changeset
   660
  // that current_class can access field_class.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   661
  //
489c9b5090e2 Initial load
duke
parents:
diff changeset
   662
  // If the classloader_only flag is set, we automatically allow any accesses
489c9b5090e2 Initial load
duke
parents:
diff changeset
   663
  // in which current_class doesn't have a classloader.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   664
  //
489c9b5090e2 Initial load
duke
parents:
diff changeset
   665
  // "resolved_class" is the runtime type of "field_class". Sometimes we don't
489c9b5090e2 Initial load
duke
parents:
diff changeset
   666
  // need this distinction (e.g. if all we have is the runtime type, or during
489c9b5090e2 Initial load
duke
parents:
diff changeset
   667
  // class file parsing when we only care about the static type); in that case
489c9b5090e2 Initial load
duke
parents:
diff changeset
   668
  // callers should ensure that resolved_class == field_class.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   669
  //
489c9b5090e2 Initial load
duke
parents:
diff changeset
   670
  if ((current_class == NULL) ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   671
      (current_class == field_class) ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   672
      access.is_public()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   673
    return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   674
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   675
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   676
  const Klass* host_class = current_class;
40385
a7011a835634 8030221: Checking for anonymous class should check for NULL as well as potential nesting
hseigel
parents: 38719
diff changeset
   677
  if (host_class->is_instance_klass() &&
a7011a835634 8030221: Checking for anonymous class should check for NULL as well as potential nesting
hseigel
parents: 38719
diff changeset
   678
      InstanceKlass::cast(host_class)->is_anonymous()) {
a7011a835634 8030221: Checking for anonymous class should check for NULL as well as potential nesting
hseigel
parents: 38719
diff changeset
   679
    host_class = InstanceKlass::cast(host_class)->host_klass();
a7011a835634 8030221: Checking for anonymous class should check for NULL as well as potential nesting
hseigel
parents: 38719
diff changeset
   680
    assert(host_class != NULL, "Anonymous class has null host class");
a7011a835634 8030221: Checking for anonymous class should check for NULL as well as potential nesting
hseigel
parents: 38719
diff changeset
   681
    assert(!(host_class->is_instance_klass() &&
a7011a835634 8030221: Checking for anonymous class should check for NULL as well as potential nesting
hseigel
parents: 38719
diff changeset
   682
           InstanceKlass::cast(host_class)->is_anonymous()),
a7011a835634 8030221: Checking for anonymous class should check for NULL as well as potential nesting
hseigel
parents: 38719
diff changeset
   683
           "host_class should not be anonymous");
22215
579f4a1a4aa6 8027458: VM anonymous classes: wrong context for protected access checks
hseigel
parents: 21729
diff changeset
   684
  }
579f4a1a4aa6 8027458: VM anonymous classes: wrong context for protected access checks
hseigel
parents: 21729
diff changeset
   685
  if (host_class == field_class) {
579f4a1a4aa6 8027458: VM anonymous classes: wrong context for protected access checks
hseigel
parents: 21729
diff changeset
   686
    return true;
579f4a1a4aa6 8027458: VM anonymous classes: wrong context for protected access checks
hseigel
parents: 21729
diff changeset
   687
  }
579f4a1a4aa6 8027458: VM anonymous classes: wrong context for protected access checks
hseigel
parents: 21729
diff changeset
   688
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   689
  if (access.is_protected()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   690
    if (!protected_restriction) {
22215
579f4a1a4aa6 8027458: VM anonymous classes: wrong context for protected access checks
hseigel
parents: 21729
diff changeset
   691
      // 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
   692
      // An interface may not access protected members of j.l.Object
2db6fe33afc2 8036533: Method for correct defaults
hseigel
parents: 26412
diff changeset
   693
      if (!host_class->is_interface() && host_class->is_subclass_of(field_class)) {
362
00cf4bffd828 6622385: Accessing protected static methods
kamg
parents: 224
diff changeset
   694
        if (access.is_static() || // static fields are ok, see 6622385
00cf4bffd828 6622385: Accessing protected static methods
kamg
parents: 224
diff changeset
   695
            current_class == resolved_class ||
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   696
            field_class == resolved_class ||
22215
579f4a1a4aa6 8027458: VM anonymous classes: wrong context for protected access checks
hseigel
parents: 21729
diff changeset
   697
            host_class->is_subclass_of(resolved_class) ||
579f4a1a4aa6 8027458: VM anonymous classes: wrong context for protected access checks
hseigel
parents: 21729
diff changeset
   698
            resolved_class->is_subclass_of(host_class)) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   699
          return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   700
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   701
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   702
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   703
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   704
489c9b5090e2 Initial load
duke
parents:
diff changeset
   705
  if (!access.is_private() && is_same_class_package(current_class, field_class)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   706
    return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   707
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   708
37301
a936b4e01afb 8137058: Clear out all non-Critical APIs from sun.reflect
chegar
parents: 37179
diff changeset
   709
  // Allow all accesses from jdk/internal/reflect/MagicAccessorImpl subclasses to
25057
f38210f84f8c 8031819: Remove legacy jdk checks and code
hseigel
parents: 24456
diff changeset
   710
  // succeed trivially.
f38210f84f8c 8031819: Remove legacy jdk checks and code
hseigel
parents: 24456
diff changeset
   711
  if (current_class->is_subclass_of(SystemDictionary::reflect_MagicAccessorImpl_klass())) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   712
    return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   713
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   714
489c9b5090e2 Initial load
duke
parents:
diff changeset
   715
  return can_relax_access_check_for(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   716
    current_class, field_class, classloader_only);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   717
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   718
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   719
bool Reflection::is_same_class_package(const Klass* class1, const Klass* class2) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   720
  return InstanceKlass::cast(class1)->is_same_class_package(class2);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   721
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   722
489c9b5090e2 Initial load
duke
parents:
diff changeset
   723
// Checks that the 'outer' klass has declared 'inner' as being an inner klass. If not,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   724
// throw an incompatible class change exception
2332
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   725
// 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
   726
// 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
   727
// Caller is responsible for figuring out in advance which case must be true.
46329
53ccc37bda19 8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents: 46289
diff changeset
   728
void Reflection::check_for_inner_class(const InstanceKlass* outer, const InstanceKlass* inner,
2332
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   729
                                       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
   730
  InnerClassesIterator iter(outer);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   731
  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
   732
  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
   733
     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
   734
     int ooff = iter.outer_class_info_index();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   735
2332
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   736
     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
   737
        Klass* o = cp->klass_at(ooff, CHECK);
46329
53ccc37bda19 8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents: 46289
diff changeset
   738
        if (o == outer) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   739
          Klass* i = cp->klass_at(ioff, CHECK);
46329
53ccc37bda19 8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents: 46289
diff changeset
   740
          if (i == inner) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   741
            return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   742
          }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   743
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   744
     }
2332
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   745
     if (!inner_is_member && ioff != 0 && ooff == 0 &&
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   746
         cp->klass_name_at_matches(inner, ioff)) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
   747
        Klass* i = cp->klass_at(ioff, CHECK);
46329
53ccc37bda19 8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents: 46289
diff changeset
   748
        if (i == inner) {
2332
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   749
          return;
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   750
        }
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   751
     }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   752
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   753
489c9b5090e2 Initial load
duke
parents:
diff changeset
   754
  // 'inner' not declared as an inner klass in outer
489c9b5090e2 Initial load
duke
parents:
diff changeset
   755
  ResourceMark rm(THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   756
  Exceptions::fthrow(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   757
    THREAD_AND_LOCATION,
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   758
    vmSymbols::java_lang_IncompatibleClassChangeError(),
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   759
    "%s and %s disagree on InnerClasses attribute",
489c9b5090e2 Initial load
duke
parents:
diff changeset
   760
    outer->external_name(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   761
    inner->external_name()
489c9b5090e2 Initial load
duke
parents:
diff changeset
   762
  );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   763
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   764
489c9b5090e2 Initial load
duke
parents:
diff changeset
   765
// Utility method converting a single SignatureStream element into java.lang.Class instance
46727
6e4a84748e2c 8183039: Re-examine methodHandle methods uninlined by 8144256
coleenp
parents: 46630
diff changeset
   766
static oop get_mirror_from_signature(const methodHandle& method,
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   767
                                     SignatureStream* ss,
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   768
                                     TRAPS) {
48836
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   769
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   770
48836
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   771
  if (T_OBJECT == ss->type() || T_ARRAY == ss->type()) {
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   772
    Symbol* name = ss->as_symbol(CHECK_NULL);
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   773
    oop loader = method->method_holder()->class_loader();
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   774
    oop protection_domain = method->method_holder()->protection_domain();
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   775
    const Klass* k = SystemDictionary::resolve_or_fail(name,
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   776
                                                       Handle(THREAD, loader),
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   777
                                                       Handle(THREAD, protection_domain),
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   778
                                                       true,
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   779
                                                       CHECK_NULL);
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   780
    if (log_is_enabled(Debug, class, resolve)) {
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   781
      trace_class_resolution(k);
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   782
    }
48836
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   783
    return k->java_mirror();
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   784
  }
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   785
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   786
  assert(ss->type() != T_VOID || ss->at_return_type(),
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   787
    "T_VOID should only appear as return type");
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   788
48836
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   789
  return java_lang_Class::primitive_mirror(ss->type());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   790
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   791
46727
6e4a84748e2c 8183039: Re-examine methodHandle methods uninlined by 8144256
coleenp
parents: 46630
diff changeset
   792
static objArrayHandle get_parameter_types(const methodHandle& method,
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   793
                                          int parameter_count,
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   794
                                          oop* return_type,
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   795
                                          TRAPS) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   796
  // Allocate array holding parameter types (java.lang.Class instances)
4571
80b553bddc26 6914300: ciEnv should export all well known classes
never
parents: 2332
diff changeset
   797
  objArrayOop m = oopFactory::new_objArray(SystemDictionary::Class_klass(), parameter_count, CHECK_(objArrayHandle()));
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   798
  objArrayHandle mirrors(THREAD, m);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   799
  int index = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   800
  // Collect parameter types
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   801
  ResourceMark rm(THREAD);
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   802
  Symbol*  signature = method->signature();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   803
  SignatureStream ss(signature);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   804
  while (!ss.at_return_type()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   805
    oop mirror = get_mirror_from_signature(method, &ss, CHECK_(objArrayHandle()));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   806
    mirrors->obj_at_put(index++, mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   807
    ss.next();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   808
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   809
  assert(index == parameter_count, "invalid parameter count");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   810
  if (return_type != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   811
    // Collect return type as well
489c9b5090e2 Initial load
duke
parents:
diff changeset
   812
    assert(ss.at_return_type(), "return type should be present");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   813
    *return_type = get_mirror_from_signature(method, &ss, CHECK_(objArrayHandle()));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   814
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   815
  return mirrors;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   816
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   817
46727
6e4a84748e2c 8183039: Re-examine methodHandle methods uninlined by 8144256
coleenp
parents: 46630
diff changeset
   818
static objArrayHandle get_exception_types(const methodHandle& method, TRAPS) {
27680
8ecc0871c18e 8064811: Use THREAD instead of CHECK_NULL in return statements
stefank
parents: 27677
diff changeset
   819
  return method->resolved_checked_exceptions(THREAD);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   820
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   821
46329
53ccc37bda19 8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents: 46289
diff changeset
   822
static Handle new_type(Symbol* signature, Klass* k, TRAPS) {
48836
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   823
  // Basic types
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   824
  BasicType type = vmSymbols::signature_type(signature);
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   825
  if (type != T_OBJECT) {
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   826
    return Handle(THREAD, Universe::java_mirror(type));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   827
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   828
48836
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   829
  Klass* result =
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   830
    SystemDictionary::resolve_or_fail(signature,
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   831
                                      Handle(THREAD, k->class_loader()),
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   832
                                      Handle(THREAD, k->protection_domain()),
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   833
                                      true, CHECK_(Handle()));
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   834
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   835
  if (log_is_enabled(Debug, class, resolve)) {
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   836
    trace_class_resolution(result);
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   837
  }
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   838
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   839
  oop nt = result->java_mirror();
423bcbb288ff 8196601: IllegalAccessError: cannot access class jdk.jfr.internal.handlers.EventHandler
lfoltan
parents: 48826
diff changeset
   840
  return Handle(THREAD, nt);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   841
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   842
489c9b5090e2 Initial load
duke
parents:
diff changeset
   843
33593
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 31615
diff changeset
   844
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
   845
  // Allow sun.reflect.ConstantPool to refer to <clinit> methods as java.lang.reflect.Methods.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   846
  assert(!method()->is_initializer() ||
25057
f38210f84f8c 8031819: Remove legacy jdk checks and code
hseigel
parents: 24456
diff changeset
   847
         (for_constant_pool_access && method()->is_static()),
f38210f84f8c 8031819: Remove legacy jdk checks and code
hseigel
parents: 24456
diff changeset
   848
         "should call new_constructor instead");
46329
53ccc37bda19 8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents: 46289
diff changeset
   849
  InstanceKlass* holder = method->method_holder();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   850
  int slot = method->method_idnum();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   851
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   852
  Symbol*  signature  = method->signature();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   853
  int parameter_count = ArgumentCount(signature).size();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   854
  oop return_type_oop = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   855
  objArrayHandle parameter_types = get_parameter_types(method, parameter_count, &return_type_oop, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   856
  if (parameter_types.is_null() || return_type_oop == NULL) return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   857
489c9b5090e2 Initial load
duke
parents:
diff changeset
   858
  Handle return_type(THREAD, return_type_oop);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   859
489c9b5090e2 Initial load
duke
parents:
diff changeset
   860
  objArrayHandle exception_types = get_exception_types(method, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   861
489c9b5090e2 Initial load
duke
parents:
diff changeset
   862
  if (exception_types.is_null()) return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   863
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   864
  Symbol*  method_name = method->name();
24456
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   865
  oop name_oop = StringTable::intern(method_name, CHECK_NULL);
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   866
  Handle name = Handle(THREAD, name_oop);
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   867
  if (name == NULL) return NULL;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   868
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   869
  const int modifiers = method->access_flags().as_int() & JVM_RECOGNIZED_METHOD_MODIFIERS;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   870
489c9b5090e2 Initial load
duke
parents:
diff changeset
   871
  Handle mh = java_lang_reflect_Method::create(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   872
489c9b5090e2 Initial load
duke
parents:
diff changeset
   873
  java_lang_reflect_Method::set_clazz(mh(), holder->java_mirror());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   874
  java_lang_reflect_Method::set_slot(mh(), slot);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   875
  java_lang_reflect_Method::set_name(mh(), name());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   876
  java_lang_reflect_Method::set_return_type(mh(), return_type());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   877
  java_lang_reflect_Method::set_parameter_types(mh(), parameter_types());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   878
  java_lang_reflect_Method::set_exception_types(mh(), exception_types());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   879
  java_lang_reflect_Method::set_modifiers(mh(), modifiers);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   880
  java_lang_reflect_Method::set_override(mh(), false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   881
  if (java_lang_reflect_Method::has_signature_field() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   882
      method->generic_signature() != NULL) {
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   883
    Symbol*  gs = method->generic_signature();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   884
    Handle sig = java_lang_String::create_from_symbol(gs, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   885
    java_lang_reflect_Method::set_signature(mh(), sig());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   886
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   887
  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
   888
    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
   889
    java_lang_reflect_Method::set_annotations(mh(), an_oop);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   890
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   891
  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
   892
    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
   893
    java_lang_reflect_Method::set_parameter_annotations(mh(), an_oop);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   894
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   895
  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
   896
    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
   897
    java_lang_reflect_Method::set_annotation_default(mh(), an_oop);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   898
  }
15097
9db149412e0e 8004823: Add VM support for type annotation reflection
stefank
parents: 14488
diff changeset
   899
  if (java_lang_reflect_Method::has_type_annotations_field()) {
9db149412e0e 8004823: Add VM support for type annotation reflection
stefank
parents: 14488
diff changeset
   900
    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
   901
    java_lang_reflect_Method::set_type_annotations(mh(), an_oop);
9db149412e0e 8004823: Add VM support for type annotation reflection
stefank
parents: 14488
diff changeset
   902
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   903
  return mh();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   904
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   905
489c9b5090e2 Initial load
duke
parents:
diff changeset
   906
33593
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 31615
diff changeset
   907
oop Reflection::new_constructor(const methodHandle& method, TRAPS) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   908
  assert(method()->is_initializer(), "should call new_method instead");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   909
46329
53ccc37bda19 8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents: 46289
diff changeset
   910
  InstanceKlass* holder = method->method_holder();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   911
  int slot = method->method_idnum();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   912
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   913
  Symbol*  signature  = method->signature();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   914
  int parameter_count = ArgumentCount(signature).size();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   915
  objArrayHandle parameter_types = get_parameter_types(method, parameter_count, NULL, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   916
  if (parameter_types.is_null()) return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   917
489c9b5090e2 Initial load
duke
parents:
diff changeset
   918
  objArrayHandle exception_types = get_exception_types(method, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   919
  if (exception_types.is_null()) return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   920
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
   921
  const int modifiers = method->access_flags().as_int() & JVM_RECOGNIZED_METHOD_MODIFIERS;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   922
489c9b5090e2 Initial load
duke
parents:
diff changeset
   923
  Handle ch = java_lang_reflect_Constructor::create(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   924
489c9b5090e2 Initial load
duke
parents:
diff changeset
   925
  java_lang_reflect_Constructor::set_clazz(ch(), holder->java_mirror());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   926
  java_lang_reflect_Constructor::set_slot(ch(), slot);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   927
  java_lang_reflect_Constructor::set_parameter_types(ch(), parameter_types());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   928
  java_lang_reflect_Constructor::set_exception_types(ch(), exception_types());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   929
  java_lang_reflect_Constructor::set_modifiers(ch(), modifiers);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   930
  java_lang_reflect_Constructor::set_override(ch(), false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   931
  if (java_lang_reflect_Constructor::has_signature_field() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   932
      method->generic_signature() != NULL) {
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   933
    Symbol*  gs = method->generic_signature();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   934
    Handle sig = java_lang_String::create_from_symbol(gs, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   935
    java_lang_reflect_Constructor::set_signature(ch(), sig());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   936
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   937
  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
   938
    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
   939
    java_lang_reflect_Constructor::set_annotations(ch(), an_oop);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   940
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   941
  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
   942
    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
   943
    java_lang_reflect_Constructor::set_parameter_annotations(ch(), an_oop);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   944
  }
17860
1ad3f2d9b4eb 8014709: Constructor.getAnnotatedReturnType() returns empty AnnotatedType
rbackman
parents: 15194
diff changeset
   945
  if (java_lang_reflect_Constructor::has_type_annotations_field()) {
1ad3f2d9b4eb 8014709: Constructor.getAnnotatedReturnType() returns empty AnnotatedType
rbackman
parents: 15194
diff changeset
   946
    typeArrayOop an_oop = Annotations::make_java_array(method->type_annotations(), CHECK_NULL);
1ad3f2d9b4eb 8014709: Constructor.getAnnotatedReturnType() returns empty AnnotatedType
rbackman
parents: 15194
diff changeset
   947
    java_lang_reflect_Constructor::set_type_annotations(ch(), an_oop);
1ad3f2d9b4eb 8014709: Constructor.getAnnotatedReturnType() returns empty AnnotatedType
rbackman
parents: 15194
diff changeset
   948
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   949
  return ch();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   950
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   951
489c9b5090e2 Initial load
duke
parents:
diff changeset
   952
24456
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   953
oop Reflection::new_field(fieldDescriptor* fd, TRAPS) {
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   954
  Symbol*  field_name = fd->name();
24456
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   955
  oop name_oop = StringTable::intern(field_name, CHECK_NULL);
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
   956
  Handle name = Handle(THREAD, name_oop);
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   957
  Symbol*  signature  = fd->signature();
46329
53ccc37bda19 8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents: 46289
diff changeset
   958
  InstanceKlass* holder = fd->field_holder();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   959
  Handle type = new_type(signature, holder, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   960
  Handle rh  = java_lang_reflect_Field::create(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   961
14391
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 14385
diff changeset
   962
  java_lang_reflect_Field::set_clazz(rh(), fd->field_holder()->java_mirror());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   963
  java_lang_reflect_Field::set_slot(rh(), fd->index());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   964
  java_lang_reflect_Field::set_name(rh(), name());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   965
  java_lang_reflect_Field::set_type(rh(), type());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   966
  // Note the ACC_ANNOTATION bit, which is a per-class access flag, is never set here.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   967
  java_lang_reflect_Field::set_modifiers(rh(), fd->access_flags().as_int() & JVM_RECOGNIZED_FIELD_MODIFIERS);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   968
  java_lang_reflect_Field::set_override(rh(), false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   969
  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
   970
      fd->has_generic_signature()) {
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
   971
    Symbol*  gs = fd->generic_signature();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   972
    Handle sig = java_lang_String::create_from_symbol(gs, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   973
    java_lang_reflect_Field::set_signature(rh(), sig());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   974
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   975
  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
   976
    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
   977
    java_lang_reflect_Field::set_annotations(rh(), an_oop);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   978
  }
15097
9db149412e0e 8004823: Add VM support for type annotation reflection
stefank
parents: 14488
diff changeset
   979
  if (java_lang_reflect_Field::has_type_annotations_field()) {
9db149412e0e 8004823: Add VM support for type annotation reflection
stefank
parents: 14488
diff changeset
   980
    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
   981
    java_lang_reflect_Field::set_type_annotations(rh(), an_oop);
9db149412e0e 8004823: Add VM support for type annotation reflection
stefank
parents: 14488
diff changeset
   982
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   983
  return rh();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   984
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   985
15102
0a86564e5f61 8004728: Add hotspot support for parameter reflection
coleenp
parents: 15097
diff changeset
   986
oop Reflection::new_parameter(Handle method, int index, Symbol* sym,
0a86564e5f61 8004728: Add hotspot support for parameter reflection
coleenp
parents: 15097
diff changeset
   987
                              int flags, TRAPS) {
15194
a35093d73168 8006005: Fix constant pool index validation and alignment trap for method parameter reflection
coleenp
parents: 15102
diff changeset
   988
27613
f4773c0d8717 8058322: Zero name_index item of MethodParameters attribute cause MalformedParameterException
emc
parents: 27022
diff changeset
   989
  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
   990
15194
a35093d73168 8006005: Fix constant pool index validation and alignment trap for method parameter reflection
coleenp
parents: 15102
diff changeset
   991
  if(NULL != sym) {
27613
f4773c0d8717 8058322: Zero name_index item of MethodParameters attribute cause MalformedParameterException
emc
parents: 27022
diff changeset
   992
    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
   993
    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
   994
  } else {
27613
f4773c0d8717 8058322: Zero name_index item of MethodParameters attribute cause MalformedParameterException
emc
parents: 27022
diff changeset
   995
    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
   996
  }
a35093d73168 8006005: Fix constant pool index validation and alignment trap for method parameter reflection
coleenp
parents: 15102
diff changeset
   997
15102
0a86564e5f61 8004728: Add hotspot support for parameter reflection
coleenp
parents: 15097
diff changeset
   998
  java_lang_reflect_Parameter::set_modifiers(rh(), flags);
0a86564e5f61 8004728: Add hotspot support for parameter reflection
coleenp
parents: 15097
diff changeset
   999
  java_lang_reflect_Parameter::set_executable(rh(), method());
0a86564e5f61 8004728: Add hotspot support for parameter reflection
coleenp
parents: 15097
diff changeset
  1000
  java_lang_reflect_Parameter::set_index(rh(), index);
0a86564e5f61 8004728: Add hotspot support for parameter reflection
coleenp
parents: 15097
diff changeset
  1001
  return rh();
0a86564e5f61 8004728: Add hotspot support for parameter reflection
coleenp
parents: 15097
diff changeset
  1002
}
0a86564e5f61 8004728: Add hotspot support for parameter reflection
coleenp
parents: 15097
diff changeset
  1003
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1004
46329
53ccc37bda19 8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents: 46289
diff changeset
  1005
static methodHandle resolve_interface_call(InstanceKlass* klass,
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1006
                                           const methodHandle& method,
46329
53ccc37bda19 8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents: 46289
diff changeset
  1007
                                           Klass* recv_klass,
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1008
                                           Handle receiver,
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1009
                                           TRAPS) {
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1010
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1011
  assert(!method.is_null() , "method should not be null");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1012
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1013
  CallInfo info;
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
  1014
  Symbol*  signature  = method->signature();
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
  1015
  Symbol*  name       = method->name();
31019
d05fcdd70109 8029567: Clean up linkResolver code
coleenp
parents: 29081
diff changeset
  1016
  LinkResolver::resolve_interface_call(info, receiver, recv_klass,
38719
133bf85c3f36 8145148: InterfaceMethod CP entry pointing to a class should cause ICCE
coleenp
parents: 38151
diff changeset
  1017
                                       LinkInfo(klass, name, signature),
31019
d05fcdd70109 8029567: Clean up linkResolver code
coleenp
parents: 29081
diff changeset
  1018
                                       true,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1019
                                       CHECK_(methodHandle()));
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1020
  return info.selected_method();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1021
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1022
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1023
// Conversion
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1024
static BasicType basic_type_mirror_to_basic_type(oop basic_type_mirror, TRAPS) {
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1025
  assert(java_lang_Class::is_primitive(basic_type_mirror),
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1026
    "just checking");
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1027
  return java_lang_Class::primitive_type(basic_type_mirror);
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1028
}
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1029
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1030
// Narrowing of basic types. Used to create correct jvalues for
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1031
// boolean, byte, char and short return return values from interpreter
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1032
// which are returned as ints. Throws IllegalArgumentException.
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1033
static void narrow(jvalue* value, BasicType narrow_type, TRAPS) {
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1034
  switch (narrow_type) {
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1035
  case T_BOOLEAN:
37480
291ee208fb72 8132051: Better byte behavior
coleenp
parents: 37301
diff changeset
  1036
    value->z = (jboolean) (value->i & 1);
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1037
    return;
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1038
  case T_BYTE:
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1039
    value->b = (jbyte)value->i;
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1040
    return;
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1041
  case T_CHAR:
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1042
    value->c = (jchar)value->i;
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1043
    return;
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1044
  case T_SHORT:
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1045
    value->s = (jshort)value->i;
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1046
    return;
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1047
  default:
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1048
    break; // fail
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1049
  }
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1050
  THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(), "argument type mismatch");
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1051
}
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1052
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1053
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1054
// Method call (shared by invoke_method and invoke_constructor)
46329
53ccc37bda19 8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents: 46289
diff changeset
  1055
static oop invoke(InstanceKlass* klass,
46727
6e4a84748e2c 8183039: Re-examine methodHandle methods uninlined by 8144256
coleenp
parents: 46630
diff changeset
  1056
                  const methodHandle& reflected_method,
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1057
                  Handle receiver,
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1058
                  bool override,
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1059
                  objArrayHandle ptypes,
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1060
                  BasicType rtype,
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1061
                  objArrayHandle args,
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1062
                  bool is_method_invoke,
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1063
                  TRAPS) {
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1064
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1065
  ResourceMark rm(THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1066
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1067
  methodHandle method;      // actual method to invoke
46329
53ccc37bda19 8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents: 46289
diff changeset
  1068
  Klass* target_klass;      // target klass, receiver's klass for non-static
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1069
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1070
  // Ensure klass is initialized
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1071
  klass->initialize(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1072
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1073
  bool is_static = reflected_method->is_static();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1074
  if (is_static) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1075
    // ignore receiver argument
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1076
    method = reflected_method;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1077
    target_klass = klass;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1078
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1079
    // check for null receiver
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1080
    if (receiver.is_null()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1081
      THROW_0(vmSymbols::java_lang_NullPointerException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1082
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1083
    // Check class of receiver against class declaring method
46329
53ccc37bda19 8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents: 46289
diff changeset
  1084
    if (!receiver->is_a(klass)) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1085
      THROW_MSG_0(vmSymbols::java_lang_IllegalArgumentException(), "object is not an instance of declaring class");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1086
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1087
    // target klass is receiver's klass
46329
53ccc37bda19 8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents: 46289
diff changeset
  1088
    target_klass = receiver->klass();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1089
    // no need to resolve if method is private or <init>
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1090
    if (reflected_method->is_private() || reflected_method->name() == vmSymbols::object_initializer_name()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1091
      method = reflected_method;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1092
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1093
      // 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
  1094
      if (reflected_method->method_holder()->is_interface()) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1095
        // resolve interface call
24456
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
  1096
        //
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
  1097
        // Match resolution errors with those thrown due to reflection inlining
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
  1098
        // Linktime resolution & IllegalAccessCheck already done by Class.getMethod()
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
  1099
        method = resolve_interface_call(klass, reflected_method, target_klass, receiver, THREAD);
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
  1100
        if (HAS_PENDING_EXCEPTION) {
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1101
          // Method resolution threw an exception; wrap it in an InvocationTargetException
24456
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
  1102
          oop resolution_exception = PENDING_EXCEPTION;
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
  1103
          CLEAR_PENDING_EXCEPTION;
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
  1104
          // JVMTI has already reported the pending exception
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
  1105
          // JVMTI internal flag reset is needed in order to report InvocationTargetException
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
  1106
          if (THREAD->is_Java_thread()) {
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1107
            JvmtiExport::clear_detected_exception((JavaThread*)THREAD);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1108
          }
24456
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
  1109
          JavaCallArguments args(Handle(THREAD, resolution_exception));
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
  1110
          THROW_ARG_0(vmSymbols::java_lang_reflect_InvocationTargetException(),
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1111
                      vmSymbols::throwable_void_signature(),
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1112
                      &args);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1113
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1114
      }  else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1115
        // 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
  1116
        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
  1117
        int index = reflected_method->vtable_index();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1118
        method = reflected_method;
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
  1119
        if (index != Method::nonvirtual_vtable_index) {
35900
d64cf9290fc4 8148481: Devirtualize Klass::vtable
mgerdin
parents: 35219
diff changeset
  1120
          method = methodHandle(THREAD, target_klass->method_at_vtable(index));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1121
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1122
        if (!method.is_null()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1123
          // Check for abstract methods as well
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1124
          if (method->is_abstract()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1125
            // new default: 6531596
24456
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
  1126
            ResourceMark rm(THREAD);
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
  1127
            Handle h_origexception = Exceptions::new_exception(THREAD,
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1128
              vmSymbols::java_lang_AbstractMethodError(),
46329
53ccc37bda19 8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents: 46289
diff changeset
  1129
              Method::name_and_sig_as_C_string(target_klass,
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1130
              method->name(),
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1131
              method->signature()));
24456
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
  1132
            JavaCallArguments args(h_origexception);
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
  1133
            THROW_ARG_0(vmSymbols::java_lang_reflect_InvocationTargetException(),
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
  1134
              vmSymbols::throwable_void_signature(),
8c7933fa5a1f 8025580: Temporary flags: UseNewReflection and ReflectionWrapResolutionErrors
coleenp
parents: 24426
diff changeset
  1135
              &args);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1136
          }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1137
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1138
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1139
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1140
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1141
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1142
  // I believe this is a ShouldNotGetHere case which requires
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1143
  // an internal vtable bug. If you ever get this please let Karen know.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1144
  if (method.is_null()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1145
    ResourceMark rm(THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1146
    THROW_MSG_0(vmSymbols::java_lang_NoSuchMethodError(),
46329
53ccc37bda19 8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents: 46289
diff changeset
  1147
                Method::name_and_sig_as_C_string(klass,
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1148
                reflected_method->name(),
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1149
                reflected_method->signature()));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1150
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1151
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1152
  assert(ptypes->is_objArray(), "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1153
  int args_len = args.is_null() ? 0 : args->length();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1154
  // Check number of arguments
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1155
  if (ptypes->length() != args_len) {
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1156
    THROW_MSG_0(vmSymbols::java_lang_IllegalArgumentException(),
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1157
                "wrong number of arguments");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1158
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1159
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1160
  // Create object to contain parameters for the JavaCall
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1161
  JavaCallArguments java_args(method->size_of_parameters());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1162
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1163
  if (!is_static) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1164
    java_args.push_oop(receiver);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1165
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1166
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1167
  for (int i = 0; i < args_len; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1168
    oop type_mirror = ptypes->obj_at(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1169
    oop arg = args->obj_at(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1170
    if (java_lang_Class::is_primitive(type_mirror)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1171
      jvalue value;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1172
      BasicType ptype = basic_type_mirror_to_basic_type(type_mirror, CHECK_NULL);
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1173
      BasicType atype = Reflection::unbox_for_primitive(arg, &value, CHECK_NULL);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1174
      if (ptype != atype) {
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1175
        Reflection::widen(&value, atype, ptype, CHECK_NULL);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1176
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1177
      switch (ptype) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1178
        case T_BOOLEAN:     java_args.push_int(value.z);    break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1179
        case T_CHAR:        java_args.push_int(value.c);    break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1180
        case T_BYTE:        java_args.push_int(value.b);    break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1181
        case T_SHORT:       java_args.push_int(value.s);    break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1182
        case T_INT:         java_args.push_int(value.i);    break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1183
        case T_LONG:        java_args.push_long(value.j);   break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1184
        case T_FLOAT:       java_args.push_float(value.f);  break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1185
        case T_DOUBLE:      java_args.push_double(value.d); break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1186
        default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1187
          THROW_MSG_0(vmSymbols::java_lang_IllegalArgumentException(), "argument type mismatch");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1188
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1189
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1190
      if (arg != NULL) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
  1191
        Klass* k = java_lang_Class::as_Klass(type_mirror);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1192
        if (!arg->is_a(k)) {
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1193
          THROW_MSG_0(vmSymbols::java_lang_IllegalArgumentException(),
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1194
                      "argument type mismatch");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1195
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1196
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1197
      Handle arg_handle(THREAD, arg);         // Create handle for argument
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1198
      java_args.push_oop(arg_handle); // Push handle
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1199
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1200
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1201
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1202
  assert(java_args.size_of_parameters() == method->size_of_parameters(),
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1203
    "just checking");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1204
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1205
  // All oops (including receiver) is passed in as Handles. An potential oop is returned as an
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1206
  // oop (i.e., NOT as an handle)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1207
  JavaValue result(rtype);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1208
  JavaCalls::call(&result, method, &java_args, THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1209
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1210
  if (HAS_PENDING_EXCEPTION) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1211
    // Method threw an exception; wrap it in an InvocationTargetException
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1212
    oop target_exception = PENDING_EXCEPTION;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1213
    CLEAR_PENDING_EXCEPTION;
22897
77e1024a4a14 4505697: nsk/jdi/ExceptionEvent/_itself_/exevent006 and exevent008 tests fail with InvocationTargetException
jbachorik
parents: 22551
diff changeset
  1214
    // 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
  1215
    // 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
  1216
    if (THREAD->is_Java_thread()) {
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1217
      JvmtiExport::clear_detected_exception((JavaThread*)THREAD);
22897
77e1024a4a14 4505697: nsk/jdi/ExceptionEvent/_itself_/exevent006 and exevent008 tests fail with InvocationTargetException
jbachorik
parents: 22551
diff changeset
  1218
    }
77e1024a4a14 4505697: nsk/jdi/ExceptionEvent/_itself_/exevent006 and exevent008 tests fail with InvocationTargetException
jbachorik
parents: 22551
diff changeset
  1219
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1220
    JavaCallArguments args(Handle(THREAD, target_exception));
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
  1221
    THROW_ARG_0(vmSymbols::java_lang_reflect_InvocationTargetException(),
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
  1222
                vmSymbols::throwable_void_signature(),
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1223
                &args);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1224
  } else {
31615
e48d94b97b6c 8130036: Fix problems with imprecise C++ coding.
goetz
parents: 31019
diff changeset
  1225
    if (rtype == T_BOOLEAN || rtype == T_BYTE || rtype == T_CHAR || rtype == T_SHORT) {
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1226
      narrow((jvalue*)result.get_value_addr(), rtype, CHECK_NULL);
31615
e48d94b97b6c 8130036: Fix problems with imprecise C++ coding.
goetz
parents: 31019
diff changeset
  1227
    }
34666
1c7168ea0034 8140485: Class load and creation cleanup
mgronlun
parents: 34238
diff changeset
  1228
    return Reflection::box((jvalue*)result.get_value_addr(), rtype, THREAD);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1229
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1230
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1231
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1232
// This would be nicer if, say, java.lang.reflect.Method was a subclass
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1233
// of java.lang.reflect.Constructor
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1234
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1235
oop Reflection::invoke_method(oop method_mirror, Handle receiver, objArrayHandle args, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1236
  oop mirror             = java_lang_reflect_Method::clazz(method_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1237
  int slot               = java_lang_reflect_Method::slot(method_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1238
  bool override          = java_lang_reflect_Method::override(method_mirror) != 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1239
  objArrayHandle ptypes(THREAD, objArrayOop(java_lang_reflect_Method::parameter_types(method_mirror)));
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1240
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1241
  oop return_type_mirror = java_lang_reflect_Method::return_type(method_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1242
  BasicType rtype;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1243
  if (java_lang_Class::is_primitive(return_type_mirror)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1244
    rtype = basic_type_mirror_to_basic_type(return_type_mirror, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1245
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1246
    rtype = T_OBJECT;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1247
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1248
46329
53ccc37bda19 8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents: 46289
diff changeset
  1249
  InstanceKlass* klass = InstanceKlass::cast(java_lang_Class::as_Klass(mirror));
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
  1250
  Method* m = klass->method_with_idnum(slot);
224
6a257cd604e7 6667089: 3/3 multiple redefinitions of a class break reflection
dcubed
parents: 1
diff changeset
  1251
  if (m == NULL) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1252
    THROW_MSG_0(vmSymbols::java_lang_InternalError(), "invoke");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1253
  }
224
6a257cd604e7 6667089: 3/3 multiple redefinitions of a class break reflection
dcubed
parents: 1
diff changeset
  1254
  methodHandle method(THREAD, m);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1255
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1256
  return invoke(klass, method, receiver, override, ptypes, rtype, args, true, THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1257
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1258
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1259
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1260
oop Reflection::invoke_constructor(oop constructor_mirror, objArrayHandle args, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1261
  oop mirror             = java_lang_reflect_Constructor::clazz(constructor_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1262
  int slot               = java_lang_reflect_Constructor::slot(constructor_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1263
  bool override          = java_lang_reflect_Constructor::override(constructor_mirror) != 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1264
  objArrayHandle ptypes(THREAD, objArrayOop(java_lang_reflect_Constructor::parameter_types(constructor_mirror)));
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1265
46329
53ccc37bda19 8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents: 46289
diff changeset
  1266
  InstanceKlass* klass = InstanceKlass::cast(java_lang_Class::as_Klass(mirror));
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
  1267
  Method* m = klass->method_with_idnum(slot);
224
6a257cd604e7 6667089: 3/3 multiple redefinitions of a class break reflection
dcubed
parents: 1
diff changeset
  1268
  if (m == NULL) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1269
    THROW_MSG_0(vmSymbols::java_lang_InternalError(), "invoke");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1270
  }
224
6a257cd604e7 6667089: 3/3 multiple redefinitions of a class break reflection
dcubed
parents: 1
diff changeset
  1271
  methodHandle method(THREAD, m);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1272
  assert(method->name() == vmSymbols::object_initializer_name(), "invalid constructor");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1273
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1274
  // Make sure klass gets initialize
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1275
  klass->initialize(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1276
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1277
  // Create new instance (the receiver)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1278
  klass->check_valid_for_instantiation(false, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1279
  Handle receiver = klass->allocate_instance_handle(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1280
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1281
  // Ignore result from call and return receiver
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1282
  invoke(klass, method, receiver, override, ptypes, T_VOID, args, false, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1283
  return receiver();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1284
}