jinternalefframe.java

JavaExplorer是一个独立于平台的浏览器

/**
  * File and FTP Explorer
  * Copyright 2002
  * BOESCH Vincent
  *
  * 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 javaexplorer.gui.internal;

import java.awt.*;

import javaexplorer.Launcher;

import javaexplorer.gui.disk.*;

import javaexplorer.model.*;

import javaexplorer.ressource.*;

import javax.swing.JInternalFrame;


/**
 *@author     BOESCH Vincent
 *@created    21 janvier 2002
 *@version    3.3
 */
public class JInternalEFFrame extends JInternalFrame implements DiskFrame {
    private EFDisk _jad = null;
    private Launcher _launcher = null;

    /**
     *  Constructor for the JInternalDiskFrame
     *  object
     *
     *@param  root       Description of the
     *      Parameter
     *@param  launcher   Description of the
     *      Parameter
     */
    public JInternalEFFrame(XFile root, Launcher launcher) {
        super("Explorer", true, true, true, true);
        _launcher = launcher;

        if (root != null) {
            setTitle(root.toString());
        }

        initDisk(root);
        initGui();
    }

    /**
     *  Gets the Disk attribute of the JInternalDiskFrame
     *  object
     *
     *@return    The Disk value
     */
    public Disk getDisk() {
        return _jad;
    }

    /**
     *@param  root  Description of the Parameter
     */
    private void initDisk(XFile root) {
        _jad = new JEFDisk(_launcher);
        ((JEFDisk) _jad).setEF(root);

        if (root == null) {
            setFrameIcon(ImageRessource.iiExplorer);
        } else {
            if (root instanceof javaexplorer.manager.zip.ZipXF) {
                setFrameIcon(ImageRessource.iiZip);
            } else {
                setFrameIcon(ImageRessource.iiDisk);
            }
        }
    }

    /**
     */
    private void initGui() {
        try {
            getContentPane().setLayout(new BorderLayout());
            setBounds(50 + (5 * _launcher.getMDIModel().getFrameCount()),
                50 + (5 * _launcher.getMDIModel().getFrameCount()), 400, 300);
            _jad.init();
            getContentPane().add(_jad.getComponent(), BorderLayout.CENTER);
        } catch (Exception e) {
            javaexplorer.util.Log.addError(e);

            return;
        }
    }

    /**
     *  Sets the launcher attribute of the
     *  JInternalEFFrame object
     *
     *@param  launcher  The new launcher value
     */
    public void setLauncher(Launcher launcher) {
        _launcher = launcher;
    }
}