de.uni_due.inf.ti.dragom.io

Class GTSChooser

java.lang.Object

de.uni_due.inf.ti.dragom.io.GTSChooser

All Implemented Interfaces:

java.beans.PropertyChangeListener, java.util.EventListener

public class GTSChooser
extends java.lang.Object
implements java.beans.PropertyChangeListener

Class which shows a file chooser with an additional accessory to choose a single graph transformation system from a SGF file possibly containing more than one system.

Author:

Dennis Nolte

Constructor Summary

Constructors

Constructor and Description
GTSChooser() Creates a new SystemChooser instance.

Method Summary

Modifier and Type	Method and Description
java.io.File	getCurrentDirectory() Returns the current directory of the file chooser.
void	propertyChange(java.beans.PropertyChangeEvent e) Called when a property of the JFileChooser changes.
void	setCurrentDirectory(java.io.File dir) Sets the current directory of the file chooser.
de.uni_due.inf.ti.graph.TransformationSystem	showDialog(java.awt.Component parent) Shows the dialog.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GTSChooser

public GTSChooser()

Creates a new SystemChooser instance.

Method Detail

setCurrentDirectory

public void setCurrentDirectory(java.io.File dir)

Sets the current directory of the file chooser.

Parameters:

dir - the new current directory

getCurrentDirectory

public java.io.File getCurrentDirectory()

Returns the current directory of the file chooser.

Returns:

The current directory

showDialog

public de.uni_due.inf.ti.graph.TransformationSystem showDialog(java.awt.Component parent)

Shows the dialog. The method returns the transformation system selected by the user, or null if no transformation system was chosen or an error occurred.

Parameters:

parent - parent component of the dialog

Returns:

the transformation system selected by the user, or null if no system was selected or an error occurred

propertyChange

public void propertyChange(java.beans.PropertyChangeEvent e)

Called when a property of the JFileChooser changes.

Specified by:

propertyChange in interface java.beans.PropertyChangeListener