OSDN Git Service

* include/name-finder.h (_Jv_name_finder::myclose): New method.
[pf3gnuchains/gcc-fork.git] / libjava / resolve.cc
index ab1fafb..fba6cba 100644 (file)
@@ -1,6 +1,6 @@
 // resolve.cc - Code for linking and resolving classes and pool entries.
 
-/* Copyright (C) 1999, 2000  Free Software Foundation
+/* Copyright (C) 1999, 2000, 2001 , 2002 Free Software Foundation
 
    This file is part of libgcj.
 
@@ -32,6 +32,19 @@ details.  */
 #include <java/lang/IncompatibleClassChangeError.h>
 #include <java/lang/reflect/Modifier.h>
 
+using namespace gcj;
+
+void
+_Jv_ResolveField (_Jv_Field *field, java::lang::ClassLoader *loader)
+{
+  if (! field->isResolved ())
+    {
+      _Jv_Utf8Const *sig = (_Jv_Utf8Const*)field->type;
+      field->type = _Jv_FindClassFromSignature (sig->data, loader);
+      field->flags &= ~_Jv_FIELD_UNRESOLVED_FLAG;
+    }
+}
+
 #ifdef INTERPRETER
 
 static void throw_internal_error (char *msg)
@@ -41,11 +54,9 @@ static void throw_class_format_error (jstring msg)
 static void throw_class_format_error (char *msg)
        __attribute__ ((__noreturn__));
 
-#define ClassObject _CL_Q34java4lang6Object
-extern java::lang::Class ClassObject;
-#define ObjectClass _CL_Q34java4lang6Object
-extern java::lang::Class ObjectClass;
-
+// Exceptional return values for _Jv_DetermineVTableIndex
+#define METHOD_NOT_THERE (-2)
+#define METHOD_INACCESSIBLE (-1)
 
 static int get_alignment_from_class (jclass);
 
@@ -56,12 +67,9 @@ _Jv_BuildResolvedMethod (_Jv_Method*,
                         jint);
 
 
-// We need to know the name of a constructor.
-static _Jv_Utf8Const *init_name = _Jv_makeUtf8Const ("<init>", 6);
-
 static void throw_incompatible_class_change_error (jstring msg)
 {
-  JvThrow (new java::lang::IncompatibleClassChangeError (msg));
+  throw new java::lang::IncompatibleClassChangeError (msg);
 }
 
 _Jv_word
@@ -89,7 +97,7 @@ _Jv_ResolvePoolEntry (jclass klass, int index)
       if (! found)
        {
          jstring str = _Jv_NewStringUTF (name->data);
-         JvThrow (new java::lang::ClassNotFoundException (str));
+         throw new java::lang::ClassNotFoundException (str);
        }
 
       if ((found->accflags & Modifier::PUBLIC) == Modifier::PUBLIC
@@ -101,7 +109,7 @@ _Jv_ResolvePoolEntry (jclass klass, int index)
        }
       else
        {
-         JvThrow (new java::lang::IllegalAccessError (found->getName()));
+         throw new java::lang::IllegalAccessError (found->getName());
        }
     }
     break;
@@ -176,17 +184,16 @@ _Jv_ResolvePoolEntry (jclass klass, int index)
                    _Jv_ResolveField (field, cls->loader);
 
                  if (field_type != 0 && field->type != field_type)
-                   JvThrow
-                     (new java::lang::LinkageError
-                      (JvNewStringLatin1 
-                       ("field type mismatch with different loaders")));
+                   throw new java::lang::LinkageError
+                     (JvNewStringLatin1 
+                      ("field type mismatch with different loaders"));
 
                  the_field = field;
                  goto end_of_field_search;
                }
              else
                {
-                 JvThrow (new java::lang::IllegalAccessError);
+                 throw new java::lang::IllegalAccessError;
                }
            }
        }
@@ -299,7 +306,7 @@ _Jv_ResolvePoolEntry (jclass klass, int index)
        vtable_index = _Jv_DetermineVTableIndex
          (found_class, method_name, method_signature);
 
-      if (vtable_index == 0)
+      if (vtable_index == METHOD_NOT_THERE)
        throw_incompatible_class_change_error
          (JvNewStringLatin1 ("method not found"));
 
@@ -310,7 +317,7 @@ _Jv_ResolvePoolEntry (jclass klass, int index)
          msg = msg->concat (JvNewStringLatin1("."));
          msg = msg->concat (_Jv_NewStringUTF (method_name->data));
          msg = msg->concat (JvNewStringLatin1(" was not found."));
-         JvThrow(new java::lang::NoSuchMethodError (msg));
+         throw new java::lang::NoSuchMethodError (msg);
        }
       
       pool->data[index].rmethod = 
@@ -357,30 +364,19 @@ _Jv_SearchMethodInClass (jclass cls, jclass klass,
        }
       else
        {
-         JvThrow (new java::lang::IllegalAccessError);
+         throw new java::lang::IllegalAccessError;
        }
     }
   return 0;
 }
 
-void
-_Jv_ResolveField (_Jv_Field *field, java::lang::ClassLoader *loader)
-{
-  if (! field->isResolved ())
-    {
-      _Jv_Utf8Const *sig = (_Jv_Utf8Const*)field->type;
-      field->type = _Jv_FindClassFromSignature (sig->data, loader);
-      field->flags &= ~_Jv_FIELD_UNRESOLVED_FLAG;
-    }
-}
-
 /** FIXME: this is a terribly inefficient algorithm!  It would improve
     things if compiled classes to know vtable offset, and _Jv_Method had
     a field for this.
 
-    Returns  if this class does not declare the given method.
-    Returns -1 if the given method does not appear in the vtable.
-               i.e., it is static, private, final or a constructor.
+    Returns METHOD_NOT_THERE if this class does not declare the given method.
+    Returns METHOD_INACCESSIBLE if the given method does not appear in the
+               vtable, i.e., it is static, private, final or a constructor.
     Otherwise, returns the vtable index.  */
 int 
 _Jv_DetermineVTableIndex (jclass klass,
@@ -396,7 +392,7 @@ _Jv_DetermineVTableIndex (jclass klass,
       int prev = _Jv_DetermineVTableIndex (super_class,
                                           name,
                                           signature);
-      if (prev != 0)
+      if (prev != METHOD_NOT_THERE)
        return prev;
     }
 
@@ -410,7 +406,7 @@ _Jv_DetermineVTableIndex (jclass klass,
 
   /* now, if we do not declare this method, return zero */
   if (meth == NULL)
-    return 0;
+    return METHOD_NOT_THERE;
 
   /* so now, we know not only that the super class does not declare the
    * method, but we do!  So, this is a first declaration of the method. */
@@ -427,21 +423,21 @@ _Jv_DetermineVTableIndex (jclass klass,
                         | Modifier::FINAL)) != 0
       || (klass->accflags & Modifier::FINAL) != 0
       || _Jv_equalUtf8Consts (name, init_name))
-    return -1;
+    return METHOD_INACCESSIBLE;
 
   /* reaching this point, we know for sure, that the method in question
    * will be in the vtable.  The question is where. */
 
   /* the base offset, is where we will start assigning vtable
-   * indexes for this class.  It is 1 for base classes
-   * (vtable->method[0] is unused), and for non-base classes it is the
-   * number of entries in the super class' vtable plus 1. */
+   * indexes for this class.  It is 0 for base classes
+   * and for non-base classes it is the
+   * number of entries in the super class' vtable. */
 
   int base_offset;
   if (super_class == 0)
-    base_offset = 1;
+    base_offset = 0;
   else
-    base_offset = super_class->vtable_method_count+1;
+    base_offset = super_class->vtable_method_count;
 
   /* we will consider methods 0..this_method_index-1.  And for each one,
    * determine if it is new (i.e., if it appears in the super class),
@@ -488,7 +484,7 @@ _Jv_DetermineVTableIndex (jclass klass,
 static void
 _Jv_abstractMethodError ()
 {
-  JvThrow (new java::lang::AbstractMethodError);
+  throw new java::lang::AbstractMethodError;
 }
 
 void 
@@ -582,11 +578,11 @@ _Jv_PrepareClass(jclass klass)
 
   // set the instance size for the class
   clz->size_in_bytes = instance_size;
-    
+
   // allocate static memory
   if (static_size != 0)
     {
-      char *static_data = (char*)_Jv_AllocBytesChecked (static_size);
+      char *static_data = (char*)_Jv_AllocBytes (static_size);
 
       memset (static_data, 0, static_size);
 
@@ -632,6 +628,7 @@ _Jv_PrepareClass(jclass klass)
       else if (imeth != 0)             // it could be abstract
        {
          _Jv_InterpMethod *im = reinterpret_cast<_Jv_InterpMethod *> (imeth);
+         _Jv_VerifyMethod (im);
          clz->methods[i].ncode = im->ncode ();
        }
     }
@@ -686,8 +683,7 @@ _Jv_PrepareClass(jclass klass)
        {
          clz->state = JV_STATE_ERROR;
          clz->notifyAll ();
-         JvThrow (new java::lang::IncompatibleClassChangeError 
-                          (clz->getName ()));
+         throw new java::lang::IncompatibleClassChangeError (clz->getName ());
        }
 
       /* FIXME: At this point, if (loader != super_class->loader), we
@@ -700,10 +696,9 @@ _Jv_PrepareClass(jclass klass)
   clz->vtable_method_count = vtable_count;
 
   /* allocate vtable structure */
-  _Jv_VTable *vtable = (_Jv_VTable*) 
-    _Jv_AllocBytesChecked (sizeof (_Jv_VTable) 
-                          + (sizeof (void*) * (vtable_count)));
+  _Jv_VTable *vtable = _Jv_VTable::new_vtable (vtable_count);
   vtable->clas = clz;
+  vtable->gc_descr = _Jv_BuildGCDescr(clz);
 
   {
     jclass effective_superclass = super_class;
@@ -713,11 +708,10 @@ _Jv_PrepareClass(jclass klass)
     while (effective_superclass && effective_superclass->vtable == NULL)
       effective_superclass = effective_superclass->superclass;
 
-    /* copy super class' vtable entries (index 0 goes unused). */
+    /* copy super class' vtable entries. */
     if (effective_superclass && effective_superclass->vtable)
-      memcpy ((void*)&vtable->method[1],
-             (void*)&effective_superclass->vtable->method[1],
-             sizeof (void*) * effective_superclass->vtable_method_count);
+      for (int i = 0; i < effective_superclass->vtable_method_count; ++i)
+       vtable->set_method (i, effective_superclass->vtable->get_method (i));
   }
 
   /* now, install our own vtable entries, reprise... */
@@ -729,18 +723,18 @@ _Jv_PrepareClass(jclass klass)
                                            this_meth->name,
                                            this_meth->signature);
 
-      if (index == 0)
+      if (index == METHOD_NOT_THERE)
        throw_internal_error ("method now found in own class");
 
-      if (index != -1)
+      if (index != METHOD_INACCESSIBLE)
        {
-         if (index > clz->vtable_method_count+1)
+         if (index > clz->vtable_method_count)
            throw_internal_error ("vtable problem...");
 
          if (clz->interpreted_methods[i] == 0)
-           vtable->method[index] = (void*)&_Jv_abstractMethodError;
+           vtable->set_method(index, (void*)&_Jv_abstractMethodError);
          else
-           vtable->method[index] = this_meth->ncode;
+           vtable->set_method(index, this_meth->ncode);
        }
     }
 
@@ -805,7 +799,8 @@ _Jv_InitField (jobject obj, jclass klass, int index)
       /* fall through */
 
     case JV_CONSTANT_ResolvedString:
-      if (! (field->type == &StringClass || field->type == &ObjectClass))
+      if (! (field->type == &StringClass
+            || field->type == &java::lang::Class::class$))
        throw_class_format_error ("string initialiser to non-string field");
 
       *(jstring*)addr = pool->data[init].string;
@@ -964,9 +959,9 @@ get_ffi_type_from_signature (unsigned char* ptr)
  * function is non-static, then one is added to the number of elements
  * found in the signature */
 
-static int 
-count_arguments (_Jv_Utf8Const *signature,
-                jboolean staticp)
+int 
+_Jv_count_arguments (_Jv_Utf8Const *signature,
+                    jboolean staticp)
 {
   unsigned char *ptr = (unsigned char*) signature->data;
   int arg_count = staticp ? 0 : 1;
@@ -1054,7 +1049,7 @@ init_cif (_Jv_Utf8Const* signature,
 #endif
 
 /* we put this one here, and not in interpret.cc because it
- * calls the utility routines count_arguments 
+ * calls the utility routines _Jv_count_arguments 
  * which are static to this module.  The following struct defines the
  * layout we use for the stubs, it's only used in the ncode method. */
 
@@ -1075,10 +1070,10 @@ _Jv_InterpMethod::ncode ()
     return self->ncode;
 
   jboolean staticp = (self->accflags & Modifier::STATIC) != 0;
-  int arg_count = count_arguments (self->signature, staticp);
+  int arg_count = _Jv_count_arguments (self->signature, staticp);
 
   ncode_closure *closure =
-    (ncode_closure*)_Jv_AllocBytesChecked (sizeof (ncode_closure)
+    (ncode_closure*)_Jv_AllocBytes (sizeof (ncode_closure)
                                        + arg_count * sizeof (ffi_type*));
 
   init_cif (self->signature,
@@ -1125,11 +1120,11 @@ _Jv_JNIMethod::ncode ()
     return self->ncode;
 
   jboolean staticp = (self->accflags & Modifier::STATIC) != 0;
-  int arg_count = count_arguments (self->signature, staticp);
+  int arg_count = _Jv_count_arguments (self->signature, staticp);
 
   ncode_closure *closure =
-    (ncode_closure*)_Jv_AllocBytesChecked (sizeof (ncode_closure)
-                                       + arg_count * sizeof (ffi_type*));
+    (ncode_closure*)_Jv_AllocBytes (sizeof (ncode_closure)
+                                   + arg_count * sizeof (ffi_type*));
 
   ffi_type *rtype;
   init_cif (self->signature,
@@ -1186,11 +1181,11 @@ _Jv_BuildResolvedMethod (_Jv_Method* method,
                         jboolean staticp,
                         jint vtable_index)
 {
-  int arg_count = count_arguments (method->signature, staticp);
+  int arg_count = _Jv_count_arguments (method->signature, staticp);
 
   _Jv_ResolvedMethod* result = (_Jv_ResolvedMethod*)
-    _Jv_AllocBytesChecked (sizeof (_Jv_ResolvedMethod)
-                          + arg_count*sizeof (ffi_type*));
+    _Jv_AllocBytes (sizeof (_Jv_ResolvedMethod)
+                   + arg_count*sizeof (ffi_type*));
 
   result->stack_item_count
     = init_cif (method->signature,
@@ -1211,10 +1206,9 @@ _Jv_BuildResolvedMethod (_Jv_Method* method,
 static void
 throw_class_format_error (jstring msg)
 {
-  if (msg == 0)
-    JvThrow (new java::lang::ClassFormatError);
-  else
-    JvThrow (new java::lang::ClassFormatError (msg));
+  throw (msg
+        ? new java::lang::ClassFormatError (msg)
+        : new java::lang::ClassFormatError);
 }
 
 static void
@@ -1226,8 +1220,7 @@ throw_class_format_error (char *msg)
 static void
 throw_internal_error (char *msg)
 {
-  JvThrow 
-    (new java::lang::InternalError (JvNewStringLatin1 (msg)));
+  throw new java::lang::InternalError (JvNewStringLatin1 (msg));
 }