org.processmining.plugins.ppm.ppmchart.ui

Class PPMChartOptionPanel

java.lang.Object

org.processmining.plugins.ppm.ppmchart.ui.PPMChartOptionPanel

All Implemented Interfaces:

java.awt.event.ActionListener, java.awt.event.ItemListener, java.util.EventListener, javax.swing.event.ChangeListener

public class PPMChartOptionPanel
extends java.lang.Object
implements javax.swing.event.ChangeListener, java.awt.event.ActionListener, java.awt.event.ItemListener

Field Summary

Fields

Modifier and Type	Field and Description
protected PPMChartPanel	ccPanel
static java.awt.Color	ColorBg
static java.awt.Color	ColorFg
static java.awt.Color	ColorInnerBg
static java.awt.Color	ColorTextAreaBg
protected java.lang.String	currentTimeOption
protected java.util.ArrayList<java.lang.String>	eventTypeToKeep
protected javax.swing.JSlider	zoomSliderX
protected javax.swing.JSlider	zoomSliderY

Constructor Summary

Constructors

Constructor and Description
PPMChartOptionPanel(PPMChartAnalysis aCCA)

Method Summary

Modifier and Type	Method and Description
void	actionPerformed(java.awt.event.ActionEvent e)
void	changeSlider()
void	changeWidthSort(int idx)
java.lang.String	getColorStandard()
java.lang.String	getComponentType()
java.lang.String	getMouseMode()
javax.swing.JPanel	getOptionPanel(boolean includeInteractiveItems)
java.lang.String	getShapeStandard()
java.lang.String	getSortStandard()
java.lang.String	getTimeOption()
java.lang.String	getTotalWidth()
long	getWidthDivider()
javax.swing.JSlider	getZoomSliderX()
javax.swing.JSlider	getZoomSliderY()
boolean	isDescCheckBoxSelected()
boolean	isSizeCheckBoxSelected()
void	itemStateChanged(java.awt.event.ItemEvent e)
void	registerGUIListener(PPMChartPanel aCCPanel)
void	setColorStandard(java.lang.String s)
void	setComponentType(java.lang.String s)
void	setDescCheckBoxSelected(boolean b)
void	setMouseMode(java.lang.String s)
void	setShapeStandard(java.lang.String s)
void	setSizeCheckBoxSelected(boolean b)
void	setSortStandard(java.lang.String s)
void	setTimeOption(java.lang.String s)
void	setTotalWidth(java.lang.String s)
void	setWidthDivider(long l)
void	setZoomSliderX(javax.swing.JSlider s)
void	setZoomSliderXValue(double zoomLevel)
void	setZoomSliderY(javax.swing.JSlider s)
void	stateChanged(javax.swing.event.ChangeEvent e)
void	zoomOut()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ColorBg

public static java.awt.Color ColorBg

ColorInnerBg

public static java.awt.Color ColorInnerBg

ColorFg

public static java.awt.Color ColorFg

ColorTextAreaBg

public static java.awt.Color ColorTextAreaBg

ccPanel

protected PPMChartPanel ccPanel

eventTypeToKeep

protected java.util.ArrayList<java.lang.String> eventTypeToKeep

zoomSliderX

protected javax.swing.JSlider zoomSliderX

zoomSliderY

protected javax.swing.JSlider zoomSliderY

currentTimeOption

protected java.lang.String currentTimeOption

Constructor Detail

PPMChartOptionPanel

public PPMChartOptionPanel(PPMChartAnalysis aCCA)

Method Detail

getOptionPanel

public javax.swing.JPanel getOptionPanel(boolean includeInteractiveItems)

getColorStandard

public java.lang.String getColorStandard()

setColorStandard

public void setColorStandard(java.lang.String s)

getShapeStandard

public java.lang.String getShapeStandard()

setShapeStandard

public void setShapeStandard(java.lang.String s)

getSortStandard

public java.lang.String getSortStandard()

setSortStandard

public void setSortStandard(java.lang.String s)

getMouseMode

public java.lang.String getMouseMode()

setMouseMode

public void setMouseMode(java.lang.String s)

getComponentType

public java.lang.String getComponentType()

setComponentType

public void setComponentType(java.lang.String s)

getTotalWidth

public java.lang.String getTotalWidth()

setTotalWidth

public void setTotalWidth(java.lang.String s)

getWidthDivider

public long getWidthDivider()

setWidthDivider

public void setWidthDivider(long l)

getZoomSliderX

public javax.swing.JSlider getZoomSliderX()

setZoomSliderX

public void setZoomSliderX(javax.swing.JSlider s)

getZoomSliderY

public javax.swing.JSlider getZoomSliderY()

setZoomSliderY

public void setZoomSliderY(javax.swing.JSlider s)

getTimeOption

public java.lang.String getTimeOption()

setTimeOption

public void setTimeOption(java.lang.String s)

changeWidthSort

public void changeWidthSort(int idx)

isDescCheckBoxSelected

public boolean isDescCheckBoxSelected()

setDescCheckBoxSelected

public void setDescCheckBoxSelected(boolean b)

isSizeCheckBoxSelected

public boolean isSizeCheckBoxSelected()

setSizeCheckBoxSelected

public void setSizeCheckBoxSelected(boolean b)

registerGUIListener

public void registerGUIListener(PPMChartPanel aCCPanel)

zoomOut

public void zoomOut()

changeSlider

public void changeSlider()

setZoomSliderXValue

public void setZoomSliderXValue(double zoomLevel)

stateChanged

public void stateChanged(javax.swing.event.ChangeEvent e)

Specified by:

stateChanged in interface javax.swing.event.ChangeListener

itemStateChanged

public void itemStateChanged(java.awt.event.ItemEvent e)

Specified by:

itemStateChanged in interface java.awt.event.ItemListener

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)

Specified by:

actionPerformed in interface java.awt.event.ActionListener