annotate src/share/vm/classfile/defaultMethods.hpp @ 6934:4735d2c84362

7200776: Implement default methods in interfaces Summary: Add generic type analysis and default method selection algorithms Reviewed-by: coleenp, acorn
author kamg
date Thu, 11 Oct 2012 12:25:42 -0400
parents
children 36b97be47bde
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6934
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
1 /*
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
2 * Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
4 *
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
7 * published by the Free Software Foundation.
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
8 *
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
13 * accompanied this code).
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
14 *
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
18 *
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
21 * questions.
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
22 *
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
23 */
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
24
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
25 #ifndef SHARE_VM_CLASSFILE_DEFAULTMETHODS_HPP
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
26 #define SHARE_VM_CLASSFILE_DEFAULTMETHODS_HPP
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
27
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
28 #include "runtime/handles.hpp"
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
29 #include "utilities/growableArray.hpp"
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
30 #include "utilities/exceptions.hpp"
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
31
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
32 class InstanceKlass;
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
33 class Symbol;
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
34 class Method;
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
35
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
36 class DefaultMethods : AllStatic {
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
37 public:
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
38
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
39 // Analyzes class and determines which default methods are inherited
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
40 // from interfaces (and has no other implementation). For each method
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
41 // (and each different signature the method could have), create an
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
42 // "overpass" method that is an instance method that redirects to the
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
43 // default method. Overpass methods are added to the methods lists for
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
44 // the class.
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
45 static void generate_default_methods(
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
46 InstanceKlass* klass, GrowableArray<Method*>* mirandas, TRAPS);
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
47
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
48
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
49 // Called during linking when an invokespecial to an direct interface
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
50 // method is found. Selects and returns a method if there is a unique
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
51 // default method in the 'super_iface' part of the hierarchy which is
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
52 // also a candidate default for 'this_klass'. Otherwise throws an AME.
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
53 static Method* find_super_default(
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
54 Klass* this_klass, Klass* super_iface,
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
55 Symbol* method_name, Symbol* method_sig, TRAPS);
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
56 };
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
57
4735d2c84362 7200776: Implement default methods in interfaces
kamg
parents:
diff changeset
58 #endif // SHARE_VM_CLASSFILE_DEFAULTMETHODS_HPP