|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ereinion.io.ExtFilter
Questa classe fornisce una regola di filtraggio i file basata sulla loro estensione. Un file viene accettato se e solo se la sua estensione rientra tra quelle previste. le estensione vanno fornite senza 'dot'
Constructor Summary | |
ExtFilter(java.lang.String ext)
Crea un nuovo filtro che accetta solo l' estensione impostata. |
|
ExtFilter(java.lang.String[] exts)
Crea un nuovo filtro che accetta solo le estensioni impostate. |
Method Summary | |
boolean |
accept(java.io.File dir,
java.lang.String name)
|
boolean |
accept(java.lang.Object elem)
Accetta un file solo se ha una estensione consentita da questo filtro. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public ExtFilter(java.lang.String[] exts)
exts
- le estensioni di file che vengono accettate.public ExtFilter(java.lang.String ext)
ext
- l' estensione di file che viene accettata.Method Detail |
public boolean accept(java.lang.Object elem)
accept
in interface FilterRule
elem
- deve essere un file.
true
se l'elemento viene accettato dal filtro, false
se viene scartato.public boolean accept(java.io.File dir, java.lang.String name)
accept
in interface java.io.FilenameFilter
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |