diff 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
line wrap: on
line diff
--- a/graal/com.oracle.graal.java/src/com/oracle/graal/java/DefaultGraphBuilderPlugins.java	Tue Feb 10 20:44:08 2015 +0100
+++ b/graal/com.oracle.graal.java/src/com/oracle/graal/java/DefaultGraphBuilderPlugins.java	Tue Feb 10 21:11:43 2015 +0100
@@ -55,6 +55,12 @@
         return plugins.get(method);
     }
 
+    public DefaultGraphBuilderPlugins copy() {
+        DefaultGraphBuilderPlugins result = new DefaultGraphBuilderPlugins();
+        result.plugins.putAll(plugins);
+        return result;
+    }
+
     @Override
     public String toString() {
         return plugins.keySet().stream().map(m -> m.format("%H.%n(%p)")).collect(Collectors.joining(", "));