📄 webpagefilefilter.java
字号:
package shopcart.servlets;import java.io.*;public class WebPageFileFilter extends Object implements FilenameFilter{ public static String extensions[] = {".html" ,".htm" ,".shtml"}; public boolean accept(File dir, String name) { boolean retVal = false; int i,max; max = extensions.length; for(i=0;i<max;i++) { if(name.endsWith(extensions[i])) { retVal = true; break; } } return retVal; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -