edu.wwu.tobikley.acgc.ui
Class ACGC

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Frame
                  javax.swing.JFrame
                      edu.wwu.tobikley.acgc.ui.ACGC

All Implemented Interfaces:

ImageObserver, MenuContainer, PropertyChangeListener, Serializable, EventListener, Accessible, RootPaneContainer, WindowConstants

public class ACGC
extends JFrame
implements PropertyChangeListener

GUI for the Approximate Counting and Graph Coloring algorithms.

Version:

1.0

Author:

Tobias Kley

See Also:

Serialized Form

Nested Class Summary

(package private) class

ACGC.CountingTask

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

JFrame.AccessibleJFrame

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

Frame.AccessibleAWTFrame

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

Window.AccessibleAWTWindow

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

Container.AccessibleAWTContainer

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

Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy

Field Summary

private JComboBox	algSelected
private JButton	countButton
private CountingAlgorithm	countingAlgorithm
private ExecutorService	executor
private Graph	graph
private JLabel	graphLabel
private JTextField	iterations
private JLabel	iterationsLabel
private JPanel	jContentPane
private JLabel	numberColoringsLabel
private JLabel	numberOfColorings
private JTextField	numberOfColors
private JLabel	numberOfColorsLabel
private JLabel	parametersLabel
private JTextField	precision
private JLabel	precisionLabel
private JTextField	probability
private JLabel	probabilityLabel
private JProgressBar	progressBar
private JLabel	progressText
private Future<BigInteger>	res
private JTextArea	resultList
private JScrollPane	resultScrollPane
private JLabel	resultsLabel
private JLabel	runTime
private JLabel	runTimeLabel
private JLabel	selectAlgorithmLabel
private JLabel	selectedGraphFile
private JButton	selectGraphButton
private static long	serialVersionUID
private JButton	showGraphButton
private ACGC.CountingTask	task
private static ACGC	thisClass

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

ACGC()
This is the default constructor

Method Summary

private JComboBox	getAlgSelected() This method initializes algSelected
private JButton	getCountButton() This method initializes countButton
private JTextField	getIterations() This method initializes iterations
private JPanel	getJContentPane() This method initializes jContentPane
private JTextField	getNumberOfColors() This method initializes numberOfColors
private JLabel	getParametersLabel() This method initializes parametersLabel
private JTextField	getPrecision() This method initializes precision
private JTextField	getProbability() This method initializes probability
private JProgressBar	getProgressBar() This method initializes progressBar
private JTextArea	getResultList() This method initializes resultList
private JScrollPane	getResultScrollPane() This method initializes resultScrollPane
private JButton	getSelectGraphButton() This method initializes selectGraphButton
private JButton	getShowGraphButton() This method initializes showGraphButton
private void	initialize() This method initializes this
static void	main(String[] args)
void	propertyChange(PropertyChangeEvent evt)
private void	setProgressText(String progressText)

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, 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, 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, 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

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

jContentPane

private JPanel jContentPane

selectGraphButton

private JButton selectGraphButton

countingAlgorithm

private CountingAlgorithm countingAlgorithm

selectedGraphFile

private JLabel selectedGraphFile

numberColoringsLabel

private JLabel numberColoringsLabel

numberOfColorings

private JLabel numberOfColorings

runTimeLabel

private JLabel runTimeLabel

runTime

private JLabel runTime

countButton

private JButton countButton

numberOfColorsLabel

private JLabel numberOfColorsLabel

numberOfColors

private JTextField numberOfColors

progressBar

private JProgressBar progressBar

thisClass

private static ACGC thisClass

executor

private ExecutorService executor

res

private Future<BigInteger> res

graph

private Graph graph

task

private ACGC.CountingTask task

precisionLabel

private JLabel precisionLabel

probabilityLabel

private JLabel probabilityLabel

precision

private JTextField precision

probability

private JTextField probability

algSelected

private JComboBox algSelected

showGraphButton

private JButton showGraphButton

resultList

private JTextArea resultList

resultScrollPane

private JScrollPane resultScrollPane

progressText

private JLabel progressText

iterationsLabel

private JLabel iterationsLabel

iterations

private JTextField iterations

resultsLabel

private JLabel resultsLabel

parametersLabel

private JLabel parametersLabel

graphLabel

private JLabel graphLabel

selectAlgorithmLabel

private JLabel selectAlgorithmLabel

Constructor Detail

ACGC

public ACGC()

This is the default constructor

Method Detail

setProgressText

private void setProgressText(String progressText)

getSelectGraphButton

private JButton getSelectGraphButton()

This method initializes selectGraphButton

Returns:

javax.swing.JButton

getCountButton

private JButton getCountButton()

This method initializes countButton

Returns:

javax.swing.JButton

propertyChange

public void propertyChange(PropertyChangeEvent evt)

Specified by:

propertyChange in interface PropertyChangeListener

getNumberOfColors

private JTextField getNumberOfColors()

This method initializes numberOfColors

Returns:

javax.swing.JTextField

getProgressBar

private JProgressBar getProgressBar()

This method initializes progressBar

Returns:

javax.swing.JProgressBar

getPrecision

private JTextField getPrecision()

This method initializes precision

Returns:

javax.swing.JTextField

getProbability

private JTextField getProbability()

This method initializes probability

Returns:

javax.swing.JTextField

getAlgSelected

private JComboBox getAlgSelected()

This method initializes algSelected

Returns:

javax.swing.JComboBox

getShowGraphButton

private JButton getShowGraphButton()

This method initializes showGraphButton

Returns:

javax.swing.JButton

getResultList

private JTextArea getResultList()

This method initializes resultList

Returns:

javax.swing.JTextArea

getResultScrollPane

private JScrollPane getResultScrollPane()

This method initializes resultScrollPane

Returns:

javax.swing.JScrollPane

getIterations

private JTextField getIterations()

This method initializes iterations

Returns:

javax.swing.JTextField

getParametersLabel

private JLabel getParametersLabel()

This method initializes parametersLabel

Returns:

javax.swing.JLabel

main

public static void main(String[] args)

Parameters:

args -

initialize

private void initialize()

This method initializes this

getJContentPane

private JPanel getJContentPane()

This method initializes jContentPane

Returns:

javax.swing.JPanel