📄 synopsispanel.java

📁 一个用于排队系统仿真的开源软件,有非常形象的图象仿真过程!
💻 JAVA
字号:
/**    
  * Copyright (C) 2006, Laboratorio di Valutazione delle Prestazioni - Politecnico di Milano

  * 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., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
  */
  
package jmt.gui.exact.panels;

import jmt.gui.exact.ExactWizard;
import jmt.gui.wizard.WizardPanel;

import javax.swing.*;
import javax.xml.transform.*;
import javax.xml.transform.stream.StreamResult;
import javax.xml.transform.stream.StreamSource;
import java.awt.*;
import java.io.*;
import java.net.URL;

/**
 * Created by IntelliJ IDEA.
 * User: OrsotronIII
 * Date: 3-mag-2005
 * Time: 11.20.42
 * To change this template use Options | File Templates.
 */
public class SynopsisPanel extends WizardPanel{

    //constant for transformer path
    private static final String XSLT_FILE = "report.xslt";

    //GUI components
    private JEditorPane synView;
    private JScrollPane synScroll;

    //data source
    private ExactWizard ew;


    public SynopsisPanel(ExactWizard ew){
        super();
        this.ew = ew;
        initComponents();
    }

    public SynopsisPanel(ExactWizard ew, InputStream xmlFile){
        this(ew);
        setDoc(xmlFile);
    }

    public SynopsisPanel(ExactWizard ew, File xmlFile){
        this(ew);
        setDoc(xmlFile);
    }

    private void initComponents(){
        Box vBox = Box.createVerticalBox();
        Box hBox = Box.createHorizontalBox();
        synView = new JTextPane();
        synView.setContentType("text/html");
        synView.setEditable(false);
        synScroll = new JScrollPane(synView);
        synScroll.setHorizontalScrollBarPolicy(JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
        synScroll.setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED);
        vBox.add(Box.createVerticalStrut(20));
        vBox.add(hBox);
        vBox.add(Box.createVerticalStrut(20));
        hBox.add(Box.createHorizontalStrut(20));
        hBox.add(synScroll);
        hBox.add(Box.createHorizontalStrut(20));
        this.setLayout(new GridLayout(1,1));
        this.add(vBox);
    }


    public String getName(){
        return "Synopsis";
    }

    public void setDoc(InputStream xmlFile){
        BufferedInputStream bufIS = new BufferedInputStream(xmlFile);
        StreamSource sSource = new StreamSource(bufIS);
        Transformer fileTransf;
        File tempFile;
        StreamResult sResult;
        try {
            InputStream transfUrlStream = SynopsisPanel.class.getResourceAsStream(XSLT_FILE);
            //System.out.println(transfUrlStream);
            if(transfUrlStream==null){
                synView.setText("<html><body><center><font face=\"bold\" size=\"2\">Resource "+XSLT_FILE+" not found.</font></center></body></html>");
                return;
            }
            fileTransf = TransformerFactory.newInstance().newTransformer(new StreamSource(transfUrlStream));
            tempFile = File.createTempFile("~temp"+new Long((long)(Math.random()*10E16)),".html");
            tempFile.deleteOnExit();
            sResult = new StreamResult(tempFile);
            fileTransf.transform(sSource, sResult);
            synView.setPage(new URL("file","localhost",tempFile.getPath()));
            synScroll.setViewportView(synView);
        } catch (TransformerConfigurationException e) {
            JOptionPane.showMessageDialog(null, e.getMessage(), "Transform Exception", JOptionPane.ERROR_MESSAGE);
            return;
        } catch (TransformerFactoryConfigurationError tfce) {
            JOptionPane.showMessageDialog(null, tfce.getMessage(), "Transform Error", JOptionPane.ERROR_MESSAGE);
            return;
        }catch (IOException ioe){
            JOptionPane.showMessageDialog(null, ioe.getMessage(), "File Exception", JOptionPane.ERROR_MESSAGE);
            return;
        } catch (TransformerException e) {
            JOptionPane.showMessageDialog(null, e.getMessage(), "Transform Exception", JOptionPane.ERROR_MESSAGE);
            return;
        }/*
        catch (FileNotFoundException fnfe){
            JOptionPane.showMessageDialog(null, fnfe.getMessage(), "File Error", JOptionPane.ERROR_MESSAGE);
            return;
        }
        */
    }

    public void setDoc(File xmlFile){
        try {
            setDoc(new FileInputStream(xmlFile));
        } catch (FileNotFoundException e) {
            JOptionPane.showMessageDialog(null, e.getMessage(), "File Error", JOptionPane.ERROR_MESSAGE);
        }
    }


}
⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -