nl.tudelft.goal.SimpleIDE.actions.CloseAction Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of simpleidemodules Show documentation

An IDE for GOAL based on JEdit.

The newest version!

/**
 * GOAL interpreter that facilitates developing and executing GOAL multi-agent
 * programs. Copyright (C) 2011 K.V. Hindriks, W. Pasman
 *
 * 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 3 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, see .
 */

package nl.tudelft.goal.SimpleIDE.actions;

import java.awt.event.ActionEvent;

import javax.swing.tree.TreeNode;

import goal.tools.errorhandling.exceptions.GOALException;
import goal.tools.errorhandling.exceptions.GOALUserError;
import nl.tudelft.goal.SimpleIDE.IDEState;

/**
 * Close the active tab in the main panel. This can be either a editor,
 * introspector, sniffer panel.
 *
 * @author W.Pasman 20jun2011
 */
public class CloseAction extends GOALAction {
	private static final long serialVersionUID = -4653062709745710119L;

	public CloseAction() {
		setShortcut('W');
	}

	@Override
	public void eventOccured(IDEState source, Object evt) {
		boolean isTabOpenNow = true;
		try {
			getIDE().getMainPanel().getCurrentPanel();
		} catch (GOALUserError e) {
			isTabOpenNow = false;
		}
		setActionEnabled(isTabOpenNow);
	}

	@Override
	protected void execute(TreeNode selectedNode, ActionEvent ae) throws GOALException {
		try {
			getIDE().getMainPanel().close();
		} catch (Exception e) {
			// do not use InfoLog, but System.out in order to see the
			// message if the panel is closed.
			System.out.println("Encountered problem while closing IDE.");
			e.printStackTrace();
		}
	}

}