public class MinedTSLogFilter
extends javax.swing.JPanel
implements java.awt.event.ActionListener, org.processmining.framework.util.ui.scalableview.interaction.ViewInteractionPanel
javax.swing.JPanel.AccessibleJPanel
javax.swing.JComponent.AccessibleJComponent
accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
Constructor and Description |
---|
MinedTSLogFilter(org.processmining.framework.plugin.PluginContext context,
TransitionSystem ts,
TSMinerInput settings,
org.processmining.models.jgraph.visualization.ProMJGraphPanel panel) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
javax.swing.JComponent |
getComponent()
Returns the component that is shown if this panel is activated by the
user.
|
double |
getHeightInView()
Returns the preferred height of this component when shown to the user.
|
java.lang.String |
getPanelName()
Returns the name of the panel.
|
double |
getWidthInView()
Returns the preferred width of this component when shown to the user.
|
void |
setParent(org.processmining.framework.util.ui.scalableview.ScalableViewPanel viewPanel)
This method is called by the ProM scalable view as soon as the panel is
added to this view.
|
void |
setScalableComponent(org.processmining.framework.util.ui.scalableview.ScalableComponent scalable)
This method is called by the ProM scalable view as soon as the panel is
added to this view.
|
void |
updated()
This method should be called if the component is updated (layout,
content, etc.)
|
void |
willChangeVisibility(boolean to)
This method is called by the ProMScalableView panel just before the
component of this interaction panel will be shown to the user or hidden
from the user.
|
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI
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, update
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, validateTree
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, getPeer, 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, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
public MinedTSLogFilter(org.processmining.framework.plugin.PluginContext context, TransitionSystem ts, TSMinerInput settings, org.processmining.models.jgraph.visualization.ProMJGraphPanel panel)
public javax.swing.JComponent getComponent()
org.processmining.framework.util.ui.scalableview.interaction.ViewInteractionPanel
this
in this method.getComponent
in interface org.processmining.framework.util.ui.scalableview.interaction.ViewInteractionPanel
public double getHeightInView()
org.processmining.framework.util.ui.scalableview.interaction.ViewInteractionPanel
getHeightInView
in interface org.processmining.framework.util.ui.scalableview.interaction.ViewInteractionPanel
public java.lang.String getPanelName()
org.processmining.framework.util.ui.scalableview.interaction.ViewInteractionPanel
getPanelName
in interface org.processmining.framework.util.ui.scalableview.interaction.ViewInteractionPanel
public double getWidthInView()
org.processmining.framework.util.ui.scalableview.interaction.ViewInteractionPanel
getWidthInView
in interface org.processmining.framework.util.ui.scalableview.interaction.ViewInteractionPanel
public void setParent(org.processmining.framework.util.ui.scalableview.ScalableViewPanel viewPanel)
org.processmining.framework.util.ui.scalableview.interaction.ViewInteractionPanel
setParent
in interface org.processmining.framework.util.ui.scalableview.interaction.ViewInteractionPanel
public void setScalableComponent(org.processmining.framework.util.ui.scalableview.ScalableComponent scalable)
org.processmining.framework.util.ui.scalableview.interaction.ViewInteractionPanel
setScalableComponent
in interface org.processmining.framework.util.ui.scalableview.interaction.ViewInteractionPanel
public void willChangeVisibility(boolean to)
org.processmining.framework.util.ui.scalableview.interaction.ViewInteractionPanel
willChangeVisibility
in interface org.processmining.framework.util.ui.scalableview.interaction.ViewInteractionPanel
to
- TODOpublic void updated()
org.processmining.framework.util.ui.scalableview.ScalableComponent.UpdateListener
updated
in interface org.processmining.framework.util.ui.scalableview.ScalableComponent.UpdateListener
public void actionPerformed(java.awt.event.ActionEvent e)
actionPerformed
in interface java.awt.event.ActionListener