/FileExtraction/Java_unseen/dlitz_resin/modules/kernel/src/com/caucho/relaxng/Verifier.java
/*
 * Copyright (c) 1998-2011 Caucho Technology -- all rights reserved
 *
 * This file is part of Resin(R) Open Source
 *
 * Each copy or derived work must preserve the copyright notice and this
 * notice unmodified.
 *
 * Resin Open Source is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 2 of the License, or
 * (at your option) any later version.
 *
 * Resin Open Source is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE, or any warranty
 * of NON-INFRINGEMENT.  See the GNU General Public License for more
 * details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Resin Open Source; if not, write to the
 *
 *   Free Software Foundation, Inc.
 *   59 Temple Place, Suite 330
 *   Boston, MA 02111-1307  USA
 *
 * @author Scott Ferguson
 */

package com.caucho.relaxng;

import com.caucho.vfs.Path;
import com.caucho.vfs.ReadStream;
import com.caucho.vfs.Vfs;
import com.caucho.xml.Xml;

import org.xml.sax.ErrorHandler;
import org.xml.sax.SAXException;
import org.xml.sax.SAXParseException;

import java.io.IOException;
import java.util.logging.Level;
import java.util.logging.Logger;

/**
 * JARV verifier implementation
 */
abstract public class Verifier {
  private static final Logger log
    = Logger.getLogger(Verifier.class.getName());
  
  /**
   * Set the error handler.
   */
  abstract public void setErrorHandler(ErrorHandler handler);

  /**
   * Creates a verifier handler from the verifier.
   */
  abstract public VerifierHandler getVerifierHandler();
    

  /**
   * Returns a verifier filter.
   */
  public VerifierFilter getVerifierFilter()
  {
    return new VerifierFilter(this);
  }

  /**
   * Verifies a file.
   */
  public boolean verify(String url)
    throws IOException, SAXException
  {
    Path path = Vfs.lookup(url);

    ReadStream is = path.openRead();
    
    try {
      Xml xml = new Xml();

      VerifierHandler handler = getVerifierHandler();

      xml.setContentHandler(handler);

      xml.parse(is);

      return handler.isValid();
    } finally {
      is.close();
    }
  }

  /**
   * Sends an error.
   */
  public void error(SAXParseException e)
    throws SAXException
  {
    log.log(Level.FINE, e.toString(), e);
  }
}
