/*

 * Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.

 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

 *

 * This code is free software; you can redistribute it and/or modify it

 * under the terms of the GNU General Public License version 2 only, as

 * published by the Free Software Foundation.

 *

 * This code is distributed in the hope that it will be useful, but WITHOUT

 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License

 * version 2 for more details (a copy is included in the LICENSE file that

 * accompanied this code).

 *

 * You should have received a copy of the GNU General Public License version

 * 2 along with this work; if not, write to the Free Software Foundation,

 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

 *

 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA

 * or visit www.oracle.com if you need additional information or have any

 * questions.

 *

 */

#ifndef SHARE_VM_CLASSFILE_DEFAULTMETHODS_HPP

#define SHARE_VM_CLASSFILE_DEFAULTMETHODS_HPP

#include "runtime/handles.hpp"

#include "utilities/growableArray.hpp"

#include "utilities/exceptions.hpp"

class InstanceKlass;

class Symbol;

class Method;

class DefaultMethods : AllStatic {

 public:

  // Analyzes class and determines which default methods are inherited

  // from interfaces (and has no other implementation).  For each method

  // (and each different signature the method could have), create an

  // "overpass" method that is an instance method that redirects to the

  // default method.  Overpass methods are added to the methods lists for

  // the class.

  static void generate_default_methods(

      InstanceKlass* klass, GrowableArray<Method*>* mirandas, TRAPS);

  // Called during linking when an invokespecial to an direct interface

  // method is found.  Selects and returns a method if there is a unique

  // default method in the 'super_iface' part of the hierarchy which is

  // also a candidate default for 'this_klass'.  Otherwise throws an AME.

  static Method* find_super_default(

      Klass* this_klass, Klass* super_iface,

      Symbol* method_name, Symbol* method_sig, TRAPS);

};

#endif // SHARE_VM_CLASSFILE_DEFAULTMETHODS_HPP