Package eu.bandm.tools.dtm
Class Tool.MyGui
java.lang.Object
java.awt.Component
java.awt.Container
javax.swing.JComponent
javax.swing.JPanel
eu.bandm.tools.option.runtime.Gui
eu.bandm.tools.dtm.ToolGui
eu.bandm.tools.dtm.Tool.MyGui
- All Implemented Interfaces:
ImageObserver,MenuContainer,Serializable,Runnable,Accessible
- Enclosing class:
Tool
- See Also:
-
Nested Class Summary
Nested classes/interfaces inherited from class eu.bandm.tools.option.runtime.Gui
Gui.Collection, Gui.CommentField, Gui.Field_bool, Gui.Field_enum<E extends Enum<E>>, Gui.Field_enumSet<E extends Enum<E>>, Gui.Field_float, Gui.Field_int, Gui.Field_rational, Gui.Field_string, Gui.Field_uri, Gui.HandleActionListener, Gui.Handles, Gui.StringIcon, Gui.TextReaction, Gui.TTHandle, Gui.TTLabel, Gui.ValueFieldNested classes/interfaces inherited from class javax.swing.JPanel
JPanel.AccessibleJPanelNested classes/interfaces inherited from class javax.swing.JComponent
JComponent.AccessibleJComponentNested classes/interfaces inherited from class java.awt.Container
Container.AccessibleAWTContainerNested classes/interfaces inherited from class java.awt.Component
Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy -
Field Summary
FieldsModifier and TypeFieldDescription(package private) final MessageTranslator<@Opt XMLDocumentIdentifier> Fields inherited from class eu.bandm.tools.dtm.ToolGui
allVisuals_acceptIncomplete, allVisuals_alphabeticDir, allVisuals_analyses, allVisuals_attlists, allVisuals_collapseWS, allVisuals_comments, allVisuals_commonAttThreshold, allVisuals_elementGraph, allVisuals_elements, allVisuals_entityGraph, allVisuals_expandAttlists, allVisuals_expandContents, allVisuals_expandDefNames, allVisuals_expandEntities, allVisuals_expandRefTooltips, allVisuals_GEs, allVisuals_gui, allVisuals_inserts, allVisuals_linewidth, allVisuals_outputFormat, allVisuals_PEs, allVisuals_PIs, allVisuals_result, allVisuals_showCommandLine, allVisuals_showCreationDate, allVisuals_showFullInstructions, allVisuals_source, allVisuals_windowtitle, commentfield_0, commentfield_1, commentfield_2, commentfield_3, commentfield_4, copyPhase, modelFields inherited from class eu.bandm.tools.option.runtime.Gui
action_delete, action_insert, action_swap, backgroundColor_error, backgroundColor_ok, backgroundColor_warning, buttoninsets, buttonKeys, buttonsize, editingFrame, errorcomponent, errorControlled, errorkey, errorstate, growingGroup, handlesize, idelete, iinsert, iswap, messagePane, messages, prefLangs, react_float, react_int, react_int_hex, react_noSyntax, react_rational, serializationField, uriDialogActiveFields inherited from class javax.swing.JComponent
listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOWFields inherited from class java.awt.Component
accessibleContext, BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENTFields inherited from interface java.awt.image.ImageObserver
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprotected voidbuttonAction(String buttonText) protected voidvoidrun()Methods inherited from class eu.bandm.tools.dtm.ToolGui
getModel, makeInstance, model2view, populate, set_model, view2modelMethods inherited from class eu.bandm.tools.option.runtime.Gui
clearErrorControlled, displayActive, displaySerialization, editGraphically, field2coordinates, getInitialWidthOfValuesPanel, make_commentfield, make_label, makeErrorControlled, makeField_bool, makeField_enum, makeField_enumSet, makeField_float, makeField_int, makeField_rat, makeField_string, makeField_uri, makeField_uri, model2view_repeting, set_error_off, set_error_on, set_error_on, setLivingListLanguagePreferences, setMessagePane, setSerializationField, switchOptionEnableState, switchOptionEnableState, translate_description, updateLanguage, updatePos, view2model_repetingMethods inherited from class javax.swing.JPanel
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUIMethods inherited from class javax.swing.JComponent
addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, updateMethods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusDownCycle, validate, validateTreeMethods inherited from class java.awt.Component
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setMixingCutoutShape, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
-
Field Details
-
mmr
-
-
Constructor Details
-
MyGui
protected MyGui()
-
-
Method Details
-
run
public void run() -
buttonAction
- Overrides:
buttonActionin classGui
-
do_writeFile
protected void do_writeFile()
-