edu.toronto.cs.gui
Class XChekGUI

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 edu.toronto.cs.gui.XChekGUI
All Implemented Interfaces:
java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants

public class XChekGUI
extends javax.swing.JFrame

The GUI

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
static java.lang.String CNTR_EX_BL
           
static java.lang.String CTL_DEF_DIR
           
static java.lang.String CTL_DEF_FILE
           
static java.lang.String DEF_DIR
           
static java.lang.String EXP_FEAT_BL
           
static java.lang.String FAIRNESS_BL
           
 java.net.URL latticeIcon
           
 java.net.URL loadCTLIcon
           
 java.net.URL loadFairnessIcon
           
static java.lang.String LOOK_AND_FEEL
           
static java.lang.String MODEL_DEF_DIR
           
static java.util.prefs.Preferences MODEL_PREFS
           
 java.net.URL modelInfoIcon
           
static java.lang.String MODELSLIST
           
 java.net.URL openBDDIcon
           
 java.net.URL openXMLIcon
           
 java.net.URL preferencesIcon
           
static java.util.prefs.Preferences PREFS
           
 java.net.URL quitIcon
           
static java.lang.String REMOTE_X
           
 java.net.URL saveCTLIcon
           
 java.net.URL saveFairnessIcon
           
 java.net.URL varIcon
           
 
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
XChekGUI()
           
 
Method Summary
 java.util.Map getDefaultOptions()
          Sets the default core options for XCheck.
static XPreferences getGUIPreferences()
           
 MvSetModelChecker getModelChecker()
           
 XKripkeStructure getXKripke()
           
static void main(java.lang.String[] args)
           
 CTLNode parseCTL(java.lang.String ctlStr)
           
 CTLNode prepareCTL(java.lang.String ctlStr)
           
 CTLNode rewriteCTL(CTLNode ctl)
           
 void runOnCTL()
          Reads the CTL formula to be used in the current model-checker run.
 void setEnabled(boolean enable)
           
 void setModelCompiler(ModelCompiler v)
           
static void showException(java.awt.Component parentComponent, java.lang.String title, java.lang.String message, java.lang.Exception ex)
           
 void trace()
          Starts up the trace viewer...
 
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, 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

PREFS

public static final java.util.prefs.Preferences PREFS

MODEL_PREFS

public static final java.util.prefs.Preferences MODEL_PREFS

DEF_DIR

public static final java.lang.String DEF_DIR
See Also:
Constant Field Values

MODEL_DEF_DIR

public static final java.lang.String MODEL_DEF_DIR
See Also:
Constant Field Values

CTL_DEF_DIR

public static final java.lang.String CTL_DEF_DIR
See Also:
Constant Field Values

CTL_DEF_FILE

public static final java.lang.String CTL_DEF_FILE
See Also:
Constant Field Values

CNTR_EX_BL

public static final java.lang.String CNTR_EX_BL
See Also:
Constant Field Values

FAIRNESS_BL

public static final java.lang.String FAIRNESS_BL
See Also:
Constant Field Values

EXP_FEAT_BL

public static final java.lang.String EXP_FEAT_BL
See Also:
Constant Field Values

LOOK_AND_FEEL

public static final java.lang.String LOOK_AND_FEEL
See Also:
Constant Field Values

REMOTE_X

public static final java.lang.String REMOTE_X
See Also:
Constant Field Values

MODELSLIST

public static final java.lang.String MODELSLIST
See Also:
Constant Field Values

openXMLIcon

public final java.net.URL openXMLIcon

openBDDIcon

public final java.net.URL openBDDIcon

loadFairnessIcon

public final java.net.URL loadFairnessIcon

saveFairnessIcon

public final java.net.URL saveFairnessIcon

loadCTLIcon

public final java.net.URL loadCTLIcon

saveCTLIcon

public final java.net.URL saveCTLIcon

quitIcon

public final java.net.URL quitIcon

modelInfoIcon

public final java.net.URL modelInfoIcon

latticeIcon

public final java.net.URL latticeIcon

varIcon

public final java.net.URL varIcon

preferencesIcon

public final java.net.URL preferencesIcon
Constructor Detail

XChekGUI

public XChekGUI()
Method Detail

setModelCompiler

public void setModelCompiler(ModelCompiler v)

getXKripke

public XKripkeStructure getXKripke()

getModelChecker

public MvSetModelChecker getModelChecker()

rewriteCTL

public CTLNode rewriteCTL(CTLNode ctl)

parseCTL

public CTLNode parseCTL(java.lang.String ctlStr)

prepareCTL

public CTLNode prepareCTL(java.lang.String ctlStr)

runOnCTL

public void runOnCTL()
Reads the CTL formula to be used in the current model-checker run.


trace

public void trace()
Starts up the trace viewer...


getDefaultOptions

public java.util.Map getDefaultOptions()
Sets the default core options for XCheck.


setEnabled

public void setEnabled(boolean enable)
Overrides:
setEnabled in class java.awt.Component

showException

public static void showException(java.awt.Component parentComponent,
                                 java.lang.String title,
                                 java.lang.String message,
                                 java.lang.Exception ex)

main

public static void main(java.lang.String[] args)

getGUIPreferences

public static XPreferences getGUIPreferences()