public class PNetVisualizerControllerL
extends java.util.Observable
Constructor and Description |
---|
PNetVisualizerControllerL() |
Modifier and Type | Method and Description |
---|---|
void |
executeLayout(boolean animate) |
void |
fitViews() |
java.lang.String |
getActivity() |
javax.swing.JComboBox<java.lang.String> |
getActivityCombo() |
long |
getAnimationLength() |
prefuse.data.Graph |
getData() |
int |
getDegreeFontSize() |
int |
getEdgeColor() |
javax.swing.JLabel |
getFitPre() |
int |
getFontSize() |
javax.swing.JPanel |
getInfoPanel() |
java.util.List<prefuse.data.Node> |
getInitialMarking() |
InteractivePetriNetL |
getIPN() |
prefuse.action.layout.Layout |
getLayouter() |
PetriNetViewL |
getMainView() |
MiniGraphViewL |
getMiniMap() |
int |
getPlacesSize() |
javax.swing.JPanel |
getStatisticsPanel() |
int |
getStrokeColor() |
prefuse.data.Graph |
getTempGraph() |
int |
getTransitionsHeight() |
int |
getTransitionsWidth() |
prefuse.Visualization |
getVisualization() |
void |
initController(prefuse.data.Graph graph,
javax.swing.JFrame component) |
boolean |
isAlignmentMode() |
boolean |
isBarDrawingEnabled() |
boolean |
isConformanceMode() |
boolean |
isTransitionsInOutDegreeEnabled() |
void |
searchFor(java.lang.String query) |
void |
setActivity(java.lang.String activity) |
void |
setActivityCombo(javax.swing.JComboBox<java.lang.String> activityCombo) |
void |
setAddModeEnabled(boolean enabled) |
void |
setAlignmentMode(boolean alignmentMode) |
void |
setAnimationLength(long animationLength) |
void |
setBarDrawingEnabled(boolean enabled) |
void |
setConformanceMode(boolean conformanceMode) |
void |
setDegreeFontSize(int size) |
void |
setEdgeColor(int color) |
void |
setEdgeSimplifierControlEnabled(boolean enabled) |
void |
setFitPre(java.lang.String fitPre) |
void |
setFontSize(int size) |
void |
setHighlightNeighborsEnabled_Loop(boolean enabled) |
void |
setHighlightNeighborsEnabled(boolean enabled) |
void |
setInfoPanel(javax.swing.JPanel infoPanel) |
void |
setIPN(InteractivePetriNetL ipn) |
void |
setLayerSimplifierControlEnabled(boolean enabled) |
void |
setLoopHighlightEnabled(boolean enabled) |
void |
setPlacesSize(int size) |
void |
setRemoveModeEnabled(boolean enabled) |
void |
setSelectedActivity(java.lang.String activity) |
void |
setSelectionNodeEnabled(boolean selected) |
void |
setSpanEnabled(boolean enabled) |
void |
setStartingNodeDecoratorEnabled(boolean enabled) |
void |
setStatisticsPanel(javax.swing.JPanel panel) |
void |
setStrokeColor(int color) |
void |
setTempGraph(prefuse.data.Graph tempGraph) |
void |
setTransitionSelectionEnabled(boolean selected) |
void |
setTransitionsHeight(int height) |
void |
setTransitionsWidth(int width) |
public void initController(prefuse.data.Graph graph, javax.swing.JFrame component)
public prefuse.data.Graph getData()
public prefuse.action.layout.Layout getLayouter()
public PetriNetViewL getMainView()
public MiniGraphViewL getMiniMap()
public void fitViews()
public void executeLayout(boolean animate)
public void setHighlightNeighborsEnabled(boolean enabled)
public void setSpanEnabled(boolean enabled)
public void searchFor(java.lang.String query)
public prefuse.Visualization getVisualization()
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 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 void setRemoveModeEnabled(boolean enabled)
public void setAddModeEnabled(boolean enabled)
public boolean isTransitionsInOutDegreeEnabled()
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 void setSelectedActivity(java.lang.String activity)
public void setActivity(java.lang.String activity)
public java.lang.String getActivity()
public InteractivePetriNetL getIPN()
public void setIPN(InteractivePetriNetL ipn)
public void setHighlightNeighborsEnabled_Loop(boolean enabled)
public boolean isConformanceMode()
public void setConformanceMode(boolean conformanceMode)
public boolean isAlignmentMode()
public void setAlignmentMode(boolean alignmentMode)
public javax.swing.JComboBox<java.lang.String> getActivityCombo()
public void setActivityCombo(javax.swing.JComboBox<java.lang.String> activityCombo)
public prefuse.data.Graph getTempGraph()
public void setTempGraph(prefuse.data.Graph tempGraph)
public void setFitPre(java.lang.String fitPre)
public javax.swing.JLabel getFitPre()