changeset 9853:e45c7720b46b

use package of generated OptionProvider to filter Graal options that are parsed from the HotSpot command line (GRAAL-27)
author Doug Simon <doug.simon@oracle.com>
date Mon, 03 Jun 2013 23:26:35 +0200
parents e876c2a6954f
children 394f38496856
files graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotOptions.java
diffstat 1 files changed, 4 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotOptions.java	Mon Jun 03 21:59:44 2013 +0200
+++ b/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/HotSpotOptions.java	Mon Jun 03 23:26:35 2013 +0200
@@ -37,8 +37,10 @@
     static {
         ServiceLoader<OptionProvider> sl = ServiceLoader.loadInstalled(OptionProvider.class);
         for (OptionProvider provider : sl) {
-            String name = provider.getName();
-            options.put(name, provider);
+            if (provider.getClass().getName().startsWith("com.oracle.graal")) {
+                String name = provider.getName();
+                options.put(name, provider);
+            }
         }
     }