Serialized Form


Package org.processmining.plugins.declare.visualizing

Class org.processmining.plugins.declare.visualizing.AbstractDialog extends javax.swing.JDialog implements Serializable

serialVersionUID: -3685059762288542506L

Serialized Fields

result

boolean result

monitor

java.awt.Container monitor

positive

java.awt.event.ActionListener positive

negative

java.awt.event.ActionListener negative

buttons

java.awt.Component buttons

content

java.awt.Component content

display

boolean display

Class org.processmining.plugins.declare.visualizing.AbstractDialog.Button extends javax.swing.JButton implements Serializable

serialVersionUID: -1033654679679008547L

Class org.processmining.plugins.declare.visualizing.ActivityCell extends ActivityDefinitonCell implements Serializable

serialVersionUID: -8623688566984682674L

Class org.processmining.plugins.declare.visualizing.ActivityDefinitionPort extends DPort implements Serializable

serialVersionUID: 8938543148946161607L

Class org.processmining.plugins.declare.visualizing.ActivityDefinitonCell extends DVertex implements Serializable

serialVersionUID: -319493519832010439L

Serialized Fields

metricsPanel

javax.swing.JPanel metricsPanel

mainPanel

javax.swing.JPanel mainPanel

labels

java.util.Vector<E> labels

Class org.processmining.plugins.declare.visualizing.AssignmentPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: -9079802798769750273L

Serialized Fields

tp

javax.swing.JTabbedPane tp

work

ModelPanel work

Class org.processmining.plugins.declare.visualizing.BaseCollection extends java.util.ArrayList<E extends Base> implements Serializable

serialVersionUID: 8864827256065031046L

Serialized Fields

map

java.util.HashMap<K,V> map
A hash map that stores all elements of the collection based on their Integer identification.

Class org.processmining.plugins.declare.visualizing.BlankButtonGroup extends javax.swing.ButtonGroup implements Serializable

serialVersionUID: -3683013639927198483L

Serialized Fields

blank

javax.swing.AbstractButton blank

Class org.processmining.plugins.declare.visualizing.ButtonAdd extends javax.swing.JButton implements Serializable

serialVersionUID: -277789026719553138L

Class org.processmining.plugins.declare.visualizing.ButtonCancel extends javax.swing.JButton implements Serializable

serialVersionUID: -1763796354488296789L

Class org.processmining.plugins.declare.visualizing.ButtonClose extends javax.swing.JButton implements Serializable

serialVersionUID: 4493129490604530746L

Class org.processmining.plugins.declare.visualizing.ButtonDelete extends javax.swing.JButton implements Serializable

serialVersionUID: -2193648033019142859L

Class org.processmining.plugins.declare.visualizing.ButtonEdit extends javax.swing.JButton implements Serializable

serialVersionUID: -7794592367158431683L

Class org.processmining.plugins.declare.visualizing.ButtonNo extends javax.swing.JButton implements Serializable

serialVersionUID: -6585848515525250497L

Class org.processmining.plugins.declare.visualizing.ButtonOk extends javax.swing.JButton implements Serializable

serialVersionUID: -8587073711875401234L

Class org.processmining.plugins.declare.visualizing.ButtonYes extends javax.swing.JButton implements Serializable

serialVersionUID: -2167149596020649945L

Class org.processmining.plugins.declare.visualizing.CellModel extends javax.swing.AbstractListModel implements Serializable

serialVersionUID: 4735900378220460350L

Serialized Fields

list

java.util.Vector<E> list

Class org.processmining.plugins.declare.visualizing.CloseDialog extends AbstractDialog implements Serializable

serialVersionUID: 1458603184753943597L

Serialized Fields

close

AbstractDialog.Button close

Class org.processmining.plugins.declare.visualizing.ConstraintConnector extends TransparentCell implements Serializable

serialVersionUID: -3706488901967995628L

Class org.processmining.plugins.declare.visualizing.ConstraintDefinitionEdge extends DEdge implements Serializable

serialVersionUID: 6482878316795733721L

Serialized Fields

parameter

ActivityDefinition parameter

label

boolean label

metricsPanel

javax.swing.JPanel metricsPanel

labels

java.util.Vector<E> labels

mainPanel

javax.swing.JPanel mainPanel

Class org.processmining.plugins.declare.visualizing.ConstraintDefinitionEdge.UnaryRouting extends org.jgraph.graph.DefaultEdge.LoopRouting implements Serializable

serialVersionUID: 6071223636488430899L

Class org.processmining.plugins.declare.visualizing.ConstraintEdge extends ConstraintDefinitionEdge implements Serializable

serialVersionUID: 1817124703089993470L

Serialized Fields

DEFAULT_LINE_WIDTH

float DEFAULT_LINE_WIDTH

Class org.processmining.plugins.declare.visualizing.ConstraintView extends DEdgeView implements Serializable

serialVersionUID: -5588825562683988981L

Class org.processmining.plugins.declare.visualizing.DCellViewFactory extends org.jgraph.graph.DefaultCellViewFactory implements Serializable

serialVersionUID: -8064103123888186409L

Class org.processmining.plugins.declare.visualizing.DEdge extends org.jgraph.graph.DefaultEdge implements Serializable

serialVersionUID: -693583188250090210L

Serialized Fields

lineStyle

LineStyle lineStyle

Class org.processmining.plugins.declare.visualizing.DEdgeRenderer extends org.jgraph.graph.EdgeRenderer implements Serializable

serialVersionUID: -2245131380109364539L

Class org.processmining.plugins.declare.visualizing.DEdgeView extends org.jgraph.graph.EdgeView implements Serializable

serialVersionUID: -5599481405889850931L

Class org.processmining.plugins.declare.visualizing.DEdgeView.DEdgeHandle extends org.jgraph.graph.EdgeView.EdgeHandle implements Serializable

serialVersionUID: -395505643022569913L

Serialized Fields

edge

org.jgraph.graph.EdgeView edge

Class org.processmining.plugins.declare.visualizing.DefaultFileDialog extends FileDialog implements Serializable

serialVersionUID: 4524363156377923623L

Serialized Fields

filter

DefaultFileFilter filter

Class org.processmining.plugins.declare.visualizing.DefaultPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 824556080673312891L

Serialized Fields

minimumWidth

int minimumWidth

Class org.processmining.plugins.declare.visualizing.DesignInternalFrame extends javax.swing.JInternalFrame implements Serializable

serialVersionUID: 7054042280371433113L

Class org.processmining.plugins.declare.visualizing.DGraph extends org.jgraph.JGraph implements Serializable

serialVersionUID: -5250029168745239406L

Class org.processmining.plugins.declare.visualizing.DPort extends org.jgraph.graph.DefaultPort implements Serializable

serialVersionUID: -4577240013297646609L

Serialized Fields

vertex

DVertex vertex

Class org.processmining.plugins.declare.visualizing.DVertex extends org.jgraph.graph.DefaultGraphCell implements Serializable

serialVersionUID: 4451359435095622492L

Class org.processmining.plugins.declare.visualizing.ErrorMessage extends CloseDialog implements Serializable

serialVersionUID: -8385536758474905436L

Serialized Fields

exit

boolean exit

error

java.lang.Throwable error

Class org.processmining.plugins.declare.visualizing.FileDialog extends javax.swing.JFileChooser implements Serializable

serialVersionUID: -3746339856906036488L

Class org.processmining.plugins.declare.visualizing.FrmAssignmentModel extends DesignInternalFrame implements Serializable

serialVersionUID: -1207580453413544345L

Serialized Fields

panel

AssignmentPanel panel

Class org.processmining.plugins.declare.visualizing.GraphPane extends javax.swing.JPanel implements Serializable

serialVersionUID: -4713673051931721601L

Serialized Fields

graphListener

GraphListener graphListener

INSERT_ICON

java.lang.String INSERT_ICON

CONNECT_ICON

java.lang.String CONNECT_ICON

COPY_ICON

java.lang.String COPY_ICON

PASTE_ICON

java.lang.String PASTE_ICON

CUT_ICON

java.lang.String CUT_ICON

DELETE_ICON

java.lang.String DELETE_ICON

TOFRONT_ICON

java.lang.String TOFRONT_ICON

TOBACK_ICON

java.lang.String TOBACK_ICON

ZOOM_ICON

java.lang.String ZOOM_ICON

ZOOMIN_ICON

java.lang.String ZOOMIN_ICON

ZOOMOUT_ICON

java.lang.String ZOOMOUT_ICON

GROUP_ICON

java.lang.String GROUP_ICON

UNGROUP_ICON

java.lang.String UNGROUP_ICON

graph

org.jgraph.JGraph graph

undoManager

org.jgraph.graph.GraphUndoManager undoManager

undo

javax.swing.Action undo

redo

javax.swing.Action redo

remove

javax.swing.Action remove

group

javax.swing.Action group

ungroup

javax.swing.Action ungroup

tofront

javax.swing.Action tofront

toback

javax.swing.Action toback

cut

javax.swing.Action cut

copy

javax.swing.Action copy

paste

javax.swing.Action paste

cellCount

int cellCount

statusBar

GraphPane.EdStatusBar statusBar

language

java.lang.String language

Class org.processmining.plugins.declare.visualizing.GraphPane.EdStatusBar extends javax.swing.JPanel implements Serializable

serialVersionUID: 270492585394520466L

Serialized Fields

leftSideStatus

javax.swing.JLabel leftSideStatus

rightSideStatus

javax.swing.JLabel rightSideStatus
contains the scale for the current graph

Class org.processmining.plugins.declare.visualizing.GraphPane.EventRedirector extends javax.swing.AbstractAction implements Serializable

serialVersionUID: -5756507929018022815L

Serialized Fields

action

javax.swing.Action action

Class org.processmining.plugins.declare.visualizing.GraphPane.MyEdgeHandle extends org.jgraph.graph.EdgeView.EdgeHandle implements Serializable

serialVersionUID: -4791937071623997342L

Class org.processmining.plugins.declare.visualizing.GraphPane.MyModel extends org.jgraph.graph.DefaultGraphModel implements Serializable

serialVersionUID: -7775842083454100665L

Class org.processmining.plugins.declare.visualizing.GraphPanel extends DefaultPanel implements Serializable

serialVersionUID: 7893072832574958863L

Serialized Fields

preview

GraphPreview preview

scrollPane

javax.swing.JScrollPane scrollPane

Class org.processmining.plugins.declare.visualizing.GraphPreview extends DefaultPanel implements Serializable

serialVersionUID: 9117206822999250770L

Class org.processmining.plugins.declare.visualizing.JGraphExportImageDialog extends DefaultFileDialog implements Serializable

serialVersionUID: -3908843855609064198L

Class org.processmining.plugins.declare.visualizing.JGraphLineComboBox extends javax.swing.JPanel implements Serializable

serialVersionUID: -1974862210235537707L

Serialized Fields

lines

java.util.ArrayList<E> lines

strings

java.util.ArrayList<E> strings

lineList

javax.swing.JComboBox lineList

Class org.processmining.plugins.declare.visualizing.LTLFileDialog extends DefaultFileDialog implements Serializable

serialVersionUID: -4991259777996481277L

Class org.processmining.plugins.declare.visualizing.MainFrame extends javax.swing.JFrame implements Serializable

serialVersionUID: -710344195019020975L

Class org.processmining.plugins.declare.visualizing.MainFrame_AboutBox extends javax.swing.JDialog implements Serializable

serialVersionUID: -7152119657862463433L

Serialized Fields

panel1

javax.swing.JPanel panel1

panel2

javax.swing.JPanel panel2

insetsPanel1

javax.swing.JPanel insetsPanel1

insetsPanel2

javax.swing.JPanel insetsPanel2

insetsPanel3

javax.swing.JPanel insetsPanel3

button1

javax.swing.JButton button1

imageLabel

javax.swing.JLabel imageLabel

label1

javax.swing.JLabel label1

label2

javax.swing.JLabel label2

label3

javax.swing.JLabel label3

label4

javax.swing.JLabel label4

image1

javax.swing.ImageIcon image1

borderLayout1

java.awt.BorderLayout borderLayout1

borderLayout2

java.awt.BorderLayout borderLayout2

flowLayout1

java.awt.FlowLayout flowLayout1

gridLayout1

java.awt.GridLayout gridLayout1

product

java.lang.String product

version

java.lang.String version

copyright

java.lang.String copyright

comments

java.lang.String comments

Class org.processmining.plugins.declare.visualizing.ModelPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1944636478841722410L

Class org.processmining.plugins.declare.visualizing.ModelPropertiesPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

name

javax.swing.JTextField name

Class org.processmining.plugins.declare.visualizing.OkCancelDialog extends AbstractDialog implements Serializable

serialVersionUID: 898631367862962146L

Serialized Fields

ok

AbstractDialog.Button ok

cancel

AbstractDialog.Button cancel

Class org.processmining.plugins.declare.visualizing.Palete extends DefaultPanel implements Serializable

serialVersionUID: -851774136448016779L

Class org.processmining.plugins.declare.visualizing.ParameterPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: -3797188307495592042L

Serialized Fields

name

javax.swing.JLabel name

color

java.awt.Color color

btn

javax.swing.JButton btn

real

java.util.List<E> real

parameter

Parameter parameter

listener

org.processmining.plugins.declare.visualizing.ParameterPanel.Listener listener

Class org.processmining.plugins.declare.visualizing.TList extends javax.swing.JList implements Serializable

serialVersionUID: -2054230024326728712L

Class org.processmining.plugins.declare.visualizing.ToggleButton extends javax.swing.JToggleButton implements Serializable

serialVersionUID: 4756065398141173079L

Class org.processmining.plugins.declare.visualizing.TPanel extends DefaultPanel implements Serializable

serialVersionUID: -7809059177888585871L

Class org.processmining.plugins.declare.visualizing.TransparentCell extends DVertex implements Serializable

serialVersionUID: 2453468667806401105L

Class org.processmining.plugins.declare.visualizing.TransparentCellView extends org.jgraph.graph.VertexView implements Serializable

serialVersionUID: -6460594714818908835L

Class org.processmining.plugins.declare.visualizing.TransparentCellView.DVertexHandle extends org.jgraph.graph.VertexView.SizeHandle implements Serializable

serialVersionUID: -395505643022569913L

Serialized Fields

edge

org.jgraph.graph.VertexView edge

Class org.processmining.plugins.declare.visualizing.TransparentCellView.JGraphTransparentRenderer extends org.jgraph.graph.VertexRenderer implements Serializable

serialVersionUID: 961934859392648500L

Class org.processmining.plugins.declare.visualizing.TransparentPort extends org.jgraph.graph.DefaultPort implements Serializable

serialVersionUID: 4699980481567941688L

Class org.processmining.plugins.declare.visualizing.TransparentPortView extends org.jgraph.graph.PortView implements Serializable

serialVersionUID: 8359300852198338515L

Class org.processmining.plugins.declare.visualizing.TransparentPortView.TransparentRenderer extends org.jgraph.graph.PortRenderer implements Serializable

serialVersionUID: -7309495960446672754L

Class org.processmining.plugins.declare.visualizing.TSplitPane extends javax.swing.JSplitPane implements Serializable

serialVersionUID: 6780278882054035567L

Class org.processmining.plugins.declare.visualizing.TTable extends javax.swing.JTable implements Serializable

serialVersionUID: -8391157208955501539L

Class org.processmining.plugins.declare.visualizing.TTableModel extends javax.swing.table.DefaultTableModel implements Serializable

serialVersionUID: -5763578148531632285L

Serialized Fields

objectColumn

int objectColumn

Class org.processmining.plugins.declare.visualizing.TTextArea extends javax.swing.JTextArea implements Serializable

serialVersionUID: 354078395675120423L

Class org.processmining.plugins.declare.visualizing.TToolBar extends javax.swing.JToolBar implements Serializable

serialVersionUID: -3827989722957058390L

Class org.processmining.plugins.declare.visualizing.WorkPanel extends ModelPanel implements Serializable

serialVersionUID: -7154269385081283885L

Serialized Fields

graph

GraphPanel graph

Class org.processmining.plugins.declare.visualizing.XMLFileDialog extends DefaultFileDialog implements Serializable

serialVersionUID: -1002159476319566556L


Package org.processmining.plugins.declareminer

Class org.processmining.plugins.declareminer.PossibleNodes extends java.util.ArrayList<ltl2aut.automaton.State> implements Serializable

serialVersionUID: 9214472132268674896L


Package org.processmining.plugins.declareminer.importing

Class org.processmining.plugins.declareminer.importing.DeclareModelVisualizer extends javax.swing.JPanel implements Serializable

serialVersionUID: 215385982744090270L

Serialized Fields

graph

DGraph graph

mainPanel

javax.swing.JPanel mainPanel

Package org.processmining.plugins.declareminer.visualizing

Class org.processmining.plugins.declareminer.visualizing.AbstractDialog extends javax.swing.JDialog implements Serializable

serialVersionUID: -3685059762288542506L

Serialized Fields

result

boolean result

monitor

java.awt.Container monitor

positive

java.awt.event.ActionListener positive

negative

java.awt.event.ActionListener negative

buttons

java.awt.Component buttons

content

java.awt.Component content

display

boolean display

Class org.processmining.plugins.declareminer.visualizing.AbstractDialog.Button extends javax.swing.JButton implements Serializable

serialVersionUID: -1033654679679008547L

Class org.processmining.plugins.declareminer.visualizing.ActivityCell extends ActivityDefinitonCell implements Serializable

serialVersionUID: -8623688566984682674L

Class org.processmining.plugins.declareminer.visualizing.ActivityDefinitionPort extends DPort implements Serializable

serialVersionUID: 8938543148946161607L

Class org.processmining.plugins.declareminer.visualizing.ActivityDefinitonCell extends DVertex implements Serializable

serialVersionUID: -319493519832010439L

Serialized Fields

metricsPanel

org.processmining.framework.util.ui.widgets.ProMSplitPane metricsPanel

mainPanel

javax.swing.JPanel mainPanel

foreground

java.awt.Color foreground

background

java.awt.Color background

oldSize

java.awt.geom.Point2D oldSize

labels

java.util.Vector<E> labels

Class org.processmining.plugins.declareminer.visualizing.AssignmentPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: -9079802798769750273L

Serialized Fields

tp

javax.swing.JTabbedPane tp

work

ModelPanel work

Class org.processmining.plugins.declareminer.visualizing.BaseCollection extends java.util.ArrayList<E extends Base> implements Serializable

serialVersionUID: 8864827256065031046L

Serialized Fields

map

java.util.HashMap<K,V> map
A hash map that stores all elements of the collection based on their Integer identification.

Class org.processmining.plugins.declareminer.visualizing.BlankButtonGroup extends javax.swing.ButtonGroup implements Serializable

serialVersionUID: -3683013639927198483L

Serialized Fields

blank

javax.swing.AbstractButton blank

Class org.processmining.plugins.declareminer.visualizing.ButtonAdd extends javax.swing.JButton implements Serializable

serialVersionUID: -277789026719553138L

Class org.processmining.plugins.declareminer.visualizing.ButtonCancel extends javax.swing.JButton implements Serializable

serialVersionUID: -1763796354488296789L

Class org.processmining.plugins.declareminer.visualizing.ButtonClose extends javax.swing.JButton implements Serializable

serialVersionUID: 4493129490604530746L

Class org.processmining.plugins.declareminer.visualizing.ButtonDelete extends javax.swing.JButton implements Serializable

serialVersionUID: -2193648033019142859L

Class org.processmining.plugins.declareminer.visualizing.ButtonEdit extends javax.swing.JButton implements Serializable

serialVersionUID: -7794592367158431683L

Class org.processmining.plugins.declareminer.visualizing.ButtonNo extends javax.swing.JButton implements Serializable

serialVersionUID: -6585848515525250497L

Class org.processmining.plugins.declareminer.visualizing.ButtonOk extends javax.swing.JButton implements Serializable

serialVersionUID: -8587073711875401234L

Class org.processmining.plugins.declareminer.visualizing.ButtonYes extends javax.swing.JButton implements Serializable

serialVersionUID: -2167149596020649945L

Class org.processmining.plugins.declareminer.visualizing.CellModel extends javax.swing.AbstractListModel implements Serializable

serialVersionUID: 4735900378220460350L

Serialized Fields

list

java.util.Vector<E> list

Class org.processmining.plugins.declareminer.visualizing.CloseDialog extends AbstractDialog implements Serializable

serialVersionUID: 1458603184753943597L

Serialized Fields

close

AbstractDialog.Button close

Class org.processmining.plugins.declareminer.visualizing.ConstraintConnector extends TransparentCell implements Serializable

serialVersionUID: -3706488901967995628L

Class org.processmining.plugins.declareminer.visualizing.ConstraintDefinitionEdge extends DEdge implements Serializable

serialVersionUID: 6482878316795733721L

Serialized Fields

parameter

ActivityDefinition parameter

label

boolean label

visible

boolean visible

metrics

java.util.Vector<E> metrics

timeDistances

java.util.Vector<E> timeDistances

histogrData

double[] histogrData

without

java.util.Vector<E> without

with

java.util.Vector<E> with

metricsPanel

org.processmining.framework.util.ui.widgets.ProMSplitPane metricsPanel

labels

java.util.Vector<E> labels

mainPanel

javax.swing.JPanel mainPanel

line

java.awt.Color line

foreground

java.awt.Color foreground

background

java.awt.Color background

Class org.processmining.plugins.declareminer.visualizing.ConstraintDefinitionEdge.UnaryRouting extends org.jgraph.graph.DefaultEdge.LoopRouting implements Serializable

serialVersionUID: 6071223636488430899L

Class org.processmining.plugins.declareminer.visualizing.ConstraintEdge extends ConstraintDefinitionEdge implements Serializable

serialVersionUID: 1817124703089993470L

Serialized Fields

DEFAULT_LINE_WIDTH

float DEFAULT_LINE_WIDTH

Class org.processmining.plugins.declareminer.visualizing.ConstraintView extends DEdgeView implements Serializable

serialVersionUID: -5588825562683988981L

Class org.processmining.plugins.declareminer.visualizing.DCellViewFactory extends org.jgraph.graph.DefaultCellViewFactory implements Serializable

serialVersionUID: -8064103123888186409L

Class org.processmining.plugins.declareminer.visualizing.DEdge extends org.jgraph.graph.DefaultEdge implements Serializable

serialVersionUID: -693583188250090210L

Serialized Fields

lineStyle

LineStyle lineStyle

color

java.awt.Color color

Class org.processmining.plugins.declareminer.visualizing.DEdgeRenderer extends org.jgraph.graph.EdgeRenderer implements Serializable

serialVersionUID: -2245131380109364539L

Class org.processmining.plugins.declareminer.visualizing.DEdgeView extends org.jgraph.graph.EdgeView implements Serializable

serialVersionUID: -5599481405889850931L

Class org.processmining.plugins.declareminer.visualizing.DEdgeView.DEdgeHandle extends org.jgraph.graph.EdgeView.EdgeHandle implements Serializable

serialVersionUID: -395505643022569913L

Serialized Fields

edge

org.jgraph.graph.EdgeView edge

Class org.processmining.plugins.declareminer.visualizing.DefaultFileDialog extends FileDialog implements Serializable

serialVersionUID: 4524363156377923623L

Serialized Fields

filter

DefaultFileFilter filter

Class org.processmining.plugins.declareminer.visualizing.DefaultPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 824556080673312891L

Serialized Fields

minimumWidth

int minimumWidth

Class org.processmining.plugins.declareminer.visualizing.DesignInternalFrame extends javax.swing.JInternalFrame implements Serializable

serialVersionUID: 7054042280371433113L

Class org.processmining.plugins.declareminer.visualizing.DGraph extends org.jgraph.JGraph implements Serializable

serialVersionUID: -5250029168745239406L

Class org.processmining.plugins.declareminer.visualizing.DPort extends org.jgraph.graph.DefaultPort implements Serializable

serialVersionUID: -4577240013297646609L

Serialized Fields

vertex

DVertex vertex

Class org.processmining.plugins.declareminer.visualizing.DVertex extends org.jgraph.graph.DefaultGraphCell implements Serializable

serialVersionUID: 4451359435095622492L

Class org.processmining.plugins.declareminer.visualizing.ErrorMessage extends CloseDialog implements Serializable

serialVersionUID: -8385536758474905436L

Serialized Fields

exit

boolean exit

error

java.lang.Throwable error

Class org.processmining.plugins.declareminer.visualizing.FileDialog extends javax.swing.JFileChooser implements Serializable

serialVersionUID: -3746339856906036488L

Class org.processmining.plugins.declareminer.visualizing.FrmAssignmentModel extends DesignInternalFrame implements Serializable

serialVersionUID: -1207580453413544345L

Serialized Fields

panel

AssignmentPanel panel

Class org.processmining.plugins.declareminer.visualizing.GraphPane extends javax.swing.JPanel implements Serializable

serialVersionUID: -4713673051931721601L

Serialized Fields

graphListener

GraphListener graphListener

INSERT_ICON

java.lang.String INSERT_ICON

CONNECT_ICON

java.lang.String CONNECT_ICON

COPY_ICON

java.lang.String COPY_ICON

PASTE_ICON

java.lang.String PASTE_ICON

CUT_ICON

java.lang.String CUT_ICON

DELETE_ICON

java.lang.String DELETE_ICON

TOFRONT_ICON

java.lang.String TOFRONT_ICON

TOBACK_ICON

java.lang.String TOBACK_ICON

ZOOM_ICON

java.lang.String ZOOM_ICON

ZOOMIN_ICON

java.lang.String ZOOMIN_ICON

ZOOMOUT_ICON

java.lang.String ZOOMOUT_ICON

GROUP_ICON

java.lang.String GROUP_ICON

UNGROUP_ICON

java.lang.String UNGROUP_ICON

graph

org.jgraph.JGraph graph

undoManager

org.jgraph.graph.GraphUndoManager undoManager

undo

javax.swing.Action undo

redo

javax.swing.Action redo

remove

javax.swing.Action remove

group

javax.swing.Action group

ungroup

javax.swing.Action ungroup

tofront

javax.swing.Action tofront

toback

javax.swing.Action toback

cut

javax.swing.Action cut

copy

javax.swing.Action copy

paste

javax.swing.Action paste

cellCount

int cellCount

statusBar

GraphPane.EdStatusBar statusBar

language

java.lang.String language

Class org.processmining.plugins.declareminer.visualizing.GraphPane.EdStatusBar extends javax.swing.JPanel implements Serializable

serialVersionUID: 270492585394520466L

Serialized Fields

leftSideStatus

javax.swing.JLabel leftSideStatus

rightSideStatus

javax.swing.JLabel rightSideStatus
contains the scale for the current graph

Class org.processmining.plugins.declareminer.visualizing.GraphPane.EventRedirector extends javax.swing.AbstractAction implements Serializable

serialVersionUID: -5756507929018022815L

Serialized Fields

action

javax.swing.Action action

Class org.processmining.plugins.declareminer.visualizing.GraphPane.MyEdgeHandle extends org.jgraph.graph.EdgeView.EdgeHandle implements Serializable

serialVersionUID: -4791937071623997342L

Class org.processmining.plugins.declareminer.visualizing.GraphPane.MyModel extends org.jgraph.graph.DefaultGraphModel implements Serializable

serialVersionUID: -7775842083454100665L

Class org.processmining.plugins.declareminer.visualizing.GraphPanel extends DefaultPanel implements Serializable

serialVersionUID: 7893072832574958863L

Serialized Fields

preview

GraphPreview preview

scrollPane

javax.swing.JScrollPane scrollPane

Class org.processmining.plugins.declareminer.visualizing.GraphPreview extends DefaultPanel implements Serializable

serialVersionUID: 9117206822999250770L

Class org.processmining.plugins.declareminer.visualizing.JGraphExportImageDialog extends DefaultFileDialog implements Serializable

serialVersionUID: -3908843855609064198L

Class org.processmining.plugins.declareminer.visualizing.JGraphLineComboBox extends javax.swing.JPanel implements Serializable

serialVersionUID: -1974862210235537707L

Serialized Fields

lines

java.util.ArrayList<E> lines

strings

java.util.ArrayList<E> strings

lineList

javax.swing.JComboBox lineList

Class org.processmining.plugins.declareminer.visualizing.LTLFileDialog extends DefaultFileDialog implements Serializable

serialVersionUID: -4991259777996481277L

Class org.processmining.plugins.declareminer.visualizing.MainFrame extends javax.swing.JFrame implements Serializable

serialVersionUID: -710344195019020975L

Class org.processmining.plugins.declareminer.visualizing.MainFrame_AboutBox extends javax.swing.JDialog implements Serializable

serialVersionUID: -7152119657862463433L

Serialized Fields

panel1

javax.swing.JPanel panel1

panel2

javax.swing.JPanel panel2

insetsPanel1

javax.swing.JPanel insetsPanel1

insetsPanel2

javax.swing.JPanel insetsPanel2

insetsPanel3

javax.swing.JPanel insetsPanel3

button1

javax.swing.JButton button1

imageLabel

javax.swing.JLabel imageLabel

label1

javax.swing.JLabel label1

label2

javax.swing.JLabel label2

label3

javax.swing.JLabel label3

label4

javax.swing.JLabel label4

image1

javax.swing.ImageIcon image1

borderLayout1

java.awt.BorderLayout borderLayout1

borderLayout2

java.awt.BorderLayout borderLayout2

flowLayout1

java.awt.FlowLayout flowLayout1

gridLayout1

java.awt.GridLayout gridLayout1

product

java.lang.String product

version

java.lang.String version

copyright

java.lang.String copyright

comments

java.lang.String comments

Class org.processmining.plugins.declareminer.visualizing.ModelPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1944636478841722410L

Class org.processmining.plugins.declareminer.visualizing.ModelPropertiesPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

name

javax.swing.JTextField name

Class org.processmining.plugins.declareminer.visualizing.OkCancelDialog extends AbstractDialog implements Serializable

serialVersionUID: 898631367862962146L

Serialized Fields

ok

AbstractDialog.Button ok

cancel

AbstractDialog.Button cancel

Class org.processmining.plugins.declareminer.visualizing.Palete extends DefaultPanel implements Serializable

serialVersionUID: -851774136448016779L

Class org.processmining.plugins.declareminer.visualizing.ParameterPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: -3797188307495592042L

Serialized Fields

name

javax.swing.JLabel name

color

java.awt.Color color

btn

javax.swing.JButton btn

real

java.util.List<E> real

parameter

Parameter parameter

listener

org.processmining.plugins.declareminer.visualizing.ParameterPanel.Listener listener

Class org.processmining.plugins.declareminer.visualizing.TList extends javax.swing.JList implements Serializable

serialVersionUID: -2054230024326728712L

Class org.processmining.plugins.declareminer.visualizing.ToggleButton extends javax.swing.JToggleButton implements Serializable

serialVersionUID: 4756065398141173079L

Class org.processmining.plugins.declareminer.visualizing.TPanel extends DefaultPanel implements Serializable

serialVersionUID: -7809059177888585871L

Class org.processmining.plugins.declareminer.visualizing.TransparentCell extends DVertex implements Serializable

serialVersionUID: 2453468667806401105L

Class org.processmining.plugins.declareminer.visualizing.TransparentCellView extends org.jgraph.graph.VertexView implements Serializable

serialVersionUID: -6460594714818908835L

Class org.processmining.plugins.declareminer.visualizing.TransparentCellView.DVertexHandle extends org.jgraph.graph.VertexView.SizeHandle implements Serializable

serialVersionUID: -395505643022569913L

Serialized Fields

edge

org.jgraph.graph.VertexView edge

Class org.processmining.plugins.declareminer.visualizing.TransparentCellView.JGraphTransparentRenderer extends org.jgraph.graph.VertexRenderer implements Serializable

serialVersionUID: 961934859392648500L

Class org.processmining.plugins.declareminer.visualizing.TransparentPort extends org.jgraph.graph.DefaultPort implements Serializable

serialVersionUID: 4699980481567941688L

Class org.processmining.plugins.declareminer.visualizing.TransparentPortView extends org.jgraph.graph.PortView implements Serializable

serialVersionUID: 8359300852198338515L

Class org.processmining.plugins.declareminer.visualizing.TransparentPortView.TransparentRenderer extends org.jgraph.graph.PortRenderer implements Serializable

serialVersionUID: -7309495960446672754L

Class org.processmining.plugins.declareminer.visualizing.TSplitPane extends javax.swing.JSplitPane implements Serializable

serialVersionUID: 6780278882054035567L

Class org.processmining.plugins.declareminer.visualizing.TTable extends javax.swing.JTable implements Serializable

serialVersionUID: -8391157208955501539L

Class org.processmining.plugins.declareminer.visualizing.TTableModel extends javax.swing.table.DefaultTableModel implements Serializable

serialVersionUID: -5763578148531632285L

Serialized Fields

objectColumn

int objectColumn

Class org.processmining.plugins.declareminer.visualizing.TTextArea extends javax.swing.JTextArea implements Serializable

serialVersionUID: 354078395675120423L

Class org.processmining.plugins.declareminer.visualizing.TToolBar extends javax.swing.JToolBar implements Serializable

serialVersionUID: -3827989722957058390L

Class org.processmining.plugins.declareminer.visualizing.WorkPanel extends ModelPanel implements Serializable

serialVersionUID: -7154269385081283885L

Serialized Fields

graph

GraphPanel graph

Class org.processmining.plugins.declareminer.visualizing.XMLFileDialog extends DefaultFileDialog implements Serializable

serialVersionUID: -1002159476319566556L