📄 filefilter.java
字号:
import java.io.*;
import java.awt.*;
public class fileFilter implements FilenameFilter
{
public static void main(String[] args)
{
try
{
File f = getFile();
if (f == null) return;
//得到文件并打印在标准输出
FileInputStream fin = new FileInputStream(f);
int c=-1;
while ((c = fin.read()) != -1)
{
System.out.write(c);
}
}
catch (IOException e)
{
System.err.println(e);
}
System.exit(0);
}
public boolean accept(File dir, String name)
{
//可接受的扩展名列表
if (name.endsWith(".java")) return true;
else if (name.endsWith(".jav")) return true;
else if (name.endsWith(".html")) return true;
else if (name.endsWith(".htm")) return true;
else if (name.endsWith(".txt")) return true;
return false;
}
public static File getFile() throws IOException
{
//实例化一个空的frame
Frame parent = new Frame();
//得到一个文件对话框
FileDialog fd = new FileDialog(parent, "Please choose a file:", FileDialog.LOAD);
//设置文件名过滤器为
fd.setFilenameFilter(new fileFilter());
fd.show();
//程序将在这里阻塞
String dir = fd.getDirectory();
String file = fd.getFile();
//清除工作
parent.dispose();
fd.dispose();
//如果用户点击cancle,返回null
if (dir == null || file == null)
{
return null;
}
return new File(dir, file);
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -