public class MapFileFilter
extends java.lang.Object
implements java.io.FilenameFilter
Constructor and Description |
---|
MapFileFilter()
Create a new file name filter for map files.
|
Modifier and Type | Method and Description |
---|---|
boolean |
accept(java.io.File dir,
java.lang.String name) |
Copyright 2020 Kieker Project, http://kieker-monitoring.net