📄 filename.java
字号:
package tom.jiafei;
import java.io.*;
class FileName implements FilenameFilter
{
String str=null;
FileName (String s)
{
str="."+s;
}
public boolean accept(File dir,String name)
{
return name.endsWith(str);
}
}
public class ListFile
{
String extendsName=null;
public void setExtendsName(String s)
{
extendsName=s;
}
public String getExtendsName()
{
return extendsName;
}
public String[] listFile()
{
File dir=new File("c:/Tomcat5.0/webapps/root/");
FileName file_jsp=new FileName(extendsName);
String file_name[]=dir.list(file_jsp);
return file_name;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -