KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > columba > mail > folder > mh > MHMessageFileFilter


1 //The contents of this file are subject to the Mozilla Public License Version 1.1
2
//(the "License"); you may not use this file except in compliance with the
3
//License. You may obtain a copy of the License at http://www.mozilla.org/MPL/
4
//
5
//Software distributed under the License is distributed on an "AS IS" basis,
6
//WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
7
//for the specific language governing rights and
8
//limitations under the License.
9
//
10
//The Original Code is "The Columba Project"
11
//
12
//The Initial Developers of the Original Code are Frederik Dietz and Timo Stich.
13
//Portions created by Frederik Dietz and Timo Stich are Copyright (C) 2003.
14
//
15
//All Rights Reserved.
16
package org.columba.mail.folder.mh;
17
18 import java.io.File JavaDoc;
19 import java.io.FileFilter JavaDoc;
20 import java.util.regex.Matcher JavaDoc;
21 import java.util.regex.Pattern JavaDoc;
22
23
24 /**
25  * @author timo
26  *
27  * To change this generated comment edit the template variable "typecomment":
28  * Window>Preferences>Java>Templates.
29  * To enable and disable the creation of type comments go to
30  * Window>Preferences>Java>Code Generation.
31  */

32 public class MHMessageFileFilter implements FileFilter JavaDoc {
33     private static final Pattern JavaDoc filePattern = Pattern.compile("[0-9]+");
34     protected static MHMessageFileFilter myInstance;
35     private Matcher JavaDoc matcher;
36
37     protected MHMessageFileFilter() {
38         matcher = filePattern.matcher("");
39     }
40
41     public static MHMessageFileFilter getInstance() {
42         if (myInstance == null) {
43             myInstance = new MHMessageFileFilter();
44         }
45
46         return myInstance;
47     }
48
49     /**
50  * @see java.io.FileFilter#accept(java.io.File)
51  */

52     public boolean accept(File JavaDoc arg0) {
53         matcher.reset(arg0.getName());
54
55         return (arg0.isFile()) && matcher.matches();
56     }
57 }
58
Popular Tags