org.processmining.plugins.declareminer.visualizing
Class DCellFactory

java.lang.Object
  extended by org.processmining.plugins.declareminer.visualizing.DCellFactory

public class DCellFactory
extends java.lang.Object


Constructor Summary
DCellFactory()
           
 
Method Summary
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