/*
 * ElementValueFilter.java
 *
 * Copyright 2011 John W Dawson
 *
 * This code is distributed under the terms of the GNU General Public License, version 3
 *
 * A filter to find elements with given name and a particular value
 */
 
import org.jdom2.filter.*;
import org.jdom2.*;
public class ElementValueFilter extends ElementFilter
{
  private String value;
  
  public ElementValueFilter (String name, String value)
  {
    super (name);
    this.value = value;
  }
  
  public Element filter (java.lang.Object obj)
  {
    // First check that object is an element with required name
    Element element = super.filter (obj);
    if (element != null)
    {
      // Now check if it has required attribute value
      return value.equals (element.getText()) ? element : null;
    }
    else
    {
      return null;
    }
  }
}