public class TreeBPMNLayoutBuilder
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
TreeBPMNLayoutBuilder.EdgeRouting |
Modifier and Type | Field and Description |
---|---|
static int |
ARROWSIZE |
static java.lang.String |
BLOCKABLE |
static int |
BORDER |
static int |
CONFIGSIZE |
static java.lang.String |
EDGEROUTING |
static int |
EVENTHEIGHT |
static int |
EVENTWIDTH |
static java.lang.String |
HIDEABLE |
static int |
LEAFHEIGHT |
int |
LEAFWIDTH |
int |
OPERATORHEIGHT |
int |
OPERATORWIDTH |
static int |
PERFORMANCEHEIGHT |
static int |
PERFORMANCEWIDTH |
protected java.util.List<ExtraInfoRenderer> |
renderers |
static java.lang.String |
ROUTESKIPY |
static double |
SPLINEPOINTFRACTION |
Constructor and Description |
---|
TreeBPMNLayoutBuilder(ProcessTree tree) |
TreeBPMNLayoutBuilder(ProcessTree tree,
java.util.List<ExtraInfoRenderer> renderers,
org.deckfour.xes.classification.XEventClasses classes) |
TreeBPMNLayoutBuilder(ProcessTree tree,
org.deckfour.xes.classification.XEventClasses classes) |
Modifier and Type | Method and Description |
---|---|
void |
buildLayout() |
protected void |
drawEdge(org.jgraph.graph.GraphLayoutCache g,
org.jgraph.graph.DefaultGraphCell parent,
org.jgraph.graph.DefaultPort from,
org.jgraph.graph.DefaultPort to,
TreeBPMNLayoutBuilder.EdgeRouting routing,
double routeYAt,
boolean blockable,
boolean hideable,
boolean dashed,
Expression label) |
protected SeSeGroup |
drawNode(org.jgraph.graph.GraphLayoutCache g,
org.jgraph.graph.DefaultGraphCell parent,
java.util.Stack<Edge> edges) |
protected SeSeGroup |
drawNodeEvent(org.jgraph.graph.GraphLayoutCache g,
org.jgraph.graph.DefaultGraphCell parent,
java.util.Stack<Edge> edges,
Event node) |
protected SeSeGroup |
drawNodeLeaf(org.jgraph.graph.GraphLayoutCache g,
org.jgraph.graph.DefaultGraphCell parent,
java.util.Stack<Edge> edges,
Task node) |
protected SeSeGroup |
drawNodeLoop(org.jgraph.graph.GraphLayoutCache g,
org.jgraph.graph.DefaultGraphCell parent,
java.util.Stack<Edge> edges,
Block loopNode) |
protected SeSeGroup |
drawNodeOther(org.jgraph.graph.GraphLayoutCache g,
org.jgraph.graph.DefaultGraphCell parent,
java.util.Stack<Edge> edges,
Block node) |
protected SeSeGroup |
drawNodeSeq(org.jgraph.graph.GraphLayoutCache g,
org.jgraph.graph.DefaultGraphCell parent,
java.util.Stack<Edge> edges,
Block node) |
protected SeSeGroup |
drawOperator(org.jgraph.graph.GraphLayoutCache g,
org.jgraph.graph.DefaultGraphCell parent,
int x,
int y,
BPMNOperatorRenderer.OperatorType type) |
java.awt.Dimension |
getDimension(java.util.List<Edge> path) |
org.jgraph.JGraph |
getJGraph() |
protected Dim |
getSizeEvent(java.util.Stack<Edge> edges,
Event eventNode,
boolean left2right) |
protected Dim |
getSizeLeaf(java.util.Stack<Edge> edges,
Task taskNode,
boolean left2right) |
protected Dim |
getSizeLoop(java.util.Stack<Edge> edges,
Block loopNode,
boolean left2right) |
protected Dim |
getSizeOfNode(java.util.Stack<Edge> edges,
boolean left2right) |
protected Dim |
getSizeOther(java.util.Stack<Edge> edges,
Block otherNode,
boolean left2right) |
protected Dim |
getSizeSeq(java.util.Stack<Edge> edges,
Block seqNode,
boolean left2right) |
static void |
main(java.lang.String[] args) |
protected void |
setLocation(java.util.Stack<Edge> edges,
int x,
int y) |
protected void |
setLocationEvent(java.util.Stack<Edge> edges,
Event eventNode,
int x,
int y) |
protected void |
setLocationLeaf(java.util.Stack<Edge> edges,
Task leafNode,
int x,
int y) |
protected void |
setLocationLoop(java.util.Stack<Edge> edges,
Block loopNode,
int x,
int y) |
protected void |
setLocationOther(java.util.Stack<Edge> edges,
Block otherNode,
int x,
int y) |
protected void |
setLocationSeq(java.util.Stack<Edge> edges,
Block seqNode,
int x,
int y) |
protected java.util.List<ExtraInfoRenderer> renderers
public static final int PERFORMANCEWIDTH
public static final int PERFORMANCEHEIGHT
public static final int BORDER
public static final int LEAFHEIGHT
public int LEAFWIDTH
public int OPERATORHEIGHT
public int OPERATORWIDTH
public static final int ARROWSIZE
public static final int CONFIGSIZE
public static final int EVENTWIDTH
public static final int EVENTHEIGHT
public static final double SPLINEPOINTFRACTION
public static final java.lang.String EDGEROUTING
public static final java.lang.String BLOCKABLE
public static final java.lang.String HIDEABLE
public static final java.lang.String ROUTESKIPY
public TreeBPMNLayoutBuilder(ProcessTree tree)
public TreeBPMNLayoutBuilder(ProcessTree tree, org.deckfour.xes.classification.XEventClasses classes)
public TreeBPMNLayoutBuilder(ProcessTree tree, java.util.List<ExtraInfoRenderer> renderers, org.deckfour.xes.classification.XEventClasses classes)
public void buildLayout()
protected Dim getSizeOther(java.util.Stack<Edge> edges, Block otherNode, boolean left2right)
protected Dim getSizeLeaf(java.util.Stack<Edge> edges, Task taskNode, boolean left2right)
protected Dim getSizeEvent(java.util.Stack<Edge> edges, Event eventNode, boolean left2right)
protected Dim getSizeLoop(java.util.Stack<Edge> edges, Block loopNode, boolean left2right)
protected void setLocation(java.util.Stack<Edge> edges, int x, int y)
protected void setLocationLeaf(java.util.Stack<Edge> edges, Task leafNode, int x, int y)
protected void setLocationEvent(java.util.Stack<Edge> edges, Event eventNode, int x, int y)
protected void setLocationLoop(java.util.Stack<Edge> edges, Block loopNode, int x, int y)
protected void setLocationSeq(java.util.Stack<Edge> edges, Block seqNode, int x, int y)
protected void setLocationOther(java.util.Stack<Edge> edges, Block otherNode, int x, int y)
public org.jgraph.JGraph getJGraph()
protected SeSeGroup drawNode(org.jgraph.graph.GraphLayoutCache g, org.jgraph.graph.DefaultGraphCell parent, java.util.Stack<Edge> edges)
protected SeSeGroup drawNodeOther(org.jgraph.graph.GraphLayoutCache g, org.jgraph.graph.DefaultGraphCell parent, java.util.Stack<Edge> edges, Block node)
protected SeSeGroup drawNodeEvent(org.jgraph.graph.GraphLayoutCache g, org.jgraph.graph.DefaultGraphCell parent, java.util.Stack<Edge> edges, Event node)
protected SeSeGroup drawNodeLeaf(org.jgraph.graph.GraphLayoutCache g, org.jgraph.graph.DefaultGraphCell parent, java.util.Stack<Edge> edges, Task node)
protected SeSeGroup drawNodeLoop(org.jgraph.graph.GraphLayoutCache g, org.jgraph.graph.DefaultGraphCell parent, java.util.Stack<Edge> edges, Block loopNode)
protected SeSeGroup drawOperator(org.jgraph.graph.GraphLayoutCache g, org.jgraph.graph.DefaultGraphCell parent, int x, int y, BPMNOperatorRenderer.OperatorType type)
protected void drawEdge(org.jgraph.graph.GraphLayoutCache g, org.jgraph.graph.DefaultGraphCell parent, org.jgraph.graph.DefaultPort from, org.jgraph.graph.DefaultPort to, TreeBPMNLayoutBuilder.EdgeRouting routing, double routeYAt, boolean blockable, boolean hideable, boolean dashed, Expression label)
protected SeSeGroup drawNodeSeq(org.jgraph.graph.GraphLayoutCache g, org.jgraph.graph.DefaultGraphCell parent, java.util.Stack<Edge> edges, Block node)
public static void main(java.lang.String[] args)
public java.awt.Dimension getDimension(java.util.List<Edge> path)