public class GraphVisualization
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static prefuse.data.expression.Predicate |
ANIMATE_LAYOUT_PREDICATE |
static java.lang.String |
BAR_DECORATOR_AGGREGATE_GROUP |
static java.lang.String |
BAR_TEXT_DECORATOR_AGGREGATE_GROUP |
static prefuse.data.expression.Predicate |
DEAD_TRANSITIONS_PREDICATE |
static java.lang.String |
ENDING_NODES_DECORATOR_GROUP_NAME |
static java.lang.String |
GRAPH_EDGES_GROUP |
static java.lang.String |
GRAPH_GROUP |
static java.lang.String |
GRAPH_NODES_FORWARD_INTERACTION_FOCUS_GROUP |
static java.lang.String |
GRAPH_NODES_GROUP |
static java.lang.String |
GRAPH_NODES_INCOMING_HIGHLIGHT |
static java.lang.String |
GRAPH_NODES_INCOMING_HIGHLIGHT_PATH_CONTROL |
static java.lang.String |
GRAPH_NODES_MISSING_PLACE_FOCUS_GROUP |
static java.lang.String |
GRAPH_NODES_OUTGOING_HIGHLIGHT |
static java.lang.String |
GRAPH_NODES_OUTGOING_HIGHLIGHT_PATH_CONTROL |
static java.lang.String |
GRAPH_NODES_PROBLEMATIC_FIT |
static java.lang.String |
GRAPH_NODES_PROBLEMATIC_HIGHLIGHT |
static prefuse.data.expression.Predicate |
HIDDEN_PREDICATE |
static prefuse.data.expression.Predicate |
IN_SELECTED_REMOVE_GROUP |
static java.lang.String |
INDEGREE_INFO_DECORATOR_GROUP_NAME |
static java.lang.String |
LABEL_DECORATOR_GROUP_NAME |
static prefuse.data.expression.Predicate |
LABEL_GROUPS_PREDICATE |
static java.lang.String |
LAYER_SIMPLIFIER_AGGREGATE_GROUP |
static java.lang.String |
LAYER_SIMPLIFIER_DECORATOR_NAME |
static java.lang.String |
LONG_EDGES_TEXT_SOURCE_DECORATOR_GROUP_NAME |
static java.lang.String |
LONG_EDGES_TEXT_TARGET_DECORATOR_GROUP_NAME |
static prefuse.data.expression.Predicate |
NONLIVE_TRANSITIONS_PREDICATE |
static java.lang.String |
OUTDEGREE_INFO_DECORATOR_GROUP_NAME |
static prefuse.data.expression.Predicate |
PREDICATE_PLACES |
static prefuse.data.expression.Predicate |
PREDICATE_TRANSITIONS_LABEL |
static prefuse.data.expression.Predicate |
PREDICATE_VISIBLE_PLACES |
static prefuse.data.expression.Predicate |
PREDICATE_VISIBLE_TRANSITIONS |
static java.lang.String |
RUBBER_BAND_GROUP |
static java.lang.String |
SELECTED_NODES |
static java.lang.String |
SIMPLIFICATION_BARS_DECORATOR_NAME |
static java.lang.String |
SIMPLIFICATION_BARS_TEXT_DECORATOR_NAME |
static java.lang.String |
STARTING_NODES_DECORATOR_GROUP_NAME |
static java.lang.String |
TOKENS_TEXT_DECORATOR_GROUP_NAME |
static prefuse.data.expression.Predicate |
UNBOUNDED_PLACES_PREDICATE |
Constructor and Description |
---|
GraphVisualization(prefuse.data.Graph graph) |
public static final java.lang.String GRAPH_GROUP
public static final java.lang.String GRAPH_NODES_GROUP
public static final java.lang.String GRAPH_EDGES_GROUP
public static final java.lang.String LABEL_DECORATOR_GROUP_NAME
public static final java.lang.String INDEGREE_INFO_DECORATOR_GROUP_NAME
public static final java.lang.String OUTDEGREE_INFO_DECORATOR_GROUP_NAME
public static final java.lang.String SIMPLIFICATION_BARS_DECORATOR_NAME
public static final java.lang.String SIMPLIFICATION_BARS_TEXT_DECORATOR_NAME
public static final java.lang.String LAYER_SIMPLIFIER_DECORATOR_NAME
public static final java.lang.String STARTING_NODES_DECORATOR_GROUP_NAME
public static final java.lang.String ENDING_NODES_DECORATOR_GROUP_NAME
public static final java.lang.String GRAPH_NODES_INCOMING_HIGHLIGHT
public static final java.lang.String GRAPH_NODES_OUTGOING_HIGHLIGHT
public static final java.lang.String GRAPH_NODES_INCOMING_HIGHLIGHT_PATH_CONTROL
public static final java.lang.String GRAPH_NODES_OUTGOING_HIGHLIGHT_PATH_CONTROL
public static final java.lang.String GRAPH_NODES_PROBLEMATIC_HIGHLIGHT
public static final java.lang.String GRAPH_NODES_PROBLEMATIC_FIT
public static final java.lang.String GRAPH_NODES_FORWARD_INTERACTION_FOCUS_GROUP
public static final java.lang.String GRAPH_NODES_MISSING_PLACE_FOCUS_GROUP
public static final java.lang.String BAR_DECORATOR_AGGREGATE_GROUP
public static final java.lang.String BAR_TEXT_DECORATOR_AGGREGATE_GROUP
public static final java.lang.String LAYER_SIMPLIFIER_AGGREGATE_GROUP
public static final java.lang.String SELECTED_NODES
public static final java.lang.String RUBBER_BAND_GROUP
public static final java.lang.String LONG_EDGES_TEXT_SOURCE_DECORATOR_GROUP_NAME
public static final java.lang.String LONG_EDGES_TEXT_TARGET_DECORATOR_GROUP_NAME
public static final java.lang.String TOKENS_TEXT_DECORATOR_GROUP_NAME
public static final prefuse.data.expression.Predicate PREDICATE_VISIBLE_TRANSITIONS
public static final prefuse.data.expression.Predicate PREDICATE_TRANSITIONS_LABEL
public static final prefuse.data.expression.Predicate PREDICATE_PLACES
public static final prefuse.data.expression.Predicate PREDICATE_VISIBLE_PLACES
public static final prefuse.data.expression.Predicate HIDDEN_PREDICATE
public static final prefuse.data.expression.Predicate ANIMATE_LAYOUT_PREDICATE
public static final prefuse.data.expression.Predicate IN_SELECTED_REMOVE_GROUP
public static final prefuse.data.expression.Predicate LABEL_GROUPS_PREDICATE
public static final prefuse.data.expression.Predicate UNBOUNDED_PLACES_PREDICATE
public static final prefuse.data.expression.Predicate DEAD_TRANSITIONS_PREDICATE
public static final prefuse.data.expression.Predicate NONLIVE_TRANSITIONS_PREDICATE
protected void updateNodesInPetriNet(prefuse.data.tuple.TupleSet focusGroup)
public prefuse.Visualization getVisualization()
public void executeLayout(boolean animate)
public void fitLayoutBounds()
public void rotateClockwise()
public void rotateAnticlockwise()
public void runHighlightAction()
public void searchFor(java.lang.String query)
public void setLineType(LineType lineType)
public void setBarDecoratorEnabled(boolean enabled)
public boolean isBarDecoratorEnabled()
public prefuse.data.tuple.TupleSet getIncomingFocusGroup()
public prefuse.data.tuple.TupleSet getOutgoingFocusGroup()
public prefuse.data.tuple.TupleSet getIncomingFocusGroupPathControl()
public prefuse.data.tuple.TupleSet getOutgoingFocusGroupPathControl()
public void setSimplifierControlEnabled(boolean enabled)
public boolean isSimplifierControlEnabled()
public prefuse.visual.AggregateTable getLayerSimplifierAggregate()
public void runSimplifierDecorator()
public void setEdgeDirectionEnabled(boolean directed)
public int getTransitionsWidth()
public void setTransitionsWidth(int width)
public int getTransitionsHeight()
public void setTransitionsHeight(int height)
public int getPlacesSize()
public void setPlacesSize(int size)
public int getFontSize()
public void setFontSize(int size)
public int getDegreeFontSize()
public void setDegreeFontSize(int size)
public void executePositionAnimate(prefuse.visual.VisualItem item)
public void repaint()
public prefuse.data.Graph getGraph()
public long getAnimationLength()
public void setAnimationLength(long animationLength)
public void setLoopModeEnabled(boolean enabled)
public void setTextBarDecoratorVisibility(boolean enabled)
public boolean isTransitionInOutDegreeEnabled()
public void setTransitionInOutDegree(boolean enabled)
public int getEdgeDefaultColor()
public void setEdgeDefaultColor(int color)
public int getShapeBorderColor()
public void setShapeBorderColor(int color)
public void setStartingNodeDecoratorEnabled(boolean enabled)
public void setInformationMode(int mode)
public void setSelectedActivity(java.lang.String activity)