comparison graal/com.oracle.graal.java/src/com/oracle/graal/java/DefaultGraphBuilderPlugins.java @ 19243:006e321d592b

removed use of ServiceLoader for graph builder plugins
author Doug Simon <doug.simon@oracle.com>
date Tue, 10 Feb 2015 21:11:43 +0100
parents 81be933b83eb
children
comparison
equal deleted inserted replaced
19242:51b6ea17aebe 19243:006e321d592b
53 */ 53 */
54 public InvocationPlugin lookupInvocation(ResolvedJavaMethod method) { 54 public InvocationPlugin lookupInvocation(ResolvedJavaMethod method) {
55 return plugins.get(method); 55 return plugins.get(method);
56 } 56 }
57 57
58 public DefaultGraphBuilderPlugins copy() {
59 DefaultGraphBuilderPlugins result = new DefaultGraphBuilderPlugins();
60 result.plugins.putAll(plugins);
61 return result;
62 }
63
58 @Override 64 @Override
59 public String toString() { 65 public String toString() {
60 return plugins.keySet().stream().map(m -> m.format("%H.%n(%p)")).collect(Collectors.joining(", ")); 66 return plugins.keySet().stream().map(m -> m.format("%H.%n(%p)")).collect(Collectors.joining(", "));
61 } 67 }
62 } 68 }