edu.rice.cs.drjava.config
Class RecursiveFileListProperty.FileMaskFilter

java.lang.Object
  edu.rice.cs.drjava.config.RecursiveFileListProperty.RegexFilter
      edu.rice.cs.drjava.config.RecursiveFileListProperty.FileMaskFilter

All Implemented Interfaces:

FileFilter

Enclosing class:

RecursiveFileListProperty

public static class RecursiveFileListProperty.FileMaskFilter
extends RecursiveFileListProperty.RegexFilter

Field Summary

private HashSet<File>	_exclude
private HashSet<File>	_include

Fields inherited from class edu.rice.cs.drjava.config.RecursiveFileListProperty.RegexFilter

_regex

Constructor Summary

RecursiveFileListProperty.FileMaskFilter(String mask)

Method Summary

boolean	accept(File pathname)
void	addExcludedFile(File f)
void	addIncludedFile(File f)
void	clearExcludedFile()
void	clearIncludedFile()
void	removeExcludedFile(File f)
void	removeIncludedFile(File f)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

_include

private HashSet<File> _include

_exclude

private HashSet<File> _exclude

Constructor Detail

RecursiveFileListProperty.FileMaskFilter

public RecursiveFileListProperty.FileMaskFilter(String mask)

Method Detail

accept

public boolean accept(File pathname)

Specified by:

accept in interface FileFilter

Overrides:

accept in class RecursiveFileListProperty.RegexFilter

addIncludedFile

public void addIncludedFile(File f)

removeIncludedFile

public void removeIncludedFile(File f)

clearIncludedFile

public void clearIncludedFile()

addExcludedFile

public void addExcludedFile(File f)

removeExcludedFile

public void removeExcludedFile(File f)

clearExcludedFile

public void clearExcludedFile()