📄 genericfilefilter.java
字号:
package palmsecuresdk.sample.data;
import java.io.File;
/** *//**
<b>Generic File Filter</b><br><BR>
This class is a method of having a generic file filter to be used with any file
extension that you require. At construction time this information is supplied
to the constructor<br>
<br><b>Copyright © Sondaicus.com and Jon Sharpe 1999.<br></b><BR><BR>
<I><B> Please note this code is distributed "as is" and without any form of
warrenty. If you find any bugs please email jonsharpe@sondaicus.com<br>
<br></i>
Please contact Sondaicus.com (jonsharpe@sondaicus.com) for details of licensing</b><br>
@author Jon Sharpe
@version 1.0
*/
public class GenericFileFilter extends javax.swing.filechooser.FileFilter
{
private static final boolean ONE = true;
private String fileExt;
private String[] fileExts;
private boolean type=false;
private String description;
private int length;
private String extension;
/** *//**
This is the constructor - it takes in the following:-<br>
filesExtsIn - this is the array of file extensions that you wish to create a
file filter for. <br>
description - this is the description that will be displayed in the file
chooser dialog box.
*/
public GenericFileFilter(String[] filesExtsIn, String description)
{
if (filesExtsIn.length==1)
{//we only have one file
type=ONE;
fileExt=filesExtsIn[0];
}
else
{
fileExts=filesExtsIn;
length = fileExts.length;
}
this.description=description;
}
/** *//**
This is the method to allow a file to bee added to the displayed list or not.
This method is called by the model that handles the FileChooser dialog
*/
public boolean accept(File f)
{
if (f.isDirectory())
{
return true;
}
extension = getExtension(f);
if (extension != null)
{
if(type)
return check(fileExt);
else
{
for(int i=0;i<length;i++)
{
if (check(fileExts[i]))
return true;
}
}
}
return false;
}
/** *//**
This checks to see if the extension (stored) is the same as the file type
stored at construction time. The "in" being the value passed over.
*/
private boolean check(String in)
{
return extension.equalsIgnoreCase(in);
}
/** *//**
This is the method defined by the model
*/
public String getDescription()
{
return description;
}
/** *//**
This is the method to get the file extension from the file name
*/
private String getExtension(File file)
{
String filename = file.getName();
int length = filename.length();
int i = filename.lastIndexOf('.');
if (i > 0 && i < length - 1)
return filename.substring(i+1).toLowerCase();
return null;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -