plume

Class UtilMDE.WildcardFilter

java.lang.Object

plume.UtilMDE.WildcardFilter

All Implemented Interfaces:

java.io.FilenameFilter

Enclosing class:

UtilMDE

public static final class UtilMDE.WildcardFilter
extends java.lang.Object
implements java.io.FilenameFilter

A FilenameFilter that accepts files whose name matches the given wildcard. The wildcard must contain exactly one "*".

Constructor Summary

Constructors

Constructor and Description
WildcardFilter(java.lang.String filename)

Method Summary

Modifier and Type	Method and Description
boolean	accept(java.io.File dir, java.lang.String name)

Methods inherited from class java.lang.Object

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

Constructor Detail

WildcardFilter

public WildcardFilter(java.lang.String filename)

Method Detail

accept

public boolean accept(java.io.File dir,
                      java.lang.String name)

Specified by:

accept in interface java.io.FilenameFilter