# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1335348052 -7200
# Node ID 2cf9e7d965d649007826aec7996fc9c2c1760c92
# Parent  2baec1384f2d740eebcbb8f998e2e2cfff2ced44
Properly escape glob pattern when transforming to regex

diff -r 2baec1384f2d -r 2cf9e7d965d6 graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/MethodFilter.java
--- a/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/MethodFilter.java	Wed Apr 25 11:38:49 2012 +0200
+++ b/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/MethodFilter.java	Wed Apr 25 12:00:52 2012 +0200
@@ -94,7 +94,7 @@
     }
 
     static String createGlobString(String pattern) {
-        return pattern.replace("\\", "\\\\").replace(".", "\\.").replace('?', '.').replace("*", ".*").replace("[", "\\[").replace("]", "\\]");
+        return Pattern.quote(pattern).replace("?", "\\E.\\Q").replace("*", "\\E.*\\Q");
     }
 
     private static Pattern createClassGlobPattern(String pattern) {