Class TxtFilenameFilter

java.lang.Object
  |
  +--TxtFilenameFilter

All Implemented Interfaces:

java.io.FilenameFilter

class TxtFilenameFilter

extends java.lang.Object

implements java.io.FilenameFilter

Filtert Dateien mit der Endung txt aus. Wird von Environment.load() oder irgendwo dort verwendet. Stand: 09.07.2001

Constructor Summary

(package private)

TxtFilenameFilter()

Method Summary

boolean

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

Methods inherited from class java.lang.Object

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

Constructor Detail

TxtFilenameFilter

TxtFilenameFilter()

Method Detail

accept

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

Specified by:

accept in interface java.io.FilenameFilter