geneSyst.GUI_V2
Class GeneSystGUI
java.lang.Object
java.awt.Component
java.awt.Container
java.awt.Window
java.awt.Frame
javax.swing.JFrame
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 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 |
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 |
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 |
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
GeneSystGUI
public GeneSystGUI()
- Creates new form GeneSystGUI
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 **