org.processmining.framework.ui
Class About

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by java.awt.Window
              extended by java.awt.Dialog
                  extended by javax.swing.JDialog
                      extended by org.processmining.framework.ui.About
All Implemented Interfaces:
java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants

public class About
extends javax.swing.JDialog

Version:
1.1
Author:
Peter van den Brand, Christian W. Guenther (christian@deckfour.org)
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
static java.lang.String INFO
           
static java.lang.String MACHINE
           
static java.lang.String NAME
           
static java.lang.String NAME_FULL
           
static java.lang.String VERSION
           
static java.lang.String VERSION_DATE
           
 
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
About(javax.swing.JFrame owner)
           
 
Method Summary
static java.lang.String CORPORATEIMAGELOCATION()
          CORPORATEIMAGELOCATION stores the location of the corporate image files, i.e.
static java.lang.String EXTLIBLOCATION()
          EXTLIBLOCATION stores the location of the external library files, i.e.
static java.lang.String getCommandLineArguments()
          Returns information about the optional command-line parameters of the ProM framework in a String, containing \n as the linebreak character.
static java.lang.String getCommandLineArgumentsHTML()
          Returns information about the optional command-line parameters of the ProM framework in an HTML formatted String.
static java.lang.String HELPLOCATION()
          HELPLOCATION stores the location of the help files, i.e.
static java.lang.String IMAGELOCATION()
          IMAGELOCATION stores the location of the image files, i.e.
static java.lang.String MODELLOCATION()
          MODELLOCATION stores the location of the model files, i.e.
static java.lang.String PLUGINLOCATION()
          PLUGINLOCATION stores the location of the plugin files, i.e.
static java.lang.String WATERMARKIMAGELOCATION()
          WATERMARKIMAGELOCATION stores the location of the corporate image files, i.e.
 
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
 

Field Detail

NAME

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

NAME_FULL

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

VERSION

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

VERSION_DATE

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

INFO

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

MACHINE

public static final java.lang.String MACHINE
Constructor Detail

About

public About(javax.swing.JFrame owner)
Method Detail

HELPLOCATION

public static java.lang.String HELPLOCATION()
HELPLOCATION stores the location of the help files, i.e. "user.dir" + File.separator + "lib" + file.separator + "documentation" + file.separator


EXTLIBLOCATION

public static java.lang.String EXTLIBLOCATION()
EXTLIBLOCATION stores the location of the external library files, i.e. "user.dir" + File.separator + "lib" + file.separator + "external" + file.separator


PLUGINLOCATION

public static java.lang.String PLUGINLOCATION()
PLUGINLOCATION stores the location of the plugin files, i.e. "user.dir" + File.separator + "lib" + file.separator + "plugins" + file.separator


MODELLOCATION

public static java.lang.String MODELLOCATION()
MODELLOCATION stores the location of the model files, i.e. "user.dir" + File.separator + "lib" + file.separator + "models" + file.separator


IMAGELOCATION

public static java.lang.String IMAGELOCATION()
IMAGELOCATION stores the location of the image files, i.e. "user.dir" + File.separator + "lib" + file.separator + "images" + file.separator


CORPORATEIMAGELOCATION

public static java.lang.String CORPORATEIMAGELOCATION()
CORPORATEIMAGELOCATION stores the location of the corporate image files, i.e. "user.dir" + File.separator + "lib" + file.separator + "images" + file.separator + "corporate" + file.separator


WATERMARKIMAGELOCATION

public static java.lang.String WATERMARKIMAGELOCATION()
WATERMARKIMAGELOCATION stores the location of the corporate image files, i.e. "user.dir" + File.separator + "lib" + file.separator + "images" + file.separator + "watermark" + file.separator


getCommandLineArguments

public static java.lang.String getCommandLineArguments()
Returns information about the optional command-line parameters of the ProM framework in a String, containing \n as the linebreak character.

Returns:
String

getCommandLineArgumentsHTML

public static java.lang.String getCommandLineArgumentsHTML()
Returns information about the optional command-line parameters of the ProM framework in an HTML formatted String.

Returns:
String