Package eu.bandm.tools.d2d2.demo

Class Application

java.lang.Object

java.awt.Component

java.awt.Container

java.awt.Window

java.awt.Frame

javax.swing.JFrame

eu.bandm.tools.installer.DocumentedDistribution2<Options,OptionsGui>

eu.bandm.tools.d2d2.demo.Application

All Implemented Interfaces:

ImageObserver, MenuContainer, Serializable, Accessible, RootPaneContainer, WindowConstants

public class Application
extends DocumentedDistribution2<Options,OptionsGui>

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class eu.bandm.tools.installer.DocumentedDistribution2

DocumentedDistribution2.Configuration<MM extends Model,GG extends Gui>

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, Window.Type

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

Fields

Modifier and Type	Field	Description
final Color	COLOR_BG_VALID
final Color	COLOR_INVALID
final Color	COLOR_TAB_VALID
protected JEditorPane	linkEditor
protected JFrame	linkWindow
static String	STRING_NEW_INPUT_CYCLE
static final int	TAB_INDEX_XML_RESULT	The index of the xml output pane.
static final int	TABSTART_RESULT_TABS	The lowest index of the generated text result display tabs.
protected JLabel	tabXml	Needed for "invalidate" etc.

Fields inherited from class eu.bandm.tools.installer.DocumentedDistribution2

anyTabbedPane2textKey, anyTabbedPane2tooltip, button2textKey, buttonPanel, cmdLineDefinesTask, cmdLineIsEmpty, codePosition, completed_user_language_icons, configuration, DEnS_cs, DEnS_dir, emptyArgs, errorMsgField, exampleMenuItems, executeButton, firstSignerName, generationComment, guiPopulated, interactiveIsRequested, isInitialCall, isMuLi, jarRunning, jTabbedPane, KEY_about_additional_text, KEY_PATH_local_userdocumentation, KEY_ultra_short_description, KEY_URL_web_userdocumentation, label2textKey, languageButtons, languagePrefs, menu_lang, menu_languages_name, menu_languages_short, metatools_doc_url, msg, msgCounter, msgPrinter, msgStore, msgTee, msgTranslator, msgXML, optionsGui, optionsModel, PK_DEnS_digest, PK_DEnS_local_dir, PK_optionsLanguage, PK_optionsLastRun, programJavaClassName, resetToDefaultsButton, translatedAndFormatted

Fields inherited from class javax.swing.JFrame

accessibleContext, 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 java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Fields inherited from interface javax.swing.WindowConstants

DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, EXIT_ON_CLOSE, HIDE_ON_CLOSE

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Application()

Method Summary

Modifier and Type	Method	Description
protected void	addUserMenuItems()	Call-back method to be overridden whenever the subclass wants to add further items to the main menu bar.
protected void	addUserPagesToTabbedPane()	Add more panes to the top-level tab pane.
protected void	completeGuiPopulation()	Call-back method to be overridden whenever the subclass wants to add further items after the gui has been constructed and populated.
protected void	executeBatchOperation()	Execute the services as defined in base.Main.
static void	main(String[] args)
protected void	selectExampleOptions(String example)	Callback when the user selects a pre-factored example from the "Help" menu.
protected void	showLinks()

Methods inherited from class eu.bandm.tools.installer.DocumentedDistribution2

addMenu, addMuli_jTabbedPane, addMuli_jTabbedPane, addMuli_jTabbedPane, clearErrorMsg, closeDialogLink, compareLanguageSets, compareLanguageSets2, complete_icon_list, completeInfrastructure, currentLanguage, dumpPreferences, dumpPreferences, executeBatchOperation_caught, getCriticalCount, getFirstSignerName, getRunningCodeSource, guiConfirmExit, insitu, insitu, insitu, INSITU, isInitialCall, isTampered, makeAboutDialog, makeCreditsText, makeMuli, makeMuli_anyTabbedPane, makeMuli_JLabel, makeStatusText, non_static_main, persistAllCmdLineArgs, persistentClear, persistentGetByteArray, persistentGetString, persistentPutByteArray, persistentPutString, populate, POSIX_print_help, POSIX_print_version, requestInteraction, setErrorMsg, setMessageTableSeparatorKey, showPreferencesInDialogWindow, stripHtml, switchLanguage, switchLanguage_internal, switchToTab, terminateApplicationDueToSevereErrors, terminateApplicationDueToSevereErrors, terminateApplicationDueToSevereErrors_usage, translate, translate, translateAndExtractShortcut, translateNonRobust, updateLanguage_anyTabbedPane, updateStatusInformation, user_requests_documentation

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, setBackground, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setOpacity, setResizable, setShape, setState, setTitle, setUndecorated

Methods inherited from class java.awt.Window

addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBackground, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOpacity, getOwnedWindows, getOwner, getOwnerlessWindows, getShape, getToolkit, getType, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isAutoRequestFocus, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isOpaque, isShowing, isValidateRoot, pack, paint, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setAutoRequestFocus, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocation, setLocation, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setType, 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, 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, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, 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, 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, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, requestFocusInWindow, resize, resize, revalidate, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setMaximumSize, setMixingCutoutShape, 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 Details

linkWindow

protected JFrame linkWindow

linkEditor

protected JEditorPane linkEditor

COLOR_BG_VALID

public final Color COLOR_BG_VALID

COLOR_INVALID

public final Color COLOR_INVALID

COLOR_TAB_VALID

public final Color COLOR_TAB_VALID

STRING_NEW_INPUT_CYCLE

public static String STRING_NEW_INPUT_CYCLE

TAB_INDEX_XML_RESULT

public static final int TAB_INDEX_XML_RESULT

The index of the xml output pane.

See Also:

• Constant Field Values

TABSTART_RESULT_TABS

public static final int TABSTART_RESULT_TABS

The lowest index of the generated text result display tabs.

See Also:

• Constant Field Values

tabXml

protected JLabel tabXml

Needed for "invalidate" etc.

Constructor Details

Application

protected Application()

Method Details

showLinks

protected void showLinks()

executeBatchOperation

protected void executeBatchOperation()

Execute the services as defined in base.Main.

Specified by:

executeBatchOperation in class DocumentedDistribution2<Options,OptionsGui>

completeGuiPopulation

protected void completeGuiPopulation()

Description copied from class: DocumentedDistribution2

Call-back method to be overridden whenever the subclass wants to add further items after the gui has been constructed and populated. Is executed in the Swing thread.

Specified by:

completeGuiPopulation in class DocumentedDistribution2<Options,OptionsGui>

addUserMenuItems

protected void addUserMenuItems()

Description copied from class: DocumentedDistribution2

Call-back method to be overridden whenever the subclass wants to add further items to the main menu bar. Is called after menu-component "[0] = file" is created, but the right-most ("language" and "help") are not yet existing. Is executed in the Swing thread.

Specified by:

addUserMenuItems in class DocumentedDistribution2<Options,OptionsGui>

selectExampleOptions

protected void selectExampleOptions(String example)

Callback when the user selects a pre-factored example from the "Help" menu. Basically the option model and gui shall be adjusted, but here also the source texts are read into the text editors immediately, for disk-less editing and procesing.

Overrides:

selectExampleOptions in class DocumentedDistribution2<Options,OptionsGui>

Parameters:

example - the name from the menu which identifies the example. Can be =null iff there is only one example.

addUserPagesToTabbedPane

protected void addUserPagesToTabbedPane()

Add more panes to the top-level tab pane. Sequence is

    main  batch  d2d  xml  [varying outputs] defs def messages
  

Specified by:

addUserPagesToTabbedPane in class DocumentedDistribution2<Options,OptionsGui>

main

public static void main(String[] args)