// Generated automatically from org.apache.tools.ant.types.selectors.FilenameSelector for testing purposes

package org.apache.tools.ant.types.selectors;

import java.io.File;
import org.apache.tools.ant.types.Parameter;
import org.apache.tools.ant.types.selectors.BaseExtendSelector;

public class FilenameSelector extends BaseExtendSelector
{
    public FilenameSelector(){}
    public String toString(){ return null; }
    public boolean isSelected(File p0, String p1, File p2){ return false; }
    public static String CASE_KEY = null;
    public static String NAME_KEY = null;
    public static String NEGATE_KEY = null;
    public static String REGEX_KEY = null;
    public void setCasesensitive(boolean p0){}
    public void setName(String p0){}
    public void setNegate(boolean p0){}
    public void setParameters(Parameter... p0){}
    public void setRegex(String p0){}
    public void verifySettings(){}
}
