generator.ui
Class MainWindow

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Dialog
                  javax.swing.JDialog
                      generator.ui.MainWindow

All Implemented Interfaces:

java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants

public class MainWindow
extends javax.swing.JDialog

Main Window

This is the main interface of the Cismo LMP model generator.

Copyright(c) 2005 Université Laval, LSFM research group.

Version:

1.0

Author:

Frédérick Lemay

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.JDialog

javax.swing.JDialog.AccessibleJDialog

Nested classes/interfaces inherited from class java.awt.Dialog

java.awt.Dialog.AccessibleAWTDialog

Nested classes/interfaces inherited from class java.awt.Window

java.awt.Window.AccessibleAWTWindow

Nested classes/interfaces inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

Fields inherited from class javax.swing.JDialog

accessibleContext, rootPane, rootPaneCheckingEnabled

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface javax.swing.WindowConstants

DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, EXIT_ON_CLOSE, HIDE_ON_CLOSE

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

MainWindow(javax.swing.JFrame parent)
Build the main window of the generator.

Method Summary

void	B_AvsX_actionPerformed(java.awt.event.ActionEvent e) Set the number of actions per interval
void	B_GenerateFinite_actionPerformed(java.awt.event.ActionEvent e) Generates a system with a finite set of states.
void	B_GenerateLMP_actionPerformed(java.awt.event.ActionEvent e) Starts the generation of a LMP model
void	B_Large_actionPerformed(java.awt.event.ActionEvent e) Use the large template
void	B_Medium_actionPerformed(java.awt.event.ActionEvent e) Use the medium template
void	B_NumberOfActions_actionPerformed(java.awt.event.ActionEvent e) Set the number of actions
void	B_NumberOfIntervals_actionPerformed(java.awt.event.ActionEvent e) Modify the number of intervals
void	B_P_actionPerformed(java.awt.event.ActionEvent e) Set the value of P
void	B_Quit_actionPerformed(java.awt.event.ActionEvent e) Returns to Cismo
void	B_SelectFunctions_actionPerformed(java.awt.event.ActionEvent e) Enables the user to exclude certain functions from the generation
void	B_Small_actionPerformed(java.awt.event.ActionEvent e) Use the small template
void	B_TvsX_actionPerformed(java.awt.event.ActionEvent e) Set the number of transitions per interval
void	CK_NoCycle_actionPerformed(java.awt.event.ActionEvent e)
java.io.File	getLastGeneratedFile() This method returns the last succesfully generated file
void	setListener(GeneratorEngineListener listener) Add a listener to the generator engine

Methods inherited from class javax.swing.JDialog

addImpl, createRootPane, dialogInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update

Methods inherited from class java.awt.Dialog

addNotify, getTitle, hide, isModal, isResizable, isUndecorated, setModal, setResizable, setTitle, setUndecorated, show

Methods inherited from class java.awt.Window

addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, finalize, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getInputContext, getListeners, getLocale, getMostRecentFocusOwner, getOwnedWindows, getOwner, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindowStateListeners, isActive, isAlwaysOnTop, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setAlwaysOnTop, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationByPlatform, setLocationRelativeTo, toBack, toFront

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, removeNotify, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, transferFocusBackward, transferFocusDownCycle, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isPreferredSizeSet, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, resize, resize, setBackground, setBounds, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setMinimumSize, setName, setPreferredSize, setSize, setSize, setVisible, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

MainWindow

public MainWindow(javax.swing.JFrame parent)

Build the main window of the generator.

Parameters:

parent - the frame to which this window will be attached

Method Detail

setListener

public void setListener(GeneratorEngineListener listener)

Add a listener to the generator engine

Parameters:

listener - the GeneratorEngineListener class used to fire events

getLastGeneratedFile

public java.io.File getLastGeneratedFile()

This method returns the last succesfully generated file

Returns:

the last succesfully generated file

B_NumberOfIntervals_actionPerformed

public void B_NumberOfIntervals_actionPerformed(java.awt.event.ActionEvent e)

Modify the number of intervals

Parameters:

e - action event argument

B_GenerateLMP_actionPerformed

public void B_GenerateLMP_actionPerformed(java.awt.event.ActionEvent e)

Starts the generation of a LMP model

Parameters:

e - event argument

B_Small_actionPerformed

public void B_Small_actionPerformed(java.awt.event.ActionEvent e)

Use the small template

Parameters:

e - event argument

B_Medium_actionPerformed

public void B_Medium_actionPerformed(java.awt.event.ActionEvent e)

Use the medium template

Parameters:

e - event argument

B_Large_actionPerformed

public void B_Large_actionPerformed(java.awt.event.ActionEvent e)

Use the large template

Parameters:

e - event argument

B_P_actionPerformed

public void B_P_actionPerformed(java.awt.event.ActionEvent e)

Set the value of P

Parameters:

e - event argument

See Also:

RandomizedModel

B_AvsX_actionPerformed

public void B_AvsX_actionPerformed(java.awt.event.ActionEvent e)

Set the number of actions per interval

Parameters:

e - event argument

B_TvsX_actionPerformed

public void B_TvsX_actionPerformed(java.awt.event.ActionEvent e)

Set the number of transitions per interval

Parameters:

e - event argument

B_NumberOfActions_actionPerformed

public void B_NumberOfActions_actionPerformed(java.awt.event.ActionEvent e)

Set the number of actions

Parameters:

e - event argument

B_Quit_actionPerformed

public void B_Quit_actionPerformed(java.awt.event.ActionEvent e)

Returns to Cismo

Parameters:

e - event argument

B_SelectFunctions_actionPerformed

public void B_SelectFunctions_actionPerformed(java.awt.event.ActionEvent e)

Enables the user to exclude certain functions from the generation

Parameters:

e - event argument

B_GenerateFinite_actionPerformed

public void B_GenerateFinite_actionPerformed(java.awt.event.ActionEvent e)

Generates a system with a finite set of states.

Parameters:

e - event argument

CK_NoCycle_actionPerformed

public void CK_NoCycle_actionPerformed(java.awt.event.ActionEvent e)