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