/*
 *  JFLAP - Formal Languages and Automata Package
 * 
 * 
 *  Susan H. Rodger
 *  Computer Science Department
 *  Duke University
 *  August 27, 2009

 *  Copyright (c) 2002-2009
 *  All rights reserved.

 *  JFLAP is open source software. Please see the LICENSE for terms.
 *
 */





package gui.regular;

import automata.Transition;
import java.awt.BorderLayout;
import java.awt.event.ActionEvent;
import javax.swing.*;
import javax.swing.event.ListSelectionListener;
import javax.swing.event.ListSelectionEvent;

/**
 * This shows a bunch of transitions for the step of the conversion when the
 * states of the automaton are being removed one by one. A
 * {@link gui.regular.FSAToREController} object is reported back to when certain
 * actions happen in the window.
 * 
 * @see gui.regular.FSAToREController#finalizeStateRemove
 * @see gui.regular.FSAToREController#finalize
 * 
 * @author Thomas Finley
 */

public class TransitionWindow extends JFrame {
	/**
	 * Instantiates a new <CODE>TransitionWindow</CODE>.
	 * 
	 * @param controller
	 *            the FSA to RE controller object
	 */
	public TransitionWindow(FSAToREController controller) {
		super("Transitions");
		this.controller = controller;
		// Init the GUI.
		setSize(250, 400);
		getContentPane().setLayout(new BorderLayout());
		getContentPane().add(
				new JLabel("Select to see what transitions were combined."),
				BorderLayout.NORTH);
		getContentPane().add(new JScrollPane(table), BorderLayout.CENTER);
		getContentPane().add(new JButton(new AbstractAction("Finalize") {
			public void actionPerformed(ActionEvent e) {
				TransitionWindow.this.controller.finalizeStateRemove();
			}
		}), BorderLayout.SOUTH);
		// Have the listener to the transition.
		table.getSelectionModel().addListSelectionListener(
				new ListSelectionListener() {
					public void valueChanged(ListSelectionEvent e) {
						if (table.getSelectedRowCount() != 1) {
							TransitionWindow.this.controller
									.tableTransitionSelected(null);
							return;
						}
						Transition t = transitions[table.getSelectedRow()];
						TransitionWindow.this.controller
								.tableTransitionSelected(t);
						;
					}
				});
	}

	/**
	 * Returns the transition this transition window displays.
	 * 
	 * @return the array of transitions displayed by this window
	 */
	public Transition[] getTransitions() {
		return transitions;
	}

	/**
	 * Sets the array of transitions the table in this window displays, and
	 * shows the window.
	 * 
	 * @param transitions
	 *            the new array of transitions
	 */
	public void setTransitions(Transition[] transitions) {
		this.transitions = transitions;
		table.setModel(new TransitionTableModel(transitions));
	}

	/** The controller object for this window. */
	private FSAToREController controller;

	/** The array of transitions displayed. */
	private Transition[] transitions = new Transition[0];

	/** The table object that displays the transitions. */
	private JTable table = new JTable(new TransitionTableModel());
}