public class PNetVisualizerController
extends java.util.Observable
Modifier and Type | Method and Description |
---|---|
void |
addCommandManagerObserver(java.util.Observer observer) |
void |
addNewNode(prefuse.data.Node node,
boolean afterwards) |
void |
addNewNode(prefuse.data.Node source,
prefuse.data.Node target) |
void |
addToMarking(prefuse.visual.NodeItem item) |
void |
changeLayoutParameters(boolean firstStagesEnabled,
LayeringStrategy layeringStrategy,
LayoutOrientation layoutOrientation,
boolean enabledSimplifier,
boolean enabledSimplifyAll,
boolean enabledSimplifyLongEdges,
boolean enabledEdgeDirection,
boolean enabledBarDrawing,
boolean enabledSimplifySameLayer,
boolean reorderNodes,
int crossingThreshold,
int totalCrossingThreshold,
int maxLoops,
int intracellSpacing,
int layerSpace,
float edgeLandingOffset,
SequencingStrategy sequencingStrategy,
EmplacingStrategy emplacingStrategy,
LineType lineType,
int transitionsWidth,
int transitionsHeight,
boolean transitionsInOutDegree,
int placesWidth,
int placesHeight,
int fontSize,
int degreeFontSize,
long animationLength,
int edgeColor,
int strokeColor) |
void |
dragNode(prefuse.visual.VisualItem item,
java.awt.geom.Point2D from,
java.awt.geom.Point2D to) |
void |
executeLayout(boolean animate) |
void |
fitViews() |
long |
getAnimationLength() |
org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph |
getCoverabilityGraph() |
prefuse.data.Graph |
getData() |
int |
getDegreeFontSize() |
int |
getDepth() |
int |
getEdgeColor() |
float |
getEdgeLandingOffset() |
EmplacingStrategy |
getEmplacingStrategy() |
int |
getFontSize() |
javax.swing.JPanel |
getInfoPanel() |
java.util.List<prefuse.data.Node> |
getInitialMarking() |
static PNetVisualizerController |
getInstance() |
int |
getIntracellSpacing() |
LayeringStrategy |
getLayeringStrategy() |
int |
getLayerSpacing() |
HierarchicalLayoutContext |
getLayoutContext() |
prefuse.action.layout.Layout |
getLayouter() |
LayoutOrientation |
getLayoutOrientation() |
LineType |
getLineType() |
PetriNetView |
getMainView() |
int |
getMaxDepth() |
MiniGraphView |
getMiniMap() |
PathControl.PathMode |
getPathMode() |
int |
getPlacesSize() |
ProcessAnalyticsVizViews |
getProcessAnalytics() |
SequencingStrategy |
getSequencingStrategy() |
int |
getSimplifierCrossingThreshold() |
int |
getSimplifierMaxLoops() |
int |
getSimplifierTotalCrossingThreshold() |
SoundnessInformation |
getSoundnessInformation() |
javax.swing.JPanel |
getStatisticsPanel() |
int |
getStrokeColor() |
int |
getTransitionsHeight() |
int |
getTransitionsWidth() |
prefuse.Visualization |
getVisualization() |
void |
hideNode(prefuse.visual.NodeItem node) |
void |
initController(prefuse.data.Graph graph,
javax.swing.JFrame component,
SoundnessInformation soundnessInformation,
org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph cg) |
void |
initController(prefuse.data.Graph graph,
javax.swing.JFrame component,
SoundnessInformation soundnessInformation,
org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph cg,
ProcessAnalyticsVizViews pa) |
boolean |
isBarDrawingEnabled() |
boolean |
isEdgeDirectionEnabled() |
boolean |
isFirstStagesEnabled() |
boolean |
isReorderNodesEnabled() |
boolean |
isSimplifierEnabled() |
boolean |
isSimplifyLongEdgesEnabled() |
boolean |
isSimplifySameLayer() |
boolean |
isSimplifyShortEdgesEnabled() |
boolean |
isTransitionsInOutDegreeEnabled() |
CommandManager.CommandManagerState |
redo() |
void |
removeFromMarking(prefuse.visual.NodeItem item,
boolean removeAll) |
void |
resetDepth() |
void |
rotateAnticlockwise() |
void |
rotateClockwise() |
void |
searchFor(java.lang.String query) |
void |
setAddModeEnabled(boolean enabled) |
void |
setAnimationLength(long animationLength) |
void |
setBarDrawingEnabled(boolean enabled) |
void |
setDeadTransitionsModeEnabled(boolean enabled) |
void |
setDegreeFontSize(int size) |
void |
setDepth(int depth) |
void |
setEdgeColor(int color) |
void |
setEdgeDirectionEnabled(boolean enabled) |
void |
setEdgeLandingOffset(float edgeLandingOffset) |
void |
setEdgeSimplifierControlEnabled(boolean enabled) |
void |
setEmplacingStrategy(EmplacingStrategy emplacingStrategy) |
void |
setFirstStagesEnabled(boolean firstStagesEnabled) |
void |
setFontSize(int size) |
void |
setFrequencyMode(int selectedIndex) |
void |
setHighlightNeighborsEnabled(boolean enabled) |
void |
setInfoPanel(javax.swing.JPanel infoPanel) |
void |
setInformationMode(int selected) |
void |
setIntracellSpacing(int intracellSpacing) |
void |
setLayeringStrategy(LayeringStrategy layeringStrategy) |
void |
setLayerSimplifierControlEnabled(boolean enabled) |
void |
setLayerSpacing(int layerSpacing) |
void |
setLayoutOrientation(LayoutOrientation layoutOrientation) |
void |
setLineType(LineType lineType) |
void |
setLoopHighlightEnabled(boolean enabled) |
void |
setMaxDepth(int maxDepth) |
void |
setNonLiveTransitionsModeEnabled(boolean enabled) |
void |
setPathMode(PathControl.PathMode pathMode) |
void |
setPlacesSize(int size) |
void |
setProcessAnalytics(ProcessAnalyticsVizViews processAnalytics) |
void |
setRemoveModeEnabled(boolean enabled) |
void |
setReorderNodesEnabled(boolean enabled) |
void |
setSelectedActivity(java.lang.String activity) |
void |
setSelectionNodeEnabled(boolean selected) |
void |
setSequencingStrategy(SequencingStrategy sequencingStrategy) |
void |
setSimplifierCrossingThreshold(int crossingThreshold) |
void |
setSimplifierEnable(boolean enable) |
void |
setSimplifierMaxLoops(int maxLoops) |
void |
setSimplifierTotalCrossingThreshold(int totalCrossingThreshold) |
void |
setSimplifyLongEdgesEnabled(boolean enabled) |
void |
setSimplifySameLayer(boolean simplifySameLayer) |
void |
setSimplifyShortEdgesEnabled(boolean enabled) |
void |
setSliderEnabled(boolean enabled) |
void |
setSpanEnabled(boolean enabled) |
void |
setStartingNodeDecoratorEnabled(boolean enabled) |
void |
setStatisticsPanel(javax.swing.JPanel panel) |
void |
setStrokeColor(int color) |
void |
setTooltipControlEnabled(boolean enabled) |
void |
setTransitionSelectionEnabled(boolean selected) |
void |
setTransitionsHeight(int height) |
void |
setTransitionsWidth(int width) |
void |
setUnboundedPlacesModeEnabled(boolean enabled) |
CommandManager.CommandManagerState |
undo() |
public static PNetVisualizerController getInstance()
public void initController(prefuse.data.Graph graph, javax.swing.JFrame component, SoundnessInformation soundnessInformation, org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph cg)
public void initController(prefuse.data.Graph graph, javax.swing.JFrame component, SoundnessInformation soundnessInformation, org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph cg, ProcessAnalyticsVizViews pa)
public prefuse.data.Graph getData()
public LayeringStrategy getLayeringStrategy()
public void setLayeringStrategy(LayeringStrategy layeringStrategy)
public LayoutOrientation getLayoutOrientation()
public void setLayoutOrientation(LayoutOrientation layoutOrientation)
public prefuse.action.layout.Layout getLayouter()
public PetriNetView getMainView()
public MiniGraphView getMiniMap()
public void fitViews()
public void executeLayout(boolean animate)
public boolean isSimplifierEnabled()
public void setSimplifierEnable(boolean enable)
public int getSimplifierCrossingThreshold()
public void setSimplifierCrossingThreshold(int crossingThreshold)
public int getSimplifierTotalCrossingThreshold()
public void setSimplifierTotalCrossingThreshold(int totalCrossingThreshold)
public int getSimplifierMaxLoops()
public void setSimplifierMaxLoops(int maxLoops)
public int getIntracellSpacing()
public void setIntracellSpacing(int intracellSpacing)
public int getLayerSpacing()
public void setLayerSpacing(int layerSpacing)
public float getEdgeLandingOffset()
public void setEdgeLandingOffset(float edgeLandingOffset)
public void rotateClockwise()
public void rotateAnticlockwise()
public void setSequencingStrategy(SequencingStrategy sequencingStrategy)
public SequencingStrategy getSequencingStrategy()
public void setEmplacingStrategy(EmplacingStrategy emplacingStrategy)
public EmplacingStrategy getEmplacingStrategy()
public boolean isSimplifySameLayer()
public void setSimplifySameLayer(boolean simplifySameLayer)
public void setHighlightNeighborsEnabled(boolean enabled)
public void setSpanEnabled(boolean enabled)
public void searchFor(java.lang.String query)
public prefuse.Visualization getVisualization()
public LineType getLineType()
public void setLineType(LineType lineType)
public void setSimplifyShortEdgesEnabled(boolean enabled)
public boolean isSimplifyShortEdgesEnabled()
public HierarchicalLayoutContext getLayoutContext()
public boolean isEdgeDirectionEnabled()
public void setEdgeDirectionEnabled(boolean enabled)
public void setBarDrawingEnabled(boolean enabled)
public boolean isBarDrawingEnabled()
public void setLayerSimplifierControlEnabled(boolean enabled)
public void setEdgeSimplifierControlEnabled(boolean enabled)
public void setLoopHighlightEnabled(boolean enabled)
public javax.swing.JPanel getInfoPanel()
public void setInfoPanel(javax.swing.JPanel infoPanel)
public int getDepth()
public void setDepth(int depth)
public void setSliderEnabled(boolean enabled)
public void setMaxDepth(int maxDepth)
public int getMaxDepth()
public void setPathMode(PathControl.PathMode pathMode)
public PathControl.PathMode getPathMode()
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 long getAnimationLength()
public void setAnimationLength(long animationLength)
public CommandManager.CommandManagerState undo()
public CommandManager.CommandManagerState redo()
public void dragNode(prefuse.visual.VisualItem item, java.awt.geom.Point2D from, java.awt.geom.Point2D to)
public void addCommandManagerObserver(java.util.Observer observer)
public void setRemoveModeEnabled(boolean enabled)
public void setAddModeEnabled(boolean enabled)
public void hideNode(prefuse.visual.NodeItem node)
public void addNewNode(prefuse.data.Node node, boolean afterwards)
public void addNewNode(prefuse.data.Node source, prefuse.data.Node target)
public void changeLayoutParameters(boolean firstStagesEnabled, LayeringStrategy layeringStrategy, LayoutOrientation layoutOrientation, boolean enabledSimplifier, boolean enabledSimplifyAll, boolean enabledSimplifyLongEdges, boolean enabledEdgeDirection, boolean enabledBarDrawing, boolean enabledSimplifySameLayer, boolean reorderNodes, int crossingThreshold, int totalCrossingThreshold, int maxLoops, int intracellSpacing, int layerSpace, float edgeLandingOffset, SequencingStrategy sequencingStrategy, EmplacingStrategy emplacingStrategy, LineType lineType, int transitionsWidth, int transitionsHeight, boolean transitionsInOutDegree, int placesWidth, int placesHeight, int fontSize, int degreeFontSize, long animationLength, int edgeColor, int strokeColor)
public void resetDepth()
public boolean isFirstStagesEnabled()
public void setFirstStagesEnabled(boolean firstStagesEnabled)
public boolean isSimplifyLongEdgesEnabled()
public void setSimplifyLongEdgesEnabled(boolean enabled)
public void setNonLiveTransitionsModeEnabled(boolean enabled)
public void setUnboundedPlacesModeEnabled(boolean enabled)
public void setDeadTransitionsModeEnabled(boolean enabled)
public SoundnessInformation getSoundnessInformation()
public boolean isTransitionsInOutDegreeEnabled()
public boolean isReorderNodesEnabled()
public void setReorderNodesEnabled(boolean enabled)
public void addToMarking(prefuse.visual.NodeItem item)
public void removeFromMarking(prefuse.visual.NodeItem item, boolean removeAll)
public org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph getCoverabilityGraph()
public void setTooltipControlEnabled(boolean enabled)
public int getEdgeColor()
public void setEdgeColor(int color)
public int getStrokeColor()
public void setStrokeColor(int color)
public java.util.List<prefuse.data.Node> getInitialMarking()
public void setStartingNodeDecoratorEnabled(boolean enabled)
public void setStatisticsPanel(javax.swing.JPanel panel)
public javax.swing.JPanel getStatisticsPanel()
public void setTransitionSelectionEnabled(boolean selected)
public void setSelectionNodeEnabled(boolean selected)
public ProcessAnalyticsVizViews getProcessAnalytics()
public void setProcessAnalytics(ProcessAnalyticsVizViews processAnalytics)
public void setInformationMode(int selected)
public void setSelectedActivity(java.lang.String activity)
public void setFrequencyMode(int selectedIndex)