org.processmining.plugins.declare.visualizing

Class DCellFactory

java.lang.Object

org.processmining.plugins.declare.visualizing.DCellFactory

public class DCellFactory
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DCellFactory()

Method Summary

Modifier and Type	Method and Description
static DEdge	createEdge(DEdge edge)
static DEdge	createEdge(LineStyle style, java.awt.Point left, java.awt.Point right) createEdge
static java.util.ArrayList<DEdge>	createLinesForStyles(java.util.ArrayList<LineStyle> lineStyles, java.awt.Point left, java.awt.Point right) createLines
static DVertex	createVertex(DVertex vertex, double x, double y, double w, double h, java.awt.Color bg, boolean raised) createVertex
static org.jgraph.graph.DefaultGraphCell	createVertex(java.lang.Object object, double x, double y, double w, double h, java.awt.Color bg, boolean raised) createVertex
static java.util.ArrayList<java.lang.Integer>	getArrows() getArrows
static java.util.ArrayList<LineStyle>	getBeginStyles(float[] dash, int middle, int end) getBeginStyles
static java.util.ArrayList<LineStyle>	getDashLineStyles(int begin, int middle, int end) getDashLineStyles
static java.util.ArrayList<LineStyle>	getEndStyles(float[] dash, int begin, int middle) getEndStyles
static java.util.ArrayList<LineStyle>	getMiddleStyles(float[] dash, int begin, int end) get middle styles
static java.util.ArrayList<LineStyle>	getNumberLineStyles(float[] dash, int begin, int middle, int end) getDashLineStyles

Methods inherited from class java.lang.Object

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

Constructor Detail

DCellFactory

public DCellFactory()

Method Detail

createEdge

public static DEdge createEdge(LineStyle style,
                               java.awt.Point left,
                               java.awt.Point right)

createEdge

Parameters:

style - float

left - Point

right - Point

Returns:

DefaultEdge

createEdge

public static DEdge createEdge(DEdge edge)

getArrows

public static java.util.ArrayList<java.lang.Integer> getArrows()

getArrows

Returns:

ArrayList

getDashLineStyles

public static java.util.ArrayList<LineStyle> getDashLineStyles(int begin,
                                                               int middle,
                                                               int end)

getDashLineStyles

Parameters:

begin - int

end - int

Returns:

ArrayList

getNumberLineStyles

public static java.util.ArrayList<LineStyle> getNumberLineStyles(float[] dash,
                                                                 int begin,
                                                                 int middle,
                                                                 int end)

getDashLineStyles

Parameters:

begin - int

end - int

Returns:

ArrayList

getBeginStyles

public static java.util.ArrayList<LineStyle> getBeginStyles(float[] dash,
                                                            int middle,
                                                            int end)

getBeginStyles

Parameters:

dash - float[]

end - int

Returns:

ArrayList

getEndStyles

public static java.util.ArrayList<LineStyle> getEndStyles(float[] dash,
                                                          int begin,
                                                          int middle)

getEndStyles

Parameters:

dash - float[]

begin - int

Returns:

ArrayList

getMiddleStyles

public static java.util.ArrayList<LineStyle> getMiddleStyles(float[] dash,
                                                             int begin,
                                                             int end)

get middle styles

Parameters:

dash - float[]

begin - int

Returns:

ArrayList

createLinesForStyles

public static java.util.ArrayList<DEdge> createLinesForStyles(java.util.ArrayList<LineStyle> lineStyles,
                                                              java.awt.Point left,
                                                              java.awt.Point right)

createLines

Parameters:

lineStyles - ArrayList

left - Point

right - Point

Returns:

ArrayList

createVertex

public static org.jgraph.graph.DefaultGraphCell createVertex(java.lang.Object object,
                                                             double x,
                                                             double y,
                                                             double w,
                                                             double h,
                                                             java.awt.Color bg,
                                                             boolean raised)

createVertex

Parameters:

object - Object -> user object represented by the vertex

x - double -> vertex position on the x axis

y - double -> vertex position on the y axis

w - double -> vertex width

h - double -> vertex height

bg - Color -> background color

raised - boolean -> is the border raised

Returns:

DVertex -> created new vertex

createVertex

public static DVertex createVertex(DVertex vertex,
                                   double x,
                                   double y,
                                   double w,
                                   double h,
                                   java.awt.Color bg,
                                   boolean raised)

createVertex

Parameters:

vertex - Object -> user object represented by the vertex

x - double -> vertex position on the x axis

y - double -> vertex position on the y axis

w - double -> vertex width

h - double -> vertex height

bg - Color -> background color

raised - boolean -> is the border raised

Returns:

DVertex -> created new vertex