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_NEXT_ACTIVITY |
static java.lang.String |
GRAPH_NODES |
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 |
SELECTED_REMOVE_GROUP |
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) |
GraphVisualization(prefuse.data.Graph graph,
PNetVisualizerController controller2,
TransPairAlignment tpa)
This method is used only for generating the small graph view for reduced
alignments
|
Modifier and Type | Method and Description |
---|---|
void |
executeLayout(boolean animate) |
void |
executePositionAnimate(prefuse.visual.VisualItem item) |
void |
fitLayoutBounds() |
long |
getAnimationLength() |
PNetVisualizerController |
getController() |
int |
getDegreeFontSize() |
int |
getEdgeDefaultColor() |
int |
getFontSize() |
prefuse.data.Graph |
getGraph() |
prefuse.data.tuple.TupleSet |
getGraphNodes() |
prefuse.data.tuple.TupleSet |
getIncomingFocusGroup() |
prefuse.data.tuple.TupleSet |
getIncomingFocusGroupPathControl() |
prefuse.data.tuple.TupleSet |
getInputGroup() |
prefuse.data.tuple.TupleSet |
getInputOutputGroup() |
prefuse.visual.AggregateTable |
getLayerSimplifierAggregate() |
prefuse.data.tuple.TupleSet |
getMultipleOutputGroup() |
prefuse.data.tuple.TupleSet |
getOutgoingFocusGroup() |
prefuse.data.tuple.TupleSet |
getOutgoingFocusGroupPathControl() |
prefuse.data.tuple.TupleSet |
getOutputGroup() |
int |
getPlacesSize() |
prefuse.data.tuple.TupleSet |
getSelectedActivity() |
prefuse.data.tuple.TupleSet |
getSelectedConformanceNodes() |
prefuse.data.tuple.TupleSet |
getSelectedEdgesGroup() |
int |
getShapeBorderColor() |
TransPairAlignment |
getTpa() |
int |
getTransitionsHeight() |
int |
getTransitionsWidth() |
prefuse.Visualization |
getVisualization() |
boolean |
isBarDecoratorEnabled() |
boolean |
isSimplifierControlEnabled() |
boolean |
isTransitionInOutDegreeEnabled() |
void |
repaint() |
void |
rotateAnticlockwise() |
void |
rotateClockwise() |
void |
runHighlightAction() |
void |
runSimplifierDecorator() |
void |
searchFor(java.lang.String query) |
void |
setAnimationLength(long animationLength) |
void |
setBarDecoratorEnabled(boolean enabled) |
void |
setDegreeFontSize(int size) |
void |
setEdgeDefaultColor(int color) |
void |
setEdgeDirectionEnabled(boolean directed) |
void |
setFontSize(int size) |
void |
setInformationMode(int mode) |
void |
setLineType(LineType lineType) |
void |
setLoopModeEnabled(boolean enabled) |
void |
setPlacesSize(int size) |
void |
setShapeBorderColor(int color) |
void |
setSimplifierControlEnabled(boolean enabled) |
void |
setStartingNodeDecoratorEnabled(boolean enabled) |
void |
setTextBarDecoratorVisibility(boolean enabled) |
void |
setTransitionInOutDegree(boolean enabled) |
void |
setTransitionsHeight(int height) |
void |
setTransitionsWidth(int width) |
protected void |
updateNodesInPetriNet(prefuse.data.tuple.TupleSet focusGroup) |
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 java.lang.String GRAPH_NEXT_ACTIVITY
public static final java.lang.String GRAPH_NODES
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
public static final java.lang.String SELECTED_REMOVE_GROUP
public GraphVisualization(prefuse.data.Graph graph)
public GraphVisualization(prefuse.data.Graph graph, PNetVisualizerController controller2, TransPairAlignment tpa)
graph
- controller2
- net
- public TransPairAlignment getTpa()
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 PNetVisualizerController getController()
public prefuse.data.tuple.TupleSet getInputGroup()
public prefuse.data.tuple.TupleSet getOutputGroup()
public prefuse.data.tuple.TupleSet getInputOutputGroup()
public prefuse.data.tuple.TupleSet getSelectedEdgesGroup()
public prefuse.data.tuple.TupleSet getSelectedConformanceNodes()
public prefuse.data.tuple.TupleSet getMultipleOutputGroup()
public prefuse.data.tuple.TupleSet getSelectedActivity()
public prefuse.data.tuple.TupleSet getGraphNodes()
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)