public class CancellationView extends CancellationController.View
Modifier and Type | Field and Description |
---|---|
static int |
WaitDisplayDelayDefault |
SignalInputDirection, SignalInputErrors, SignalInputPathThreshold
Constructor and Description |
---|
CancellationView() |
Modifier and Type | Method and Description |
---|---|
protected void |
_updateLabel(javax.swing.JSlider slider,
javax.swing.JLabel labelValue) |
void |
displayDiscovering() |
void |
displayModel(com.kitfox.svg.SVGDiagram imageSC,
com.kitfox.svg.SVGDiagram imagePTnet,
boolean resetView) |
javax.swing.JComponent |
getComponent() |
void |
setErrorOptions(java.util.Set<java.lang.String> values) |
void |
setInputDirection(org.processmining.plugins.graphviz.dot.Dot.GraphDirection dir) |
void |
setInputErrors(java.util.Set<java.lang.String> values) |
void |
setMetrics(FitnessPrecision metrics) |
void |
setPathThreshold(double threshold) |
public static final int WaitDisplayDelayDefault
protected void _updateLabel(javax.swing.JSlider slider, javax.swing.JLabel labelValue)
public javax.swing.JComponent getComponent()
public void setInputDirection(org.processmining.plugins.graphviz.dot.Dot.GraphDirection dir)
setInputDirection
in class CancellationController.View
public void setPathThreshold(double threshold)
setPathThreshold
in class CancellationController.View
public void setInputErrors(java.util.Set<java.lang.String> values)
setInputErrors
in class CancellationController.View
public void setErrorOptions(java.util.Set<java.lang.String> values)
setErrorOptions
in class CancellationController.View
public void displayDiscovering()
displayDiscovering
in class CancellationController.View
public void displayModel(com.kitfox.svg.SVGDiagram imageSC, com.kitfox.svg.SVGDiagram imagePTnet, boolean resetView)
displayModel
in class CancellationController.View
public void setMetrics(FitnessPrecision metrics)
setMetrics
in class CancellationController.View