blob: 513e9b6b8ca330c7f7841a01ca7720e7f3ef1346 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
/*************************************************************************
*
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* Copyright 2008 by Sun Microsystems, Inc.
*
* OpenOffice.org - a multi-platform office productivity suite
*
* $RCSfile: FileExtensionFilter.java,v $
* $Revision: 1.3 $
*
* This file is part of OpenOffice.org.
*
* OpenOffice.org is free software: you can redistribute it and/or modify
* it under the terms of the GNU Lesser General Public License version 3
* only, as published by the Free Software Foundation.
*
* OpenOffice.org is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU Lesser General Public License version 3 for more details
* (a copy is included in the LICENSE file that accompanied this code).
*
* You should have received a copy of the GNU Lesser General Public License
* version 3 along with OpenOffice.org. If not, see
* <http://www.openoffice.org/license.html>
* for a copy of the LGPLv3 License.
*
************************************************************************/
package org.openoffice.setup.Util;
import java.io.File;
import java.io.FilenameFilter;
public class FileExtensionFilter implements FilenameFilter {
private String fileExtension;
public FileExtensionFilter(String extension) {
fileExtension = extension;
if ( ! fileExtension.startsWith(".") ) {
fileExtension = "." + fileExtension;
}
}
public boolean accept(File dir, String name) {
if (name.endsWith(fileExtension)) {
File candidate = new File(dir, name);
if (candidate.isFile() && candidate.canRead()) {
return true;
}
}
return false;
}
}
|