Fixed error on pool account resolution in case name contains numbers

Fix for #28

src/main/java/org/glite/authz/pep/obligation/dfpmap/DefaultFilenameFilter.java

@@ -0,0 +1,33 @@
+package org.glite.authz.pep.obligation.dfpmap;
+
+import java.io.File;
+import java.io.FilenameFilter;
+import java.util.regex.Matcher;
+import java.util.regex.Pattern;
+
+public class DefaultFilenameFilter implements FilenameFilter {
+
+  private final String prefix;
+
+  /**
+   * RegExp pattern used to identify pool account names.
+   * 
+   * Contains a single group match whose value is the pool account name prefix.
+   * 
+   */
+  private final Pattern poolAccountNamePattern =
+      Pattern.compile("^([a-zA-Z][a-zA-Z0-9._-]*?)[0-9]{3,3}$");
+
+  public DefaultFilenameFilter(String prefix) {
+    this.prefix = prefix;
+  }
+
+  @Override
+  public boolean accept(File dir, String name) {
+
+    Matcher nameMatcher = poolAccountNamePattern.matcher(name);
+
+    return nameMatcher.matches() && (prefix == null || prefix.equals(nameMatcher.group(1)));
+  }
+
+}

src/main/java/org/glite/authz/pep/obligation/dfpmap/DefaultPoolAccountResolver.java

@@ -18,20 +18,8 @@
 package org.glite.authz.pep.obligation.dfpmap;
 
 import java.io.File;
-import java.io.FilenameFilter;
-import java.util.regex.Matcher;
-import java.util.regex.Pattern;
 
-public class DefaultPoolAccountResolver implements PoolAccountResolver{
-
-  /**
-   * Regexp pattern used to identify pool account names.
-   * 
-   * Contains a single group match whose value is the pool account name prefix.
-   * 
-   */
-  private final Pattern poolAccountNamePattern_ = Pattern
-    .compile("^([a-zA-Z][a-zA-Z0-9._-]*?)[0-9]++$");
+public class DefaultPoolAccountResolver implements PoolAccountResolver {
 
   final File gridmapDir;
 
@@ -40,31 +28,16 @@ public DefaultPoolAccountResolver(final File gridmapDir) {
   }
 
   /**
-   * Gets a list of account files where the file names begin with the given
-   * prefix.
+   * Gets a list of account files where the file names begin with the given prefix.
    * 
-   * @param prefix
-   *          prefix with which the file names should begin, may be null to
-   *          signify all file names
+   * @param prefix prefix with which the file names should begin, may be null to signify all file
+   *        names
    * 
    * @return the selected account files
    */
   public File[] getAccountFiles(final String prefix) {
 
-    return gridmapDir.listFiles(new FilenameFilter() {
-
-      public boolean accept(final File dir, final String name) {
-
-        Matcher nameMatcher = poolAccountNamePattern_.matcher(name);
-
-        if (nameMatcher.matches()) {
-          if (prefix == null || prefix.equals(nameMatcher.group(1))) {
-            return true;
-          }
-        }
-        return false;
-      }
-    });
+    return gridmapDir.listFiles(new DefaultFilenameFilter(prefix));
   }
 
 }