001package jmri.util;
002
003import java.io.File;
004import java.io.FilenameFilter;
005
006/**
007 * Filter for filenames ending in <em>.xml</em>.
008 * 
009 * @author Randall Wood (C) 2013, 2017
010 */
011public class XmlFilenameFilter implements FilenameFilter {
012
013    @Override
014    public boolean accept(File dir, String name) {
015        return name.toLowerCase().endsWith(".xml"); // NOI18N
016    }
017
018}