📄 filter.java
字号:
import java.io.*;
public class Filter implements FileFilter
{
private String extensions[];
private String description;
public Filter(String description,String extension)
{
this(description,new String[]{extension});
}
public Filter(String description,String extensions[])
{
this.description=description;
this.extensions=(String[])extensions.clone();
}
public boolean accept(File file)
{
if(file.isDirectory()){
return true;
}
int count=extensions.length;
String path=file.getAbsolutePath();
for(int i=0;i<count;i++)
{
String ext=extensions[i];
if(path.endsWith(ext) && (path.charAt(path.length()-ext.length())=='.')){
return true;
}
}
return false;
}
public String getDescription(){
return (description==null? extensions[0]:description );
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -