browser.java

著名的开源仿真软件yale

/*
 *  YALE - Yet Another Learning Environment
 *  Copyright (C) 2002, 2003
 *      Simon Fischer, Ralf Klinkenberg, Ingo Mierswa, 
 *          Katharina Morik, Oliver Ritthoff
 *      Artificial Intelligence Unit
 *      Computer Science Department
 *      University of Dortmund
 *      44221 Dortmund,  Germany
 *  email: [e-mail]
 *  web:   http://yale.cs.uni-dortmund.de/
 *
 *  This program 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. 
 *
 *  This program 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 for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program; if not, write to the Free Software
 *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
 *  USA.
 */
package edu.udo.cs.yale.gui;

import edu.udo.cs.yale.tools.Tools;

import javax.swing.JEditorPane;
import javax.swing.event.HyperlinkListener;
import javax.swing.event.HyperlinkEvent;
import javax.swing.text.html.HTMLFrameHyperlinkEvent;
import javax.swing.text.html.HTMLDocument;
import javax.swing.JDialog;
import javax.swing.JMenuBar;
import javax.swing.JMenu;
import javax.swing.JMenuItem;
import javax.swing.JScrollPane;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.net.URL;
import java.net.MalformedURLException;
import java.io.IOException;

public class Browser extends JEditorPane implements HyperlinkListener {

    public Browser() {
	setEditable(false);
	setMargin(new java.awt.Insets(5,5,5,5));
	addHyperlinkListener(this);
    }

    public void hyperlinkUpdate(HyperlinkEvent e) {
	if (e.getEventType() == HyperlinkEvent.EventType.ACTIVATED) {
	    if (e instanceof HTMLFrameHyperlinkEvent) {
		HTMLFrameHyperlinkEvent  evt = (HTMLFrameHyperlinkEvent)e;
		HTMLDocument doc = (HTMLDocument)this.getDocument();
		doc.processHTMLFrameHyperlinkEvent(evt);
	    } else {
		try {
		    setPage(e.getURL());
		} catch (Throwable t) {
		    SwingTools.showErrorMessage("While following link:", t);
		}
	    }
	}
    }

    private JMenuItem createItem(String name, final URL url) {
	JMenuItem item = new JMenuItem(name);
	item.addActionListener(new ActionListener() {
		public void actionPerformed(ActionEvent e) {
		    try {
			Browser.this.setPage(url);
		    } catch (IOException t) {
			SwingTools.showErrorMessage("Cannot find '"+url+"'", t);
		    }
		}
	    });
	return item;
    }

    public static void showDialog(URL url) {
	Browser browser = new Browser();
	JDialog dialog = new JDialog();
	dialog.setTitle("Yale Browser");

	JMenuBar menuBar = new JMenuBar();
	JMenu visitMenu = new JMenu("Browse");
	visitMenu.add(browser.createItem("Yale GUI Manual", Tools.getResource("html/manual/Manual.html")));
	try {
	    visitMenu.add(browser.createItem("Yale@WWW", new URL("http://yale.cs.uni-dortmund.de")));
	} catch (MalformedURLException e) {}
	visitMenu.add(browser.createItem("License", Tools.getResource("LICENSE.html")));
	menuBar.add(visitMenu);
	dialog.setJMenuBar(menuBar);		      

	JScrollPane editorScrollPane = new JScrollPane(browser);
	editorScrollPane.setPreferredSize(new java.awt.Dimension(600,500));
	dialog.getContentPane().add(editorScrollPane);
	dialog.pack();
	dialog.show();
	try {
	    browser.setPage(url);
	} catch (Throwable e) {
	    SwingTools.showErrorMessage("Cannot find '"+url+"'!", e);
	}
    }
}