/**
Einfacher XML-Parser.
Copyright (C) 2006, Rene Heuer, Salingtwiete 4g. (D)20535 Hamburg
eMail: heuer@exmpl.de
Dieses Programm ist freie Software. Sie können es unter den Bedingungen der
GNU General Public License, wie von der Free Software Foundation veröffentlicht,
weitergeben und/oder modifizieren, entweder gemäß Version 2 der Lizenz oder
(nach Ihrer Option) jeder späteren Version.
Die Veröffentlichung dieses Programms erfolgt in der Hoffnung, daß es Ihnen von
Nutzen sein wird, aber OHNE IRGENDEINE GARANTIE, sogar ohne die implizite
Garantie der MARKTREIFE oder der VERWENDBARKEIT FÜR EINEN BESTIMMTEN ZWECK.
Details finden Sie in der GNU General Public License.
Sie sollten ein Exemplar der GNU General Public License zusammen mit diesem
Programm erhalten haben. Falls nicht, schreiben Sie an die
Free Software Foundation, Inc.,
59 Temple Place,
Suite 330,
Boston, MA 02111-1307,
USA.
*/

import java.io.*;             // File-I/O
import org.xml.sax.*;
import org.xml.sax.helpers.*; // SAXParserFactory
import javax.xml.parsers.*;   // SAXParser

public class parsen1 extends DefaultHandler {

 static public void main( String[] args) {
 DefaultHandler handler = new parsen1();
 File           file    = new File( "math1.xml");

  if   (file.canRead())
       {
        try   {
              SAXParserFactory factory = SAXParserFactory.newInstance();
              SAXParser        parser  = factory.newSAXParser();

               parser.parse( file, handler);
              }
        catch (Throwable t)
              {
               t.printStackTrace();
              }
       }
  else {
        System.out.println( "Datei ist unbekannt.");
        System.exit( 1);
       }
 }

 public void startDocument() {
  System.out.println( "Anfang des Dokuments");
 }

 public void endDocument() {
  System.out.println( "Ende des Dokuments");
 }

 public void startElement( String uri, String local, String tag, Attributes attrs) {
  if (tag != null) System.out.println( "start-tag=["+tag+"]");
 }

 public void endElement( String uri, String local, String tag) {
  if (tag != null) System.out.println( "end-tag=["+tag+"]");
 }

 public void characters( char[] ch, int start, int length) {
 String str = new String( ch, start, length);
  if( str != null) System.out.println( length+" Zeichen ab Position "+start+" isoliert: ["+str+"]");
 }
}