KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > com > caucho > relaxng > Verifier


1 /*
2  * Copyright (c) 1998-2006 Caucho Technology -- all rights reserved
3  *
4  * This file is part of Resin(R) Open Source
5  *
6  * Each copy or derived work must preserve the copyright notice and this
7  * notice unmodified.
8  *
9  * Resin Open Source is free software; you can redistribute it and/or modify
10  * it under the terms of the GNU General Public License as published by
11  * the Free Software Foundation; either version 2 of the License, or
12  * (at your option) any later version.
13  *
14  * Resin Open Source is distributed in the hope that it will be useful,
15  * but WITHOUT ANY WARRANTY; without even the implied warranty of
16  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE, or any warranty
17  * of NON-INFRINGEMENT. See the GNU General Public License for more
18  * details.
19  *
20  * You should have received a copy of the GNU General Public License
21  * along with Resin Open Source; if not, write to the
22  *
23  * Free Software Foundation, Inc.
24  * 59 Temple Place, Suite 330
25  * Boston, MA 02111-1307 USA
26  *
27  * @author Scott Ferguson
28  */

29
30 package com.caucho.relaxng;
31
32 import com.caucho.vfs.Path;
33 import com.caucho.vfs.ReadStream;
34 import com.caucho.vfs.Vfs;
35 import com.caucho.xml.Xml;
36
37 import org.xml.sax.ErrorHandler JavaDoc;
38 import org.xml.sax.SAXException JavaDoc;
39 import org.xml.sax.SAXParseException JavaDoc;
40
41 import java.io.IOException JavaDoc;
42 import java.util.logging.Level JavaDoc;
43 import java.util.logging.Logger JavaDoc;
44
45 /**
46  * JARV verifier implementation
47  */

48 abstract public class Verifier {
49   private static final Logger JavaDoc log
50     = Logger.getLogger(Verifier.class.getName());
51   
52   /**
53    * Set the error handler.
54    */

55   abstract public void setErrorHandler(ErrorHandler JavaDoc handler);
56
57   /**
58    * Creates a verifier handler from the verifier.
59    */

60   abstract public VerifierHandler getVerifierHandler();
61     
62
63   /**
64    * Returns a verifier filter.
65    */

66   public VerifierFilter getVerifierFilter()
67   {
68     return new VerifierFilter(this);
69   }
70
71   /**
72    * Verifies a file.
73    */

74   public boolean verify(String JavaDoc url)
75     throws IOException JavaDoc, SAXException JavaDoc
76   {
77     Path path = Vfs.lookup(url);
78
79     ReadStream is = path.openRead();
80     
81     try {
82       Xml xml = new Xml();
83
84       VerifierHandler handler = getVerifierHandler();
85
86       xml.setContentHandler(handler);
87
88       xml.parse(is);
89
90       return handler.isValid();
91     } finally {
92       is.close();
93     }
94   }
95
96   /**
97    * Sends an error.
98    */

99   public void error(SAXParseException JavaDoc e)
100     throws SAXException JavaDoc
101   {
102     log.log(Level.FINE, e.toString(), e);
103   }
104 }
105
Popular Tags