geneSyst.GUI_V2
Class GeneSystGUI

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by java.awt.Window
              extended by java.awt.Frame
                  extended by javax.swing.JFrame
                      extended by geneSyst.GUI_V2.GeneSystGUI
All Implemented Interfaces:
java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants

public class GeneSystGUI
extends javax.swing.JFrame

Author:
nstouls
See Also:
Serialized Form

Nested Class Summary
 
Nested classes/interfaces inherited from class javax.swing.JFrame
javax.swing.JFrame.AccessibleJFrame
 
Nested classes/interfaces inherited from class java.awt.Frame
java.awt.Frame.AccessibleAWTFrame
 
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.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy
 
Field Summary
private  javax.swing.JCheckBox ABInThreadCheck
           
private  javax.swing.ButtonGroup buttonGroup1
           
private  javax.swing.JCheckBox CleanFilesCheck
           
private  javax.swing.JCheckBox ClustersUseCheck
           
private static java.io.File CurrentDirectory
           
private  javax.swing.JCheckBox DebugCheck
           
private  javax.swing.JCheckBox DisjointedStatesCheck
           
private  javax.swing.JRadioButton DoNotVerifyOracles
           
private  javax.swing.JCheckBox DOTCheck
           
private  javax.swing.JSlider Force
           
private  javax.swing.JLabel GenerationLabel
           
private  javax.swing.JLabel GenerationLabel1
           
private  javax.swing.JCheckBox GXLCheck
           
private  javax.swing.JCheckBox HTMLCheck
           
private  javax.swing.JCheckBox InteractiveCheck
           
private  javax.swing.JButton jButton1
           
private  javax.swing.JButton jButton2
           
private  javax.swing.JButton jButton3
           
private  javax.swing.JButton jButton4
           
private  javax.swing.JButton jButton5
           
private  javax.swing.JButton jButton6
           
private  javax.swing.JButton jButton7
           
private  javax.swing.JLabel jLabel1
           
private  javax.swing.JLabel jLabel10
           
private  javax.swing.JLabel jLabel11
           
private  javax.swing.JLabel jLabel12
           
private  javax.swing.JLabel jLabel2
           
private  javax.swing.JLabel jLabel3
           
private  javax.swing.JLabel jLabel4
           
private  javax.swing.JLabel jLabel5
           
private  javax.swing.JLabel jLabel6
           
private  javax.swing.JLabel jLabel7
           
private  javax.swing.JLabel jLabel8
           
private  javax.swing.JLabel jLabel9
           
private  javax.swing.JPanel jPanel1
           
private  javax.swing.JPanel jPanel10
           
private  javax.swing.JPanel jPanel11
           
private  javax.swing.JPanel jPanel12
           
private  javax.swing.JPanel jPanel13
           
private  javax.swing.JPanel jPanel14
           
private  javax.swing.JPanel jPanel15
           
private  javax.swing.JPanel jPanel16
           
private  javax.swing.JPanel jPanel17
           
private  javax.swing.JPanel jPanel18
           
private  javax.swing.JPanel jPanel19
           
private  javax.swing.JPanel jPanel2
           
private  javax.swing.JPanel jPanel20
           
private  javax.swing.JPanel jPanel21
           
private  javax.swing.JPanel jPanel22
           
private  javax.swing.JPanel jPanel23
           
private  javax.swing.JPanel jPanel24
           
private  javax.swing.JPanel jPanel25
           
private  javax.swing.JPanel jPanel3
           
private  javax.swing.JPanel jPanel4
           
private  javax.swing.JPanel jPanel5
           
private  javax.swing.JPanel jPanel6
           
private  javax.swing.JPanel jPanel7
           
private  javax.swing.JPanel jPanel8
           
private  javax.swing.JPanel jPanel9
           
private  javax.swing.JTabbedPane jTabbedPane1
           
private  javax.swing.JTextField MachineName
           
private  javax.swing.JTextField MachineOracleName
           
private static int minHeight
           
private static int minWidth
           
private  javax.swing.JSlider POSlider
           
private  javax.swing.JTextField RefinementName
           
private  javax.swing.JTextField RefinementOracleName
           
private static java.lang.String[] Slider1Labels
           
private static java.lang.String[] SliderForceLabels
           
private  javax.swing.JComboBox SymbolDefault
           
private  javax.swing.JComboBox SymbolFalse
           
private  javax.swing.JComboBox SymbolTrue
           
private  javax.swing.JLabel UsedInteractiveTactics
           
private  javax.swing.JCheckBox VerboseCheck
           
private  javax.swing.JRadioButton VerifyOracles
           
 
Fields inherited from class javax.swing.JFrame
accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled
 
Fields inherited from class java.awt.Frame
CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR
 
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, HIDE_ON_CLOSE
 
Fields inherited from interface java.awt.image.ImageObserver
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
 
Constructor Summary
GeneSystGUI()
          Creates new form GeneSystGUI
 
Method Summary
private  java.lang.String BrowseFile(java.lang.String Filter)
          This method open a browse box and let the user choose a file.
private  void DOTCheckStateChanged(javax.swing.event.ChangeEvent evt)
           
private  void ForceStateChanged(javax.swing.event.ChangeEvent evt)
           
private  void formComponentResized(java.awt.event.ComponentEvent evt)
           
private  void initComponents()
          This method is called from within the constructor to initialize the form.
private  void InteractiveCheckStateChanged(javax.swing.event.ChangeEvent evt)
           
private  void jButton1ActionPerformed(java.awt.event.ActionEvent evt)
           
private  void jButton2ActionPerformed(java.awt.event.ActionEvent evt)
           
private  void jButton3ActionPerformed(java.awt.event.ActionEvent evt)
           
private  void jButton4ActionPerformed(java.awt.event.ActionEvent evt)
           
private  void jButton5ActionPerformed(java.awt.event.ActionEvent evt)
           
private  void jButton6ActionPerformed(java.awt.event.ActionEvent evt)
           
private  void jButton7ActionPerformed(java.awt.event.ActionEvent evt)
           
 void lancement_Generation()
          Lancement ******* methode reliant l'interface � geneSyst **
static void main(java.lang.String[] args)
           
 void MaJAffichageTactiques()
           
private  void POSliderStateChanged(javax.swing.event.ChangeEvent evt)
           
 void updateSize()
           
 
Methods inherited from class javax.swing.JFrame
addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, setTransferHandler, update
 
Methods inherited from class java.awt.Frame
addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setResizable, setState, setTitle, setUndecorated
 
Methods inherited from class java.awt.Window
addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOwnedWindows, getOwner, getOwnerlessWindows, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setVisible, show, 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, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, 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, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, 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, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resize, resize, setBackground, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.awt.MenuContainer
getFont, postEvent
 

Field Detail

minWidth

private static int minWidth

minHeight

private static int minHeight

CurrentDirectory

private static java.io.File CurrentDirectory

Slider1Labels

private static java.lang.String[] Slider1Labels

SliderForceLabels

private static java.lang.String[] SliderForceLabels

ABInThreadCheck

private javax.swing.JCheckBox ABInThreadCheck

CleanFilesCheck

private javax.swing.JCheckBox CleanFilesCheck

ClustersUseCheck

private javax.swing.JCheckBox ClustersUseCheck

DOTCheck

private javax.swing.JCheckBox DOTCheck

DebugCheck

private javax.swing.JCheckBox DebugCheck

DisjointedStatesCheck

private javax.swing.JCheckBox DisjointedStatesCheck

DoNotVerifyOracles

private javax.swing.JRadioButton DoNotVerifyOracles

Force

private javax.swing.JSlider Force

GXLCheck

private javax.swing.JCheckBox GXLCheck

GenerationLabel

private javax.swing.JLabel GenerationLabel

GenerationLabel1

private javax.swing.JLabel GenerationLabel1

HTMLCheck

private javax.swing.JCheckBox HTMLCheck

InteractiveCheck

private javax.swing.JCheckBox InteractiveCheck

MachineName

private javax.swing.JTextField MachineName

MachineOracleName

private javax.swing.JTextField MachineOracleName

POSlider

private javax.swing.JSlider POSlider

RefinementName

private javax.swing.JTextField RefinementName

RefinementOracleName

private javax.swing.JTextField RefinementOracleName

SymbolDefault

private javax.swing.JComboBox SymbolDefault

SymbolFalse

private javax.swing.JComboBox SymbolFalse

SymbolTrue

private javax.swing.JComboBox SymbolTrue

UsedInteractiveTactics

private javax.swing.JLabel UsedInteractiveTactics

VerboseCheck

private javax.swing.JCheckBox VerboseCheck

VerifyOracles

private javax.swing.JRadioButton VerifyOracles

buttonGroup1

private javax.swing.ButtonGroup buttonGroup1

jButton1

private javax.swing.JButton jButton1

jButton2

private javax.swing.JButton jButton2

jButton3

private javax.swing.JButton jButton3

jButton4

private javax.swing.JButton jButton4

jButton5

private javax.swing.JButton jButton5

jButton6

private javax.swing.JButton jButton6

jButton7

private javax.swing.JButton jButton7

jLabel1

private javax.swing.JLabel jLabel1

jLabel10

private javax.swing.JLabel jLabel10

jLabel11

private javax.swing.JLabel jLabel11

jLabel12

private javax.swing.JLabel jLabel12

jLabel2

private javax.swing.JLabel jLabel2

jLabel3

private javax.swing.JLabel jLabel3

jLabel4

private javax.swing.JLabel jLabel4

jLabel5

private javax.swing.JLabel jLabel5

jLabel6

private javax.swing.JLabel jLabel6

jLabel7

private javax.swing.JLabel jLabel7

jLabel8

private javax.swing.JLabel jLabel8

jLabel9

private javax.swing.JLabel jLabel9

jPanel1

private javax.swing.JPanel jPanel1

jPanel10

private javax.swing.JPanel jPanel10

jPanel11

private javax.swing.JPanel jPanel11

jPanel12

private javax.swing.JPanel jPanel12

jPanel13

private javax.swing.JPanel jPanel13

jPanel14

private javax.swing.JPanel jPanel14

jPanel15

private javax.swing.JPanel jPanel15

jPanel16

private javax.swing.JPanel jPanel16

jPanel17

private javax.swing.JPanel jPanel17

jPanel18

private javax.swing.JPanel jPanel18

jPanel19

private javax.swing.JPanel jPanel19

jPanel2

private javax.swing.JPanel jPanel2

jPanel20

private javax.swing.JPanel jPanel20

jPanel21

private javax.swing.JPanel jPanel21

jPanel22

private javax.swing.JPanel jPanel22

jPanel23

private javax.swing.JPanel jPanel23

jPanel24

private javax.swing.JPanel jPanel24

jPanel25

private javax.swing.JPanel jPanel25

jPanel3

private javax.swing.JPanel jPanel3

jPanel4

private javax.swing.JPanel jPanel4

jPanel5

private javax.swing.JPanel jPanel5

jPanel6

private javax.swing.JPanel jPanel6

jPanel7

private javax.swing.JPanel jPanel7

jPanel8

private javax.swing.JPanel jPanel8

jPanel9

private javax.swing.JPanel jPanel9

jTabbedPane1

private javax.swing.JTabbedPane jTabbedPane1
Constructor Detail

GeneSystGUI

public GeneSystGUI()
Creates new form GeneSystGUI

Method Detail

initComponents

private void initComponents()
This method is called from within the constructor to initialize the form. WARNING: Do NOT modify this code. The content of this method is always regenerated by the Form Editor.


jButton1ActionPerformed

private void jButton1ActionPerformed(java.awt.event.ActionEvent evt)

jButton2ActionPerformed

private void jButton2ActionPerformed(java.awt.event.ActionEvent evt)

jButton5ActionPerformed

private void jButton5ActionPerformed(java.awt.event.ActionEvent evt)

updateSize

public void updateSize()

formComponentResized

private void formComponentResized(java.awt.event.ComponentEvent evt)

POSliderStateChanged

private void POSliderStateChanged(javax.swing.event.ChangeEvent evt)

jButton6ActionPerformed

private void jButton6ActionPerformed(java.awt.event.ActionEvent evt)

jButton7ActionPerformed

private void jButton7ActionPerformed(java.awt.event.ActionEvent evt)

DOTCheckStateChanged

private void DOTCheckStateChanged(javax.swing.event.ChangeEvent evt)

jButton3ActionPerformed

private void jButton3ActionPerformed(java.awt.event.ActionEvent evt)

jButton4ActionPerformed

private void jButton4ActionPerformed(java.awt.event.ActionEvent evt)

InteractiveCheckStateChanged

private void InteractiveCheckStateChanged(javax.swing.event.ChangeEvent evt)

ForceStateChanged

private void ForceStateChanged(javax.swing.event.ChangeEvent evt)

main

public static void main(java.lang.String[] args)
Parameters:
args - the command line arguments

BrowseFile

private java.lang.String BrowseFile(java.lang.String Filter)
This method open a browse box and let the user choose a file. The choosed file name is returned.

Parameters:
Filter - Expected values are {".mch", ".ref",".Oracle"}
Returns:
Choosed file.

MaJAffichageTactiques

public void MaJAffichageTactiques()

lancement_Generation

public void lancement_Generation()
Lancement ******* methode reliant l'interface � geneSyst **