hotspot/src/share/vm/runtime/reflection.cpp
author never
Wed, 06 Jan 2010 14:22:39 -0800
changeset 4571 80b553bddc26
parent 2332 5c7b6f4ce0a1
child 4581 e89fbd1bcb3d
permissions -rw-r--r--
6914300: ciEnv should export all well known classes Reviewed-by: kvn, twisti
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
2332
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
     2
 * Copyright 1997-2009 Sun Microsystems, Inc.  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
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    19
 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    20
 * CA 95054 USA or visit www.sun.com if you need additional information or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    21
 * have any questions.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    22
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    23
 */
489c9b5090e2 Initial load
duke
parents:
diff changeset
    24
489c9b5090e2 Initial load
duke
parents:
diff changeset
    25
#include "incls/_precompiled.incl"
489c9b5090e2 Initial load
duke
parents:
diff changeset
    26
#include "incls/_reflection.cpp.incl"
489c9b5090e2 Initial load
duke
parents:
diff changeset
    27
489c9b5090e2 Initial load
duke
parents:
diff changeset
    28
#define JAVA_1_5_VERSION                  49
489c9b5090e2 Initial load
duke
parents:
diff changeset
    29
489c9b5090e2 Initial load
duke
parents:
diff changeset
    30
static void trace_class_resolution(klassOop to_class) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    31
  ResourceMark rm;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    32
  int line_number = -1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    33
  const char * source_file = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    34
  klassOop caller = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
  JavaThread* jthread = JavaThread::current();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
  if (jthread->has_last_Java_frame()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
    vframeStream vfst(jthread);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
    // skip over any frames belonging to java.lang.Class
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
    while (!vfst.at_end() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
           instanceKlass::cast(vfst.method()->method_holder())->name() == vmSymbols::java_lang_Class()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    41
      vfst.next();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
    if (!vfst.at_end()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
      // this frame is a likely suspect
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
      caller = vfst.method()->method_holder();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
      line_number = vfst.method()->line_number_from_bci(vfst.bci());
489c9b5090e2 Initial load
duke
parents:
diff changeset
    47
      symbolOop s = instanceKlass::cast(vfst.method()->method_holder())->source_file_name();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    48
      if (s != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
        source_file = s->as_C_string();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
  if (caller != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
    const char * from = Klass::cast(caller)->external_name();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
    const char * to = Klass::cast(to_class)->external_name();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
    // print in a single call to reduce interleaving between threads
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
    if (source_file != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
      tty->print("RESOLVE %s %s %s:%d (reflection)\n", from, to, source_file, line_number);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
      tty->print("RESOLVE %s %s (reflection)\n", from, to);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
oop Reflection::box(jvalue* value, BasicType type, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
  if (type == T_VOID) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
    return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
  if (type == T_OBJECT || type == T_ARRAY) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
    // regular objects are not boxed
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
    return (oop) value->l;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
  oop result = java_lang_boxing_object::create(type, value, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
  if (result == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
    THROW_(vmSymbols::java_lang_IllegalArgumentException(), result);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    78
  return result;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
BasicType Reflection::unbox_for_primitive(oop box, jvalue* value, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
  if (box == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
    THROW_(vmSymbols::java_lang_IllegalArgumentException(), T_ILLEGAL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
  return java_lang_boxing_object::get_value(box, value);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
BasicType Reflection::unbox_for_regular_object(oop box, jvalue* value) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
  // Note:  box is really the unboxed oop.  It might even be a Short, etc.!
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
  value->l = (jobject) box;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
  return T_OBJECT;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
void Reflection::widen(jvalue* value, BasicType current_type, BasicType wide_type, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
  assert(wide_type != current_type, "widen should not be called with identical types");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
  switch (wide_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
    case T_BOOLEAN:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
    case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
    case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
      break;  // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
    case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
      switch (current_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
        case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   106
          value->s = (jshort) value->b;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
      break;  // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
    case T_INT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
      switch (current_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
        case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
          value->i = (jint) value->b;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   114
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
        case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
          value->i = (jint) value->c;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   117
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   118
        case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   119
          value->i = (jint) value->s;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   120
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   122
      break;  // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
   123
    case T_LONG:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   124
      switch (current_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   125
        case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   126
          value->j = (jlong) value->b;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
        case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
          value->j = (jlong) value->c;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   131
        case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   132
          value->j = (jlong) value->s;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
        case T_INT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
          value->j = (jlong) value->i;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
      break;  // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
    case T_FLOAT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
      switch (current_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   141
        case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   142
          value->f = (jfloat) value->b;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   143
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   144
        case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
          value->f = (jfloat) value->c;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   147
        case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
          value->f = (jfloat) value->s;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   150
        case T_INT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   151
          value->f = (jfloat) value->i;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   152
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   153
        case T_LONG:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   154
          value->f = (jfloat) value->j;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   155
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   156
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   157
      break;  // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
   158
    case T_DOUBLE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   159
      switch (current_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   160
        case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   161
          value->d = (jdouble) value->b;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   162
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   163
        case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   164
          value->d = (jdouble) value->c;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   165
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   166
        case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   167
          value->d = (jdouble) value->s;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   168
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   169
        case T_INT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   170
          value->d = (jdouble) value->i;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   171
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   172
        case T_FLOAT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   173
          value->d = (jdouble) value->f;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   174
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   175
        case T_LONG:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   176
          value->d = (jdouble) value->j;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   177
          return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   178
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   179
      break;  // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
   180
    default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   181
      break;  // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
   182
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   183
  THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(), "argument type mismatch");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   184
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   185
489c9b5090e2 Initial load
duke
parents:
diff changeset
   186
489c9b5090e2 Initial load
duke
parents:
diff changeset
   187
BasicType Reflection::array_get(jvalue* value, arrayOop a, int index, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   188
  if (!a->is_within_bounds(index)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   189
    THROW_(vmSymbols::java_lang_ArrayIndexOutOfBoundsException(), T_ILLEGAL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   190
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   191
  if (a->is_objArray()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   192
    value->l = (jobject) objArrayOop(a)->obj_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   193
    return T_OBJECT;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   194
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   195
    assert(a->is_typeArray(), "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   196
    BasicType type = typeArrayKlass::cast(a->klass())->element_type();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   197
    switch (type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   198
      case T_BOOLEAN:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   199
        value->z = typeArrayOop(a)->bool_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   200
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   201
      case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   202
        value->c = typeArrayOop(a)->char_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   203
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   204
      case T_FLOAT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   205
        value->f = typeArrayOop(a)->float_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   206
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   207
      case T_DOUBLE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   208
        value->d = typeArrayOop(a)->double_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   209
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   210
      case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   211
        value->b = typeArrayOop(a)->byte_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   212
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   213
      case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   214
        value->s = typeArrayOop(a)->short_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   215
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   216
      case T_INT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   217
        value->i = typeArrayOop(a)->int_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   218
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   219
      case T_LONG:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   220
        value->j = typeArrayOop(a)->long_at(index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   221
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   222
      default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   223
        return T_ILLEGAL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   224
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   225
    return type;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   226
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   227
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   228
489c9b5090e2 Initial load
duke
parents:
diff changeset
   229
489c9b5090e2 Initial load
duke
parents:
diff changeset
   230
void Reflection::array_set(jvalue* value, arrayOop a, int index, BasicType value_type, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   231
  if (!a->is_within_bounds(index)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   232
    THROW(vmSymbols::java_lang_ArrayIndexOutOfBoundsException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   233
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   234
  if (a->is_objArray()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   235
    if (value_type == T_OBJECT) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   236
      oop obj = (oop) value->l;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   237
      if (obj != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   238
        klassOop element_klass = objArrayKlass::cast(a->klass())->element_klass();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   239
        if (!obj->is_a(element_klass)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   240
          THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(), "array element type mismatch");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   241
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   242
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   243
      objArrayOop(a)->obj_at_put(index, obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   244
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   245
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   246
    assert(a->is_typeArray(), "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   247
    BasicType array_type = typeArrayKlass::cast(a->klass())->element_type();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   248
    if (array_type != value_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   249
      // The widen operation can potentially throw an exception, but cannot block,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   250
      // so typeArrayOop a is safe if the call succeeds.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   251
      widen(value, value_type, array_type, CHECK);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   252
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   253
    switch (array_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   254
      case T_BOOLEAN:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   255
        typeArrayOop(a)->bool_at_put(index, value->z);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   256
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   257
      case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   258
        typeArrayOop(a)->char_at_put(index, value->c);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   259
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   260
      case T_FLOAT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   261
        typeArrayOop(a)->float_at_put(index, value->f);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   262
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   263
      case T_DOUBLE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   264
        typeArrayOop(a)->double_at_put(index, value->d);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   265
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   266
      case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   267
        typeArrayOop(a)->byte_at_put(index, value->b);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   268
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   269
      case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   270
        typeArrayOop(a)->short_at_put(index, value->s);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   271
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   272
      case T_INT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   273
        typeArrayOop(a)->int_at_put(index, value->i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   274
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   275
      case T_LONG:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   276
        typeArrayOop(a)->long_at_put(index, value->j);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   277
        break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   278
      default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   279
        THROW(vmSymbols::java_lang_IllegalArgumentException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   280
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   281
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   282
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   283
489c9b5090e2 Initial load
duke
parents:
diff changeset
   284
489c9b5090e2 Initial load
duke
parents:
diff changeset
   285
klassOop Reflection::basic_type_mirror_to_arrayklass(oop basic_type_mirror, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   286
  assert(java_lang_Class::is_primitive(basic_type_mirror), "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   287
  BasicType type = java_lang_Class::primitive_type(basic_type_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   288
  if (type == T_VOID) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   289
    THROW_0(vmSymbols::java_lang_IllegalArgumentException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   290
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   291
    return Universe::typeArrayKlassObj(type);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   292
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   293
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   294
489c9b5090e2 Initial load
duke
parents:
diff changeset
   295
489c9b5090e2 Initial load
duke
parents:
diff changeset
   296
oop Reflection:: basic_type_arrayklass_to_mirror(klassOop basic_type_arrayklass, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   297
  BasicType type = typeArrayKlass::cast(basic_type_arrayklass)->element_type();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   298
  return Universe::java_mirror(type);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   299
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   300
489c9b5090e2 Initial load
duke
parents:
diff changeset
   301
489c9b5090e2 Initial load
duke
parents:
diff changeset
   302
arrayOop Reflection::reflect_new_array(oop element_mirror, jint length, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   303
  if (element_mirror == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   304
    THROW_0(vmSymbols::java_lang_NullPointerException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   305
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   306
  if (length < 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   307
    THROW_0(vmSymbols::java_lang_NegativeArraySizeException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   308
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   309
  if (java_lang_Class::is_primitive(element_mirror)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   310
    klassOop tak = basic_type_mirror_to_arrayklass(element_mirror, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   311
    return typeArrayKlass::cast(tak)->allocate(length, THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   312
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   313
    klassOop k = java_lang_Class::as_klassOop(element_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   314
    if (Klass::cast(k)->oop_is_array() && arrayKlass::cast(k)->dimension() >= MAX_DIM) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   315
      THROW_0(vmSymbols::java_lang_IllegalArgumentException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   316
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   317
    return oopFactory::new_objArray(k, length, THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   318
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   319
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   320
489c9b5090e2 Initial load
duke
parents:
diff changeset
   321
489c9b5090e2 Initial load
duke
parents:
diff changeset
   322
arrayOop Reflection::reflect_new_multi_array(oop element_mirror, typeArrayOop dim_array, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   323
  assert(dim_array->is_typeArray(), "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   324
  assert(typeArrayKlass::cast(dim_array->klass())->element_type() == T_INT, "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   325
489c9b5090e2 Initial load
duke
parents:
diff changeset
   326
  if (element_mirror == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   327
    THROW_0(vmSymbols::java_lang_NullPointerException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   328
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   329
489c9b5090e2 Initial load
duke
parents:
diff changeset
   330
  int len = dim_array->length();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   331
  if (len <= 0 || len > MAX_DIM) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   332
    THROW_0(vmSymbols::java_lang_IllegalArgumentException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   333
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   334
489c9b5090e2 Initial load
duke
parents:
diff changeset
   335
  jint dimensions[MAX_DIM];   // C array copy of intArrayOop
489c9b5090e2 Initial load
duke
parents:
diff changeset
   336
  for (int i = 0; i < len; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   337
    int d = dim_array->int_at(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   338
    if (d < 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   339
      THROW_0(vmSymbols::java_lang_NegativeArraySizeException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   340
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   341
    dimensions[i] = d;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   342
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   343
489c9b5090e2 Initial load
duke
parents:
diff changeset
   344
  klassOop klass;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   345
  int dim = len;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   346
  if (java_lang_Class::is_primitive(element_mirror)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   347
    klass = basic_type_mirror_to_arrayklass(element_mirror, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   348
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   349
    klass = java_lang_Class::as_klassOop(element_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   350
    if (Klass::cast(klass)->oop_is_array()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   351
      int k_dim = arrayKlass::cast(klass)->dimension();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   352
      if (k_dim + len > MAX_DIM) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   353
        THROW_0(vmSymbols::java_lang_IllegalArgumentException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   354
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   355
      dim += k_dim;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   356
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   357
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   358
  klass = Klass::cast(klass)->array_klass(dim, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   359
  oop obj = arrayKlass::cast(klass)->multi_allocate(len, dimensions, THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   360
  assert(obj->is_array(), "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   361
  return arrayOop(obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   362
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   363
489c9b5090e2 Initial load
duke
parents:
diff changeset
   364
489c9b5090e2 Initial load
duke
parents:
diff changeset
   365
oop Reflection::array_component_type(oop mirror, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   366
  if (java_lang_Class::is_primitive(mirror)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   367
    return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   368
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   369
489c9b5090e2 Initial load
duke
parents:
diff changeset
   370
  klassOop klass = java_lang_Class::as_klassOop(mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   371
  if (!Klass::cast(klass)->oop_is_array()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   372
    return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   373
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   374
489c9b5090e2 Initial load
duke
parents:
diff changeset
   375
  oop result = arrayKlass::cast(klass)->component_mirror();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   376
#ifdef ASSERT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   377
  oop result2 = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   378
  if (arrayKlass::cast(klass)->dimension() == 1) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   379
    if (Klass::cast(klass)->oop_is_typeArray()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   380
      result2 = basic_type_arrayklass_to_mirror(klass, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   381
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   382
      result2 = Klass::cast(objArrayKlass::cast(klass)->element_klass())->java_mirror();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   383
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   384
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   385
    klassOop lower_dim = arrayKlass::cast(klass)->lower_dimension();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   386
    assert(Klass::cast(lower_dim)->oop_is_array(), "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   387
    result2 = Klass::cast(lower_dim)->java_mirror();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   388
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   389
  assert(result == result2, "results must be consistent");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   390
#endif //ASSERT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   391
  return result;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   392
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   393
489c9b5090e2 Initial load
duke
parents:
diff changeset
   394
489c9b5090e2 Initial load
duke
parents:
diff changeset
   395
bool Reflection::reflect_check_access(klassOop field_class, AccessFlags acc, klassOop target_class, bool is_method_invoke, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   396
  // field_class  : declaring class
489c9b5090e2 Initial load
duke
parents:
diff changeset
   397
  // acc          : declared field access
489c9b5090e2 Initial load
duke
parents:
diff changeset
   398
  // target_class : for protected
489c9b5090e2 Initial load
duke
parents:
diff changeset
   399
489c9b5090e2 Initial load
duke
parents:
diff changeset
   400
  // Check if field or method is accessible to client.  Throw an
489c9b5090e2 Initial load
duke
parents:
diff changeset
   401
  // IllegalAccessException and return false if not.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   402
489c9b5090e2 Initial load
duke
parents:
diff changeset
   403
  // The "client" is the class associated with the nearest real frame
489c9b5090e2 Initial load
duke
parents:
diff changeset
   404
  // getCallerClass already skips Method.invoke frames, so pass 0 in
489c9b5090e2 Initial load
duke
parents:
diff changeset
   405
  // that case (same as classic).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   406
  ResourceMark rm(THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   407
  assert(THREAD->is_Java_thread(), "sanity check");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   408
  klassOop client_class = ((JavaThread *)THREAD)->security_get_caller_class(is_method_invoke ? 0 : 1);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   409
489c9b5090e2 Initial load
duke
parents:
diff changeset
   410
  if (client_class != field_class) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   411
    if (!verify_class_access(client_class, field_class, false)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   412
        || !verify_field_access(client_class,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   413
                                field_class,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   414
                                field_class,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   415
                                acc,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   416
                                false)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   417
      THROW_(vmSymbols::java_lang_IllegalAccessException(), false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   418
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   419
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   420
489c9b5090e2 Initial load
duke
parents:
diff changeset
   421
  // Additional test for protected members: JLS 6.6.2
489c9b5090e2 Initial load
duke
parents:
diff changeset
   422
489c9b5090e2 Initial load
duke
parents:
diff changeset
   423
  if (acc.is_protected()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   424
    if (target_class != client_class) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   425
      if (!is_same_class_package(client_class, field_class)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   426
        if (!Klass::cast(target_class)->is_subclass_of(client_class)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   427
          THROW_(vmSymbols::java_lang_IllegalAccessException(), false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   428
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   429
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   430
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   431
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   432
489c9b5090e2 Initial load
duke
parents:
diff changeset
   433
  // Passed all tests
489c9b5090e2 Initial load
duke
parents:
diff changeset
   434
  return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   435
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   436
489c9b5090e2 Initial load
duke
parents:
diff changeset
   437
489c9b5090e2 Initial load
duke
parents:
diff changeset
   438
bool Reflection::verify_class_access(klassOop current_class, klassOop new_class, bool classloader_only) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   439
  // Verify that current_class can access new_class.  If the classloader_only
489c9b5090e2 Initial load
duke
parents:
diff changeset
   440
  // flag is set, we automatically allow any accesses in which current_class
489c9b5090e2 Initial load
duke
parents:
diff changeset
   441
  // doesn't have a classloader.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   442
  if ((current_class == NULL) ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   443
      (current_class == new_class) ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   444
      (instanceKlass::cast(new_class)->is_public()) ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   445
      is_same_class_package(current_class, new_class)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   446
    return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   447
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   448
  // New (1.4) reflection implementation. Allow all accesses from
489c9b5090e2 Initial load
duke
parents:
diff changeset
   449
  // sun/reflect/MagicAccessorImpl subclasses to succeed trivially.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   450
  if (   JDK_Version::is_gte_jdk14x_version()
489c9b5090e2 Initial load
duke
parents:
diff changeset
   451
      && UseNewReflection
4571
80b553bddc26 6914300: ciEnv should export all well known classes
never
parents: 2332
diff changeset
   452
      && Klass::cast(current_class)->is_subclass_of(SystemDictionary::reflect_MagicAccessorImpl_klass())) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   453
    return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   454
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   455
489c9b5090e2 Initial load
duke
parents:
diff changeset
   456
  return can_relax_access_check_for(current_class, new_class, classloader_only);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   457
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   458
1550
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   459
static bool under_host_klass(instanceKlass* ik, klassOop host_klass) {
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   460
  DEBUG_ONLY(int inf_loop_check = 1000 * 1000 * 1000);
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   461
  for (;;) {
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   462
    klassOop hc = (klassOop) ik->host_klass();
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   463
    if (hc == NULL)        return false;
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   464
    if (hc == host_klass)  return true;
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   465
    ik = instanceKlass::cast(hc);
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   466
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   467
    // There's no way to make a host class loop short of patching memory.
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   468
    // Therefore there cannot be a loop here unles there's another bug.
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   469
    // Still, let's check for it.
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   470
    assert(--inf_loop_check > 0, "no host_klass loop");
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   471
  }
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   472
}
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   473
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   474
bool Reflection::can_relax_access_check_for(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   475
    klassOop accessor, klassOop accessee, bool classloader_only) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   476
  instanceKlass* accessor_ik = instanceKlass::cast(accessor);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   477
  instanceKlass* accessee_ik  = instanceKlass::cast(accessee);
1550
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   478
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   479
  // If either is on the other's host_klass chain, access is OK,
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   480
  // because one is inside the other.
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   481
  if (under_host_klass(accessor_ik, accessee) ||
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   482
      under_host_klass(accessee_ik, accessor))
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   483
    return true;
be2fc37a817f 6653858: dynamic languages need to be able to load anonymous classes
jrose
parents: 670
diff changeset
   484
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   485
  if (RelaxAccessControlCheck ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   486
      (accessor_ik->major_version() < JAVA_1_5_VERSION &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   487
       accessee_ik->major_version() < JAVA_1_5_VERSION)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   488
    return classloader_only &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   489
      Verifier::relax_verify_for(accessor_ik->class_loader()) &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   490
      accessor_ik->protection_domain() == accessee_ik->protection_domain() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   491
      accessor_ik->class_loader() == accessee_ik->class_loader();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   492
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   493
    return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   494
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   495
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   496
489c9b5090e2 Initial load
duke
parents:
diff changeset
   497
bool Reflection::verify_field_access(klassOop current_class,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   498
                                     klassOop resolved_class,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   499
                                     klassOop field_class,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   500
                                     AccessFlags access,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   501
                                     bool classloader_only,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   502
                                     bool protected_restriction) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   503
  // Verify that current_class can access a field of field_class, where that
489c9b5090e2 Initial load
duke
parents:
diff changeset
   504
  // field's access bits are "access".  We assume that we've already verified
489c9b5090e2 Initial load
duke
parents:
diff changeset
   505
  // that current_class can access field_class.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   506
  //
489c9b5090e2 Initial load
duke
parents:
diff changeset
   507
  // If the classloader_only flag is set, we automatically allow any accesses
489c9b5090e2 Initial load
duke
parents:
diff changeset
   508
  // in which current_class doesn't have a classloader.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   509
  //
489c9b5090e2 Initial load
duke
parents:
diff changeset
   510
  // "resolved_class" is the runtime type of "field_class". Sometimes we don't
489c9b5090e2 Initial load
duke
parents:
diff changeset
   511
  // need this distinction (e.g. if all we have is the runtime type, or during
489c9b5090e2 Initial load
duke
parents:
diff changeset
   512
  // class file parsing when we only care about the static type); in that case
489c9b5090e2 Initial load
duke
parents:
diff changeset
   513
  // callers should ensure that resolved_class == field_class.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   514
  //
489c9b5090e2 Initial load
duke
parents:
diff changeset
   515
  if ((current_class == NULL) ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   516
      (current_class == field_class) ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   517
      access.is_public()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   518
    return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   519
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   520
489c9b5090e2 Initial load
duke
parents:
diff changeset
   521
  if (access.is_protected()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   522
    if (!protected_restriction) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   523
      // See if current_class is a subclass of field_class
489c9b5090e2 Initial load
duke
parents:
diff changeset
   524
      if (Klass::cast(current_class)->is_subclass_of(field_class)) {
362
00cf4bffd828 6622385: Accessing protected static methods
kamg
parents: 224
diff changeset
   525
        if (access.is_static() || // static fields are ok, see 6622385
00cf4bffd828 6622385: Accessing protected static methods
kamg
parents: 224
diff changeset
   526
            current_class == resolved_class ||
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   527
            field_class == resolved_class ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   528
            Klass::cast(current_class)->is_subclass_of(resolved_class) ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   529
            Klass::cast(resolved_class)->is_subclass_of(current_class)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   530
          return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   531
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   532
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   533
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   534
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   535
489c9b5090e2 Initial load
duke
parents:
diff changeset
   536
  if (!access.is_private() && is_same_class_package(current_class, field_class)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   537
    return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   538
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   539
489c9b5090e2 Initial load
duke
parents:
diff changeset
   540
  // New (1.4) reflection implementation. Allow all accesses from
489c9b5090e2 Initial load
duke
parents:
diff changeset
   541
  // sun/reflect/MagicAccessorImpl subclasses to succeed trivially.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   542
  if (   JDK_Version::is_gte_jdk14x_version()
489c9b5090e2 Initial load
duke
parents:
diff changeset
   543
      && UseNewReflection
4571
80b553bddc26 6914300: ciEnv should export all well known classes
never
parents: 2332
diff changeset
   544
      && Klass::cast(current_class)->is_subclass_of(SystemDictionary::reflect_MagicAccessorImpl_klass())) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   545
    return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   546
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   547
489c9b5090e2 Initial load
duke
parents:
diff changeset
   548
  return can_relax_access_check_for(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   549
    current_class, field_class, classloader_only);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   550
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   551
489c9b5090e2 Initial load
duke
parents:
diff changeset
   552
489c9b5090e2 Initial load
duke
parents:
diff changeset
   553
bool Reflection::is_same_class_package(klassOop class1, klassOop class2) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   554
  return instanceKlass::cast(class1)->is_same_class_package(class2);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   555
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   556
2332
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   557
bool Reflection::is_same_package_member(klassOop class1, klassOop class2, TRAPS) {
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   558
  return instanceKlass::cast(class1)->is_same_package_member(class2, THREAD);
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   559
}
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   560
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   561
489c9b5090e2 Initial load
duke
parents:
diff changeset
   562
// Checks that the 'outer' klass has declared 'inner' as being an inner klass. If not,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   563
// throw an incompatible class change exception
2332
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   564
// 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
   565
// 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
   566
// Caller is responsible for figuring out in advance which case must be true.
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   567
void Reflection::check_for_inner_class(instanceKlassHandle outer, instanceKlassHandle inner,
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   568
                                       bool inner_is_member, TRAPS) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   569
  const int inner_class_info_index = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   570
  const int outer_class_info_index = 1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   571
489c9b5090e2 Initial load
duke
parents:
diff changeset
   572
  typeArrayHandle    icls (THREAD, outer->inner_classes());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   573
  constantPoolHandle cp   (THREAD, outer->constants());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   574
  for(int i = 0; i < icls->length(); i += 4) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   575
     int ioff = icls->ushort_at(i + inner_class_info_index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   576
     int ooff = icls->ushort_at(i + outer_class_info_index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   577
2332
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   578
     if (inner_is_member && ioff != 0 && ooff != 0) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   579
        klassOop o = cp->klass_at(ooff, CHECK);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   580
        if (o == outer()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   581
          klassOop i = cp->klass_at(ioff, CHECK);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   582
          if (i == inner()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   583
            return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   584
          }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   585
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   586
     }
2332
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   587
     if (!inner_is_member && ioff != 0 && ooff == 0 &&
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   588
         cp->klass_name_at_matches(inner, ioff)) {
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   589
        klassOop i = cp->klass_at(ioff, CHECK);
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   590
        if (i == inner()) {
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   591
          return;
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   592
        }
5c7b6f4ce0a1 6814659: separable cleanups and subroutines for 6655638
jrose
parents: 1550
diff changeset
   593
     }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   594
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   595
489c9b5090e2 Initial load
duke
parents:
diff changeset
   596
  // 'inner' not declared as an inner klass in outer
489c9b5090e2 Initial load
duke
parents:
diff changeset
   597
  ResourceMark rm(THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   598
  Exceptions::fthrow(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   599
    THREAD_AND_LOCATION,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   600
    vmSymbolHandles::java_lang_IncompatibleClassChangeError(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   601
    "%s and %s disagree on InnerClasses attribute",
489c9b5090e2 Initial load
duke
parents:
diff changeset
   602
    outer->external_name(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   603
    inner->external_name()
489c9b5090e2 Initial load
duke
parents:
diff changeset
   604
  );
489c9b5090e2 Initial load
duke
parents:
diff changeset
   605
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   606
489c9b5090e2 Initial load
duke
parents:
diff changeset
   607
// Utility method converting a single SignatureStream element into java.lang.Class instance
489c9b5090e2 Initial load
duke
parents:
diff changeset
   608
489c9b5090e2 Initial load
duke
parents:
diff changeset
   609
oop get_mirror_from_signature(methodHandle method, SignatureStream* ss, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   610
  switch (ss->type()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   611
    default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   612
      assert(ss->type() != T_VOID || ss->at_return_type(), "T_VOID should only appear as return type");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   613
      return java_lang_Class::primitive_mirror(ss->type());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   614
    case T_OBJECT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   615
    case T_ARRAY:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   616
      symbolOop name        = ss->as_symbol(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   617
      oop loader            = instanceKlass::cast(method->method_holder())->class_loader();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   618
      oop protection_domain = instanceKlass::cast(method->method_holder())->protection_domain();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   619
      klassOop k = SystemDictionary::resolve_or_fail(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   620
                                       symbolHandle(THREAD, name),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   621
                                       Handle(THREAD, loader),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   622
                                       Handle(THREAD, protection_domain),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   623
                                       true, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   624
      if (TraceClassResolution) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   625
        trace_class_resolution(k);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   626
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   627
      return k->klass_part()->java_mirror();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   628
  };
489c9b5090e2 Initial load
duke
parents:
diff changeset
   629
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   630
489c9b5090e2 Initial load
duke
parents:
diff changeset
   631
489c9b5090e2 Initial load
duke
parents:
diff changeset
   632
objArrayHandle Reflection::get_parameter_types(methodHandle method, int parameter_count, oop* return_type, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   633
  // Allocate array holding parameter types (java.lang.Class instances)
4571
80b553bddc26 6914300: ciEnv should export all well known classes
never
parents: 2332
diff changeset
   634
  objArrayOop m = oopFactory::new_objArray(SystemDictionary::Class_klass(), parameter_count, CHECK_(objArrayHandle()));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   635
  objArrayHandle mirrors (THREAD, m);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   636
  int index = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   637
  // Collect parameter types
489c9b5090e2 Initial load
duke
parents:
diff changeset
   638
  symbolHandle signature (THREAD, method->signature());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   639
  SignatureStream ss(signature);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   640
  while (!ss.at_return_type()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   641
    oop mirror = get_mirror_from_signature(method, &ss, CHECK_(objArrayHandle()));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   642
    mirrors->obj_at_put(index++, mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   643
    ss.next();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   644
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   645
  assert(index == parameter_count, "invalid parameter count");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   646
  if (return_type != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   647
    // Collect return type as well
489c9b5090e2 Initial load
duke
parents:
diff changeset
   648
    assert(ss.at_return_type(), "return type should be present");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   649
    *return_type = get_mirror_from_signature(method, &ss, CHECK_(objArrayHandle()));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   650
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   651
  return mirrors;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   652
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   653
489c9b5090e2 Initial load
duke
parents:
diff changeset
   654
objArrayHandle Reflection::get_exception_types(methodHandle method, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   655
  return method->resolved_checked_exceptions(CHECK_(objArrayHandle()));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   656
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   657
489c9b5090e2 Initial load
duke
parents:
diff changeset
   658
489c9b5090e2 Initial load
duke
parents:
diff changeset
   659
Handle Reflection::new_type(symbolHandle signature, KlassHandle k, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   660
  // Basic types
489c9b5090e2 Initial load
duke
parents:
diff changeset
   661
  BasicType type = vmSymbols::signature_type(signature());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   662
  if (type != T_OBJECT) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   663
    return Handle(THREAD, Universe::java_mirror(type));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   664
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   665
489c9b5090e2 Initial load
duke
parents:
diff changeset
   666
  oop loader = instanceKlass::cast(k())->class_loader();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   667
  oop protection_domain = Klass::cast(k())->protection_domain();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   668
  klassOop result = SystemDictionary::resolve_or_fail(signature,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   669
                                    Handle(THREAD, loader),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   670
                                    Handle(THREAD, protection_domain),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   671
                                    true, CHECK_(Handle()));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   672
489c9b5090e2 Initial load
duke
parents:
diff changeset
   673
  if (TraceClassResolution) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   674
    trace_class_resolution(result);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   675
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   676
489c9b5090e2 Initial load
duke
parents:
diff changeset
   677
  oop nt = Klass::cast(result)->java_mirror();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   678
  return Handle(THREAD, nt);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   679
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   680
489c9b5090e2 Initial load
duke
parents:
diff changeset
   681
489c9b5090e2 Initial load
duke
parents:
diff changeset
   682
oop Reflection::new_method(methodHandle method, bool intern_name, bool for_constant_pool_access, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   683
  // In jdk1.2.x, getMethods on an interface erroneously includes <clinit>, thus the complicated assert.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   684
  // Also allow sun.reflect.ConstantPool to refer to <clinit> methods as java.lang.reflect.Methods.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   685
  assert(!method()->is_initializer() ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   686
         (for_constant_pool_access && method()->is_static()) ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   687
         (method()->name() == vmSymbols::class_initializer_name()
489c9b5090e2 Initial load
duke
parents:
diff changeset
   688
    && Klass::cast(method()->method_holder())->is_interface() && JDK_Version::is_jdk12x_version()), "should call new_constructor instead");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   689
  instanceKlassHandle holder (THREAD, method->method_holder());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   690
  int slot = method->method_idnum();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   691
489c9b5090e2 Initial load
duke
parents:
diff changeset
   692
  symbolHandle signature (THREAD, method->signature());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   693
  int parameter_count = ArgumentCount(signature).size();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   694
  oop return_type_oop = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   695
  objArrayHandle parameter_types = get_parameter_types(method, parameter_count, &return_type_oop, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   696
  if (parameter_types.is_null() || return_type_oop == NULL) return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   697
489c9b5090e2 Initial load
duke
parents:
diff changeset
   698
  Handle return_type(THREAD, return_type_oop);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   699
489c9b5090e2 Initial load
duke
parents:
diff changeset
   700
  objArrayHandle exception_types = get_exception_types(method, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   701
489c9b5090e2 Initial load
duke
parents:
diff changeset
   702
  if (exception_types.is_null()) return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   703
489c9b5090e2 Initial load
duke
parents:
diff changeset
   704
  symbolHandle method_name(THREAD, method->name());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   705
  Handle name;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   706
  if (intern_name) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   707
    // intern_name is only true with UseNewReflection
489c9b5090e2 Initial load
duke
parents:
diff changeset
   708
    oop name_oop = StringTable::intern(method_name(), CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   709
    name = Handle(THREAD, name_oop);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   710
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   711
    name = java_lang_String::create_from_symbol(method_name, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   712
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   713
  if (name.is_null()) return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   714
489c9b5090e2 Initial load
duke
parents:
diff changeset
   715
  int modifiers = method->access_flags().as_int() & JVM_RECOGNIZED_METHOD_MODIFIERS;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   716
489c9b5090e2 Initial load
duke
parents:
diff changeset
   717
  Handle mh = java_lang_reflect_Method::create(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   718
489c9b5090e2 Initial load
duke
parents:
diff changeset
   719
  java_lang_reflect_Method::set_clazz(mh(), holder->java_mirror());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   720
  java_lang_reflect_Method::set_slot(mh(), slot);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   721
  java_lang_reflect_Method::set_name(mh(), name());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   722
  java_lang_reflect_Method::set_return_type(mh(), return_type());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   723
  java_lang_reflect_Method::set_parameter_types(mh(), parameter_types());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   724
  java_lang_reflect_Method::set_exception_types(mh(), exception_types());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   725
  java_lang_reflect_Method::set_modifiers(mh(), modifiers);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   726
  java_lang_reflect_Method::set_override(mh(), false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   727
  if (java_lang_reflect_Method::has_signature_field() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   728
      method->generic_signature() != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   729
    symbolHandle gs(THREAD, method->generic_signature());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   730
    Handle sig = java_lang_String::create_from_symbol(gs, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   731
    java_lang_reflect_Method::set_signature(mh(), sig());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   732
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   733
  if (java_lang_reflect_Method::has_annotations_field()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   734
    java_lang_reflect_Method::set_annotations(mh(), method->annotations());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   735
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   736
  if (java_lang_reflect_Method::has_parameter_annotations_field()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   737
    java_lang_reflect_Method::set_parameter_annotations(mh(), method->parameter_annotations());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   738
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   739
  if (java_lang_reflect_Method::has_annotation_default_field()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   740
    java_lang_reflect_Method::set_annotation_default(mh(), method->annotation_default());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   741
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   742
  return mh();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   743
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   744
489c9b5090e2 Initial load
duke
parents:
diff changeset
   745
489c9b5090e2 Initial load
duke
parents:
diff changeset
   746
oop Reflection::new_constructor(methodHandle method, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   747
  assert(method()->is_initializer(), "should call new_method instead");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   748
489c9b5090e2 Initial load
duke
parents:
diff changeset
   749
  instanceKlassHandle  holder (THREAD, method->method_holder());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   750
  int slot = method->method_idnum();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   751
489c9b5090e2 Initial load
duke
parents:
diff changeset
   752
  symbolHandle signature (THREAD, method->signature());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   753
  int parameter_count = ArgumentCount(signature).size();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   754
  objArrayHandle parameter_types = get_parameter_types(method, parameter_count, NULL, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   755
  if (parameter_types.is_null()) return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   756
489c9b5090e2 Initial load
duke
parents:
diff changeset
   757
  objArrayHandle exception_types = get_exception_types(method, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   758
  if (exception_types.is_null()) return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   759
489c9b5090e2 Initial load
duke
parents:
diff changeset
   760
  int modifiers = method->access_flags().as_int() & JVM_RECOGNIZED_METHOD_MODIFIERS;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   761
489c9b5090e2 Initial load
duke
parents:
diff changeset
   762
  Handle ch = java_lang_reflect_Constructor::create(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   763
489c9b5090e2 Initial load
duke
parents:
diff changeset
   764
  java_lang_reflect_Constructor::set_clazz(ch(), holder->java_mirror());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   765
  java_lang_reflect_Constructor::set_slot(ch(), slot);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   766
  java_lang_reflect_Constructor::set_parameter_types(ch(), parameter_types());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   767
  java_lang_reflect_Constructor::set_exception_types(ch(), exception_types());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   768
  java_lang_reflect_Constructor::set_modifiers(ch(), modifiers);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   769
  java_lang_reflect_Constructor::set_override(ch(), false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   770
  if (java_lang_reflect_Constructor::has_signature_field() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   771
      method->generic_signature() != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   772
    symbolHandle gs(THREAD, method->generic_signature());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   773
    Handle sig = java_lang_String::create_from_symbol(gs, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   774
    java_lang_reflect_Constructor::set_signature(ch(), sig());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   775
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   776
  if (java_lang_reflect_Constructor::has_annotations_field()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   777
    java_lang_reflect_Constructor::set_annotations(ch(), method->annotations());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   778
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   779
  if (java_lang_reflect_Constructor::has_parameter_annotations_field()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   780
    java_lang_reflect_Constructor::set_parameter_annotations(ch(), method->parameter_annotations());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   781
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   782
  return ch();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   783
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   784
489c9b5090e2 Initial load
duke
parents:
diff changeset
   785
489c9b5090e2 Initial load
duke
parents:
diff changeset
   786
oop Reflection::new_field(fieldDescriptor* fd, bool intern_name, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   787
  symbolHandle field_name(THREAD, fd->name());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   788
  Handle name;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   789
  if (intern_name) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   790
    // intern_name is only true with UseNewReflection
489c9b5090e2 Initial load
duke
parents:
diff changeset
   791
    oop name_oop = StringTable::intern(field_name(), CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   792
    name = Handle(THREAD, name_oop);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   793
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   794
    name = java_lang_String::create_from_symbol(field_name, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   795
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   796
  symbolHandle signature (THREAD, fd->signature());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   797
  KlassHandle  holder    (THREAD, fd->field_holder());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   798
  Handle type = new_type(signature, holder, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   799
  Handle rh  = java_lang_reflect_Field::create(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   800
489c9b5090e2 Initial load
duke
parents:
diff changeset
   801
  java_lang_reflect_Field::set_clazz(rh(), Klass::cast(fd->field_holder())->java_mirror());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   802
  java_lang_reflect_Field::set_slot(rh(), fd->index());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   803
  java_lang_reflect_Field::set_name(rh(), name());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   804
  java_lang_reflect_Field::set_type(rh(), type());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   805
  // Note the ACC_ANNOTATION bit, which is a per-class access flag, is never set here.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   806
  java_lang_reflect_Field::set_modifiers(rh(), fd->access_flags().as_int() & JVM_RECOGNIZED_FIELD_MODIFIERS);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   807
  java_lang_reflect_Field::set_override(rh(), false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   808
  if (java_lang_reflect_Field::has_signature_field() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   809
      fd->generic_signature() != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   810
    symbolHandle gs(THREAD, fd->generic_signature());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   811
    Handle sig = java_lang_String::create_from_symbol(gs, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   812
    java_lang_reflect_Field::set_signature(rh(), sig());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   813
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   814
  if (java_lang_reflect_Field::has_annotations_field()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   815
    java_lang_reflect_Field::set_annotations(rh(), fd->annotations());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   816
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   817
  return rh();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   818
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   819
489c9b5090e2 Initial load
duke
parents:
diff changeset
   820
489c9b5090e2 Initial load
duke
parents:
diff changeset
   821
//---------------------------------------------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   822
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
   823
// Supporting routines for old native code-based reflection (pre-JDK 1.4).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   824
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
   825
// See reflection.hpp for details.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   826
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
   827
//---------------------------------------------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
   828
489c9b5090e2 Initial load
duke
parents:
diff changeset
   829
#ifdef SUPPORT_OLD_REFLECTION
489c9b5090e2 Initial load
duke
parents:
diff changeset
   830
489c9b5090e2 Initial load
duke
parents:
diff changeset
   831
methodHandle Reflection::resolve_interface_call(instanceKlassHandle klass, methodHandle method,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   832
                                                KlassHandle recv_klass, Handle receiver, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   833
  assert(!method.is_null() , "method should not be null");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   834
489c9b5090e2 Initial load
duke
parents:
diff changeset
   835
  CallInfo info;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   836
  symbolHandle signature (THREAD, method->signature());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   837
  symbolHandle name      (THREAD, method->name());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   838
  LinkResolver::resolve_interface_call(info, receiver, recv_klass, klass,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   839
                                       name, signature,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   840
                                       KlassHandle(), false, true,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   841
                                       CHECK_(methodHandle()));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   842
  return info.selected_method();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   843
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   844
489c9b5090e2 Initial load
duke
parents:
diff changeset
   845
489c9b5090e2 Initial load
duke
parents:
diff changeset
   846
oop Reflection::invoke(instanceKlassHandle klass, methodHandle reflected_method,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   847
                       Handle receiver, bool override, objArrayHandle ptypes,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   848
                       BasicType rtype, objArrayHandle args, bool is_method_invoke, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   849
  ResourceMark rm(THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   850
489c9b5090e2 Initial load
duke
parents:
diff changeset
   851
  methodHandle method;      // actual method to invoke
489c9b5090e2 Initial load
duke
parents:
diff changeset
   852
  KlassHandle target_klass; // target klass, receiver's klass for non-static
489c9b5090e2 Initial load
duke
parents:
diff changeset
   853
489c9b5090e2 Initial load
duke
parents:
diff changeset
   854
  // Ensure klass is initialized
489c9b5090e2 Initial load
duke
parents:
diff changeset
   855
  klass->initialize(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   856
489c9b5090e2 Initial load
duke
parents:
diff changeset
   857
  bool is_static = reflected_method->is_static();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   858
  if (is_static) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   859
    // ignore receiver argument
489c9b5090e2 Initial load
duke
parents:
diff changeset
   860
    method = reflected_method;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   861
    target_klass = klass;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   862
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   863
    // check for null receiver
489c9b5090e2 Initial load
duke
parents:
diff changeset
   864
    if (receiver.is_null()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   865
      THROW_0(vmSymbols::java_lang_NullPointerException());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   866
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   867
    // Check class of receiver against class declaring method
489c9b5090e2 Initial load
duke
parents:
diff changeset
   868
    if (!receiver->is_a(klass())) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   869
      THROW_MSG_0(vmSymbols::java_lang_IllegalArgumentException(), "object is not an instance of declaring class");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   870
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   871
    // target klass is receiver's klass
489c9b5090e2 Initial load
duke
parents:
diff changeset
   872
    target_klass = KlassHandle(THREAD, receiver->klass());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   873
    // no need to resolve if method is private or <init>
489c9b5090e2 Initial load
duke
parents:
diff changeset
   874
    if (reflected_method->is_private() || reflected_method->name() == vmSymbols::object_initializer_name()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   875
      method = reflected_method;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   876
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   877
      // resolve based on the receiver
489c9b5090e2 Initial load
duke
parents:
diff changeset
   878
      if (instanceKlass::cast(reflected_method->method_holder())->is_interface()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   879
        // resolve interface call
489c9b5090e2 Initial load
duke
parents:
diff changeset
   880
        if (ReflectionWrapResolutionErrors) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   881
          // new default: 6531596
489c9b5090e2 Initial load
duke
parents:
diff changeset
   882
          // Match resolution errors with those thrown due to reflection inlining
489c9b5090e2 Initial load
duke
parents:
diff changeset
   883
          // Linktime resolution & IllegalAccessCheck already done by Class.getMethod()
489c9b5090e2 Initial load
duke
parents:
diff changeset
   884
          method = resolve_interface_call(klass, reflected_method, target_klass, receiver, THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   885
          if (HAS_PENDING_EXCEPTION) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   886
          // Method resolution threw an exception; wrap it in an InvocationTargetException
489c9b5090e2 Initial load
duke
parents:
diff changeset
   887
            oop resolution_exception = PENDING_EXCEPTION;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   888
            CLEAR_PENDING_EXCEPTION;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   889
            JavaCallArguments args(Handle(THREAD, resolution_exception));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   890
            THROW_ARG_0(vmSymbolHandles::java_lang_reflect_InvocationTargetException(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   891
                vmSymbolHandles::throwable_void_signature(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   892
                &args);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   893
          }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   894
        } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   895
          method = resolve_interface_call(klass, reflected_method, target_klass, receiver, CHECK_(NULL));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   896
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   897
      }  else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   898
        // if the method can be overridden, we resolve using the vtable index.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   899
        int index  = reflected_method->vtable_index();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   900
        method = reflected_method;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   901
        if (index != methodOopDesc::nonvirtual_vtable_index) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   902
          // target_klass might be an arrayKlassOop but all vtables start at
489c9b5090e2 Initial load
duke
parents:
diff changeset
   903
          // the same place. The cast is to avoid virtual call and assertion.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   904
          instanceKlass* inst = (instanceKlass*)target_klass()->klass_part();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   905
          method = methodHandle(THREAD, inst->method_at_vtable(index));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   906
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   907
        if (!method.is_null()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   908
          // Check for abstract methods as well
489c9b5090e2 Initial load
duke
parents:
diff changeset
   909
          if (method->is_abstract()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   910
            // new default: 6531596
489c9b5090e2 Initial load
duke
parents:
diff changeset
   911
            if (ReflectionWrapResolutionErrors) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   912
              ResourceMark rm(THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   913
              Handle h_origexception = Exceptions::new_exception(THREAD,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   914
                     vmSymbols::java_lang_AbstractMethodError(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   915
                     methodOopDesc::name_and_sig_as_C_string(Klass::cast(target_klass()),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   916
                     method->name(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   917
                     method->signature()));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   918
              JavaCallArguments args(h_origexception);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   919
              THROW_ARG_0(vmSymbolHandles::java_lang_reflect_InvocationTargetException(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   920
                vmSymbolHandles::throwable_void_signature(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   921
                &args);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   922
            } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   923
              ResourceMark rm(THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   924
              THROW_MSG_0(vmSymbols::java_lang_AbstractMethodError(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   925
                        methodOopDesc::name_and_sig_as_C_string(Klass::cast(target_klass()),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   926
                                                                method->name(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   927
                                                                method->signature()));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   928
            }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   929
          }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   930
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   931
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   932
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   933
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   934
489c9b5090e2 Initial load
duke
parents:
diff changeset
   935
  // I believe this is a ShouldNotGetHere case which requires
489c9b5090e2 Initial load
duke
parents:
diff changeset
   936
  // an internal vtable bug. If you ever get this please let Karen know.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   937
  if (method.is_null()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   938
    ResourceMark rm(THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   939
    THROW_MSG_0(vmSymbols::java_lang_NoSuchMethodError(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   940
                methodOopDesc::name_and_sig_as_C_string(Klass::cast(klass()),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   941
                                                        reflected_method->name(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   942
                                                        reflected_method->signature()));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   943
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   944
489c9b5090e2 Initial load
duke
parents:
diff changeset
   945
  // In the JDK 1.4 reflection implementation, the security check is
489c9b5090e2 Initial load
duke
parents:
diff changeset
   946
  // done at the Java level
489c9b5090e2 Initial load
duke
parents:
diff changeset
   947
  if (!(JDK_Version::is_gte_jdk14x_version() && UseNewReflection)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   948
489c9b5090e2 Initial load
duke
parents:
diff changeset
   949
  // Access checking (unless overridden by Method)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   950
  if (!override) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   951
    if (!(klass->is_public() && reflected_method->is_public())) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   952
      bool access = Reflection::reflect_check_access(klass(), reflected_method->access_flags(), target_klass(), is_method_invoke, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   953
      if (!access) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   954
        return NULL; // exception
489c9b5090e2 Initial load
duke
parents:
diff changeset
   955
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   956
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   957
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   958
489c9b5090e2 Initial load
duke
parents:
diff changeset
   959
  } // !(Universe::is_gte_jdk14x_version() && UseNewReflection)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   960
489c9b5090e2 Initial load
duke
parents:
diff changeset
   961
  assert(ptypes->is_objArray(), "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   962
  int args_len = args.is_null() ? 0 : args->length();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   963
  // Check number of arguments
489c9b5090e2 Initial load
duke
parents:
diff changeset
   964
  if (ptypes->length() != args_len) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   965
    THROW_MSG_0(vmSymbols::java_lang_IllegalArgumentException(), "wrong number of arguments");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   966
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   967
489c9b5090e2 Initial load
duke
parents:
diff changeset
   968
  // Create object to contain parameters for the JavaCall
489c9b5090e2 Initial load
duke
parents:
diff changeset
   969
  JavaCallArguments java_args(method->size_of_parameters());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   970
489c9b5090e2 Initial load
duke
parents:
diff changeset
   971
  if (!is_static) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   972
    java_args.push_oop(receiver);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   973
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   974
489c9b5090e2 Initial load
duke
parents:
diff changeset
   975
  for (int i = 0; i < args_len; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   976
    oop type_mirror = ptypes->obj_at(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   977
    oop arg = args->obj_at(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   978
    if (java_lang_Class::is_primitive(type_mirror)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   979
      jvalue value;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   980
      BasicType ptype = basic_type_mirror_to_basic_type(type_mirror, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   981
      BasicType atype = unbox_for_primitive(arg, &value, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   982
      if (ptype != atype) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   983
        widen(&value, atype, ptype, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   984
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   985
      switch (ptype) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   986
        case T_BOOLEAN:     java_args.push_int(value.z);    break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   987
        case T_CHAR:        java_args.push_int(value.c);    break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   988
        case T_BYTE:        java_args.push_int(value.b);    break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   989
        case T_SHORT:       java_args.push_int(value.s);    break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   990
        case T_INT:         java_args.push_int(value.i);    break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   991
        case T_LONG:        java_args.push_long(value.j);   break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   992
        case T_FLOAT:       java_args.push_float(value.f);  break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   993
        case T_DOUBLE:      java_args.push_double(value.d); break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   994
        default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   995
          THROW_MSG_0(vmSymbols::java_lang_IllegalArgumentException(), "argument type mismatch");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   996
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   997
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   998
      if (arg != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   999
        klassOop k = java_lang_Class::as_klassOop(type_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1000
        if (!arg->is_a(k)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1001
          THROW_MSG_0(vmSymbols::java_lang_IllegalArgumentException(), "argument type mismatch");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1002
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1003
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1004
      Handle arg_handle(THREAD, arg);         // Create handle for argument
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1005
      java_args.push_oop(arg_handle); // Push handle
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1006
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1007
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1008
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1009
  assert(java_args.size_of_parameters() == method->size_of_parameters(), "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1010
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1011
  // All oops (including receiver) is passed in as Handles. An potential oop is returned as an
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1012
  // oop (i.e., NOT as an handle)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1013
  JavaValue result(rtype);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1014
  JavaCalls::call(&result, method, &java_args, THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1015
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1016
  if (HAS_PENDING_EXCEPTION) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1017
    // Method threw an exception; wrap it in an InvocationTargetException
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1018
    oop target_exception = PENDING_EXCEPTION;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1019
    CLEAR_PENDING_EXCEPTION;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1020
    JavaCallArguments args(Handle(THREAD, target_exception));
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1021
    THROW_ARG_0(vmSymbolHandles::java_lang_reflect_InvocationTargetException(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1022
                vmSymbolHandles::throwable_void_signature(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1023
                &args);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1024
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1025
    if (rtype == T_BOOLEAN || rtype == T_BYTE || rtype == T_CHAR || rtype == T_SHORT)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1026
      narrow((jvalue*) result.get_value_addr(), rtype, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1027
    return box((jvalue*) result.get_value_addr(), rtype, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1028
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1029
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1030
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1031
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1032
void Reflection::narrow(jvalue* value, BasicType narrow_type, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1033
  switch (narrow_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1034
    case T_BOOLEAN:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1035
     value->z = (jboolean) value->i;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1036
     return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1037
    case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1038
     value->b = (jbyte) value->i;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1039
     return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1040
    case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1041
     value->c = (jchar) value->i;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1042
     return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1043
    case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1044
     value->s = (jshort) value->i;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1045
     return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1046
    default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1047
      break; // fail
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1048
   }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1049
  THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(), "argument type mismatch");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1050
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1051
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1052
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1053
BasicType Reflection::basic_type_mirror_to_basic_type(oop basic_type_mirror, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1054
  assert(java_lang_Class::is_primitive(basic_type_mirror), "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1055
  return java_lang_Class::primitive_type(basic_type_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1056
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1057
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1058
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1059
bool Reflection::match_parameter_types(methodHandle method, objArrayHandle types, int parameter_count, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1060
  int types_len = types.is_null() ? 0 : types->length();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1061
  if (types_len != parameter_count) return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1062
  if (parameter_count > 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1063
    objArrayHandle method_types = get_parameter_types(method, parameter_count, NULL, CHECK_false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1064
    for (int index = 0; index < parameter_count; index++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1065
      if (types->obj_at(index) != method_types->obj_at(index)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1066
        return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1067
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1068
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1069
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1070
  return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1071
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1072
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1073
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1074
oop Reflection::new_field(FieldStream* st, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1075
  symbolHandle field_name(THREAD, st->name());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1076
  Handle name = java_lang_String::create_from_symbol(field_name, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1077
  symbolHandle signature(THREAD, st->signature());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1078
  Handle type = new_type(signature, st->klass(), CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1079
  Handle rh  = java_lang_reflect_Field::create(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1080
  oop result = rh();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1081
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1082
  java_lang_reflect_Field::set_clazz(result, st->klass()->java_mirror());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1083
  java_lang_reflect_Field::set_slot(result, st->index());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1084
  java_lang_reflect_Field::set_name(result, name());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1085
  java_lang_reflect_Field::set_type(result, type());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1086
  // Note the ACC_ANNOTATION bit, which is a per-class access flag, is never set here.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1087
  java_lang_reflect_Field::set_modifiers(result, st->access_flags().as_int() & JVM_RECOGNIZED_FIELD_MODIFIERS);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1088
  java_lang_reflect_Field::set_override(result, false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1089
  return result;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1090
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1091
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1092
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1093
bool Reflection::resolve_field(Handle field_mirror, Handle& receiver, fieldDescriptor* fd, bool check_final, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1094
  if (field_mirror.is_null()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1095
    THROW_(vmSymbols::java_lang_NullPointerException(), false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1096
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1097
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1098
  instanceKlassHandle klass (THREAD, java_lang_Class::as_klassOop(java_lang_reflect_Field::clazz(field_mirror())));
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1099
  int                 slot  = java_lang_reflect_Field::slot(field_mirror());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1100
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1101
  // Ensure klass is initialized
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1102
  klass->initialize(CHECK_false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1103
  fd->initialize(klass(), slot);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1104
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1105
  bool is_static = fd->is_static();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1106
  KlassHandle receiver_klass;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1107
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1108
  if (is_static) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1109
    receiver = KlassHandle(THREAD, klass());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1110
    receiver_klass = klass;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1111
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1112
    // Check object is a non-null instance of declaring class
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1113
    if (receiver.is_null()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1114
      THROW_(vmSymbols::java_lang_NullPointerException(), false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1115
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1116
    if (!receiver->is_a(klass())) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1117
      THROW_MSG_(vmSymbols::java_lang_IllegalArgumentException(), "object is not an instance of declaring class", false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1118
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1119
    receiver_klass = KlassHandle(THREAD, receiver->klass());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1120
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1121
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1122
  // Access checking (unless overridden by Field)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1123
  if (!java_lang_reflect_Field::override(field_mirror())) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1124
    if (!(klass->is_public() && fd->is_public())) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1125
      bool access_check = reflect_check_access(klass(), fd->access_flags(), receiver_klass(), false, CHECK_false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1126
      if (!access_check) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1127
        return false; // exception
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1128
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1129
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1130
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1131
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1132
  if (check_final && fd->is_final()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1133
    // In 1.3 we always throw an error when attempting to set a final field.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1134
    // In 1.2.x, this was allowed in the override bit was set by calling Field.setAccessible(true).
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1135
    // We currently maintain backwards compatibility. See bug 4250960.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1136
    bool strict_final_check = !JDK_Version::is_jdk12x_version();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1137
    if (strict_final_check || !java_lang_reflect_Field::override(field_mirror())) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1138
      THROW_MSG_(vmSymbols::java_lang_IllegalAccessException(), "field is final", false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1139
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1140
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1141
  return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1142
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1143
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1144
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1145
BasicType Reflection::field_get(jvalue* value, fieldDescriptor* fd, Handle receiver)  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1146
  BasicType field_type = fd->field_type();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1147
  int offset = fd->offset();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1148
  switch (field_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1149
    case T_BOOLEAN:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1150
      value->z = receiver->bool_field(offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1151
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1152
    case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1153
      value->c = receiver->char_field(offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1154
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1155
    case T_FLOAT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1156
      value->f = receiver->float_field(offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1157
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1158
    case T_DOUBLE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1159
      value->d = receiver->double_field(offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1160
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1161
    case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1162
      value->b = receiver->byte_field(offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1163
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1164
    case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1165
      value->s = receiver->short_field(offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1166
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1167
    case T_INT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1168
      value->i = receiver->int_field(offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1169
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1170
    case T_LONG:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1171
      value->j = receiver->long_field(offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1172
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1173
    case T_OBJECT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1174
    case T_ARRAY:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1175
      value->l = (jobject) receiver->obj_field(offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1176
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1177
    default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1178
      return T_ILLEGAL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1179
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1180
  return field_type;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1181
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1182
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1183
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1184
void Reflection::field_set(jvalue* value, fieldDescriptor* fd, Handle receiver, BasicType value_type, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1185
  BasicType field_type = fd->field_type();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1186
  if (field_type != value_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1187
    widen(value, value_type, field_type, CHECK);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1188
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1189
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1190
  int offset = fd->offset();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1191
  switch (field_type) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1192
    case T_BOOLEAN:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1193
      receiver->bool_field_put(offset, value->z);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1194
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1195
    case T_CHAR:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1196
      receiver->char_field_put(offset, value->c);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1197
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1198
    case T_FLOAT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1199
      receiver->float_field_put(offset, value->f);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1200
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1201
    case T_DOUBLE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1202
      receiver->double_field_put(offset, value->d);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1203
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1204
    case T_BYTE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1205
      receiver->byte_field_put(offset, value->b);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1206
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1207
    case T_SHORT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1208
      receiver->short_field_put(offset, value->s);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1209
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1210
    case T_INT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1211
      receiver->int_field_put(offset, value->i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1212
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1213
    case T_LONG:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1214
      receiver->long_field_put(offset, value->j);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1215
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1216
    case T_OBJECT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1217
    case T_ARRAY: {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1218
      Handle obj(THREAD, (oop) value->l);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1219
      if (obj.not_null()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1220
        symbolHandle signature(THREAD, fd->signature());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1221
        Handle       loader   (THREAD, fd->loader());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1222
        Handle       protect  (THREAD, Klass::cast(fd->field_holder())->protection_domain());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1223
        klassOop k = SystemDictionary::resolve_or_fail(signature, loader, protect, true, CHECK); // may block
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1224
        if (!obj->is_a(k)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1225
          THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(), "field type mismatch");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1226
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1227
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1228
      receiver->obj_field_put(offset, obj());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1229
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1230
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1231
    default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1232
      THROW_MSG(vmSymbols::java_lang_IllegalArgumentException(), "field type mismatch");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1233
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1234
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1235
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1236
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1237
oop Reflection::reflect_field(oop mirror, symbolOop field_name, jint which, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1238
  // Exclude primitive types and array types
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1239
  if (java_lang_Class::is_primitive(mirror))                             return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1240
  if (Klass::cast(java_lang_Class::as_klassOop(mirror))->oop_is_array()) return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1241
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1242
  instanceKlassHandle k(THREAD, java_lang_Class::as_klassOop(mirror));
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1243
  bool local_fields_only = (which == DECLARED);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1244
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1245
  // Ensure class is linked
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1246
  k->link_class(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1247
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1248
  // Search class and interface fields
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1249
  for (FieldStream st(k, local_fields_only, false); !st.eos(); st.next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1250
    if (st.name() == field_name) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1251
      if (local_fields_only || st.access_flags().is_public()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1252
        return new_field(&st, THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1253
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1254
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1255
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1256
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1257
  return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1258
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1259
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1260
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1261
objArrayOop Reflection::reflect_fields(oop mirror, jint which, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1262
  // Exclude primitive types and array types
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1263
  if (java_lang_Class::is_primitive(mirror)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1264
      || Klass::cast(java_lang_Class::as_klassOop(mirror))->oop_is_array()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1265
    symbolHandle name = vmSymbolHandles::java_lang_reflect_Field();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1266
    klassOop klass = SystemDictionary::resolve_or_fail(name, true, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1267
    return oopFactory::new_objArray(klass, 0, CHECK_NULL);  // Return empty array
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1268
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1269
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1270
  instanceKlassHandle k(THREAD, java_lang_Class::as_klassOop(mirror));
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1271
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1272
  // Ensure class is linked
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1273
  k->link_class(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1274
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1275
  bool local_fields_only = (which == DECLARED);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1276
  int count = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1277
  { // Compute fields count for class and interface fields
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1278
    for (FieldStream st(k, local_fields_only, false); !st.eos(); st.next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1279
      if (local_fields_only || st.access_flags().is_public()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1280
        count++;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1281
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1282
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1283
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1284
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1285
  // Allocate result
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1286
  symbolHandle name = vmSymbolHandles::java_lang_reflect_Field();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1287
  klassOop klass = SystemDictionary::resolve_or_fail(name, true, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1288
  objArrayOop r = oopFactory::new_objArray(klass, count, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1289
  objArrayHandle result (THREAD, r);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1290
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1291
  // Fill in results backwards
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1292
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1293
    for (FieldStream st(k, local_fields_only, false); !st.eos(); st.next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1294
      if (local_fields_only || st.access_flags().is_public()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1295
        oop field = new_field(&st, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1296
        result->obj_at_put(--count, field);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1297
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1298
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1299
    assert(count == 0, "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1300
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1301
  return result();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1302
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1303
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1304
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1305
oop Reflection::reflect_method(oop mirror, symbolHandle method_name, objArrayHandle types, jint which, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1306
  if (java_lang_Class::is_primitive(mirror))  return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1307
  klassOop klass = java_lang_Class::as_klassOop(mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1308
  if (Klass::cast(klass)->oop_is_array() && which == MEMBER_DECLARED)  return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1309
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1310
  if (Klass::cast(java_lang_Class::as_klassOop(mirror))->oop_is_array()) {
4571
80b553bddc26 6914300: ciEnv should export all well known classes
never
parents: 2332
diff changeset
  1311
    klass = SystemDictionary::Object_klass();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1312
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1313
  instanceKlassHandle h_k(THREAD, klass);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1314
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1315
  // Ensure klass is linked (need not be initialized)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1316
  h_k->link_class(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1317
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1318
  // For interfaces include static initializers under jdk1.2.x (since classic does that)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1319
  bool include_clinit = JDK_Version::is_jdk12x_version() && h_k->is_interface();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1320
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1321
  switch (which) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1322
    case MEMBER_PUBLIC:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1323
      // First the public non-static methods (works if method holder is an interface)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1324
      // Note that we can ignore checks for overridden methods, since we go up the hierarchy.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1325
      {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1326
        for (MethodStream st(h_k, false, false); !st.eos(); st.next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1327
          methodHandle m(THREAD, st.method());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1328
          // For interfaces include static initializers since classic does that!
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1329
          if (method_name() == m->name() && (include_clinit || (m->is_public() && !m->is_static() && !m->is_initializer()))) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1330
            symbolHandle signature(THREAD, m->signature());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1331
            bool parameter_match = match_parameter_types(m, types, ArgumentCount(signature).size(), CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1332
            if (parameter_match) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1333
              return new_method(m, false, false, THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1334
            }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1335
          }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1336
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1337
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1338
      // Then the public static methods (works if method holder is an interface)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1339
      {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1340
        for (MethodStream st(h_k, false, false); !st.eos(); st.next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1341
          methodHandle m(THREAD, st.method());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1342
          if (method_name() == m->name() && m->is_public() && m->is_static() && !m->is_initializer()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1343
            symbolHandle signature(THREAD, m->signature());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1344
            bool parameter_match = match_parameter_types(m, types, ArgumentCount(signature).size(), CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1345
            if (parameter_match) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1346
              return new_method(m, false, false, THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1347
            }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1348
          }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1349
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1350
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1351
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1352
    case MEMBER_DECLARED:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1353
      // All local methods
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1354
      {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1355
        for (MethodStream st(h_k, true, true); !st.eos(); st.next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1356
          methodHandle m(THREAD, st.method());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1357
          if (method_name() == m->name() && !m->is_initializer()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1358
            symbolHandle signature(THREAD, m->signature());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1359
            bool parameter_match = match_parameter_types(m, types, ArgumentCount(signature).size(), CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1360
            if (parameter_match) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1361
              return new_method(m, false, false, THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1362
            }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1363
          }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1364
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1365
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1366
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1367
    default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1368
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1369
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1370
  return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1371
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1372
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1373
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1374
objArrayOop Reflection::reflect_methods(oop mirror, jint which, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1375
  // Exclude primitive types
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1376
  if (java_lang_Class::is_primitive(mirror) ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1377
     (Klass::cast(java_lang_Class::as_klassOop(mirror))->oop_is_array() && (which == MEMBER_DECLARED))) {
4571
80b553bddc26 6914300: ciEnv should export all well known classes
never
parents: 2332
diff changeset
  1378
    klassOop klass = SystemDictionary::reflect_Method_klass();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1379
    return oopFactory::new_objArray(klass, 0, CHECK_NULL);  // Return empty array
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1380
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1381
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1382
  klassOop klass = java_lang_Class::as_klassOop(mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1383
  if (Klass::cast(java_lang_Class::as_klassOop(mirror))->oop_is_array()) {
4571
80b553bddc26 6914300: ciEnv should export all well known classes
never
parents: 2332
diff changeset
  1384
    klass = SystemDictionary::Object_klass();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1385
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1386
  instanceKlassHandle h_k(THREAD, klass);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1387
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1388
  // Ensure klass is linked (need not be initialized)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1389
  h_k->link_class(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1390
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1391
  // We search the (super)interfaces only if h_k is an interface itself
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1392
  bool is_interface = h_k->is_interface();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1393
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1394
  // For interfaces include static initializers under jdk1.2.x (since classic does that)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1395
  bool include_clinit = JDK_Version::is_jdk12x_version() && is_interface;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1396
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1397
  switch (which) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1398
    case MEMBER_PUBLIC:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1399
      {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1400
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1401
        // Count public methods (non-static and static)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1402
        int count = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1403
        {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1404
          for (MethodStream st(h_k, false, false); !st.eos(); st.next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1405
            methodOop m = st.method();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1406
            // For interfaces include static initializers since classic does that!
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1407
            if (include_clinit || (!m->is_initializer() && m->is_public() && !m->is_overridden_in(h_k()))) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1408
              count++;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1409
            }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1410
          }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1411
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1412
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1413
        // Allocate result
4571
80b553bddc26 6914300: ciEnv should export all well known classes
never
parents: 2332
diff changeset
  1414
        klassOop klass = SystemDictionary::reflect_Method_klass();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1415
        objArrayOop r = oopFactory::new_objArray(klass, count, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1416
        objArrayHandle h_result (THREAD, r);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1417
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1418
        // Fill in results backwards
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1419
        {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1420
          // First the non-static public methods
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1421
          for (MethodStream st(h_k, false, false); !st.eos(); st.next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1422
            methodHandle m (THREAD, st.method());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1423
            if (!m->is_static() && !m->is_initializer() && m->is_public() && !m->is_overridden_in(h_k())) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1424
              oop method = new_method(m, false, false, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1425
              if (method == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1426
                return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1427
              } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1428
                h_result->obj_at_put(--count, method);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1429
              }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1430
            }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1431
          }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1432
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1433
        {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1434
          // Then the static public methods
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1435
          for (MethodStream st(h_k, false, !is_interface); !st.eos(); st.next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1436
            methodHandle m (THREAD, st.method());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1437
            if (m->is_static() && (include_clinit || (!m->is_initializer()) && m->is_public() && !m->is_overridden_in(h_k()))) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1438
              oop method = new_method(m, false, false, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1439
              if (method == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1440
                return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1441
              } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1442
                h_result->obj_at_put(--count, method);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1443
              }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1444
            }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1445
          }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1446
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1447
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1448
        assert(count == 0, "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1449
        return h_result();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1450
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1451
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1452
    case MEMBER_DECLARED:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1453
      {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1454
        // Count all methods
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1455
        int count = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1456
        {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1457
          for (MethodStream st(h_k, true, !is_interface); !st.eos(); st.next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1458
            methodOop m = st.method();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1459
            if (!m->is_initializer()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1460
              count++;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1461
            }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1462
          }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1463
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1464
        // Allocate result
4571
80b553bddc26 6914300: ciEnv should export all well known classes
never
parents: 2332
diff changeset
  1465
        klassOop klass = SystemDictionary::reflect_Method_klass();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1466
        objArrayOop r = oopFactory::new_objArray(klass, count, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1467
        objArrayHandle h_result (THREAD, r);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1468
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1469
        // Fill in results backwards
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1470
        {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1471
          for (MethodStream st(h_k, true, true); !st.eos(); st.next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1472
            methodHandle m (THREAD, st.method());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1473
            if (!m->is_initializer()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1474
              oop method = new_method(m, false, false, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1475
              if (method == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1476
                return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1477
              } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1478
                h_result->obj_at_put(--count, method);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1479
              }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1480
            }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1481
          }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1482
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1483
        assert(count == 0, "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1484
        return h_result();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1485
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1486
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1487
  ShouldNotReachHere();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1488
  return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1489
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1490
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1491
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1492
oop Reflection::reflect_constructor(oop mirror, objArrayHandle types, jint which, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1493
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1494
  // Exclude primitive, interface and array types
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1495
  bool prim = java_lang_Class::is_primitive(mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1496
  Klass* klass = prim ? NULL : Klass::cast(java_lang_Class::as_klassOop(mirror));
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1497
  if (prim || klass->is_interface() || klass->oop_is_array()) return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1498
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1499
  // Must be instance klass
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1500
  instanceKlassHandle h_k(THREAD, java_lang_Class::as_klassOop(mirror));
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1501
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1502
  // Ensure klass is linked (need not be initialized)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1503
  h_k->link_class(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1504
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1505
  bool local_only = (which == MEMBER_DECLARED);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1506
  for (MethodStream st(h_k, true, true); !st.eos(); st.next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1507
    methodHandle m(THREAD, st.method());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1508
    if (m->name() == vmSymbols::object_initializer_name() && (local_only || m->is_public())) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1509
      symbolHandle signature(THREAD, m->signature());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1510
      bool parameter_match = match_parameter_types(m, types, ArgumentCount(signature).size(), CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1511
      if (parameter_match) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1512
        return new_constructor(m, THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1513
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1514
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1515
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1516
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1517
  return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1518
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1519
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1520
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1521
objArrayOop Reflection::reflect_constructors(oop mirror, jint which, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1522
  // Exclude primitive, interface and array types
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1523
  bool prim  = java_lang_Class::is_primitive(mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1524
  Klass* k = prim ? NULL : Klass::cast(java_lang_Class::as_klassOop(mirror));
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1525
  if (prim || k->is_interface() || k->oop_is_array()) {
4571
80b553bddc26 6914300: ciEnv should export all well known classes
never
parents: 2332
diff changeset
  1526
    return oopFactory::new_objArray(SystemDictionary::reflect_Constructor_klass(), 0, CHECK_NULL);  // Return empty array
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1527
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1528
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1529
  // Must be instanceKlass at this point
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1530
  instanceKlassHandle h_k(THREAD, java_lang_Class::as_klassOop(mirror));
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1531
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1532
  // Ensure klass is linked (need not be initialized)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1533
  h_k->link_class(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1534
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1535
  bool local_only = (which == MEMBER_DECLARED);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1536
  int count = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1537
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1538
    for (MethodStream st(h_k, true, true); !st.eos(); st.next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1539
      methodOop m = st.method();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1540
      if (m->name() == vmSymbols::object_initializer_name() && (local_only || m->is_public())) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1541
        count++;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1542
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1543
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1544
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1545
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1546
  // Allocate result
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1547
  symbolHandle name = vmSymbolHandles::java_lang_reflect_Constructor();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1548
  klassOop klass = SystemDictionary::resolve_or_fail(name, true, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1549
  objArrayOop r = oopFactory::new_objArray(klass, count, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1550
  objArrayHandle h_result (THREAD, r);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1551
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1552
  // Fill in results backwards
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1553
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1554
    for (MethodStream st(h_k, true, true); !st.eos(); st.next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1555
      methodHandle m (THREAD, st.method());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1556
      if (m->name() == vmSymbols::object_initializer_name() && (local_only || m->is_public())) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1557
        oop constr = new_constructor(m, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1558
        if (constr == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1559
          return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1560
        } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1561
          h_result->obj_at_put(--count, constr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1562
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1563
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1564
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1565
    assert(count == 0, "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1566
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1567
  return h_result();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1568
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1569
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1570
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1571
// This would be nicer if, say, java.lang.reflect.Method was a subclass
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1572
// of java.lang.reflect.Constructor
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1573
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1574
oop Reflection::invoke_method(oop method_mirror, Handle receiver, objArrayHandle args, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1575
  oop mirror             = java_lang_reflect_Method::clazz(method_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1576
  int slot               = java_lang_reflect_Method::slot(method_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1577
  bool override          = java_lang_reflect_Method::override(method_mirror) != 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1578
  objArrayHandle ptypes(THREAD, objArrayOop(java_lang_reflect_Method::parameter_types(method_mirror)));
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1579
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1580
  oop return_type_mirror = java_lang_reflect_Method::return_type(method_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1581
  BasicType rtype;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1582
  if (java_lang_Class::is_primitive(return_type_mirror)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1583
    rtype = basic_type_mirror_to_basic_type(return_type_mirror, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1584
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1585
    rtype = T_OBJECT;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1586
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1587
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1588
  instanceKlassHandle klass(THREAD, java_lang_Class::as_klassOop(mirror));
224
6a257cd604e7 6667089: 3/3 multiple redefinitions of a class break reflection
dcubed
parents: 1
diff changeset
  1589
  methodOop m = klass->method_with_idnum(slot);
6a257cd604e7 6667089: 3/3 multiple redefinitions of a class break reflection
dcubed
parents: 1
diff changeset
  1590
  if (m == NULL) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1591
    THROW_MSG_0(vmSymbols::java_lang_InternalError(), "invoke");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1592
  }
224
6a257cd604e7 6667089: 3/3 multiple redefinitions of a class break reflection
dcubed
parents: 1
diff changeset
  1593
  methodHandle method(THREAD, m);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1594
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1595
  return invoke(klass, method, receiver, override, ptypes, rtype, args, true, THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1596
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1597
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1598
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1599
oop Reflection::invoke_constructor(oop constructor_mirror, objArrayHandle args, TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1600
  oop mirror             = java_lang_reflect_Constructor::clazz(constructor_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1601
  int slot               = java_lang_reflect_Constructor::slot(constructor_mirror);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1602
  bool override          = java_lang_reflect_Constructor::override(constructor_mirror) != 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1603
  objArrayHandle ptypes(THREAD, objArrayOop(java_lang_reflect_Constructor::parameter_types(constructor_mirror)));
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1604
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1605
  instanceKlassHandle klass(THREAD, java_lang_Class::as_klassOop(mirror));
224
6a257cd604e7 6667089: 3/3 multiple redefinitions of a class break reflection
dcubed
parents: 1
diff changeset
  1606
  methodOop m = klass->method_with_idnum(slot);
6a257cd604e7 6667089: 3/3 multiple redefinitions of a class break reflection
dcubed
parents: 1
diff changeset
  1607
  if (m == NULL) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1608
    THROW_MSG_0(vmSymbols::java_lang_InternalError(), "invoke");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1609
  }
224
6a257cd604e7 6667089: 3/3 multiple redefinitions of a class break reflection
dcubed
parents: 1
diff changeset
  1610
  methodHandle method(THREAD, m);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1611
  assert(method->name() == vmSymbols::object_initializer_name(), "invalid constructor");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1612
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1613
  // Make sure klass gets initialize
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1614
  klass->initialize(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1615
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1616
  // Create new instance (the receiver)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1617
  klass->check_valid_for_instantiation(false, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1618
  Handle receiver = klass->allocate_instance_handle(CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1619
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1620
  // Ignore result from call and return receiver
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1621
  invoke(klass, method, receiver, override, ptypes, T_VOID, args, false, CHECK_NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1622
  return receiver();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1623
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1624
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1625
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1626
#endif /* SUPPORT_OLD_REFLECTION */