📄 jobouputfilefiler.java
字号:
/* * JobOuputFileFiler.java * * Created on April 11, 2005, 3:22 PM */package jwsgrid.jobhost.priv;import java.io.*;import java.util.Vector;/** * * @author sean */public class JobOuputFileFiler implements FilenameFilter { private Vector fileFilerVector = new Vector(); /** Creates a new instance of JobOuputFileFiler */ public JobOuputFileFiler() { } public void add( File file ) { fileFilerVector.add( file ); } public boolean accept( File dir, String name ) { for ( int i = 0; i < fileFilerVector.size(); i++ ) { File file = (File) fileFilerVector.elementAt( i ); // parent null, dir null if ( file.getParentFile() == null && dir == null ) { if ( file.getName().compareTo( name ) == 0 ) { return false; } // parent not null, dir null or parent null, dir not null } else if( (file.getParentFile() != null && dir == null) || (file.getParentFile() == null && dir != null) ) { continue; // regular comparison } else { if ( file.getParentFile().compareTo( dir ) == 0 && file.getName().compareTo( name ) == 0 ) { return false; } } } return true; } public String toString() { String str = ""; for ( int i = 0; i < fileFilerVector.size(); i++ ) { File file = (File) fileFilerVector.elementAt( i ); str += file.getPath().toString() + "\n"; } return str; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -