public class ConformanceCheckingResultView
extends javax.swing.JPanel
javax.swing.JPanel.AccessibleJPanel
javax.swing.JComponent.AccessibleJComponent
Modifier and Type | Field and Description |
---|---|
protected ActivityExistenceChecking |
activityExistenceChecker |
protected BehavioralConstraintsChecking |
behavioralConstraintsChecker |
protected EventNumberPerObjectChecking |
eventNumberPerObjectChecker |
protected FulfilmentChecking |
fulfilmentChecker |
protected java.awt.Image |
importIcon |
protected XOCLog |
inputLog |
protected XOCLogViewer |
logView |
protected ResultMenuBar |
menuBar |
protected OCBCModel |
model |
protected ResultModelView |
modelView |
protected MonotonicityChecking |
monotonicityChecker |
protected ObjectExistenceChecking |
objectExistenceChecker |
protected ObjectModelValidityChecking |
objectModelValidityChecker |
protected ObjectNumberPerEventChecking |
objectNumberPerEventChecker |
protected ParameterPanel |
parameterPanel |
protected ProperClassesChecking |
properClassesChecker |
protected org.deckfour.xes.info.XLogInfo |
summary |
protected com.fluxicon.slickerbox.components.SlickerTabbedPane |
tabbedPane |
protected ResultTextView |
textView |
listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
Constructor and Description |
---|
ConformanceCheckingResultView() |
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
protected java.awt.Image importIcon
protected XOCLogViewer logView
protected ResultModelView modelView
protected ResultTextView textView
protected ResultMenuBar menuBar
protected org.deckfour.xes.info.XLogInfo summary
protected XOCLog inputLog
protected OCBCModel model
protected com.fluxicon.slickerbox.components.SlickerTabbedPane tabbedPane
protected ParameterPanel parameterPanel
protected ObjectModelValidityChecking objectModelValidityChecker
protected FulfilmentChecking fulfilmentChecker
protected MonotonicityChecking monotonicityChecker
protected ActivityExistenceChecking activityExistenceChecker
protected ObjectExistenceChecking objectExistenceChecker
protected ProperClassesChecking properClassesChecker
protected ObjectNumberPerEventChecking objectNumberPerEventChecker
protected EventNumberPerObjectChecking eventNumberPerObjectChecker
protected BehavioralConstraintsChecking behavioralConstraintsChecker
public ParameterPanel getParameterPanel()
public boolean getObjectModelValidityCheckerSwitch()
public boolean getFulfilmentCheckerSwitch()
public boolean getMonotonicityCheckerSwitch()
public boolean getActivityExistenceCheckerSwitch()
public boolean getObjectExistenceCheckerSwitch()
public boolean getProperClassesCheckerSwitch()
public boolean getObjectNumberPerEventCheckerSwitch()
public boolean getEventNumberPerObjectCheckerSwitch()
public boolean getBehavioralConstraintsCheckerSwitch()
public void setParameterPanel(ParameterPanel parameterPanel)
public void setObjectModelValidityCheckerSwitch(boolean objectModelValidityCheckerSwitch)
public void setFulfilmentCheckerSwitch(boolean fulfilmentCheckerSwitch)
public void setActivityExistenceCheckerSwitch(boolean activityExistenceCheckerSwitch)
public void setObjectExistenceCheckerSwitch(boolean objectExistenceCheckerSwitch)
public void setProperClassesCheckerSwitch(boolean properClassesCheckerSwitch)
public void setObjectNumberPerEventCheckerSwitch(boolean objectNumberPerEventCheckerSwitch)
public void setEventNumberPerObjectCheckerSwitch(boolean eventNumberPerObjectCheckerSwitch)
public void setBehavioralConstraintsCheckerSwitch(boolean behavioralConstraintsCheckerSwitch)
public javax.swing.JComponent conformanceChecking(org.processmining.contexts.uitopia.UIPluginContext context, XOCLog log, OCBCModel model)
public void setParameter(org.processmining.contexts.uitopia.UIPluginContext context)
public void updateProcessBarMaximum(org.processmining.contexts.uitopia.UIPluginContext context, int processPercentage, long startTime, long totalTime)
public XOCLog getXOCLog()
public org.deckfour.xes.info.XLogInfo getLogInfo()
public void writeTimeInformationIntoFile(java.lang.String wirteLine, boolean clearFile)
public void outputContextInformation(org.processmining.contexts.uitopia.UIPluginContext context, java.lang.String information)
public ObjectModelValidityChecking getObjectModelValidityChecker()
public FulfilmentChecking getFulfilmentChecker()
public MonotonicityChecking getMonotonicityChecker()
public ActivityExistenceChecking getActivityExistenceChecker()
public ObjectExistenceChecking getObjectExistenceChecker()
public ProperClassesChecking getProperClassesChecker()
public ObjectNumberPerEventChecking getObjectNumberPerEventChecker()
public EventNumberPerObjectChecking getEventNumberPerObjectChecker()
public BehavioralConstraintsChecking getBehavioralConstraintsChecker()
public ResultTextView getTypeView()
public XOCLogViewer getLogView()
public ResultModelView getModelView()
public static void main(java.lang.String[] args) throws java.lang.Exception
java.lang.Exception