edu.ucla.belief.io
Class InflibFileFilter
Object
FileFilter
InflibFileFilter
public class InflibFileFilter
- extends FileFilter
- Since:
- 121302
- Author:
- Keith Cascio
InflibFileFilter
public InflibFileFilter(String[] extensions,
String description)
accept
public boolean accept(File file)
- Specified by:
accept
in class FileFilter
getCaseSensitive
public boolean getCaseSensitive()
- Since:
- 420! '04
setCaseSensitive
public void setCaseSensitive(boolean flag)
- Since:
- 420! '04
validateExtension
public File validateExtension(File selectedFile)
getDescription
public String getDescription()
- Specified by:
getDescription
in class FileFilter
getExtensions
public String[] getExtensions()
- Since:
- 051503
Copyright 2010 UCLA Automated Reasoning Group