/*

 * Copyright 1998-2002 Sun Microsystems, Inc.  All Rights Reserved.

 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

 *

 * This code is free software; you can redistribute it and/or modify it

 * under the terms of the GNU General Public License version 2 only, as

 * published by the Free Software Foundation.  Sun designates this

 * particular file as subject to the "Classpath" exception as provided

 * by Sun in the LICENSE file that accompanied this code.

 *

 * This code 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.  See the GNU General Public License

 * version 2 for more details (a copy is included in the LICENSE file that

 * accompanied this code).

 *

 * You should have received a copy of the GNU General Public License version

 * 2 along with this work; if not, write to the Free Software Foundation,

 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

 *

 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,

 * CA 95054 USA or visit www.sun.com if you need additional information or

 * have any questions.

 */

package javax.swing.text.html.parser;

import javax.swing.text.html.HTMLEditorKit;

import java.io.BufferedInputStream;

import java.io.IOException;

import java.io.InputStream;

import java.io.DataInputStream;

import java.io.ObjectInputStream;

import java.io.Reader;

import java.io.Serializable;

import java.lang.reflect.Method;

/**

 * Responsible for starting up a new DocumentParser

 * each time its parse method is invoked. Stores a

 * reference to the dtd.

 *

 * @author  Sunita Mani

 */

public class ParserDelegator extends HTMLEditorKit.Parser implements Serializable {

    private static DTD dtd = null;

    protected static synchronized void setDefaultDTD() {

        if (dtd == null) {

            DTD _dtd = null;

            // (PENDING) Hate having to hard code!

            String nm = "html32";

            try {

                _dtd = DTD.getDTD(nm);

            } catch (IOException e) {

                // (PENDING) UGLY!

                System.out.println("Throw an exception: could not get default dtd: " + nm);

            }

            dtd = createDTD(_dtd, nm);

        }

    }

    protected static DTD createDTD(DTD dtd, String name) {

        InputStream in = null;

        boolean debug = true;

        try {

            String path = name + ".bdtd";

            in = getResourceAsStream(path);

            if (in != null) {

                dtd.read(new DataInputStream(new BufferedInputStream(in)));

                dtd.putDTDHash(name, dtd);

            }

        } catch (Exception e) {

            System.out.println(e);

        }

        return dtd;

    }

    public ParserDelegator() {

        if (dtd == null) {

            setDefaultDTD();

        }

    }

    public void parse(Reader r, HTMLEditorKit.ParserCallback cb, boolean ignoreCharSet) throws IOException {

        new DocumentParser(dtd).parse(r, cb, ignoreCharSet);

    }

    /**

     * Fetch a resource relative to the ParserDelegator classfile.

     * If this is called on 1.2 the loading will occur under the

     * protection of a doPrivileged call to allow the ParserDelegator

     * to function when used in an applet.

     *

     * @param name the name of the resource, relative to the

     *  ParserDelegator class.

     * @returns a stream representing the resource

     */

    static InputStream getResourceAsStream(String name) {

        try {

            return ResourceLoader.getResourceAsStream(name);

        } catch (Throwable e) {

            // If the class doesn't exist or we have some other

            // problem we just try to call getResourceAsStream directly.

            return ParserDelegator.class.getResourceAsStream(name);

        }

    }

    private void readObject(ObjectInputStream s)

        throws ClassNotFoundException, IOException {

        s.defaultReadObject();

        if (dtd == null) {

            setDefaultDTD();

        }

    }

}