00001 package DisplayGUI; 00002 00007 public class ivFileFilter implements java.io.FileFilter { 00008 00009 String header = ".*"; 00010 00011 public ivFileFilter(String header) { 00012 this.header=header; 00013 } 00014 public ivFileFilter() { 00015 } 00016 00017 public boolean accept(java.io.File filename) { 00018 00019 java.util.regex.Pattern fpattern1 = java.util.regex.Pattern.compile(header+"_\\d{8}\\.txt"); 00020 00021 return fpattern1.matcher(filename.getName()).matches(); 00022 00023 } 00024 } 00025 00026