public class TreeLayoutBuilder
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
ARROWSIZE |
static java.lang.String |
BLOCKABLE |
static int |
BORDER |
protected org.deckfour.xes.classification.XEventClasses |
classes |
static int |
CONFIGSIZE |
protected java.util.Map<Node,Dim> |
dimensions |
protected java.util.Set<java.util.UUID> |
foldedElements |
static java.lang.String |
HIDEABLE |
static java.lang.String |
ID |
static int |
LEAFHEIGHT |
int |
LEAFWIDTH |
int |
OPERATORHEIGHT |
int |
OPERATORWIDTH |
static int |
PERFORMANCEHEIGHT |
static int |
PERFORMANCEWIDTH |
protected java.util.Map<Node,org.jgraph.graph.DefaultPort> |
ports |
protected java.util.List<ExtraInfoRenderer> |
renderers |
protected ProcessTree |
tree |
Constructor and Description |
---|
TreeLayoutBuilder(ProcessTree tree) |
TreeLayoutBuilder(ProcessTree tree,
java.util.List<ExtraInfoRenderer> renderers,
org.deckfour.xes.classification.XEventClasses classes) |
TreeLayoutBuilder(ProcessTree tree,
java.util.List<ExtraInfoRenderer> renderers,
org.deckfour.xes.classification.XEventClasses classes,
java.util.Set<java.util.UUID> foldedElements) |
TreeLayoutBuilder(ProcessTree tree,
org.deckfour.xes.classification.XEventClasses classes) |
Modifier and Type | Method and Description |
---|---|
protected void |
buildLayout() |
protected org.jgraph.graph.DefaultPort |
drawBlock(org.jgraph.graph.GraphLayoutCache g,
org.jgraph.graph.DefaultGraphCell parent,
Block node) |
protected void |
drawEdge(org.jgraph.graph.GraphLayoutCache g,
org.jgraph.graph.DefaultGraphCell parent,
org.jgraph.graph.DefaultPort from,
org.jgraph.graph.DefaultPort to,
Edge e,
boolean dashed) |
protected org.jgraph.graph.DefaultPort |
drawLeaf(org.jgraph.graph.GraphLayoutCache g,
org.jgraph.graph.DefaultGraphCell parent,
Node node) |
protected org.jgraph.graph.DefaultPort |
drawNode(org.jgraph.graph.GraphLayoutCache g,
org.jgraph.graph.DefaultGraphCell parent,
Node node) |
org.jgraph.JGraph |
getJGraph() |
protected Dim |
getSize(Node node) |
static void |
main(java.lang.String[] args) |
void |
reset() |
protected void |
setLocation(Node node,
int x,
int y) |
protected ProcessTree tree
protected org.deckfour.xes.classification.XEventClasses classes
protected java.util.Map<Node,org.jgraph.graph.DefaultPort> ports
protected java.util.List<ExtraInfoRenderer> renderers
protected java.util.Set<java.util.UUID> foldedElements
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 java.lang.String BLOCKABLE
public static final java.lang.String HIDEABLE
public static final java.lang.String ID
public TreeLayoutBuilder(ProcessTree tree)
public TreeLayoutBuilder(ProcessTree tree, org.deckfour.xes.classification.XEventClasses classes)
public TreeLayoutBuilder(ProcessTree tree, java.util.List<ExtraInfoRenderer> renderers, org.deckfour.xes.classification.XEventClasses classes)
public TreeLayoutBuilder(ProcessTree tree, java.util.List<ExtraInfoRenderer> renderers, org.deckfour.xes.classification.XEventClasses classes, java.util.Set<java.util.UUID> foldedElements)
public org.jgraph.JGraph getJGraph()
public void reset()
public static void main(java.lang.String[] args)
protected void buildLayout()
protected void setLocation(Node node, int x, int y)
protected org.jgraph.graph.DefaultPort drawNode(org.jgraph.graph.GraphLayoutCache g, org.jgraph.graph.DefaultGraphCell parent, Node node)
protected org.jgraph.graph.DefaultPort drawLeaf(org.jgraph.graph.GraphLayoutCache g, org.jgraph.graph.DefaultGraphCell parent, Node node)
protected org.jgraph.graph.DefaultPort drawBlock(org.jgraph.graph.GraphLayoutCache g, org.jgraph.graph.DefaultGraphCell parent, Block node)
protected void drawEdge(org.jgraph.graph.GraphLayoutCache g, org.jgraph.graph.DefaultGraphCell parent, org.jgraph.graph.DefaultPort from, org.jgraph.graph.DefaultPort to, Edge e, boolean dashed)