/*
 * ElementNameFilter.java
 *
 * Copyright 2011 John W Dawson
 *
 * This code is distributed under the terms of the GNU General Public License, version 3
 *
 * A filter to search for elements with a particuar name attribute
 */
 
public class ElementNameFilter extends ElementAttributeFilter
{
  public ElementNameFilter (String elementName, String name)
  {
    super (elementName, "name", name);
  }
}