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