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