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
(package private) final BatchOptions	batchOptions
(package private) JButton	button_translate
final Color	COLOR_BG_VALID
final Color	COLOR_INVALID
final Color	COLOR_TAB_VALID
(package private) final Main	d2d_main
(package private) JEditorPane	eD2d
(package private) final Text2Udom.ErrorStrategy	errorStrategy
(package private) String	exampleName
(package private) final FunctionLibrary<Node>	functionLibrary
(package private) final Map<Module,Map<String,Transformation>>	input2targetKey2transformation
protected JEditorPane	linkEditor
protected JFrame	linkWindow
(package private) final Options	mainOptions
(package private) final ModuleRegistry	modreg
(package private) static final String	nothingYet
(package private) final Map<String,ResultContext>	resultContexts
(package private) final String	STRING_EMPTY_EXAMPLE_BUFFER
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.
(package private) JPanel	tD2d
(package private) final JEditorPane	tDef
(package private) final JEditorPane	tDefs
(package private) final Set<JComponent>	tempTabs	Maps to "contents is valid".
(package private) int	tracelevel
(package private) TransformationCache	transformationsCache	Single instance cache for xslt source applied to global parameters.
(package private) final JEditorPane	tXml
(package private) final Transformation.Modifiers	txsl_modifiers	Modifiers for the txsl execution.
(package private) boolean	valid	Is set with every transformation and cleared when changing the input text.
(package private) final Trace	xsltTrace

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
(package private) JPanel	addBaseGUI(String tabTitle, String tabToolTip, Gui gui, Model model, boolean mainNotBatch)	Add a top-level tab with the option Gui for "Main" or "Batch".
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.
(package private) void	do_makeMuli(JButton button, String text)	Gives other classes in this pacakge access to that protected service.
(package private) JLabel	do_makeMuli_JLabel(String text)	Gives other classes in this pacakge access to that protected service.
(package private) void	do_translate_buffer()	Translage the d2d source text in the interactive editor into all back-end formats defined for that input format and display them.
protected void	executeBatchOperation()	Execute the services as defined in base.Main.
(package private) void	invalidateAll()	Emits a message that the input buffer has been changed, and sets the tabs and backgrounds of the (old) results to gray.
(package private) Transformation	loadTransformationForModuleAndTarget(ResolvedModule module, String targetKey, ResultContext resultContext, String topElementName)
static void	main(String[] args)
(package private) void	makeAndShowTranslation(ResolvedModule module, DOMClient dclient, Document dom, String key)	Make one translation into one particular target, and show it in tab(s).
(package private) void	makeTempText(String key, boolean isHtml, String contents)	Construct a text display and add it to the top-level tabs.
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

tracelevel

int tracelevel

xsltTrace

final Trace xsltTrace

txsl_modifiers

final Transformation.Modifiers txsl_modifiers

Modifiers for the txsl execution.

errorStrategy

final Text2Udom.ErrorStrategy errorStrategy

functionLibrary

final FunctionLibrary<Node> functionLibrary

tD2d

JPanel tD2d

eD2d

JEditorPane eD2d

tXml

final JEditorPane tXml

tDefs

final JEditorPane tDefs

tDef

final JEditorPane tDef

linkWindow

protected JFrame linkWindow

linkEditor

protected JEditorPane linkEditor

d2d_main

final Main d2d_main

nothingYet

static final String nothingYet

See Also:

• Constant Field Values

modreg

final ModuleRegistry modreg

resultContexts

final Map<String,ResultContext> resultContexts

input2targetKey2transformation

final Map<Module,Map<String,Transformation>> input2targetKey2transformation

transformationsCache

TransformationCache transformationsCache

Single instance cache for xslt source applied to global parameters.

tempTabs

final Set<JComponent> tempTabs

Maps to "contents is valid".

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

valid

boolean valid

Is set with every transformation and cleared when changing the input text.

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.

STRING_EMPTY_EXAMPLE_BUFFER

final String STRING_EMPTY_EXAMPLE_BUFFER

See Also:

• Constant Field Values

exampleName

String exampleName

mainOptions

final Options mainOptions

batchOptions

final BatchOptions batchOptions

button_translate

JButton button_translate

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>

do_translate_buffer

void do_translate_buffer()

Translage the d2d source text in the interactive editor into all back-end formats defined for that input format and display them.

invalidateAll

void invalidateAll()

Emits a message that the input buffer has been changed, and sets the tabs and backgrounds of the (old) results to gray. (The message is shown in the table as a thick separator line.)

makeAndShowTranslation

void makeAndShowTranslation(ResolvedModule module,
 DOMClient dclient,
 Document dom,
 String key)

Make one translation into one particular target, and show it in tab(s). Only translations into pure text and into (x)html(_1_0) are supported.

makeTempText

void makeTempText(String key,
 boolean isHtml,
 String contents)

Construct a text display and add it to the top-level tabs.

Parameters:

isHtml - whether to render the text, not to show it verbatim.

loadTransformationForModuleAndTarget

Transformation loadTransformationForModuleAndTarget(ResolvedModule module,
 String targetKey,
 ResultContext resultContext,
 String topElementName)

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.

addBaseGUI

JPanel addBaseGUI(String tabTitle,
 String tabToolTip,
 Gui gui,
 Model model,
 boolean mainNotBatch)

Add a top-level tab with the option Gui for "Main" or "Batch".

do_makeMuli

void do_makeMuli(JButton button,
 String text)

Gives other classes in this pacakge access to that protected service.

do_makeMuli_JLabel

JLabel do_makeMuli_JLabel(String text)

Gives other classes in this pacakge access to that protected service.

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)