📄 filefilter.java
字号:
public class filefilter extends javax.swing.filechooser.FileFilter{
String[] extensions;
String description;
public filefilter(String ext)
{
this(new String[]{ext},null);
}
public filefilter(String[] exts,String descr)
{
//Clone and lowercase the extensions
extensions=new String[exts.length];
for (int i=exts.length-1;i>=0;i--){
extensions[i] = exts[i].toLowerCase();
}
//Make sure we have a valid (if simplistic) description.
description=(descr==null?exts[0]+" files":descr);
}
/**
* Whethen the given file is accepted by this filter
* @Param file - the given file.
*/
public boolean accept(java.io.File file){
if(file.isDirectory()) return true;//Accept if the file system member is a directory
//Retrieve the file name.
String fileName=file.getName().toLowerCase();
//It's a regular file, so check the extension.
for(int i=extensions.length-1;i>=0;i--){
if(fileName.endsWith(extensions[i]))
return true;
}
return false;
}
/**
*The description of this filter
*@return the description of the filter
*/
public String getDescription(){
return description;
}//getDescription()
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -