|
||||||||||
| 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 FilterRuleelem - 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 | |||||||||