Changes for page View Management (KIVi)

Last modified by Richard Kreissig on 2023/09/14 10:33
<
From version < 4.1 >
edited by ckru
on 2012/03/26 11:23
To version < 7.1 >
edited by msp
on 2014/03/08 19:00
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.ckru
1 +XWiki.msp
Content
... ... @@ -1,16 +1,20 @@
1 1  {{panel title="Project Overview" borderStyle="dashed"}}
2 -Contributors:
2 +Related Publications:
3 3  
4 -* Martin Müller
5 -* Nils Beckel
4 +* Hauke Fuhrmann and Reinhard von Hanxleden. On the Pragmatics of Model-Based Design. In //Foundations of Computer Software. Future Trends and Techniques for Development—15th Monterey Workshop//, Revised Selected Papers, vol. 6028 of LNCS, p. 116–140, Springer, 2010. ([[pdf>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/downloads/papers/monterey08-proceedings.pdf||shape="rect"]]) The original publication is available at [[link.springer.com>>url:http://link.springer.com||shape="rect"]].
5 +* Hauke Fuhrmann and Reinhard von Hanxleden. Taming Graphical Modeling. In //Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems// (MoDELS’10), vol. 6394 of LNCS, p. 196–210, Springer, 2010. ([[pdf>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/downloads/papers/models10.pdf||shape="rect"]]) The original publication is available at [[link.springer.com>>url:http://link.springer.com||shape="rect"]].
6 6  
7 7  Related Theses:
8 8  
9 -* Nils Beckel, //View Management for Visual Modeling//, October 2009 ([[pdf>>url:http://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/nbe-dt.pdf||shape="rect"]])
10 -* Martin Müller, //View Management for Graphical Models//, December 2010 ([[pdf>>url:http://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/mmu-mt.pdf||shape="rect"]])
11 -* Hauke Fuhrmann, //On the Pragmatics of Graphical Modeling//, Disputation: 2011-05-05 ([[pdf>>url:http://eldiss.uni-kiel.de/macau/receive/dissertation_diss_00007185||shape="rect"]])
9 +* Nils Beckel, //View Management for Visual Modeling//, October 2009. ([[pdf>>url:http://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/nbe-dt.pdf||shape="rect"]])
10 +* Martin Müller, //View Management for Graphical Models//, December 2010. ([[pdf>>url:http://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/mmu-mt.pdf||shape="rect"]])
11 +* Hauke Fuhrmann, //On the Pragmatics of Graphical Modeling//, 2011. Disputation: May 5th, 2011 ([[pdf>>url:http://eldiss.uni-kiel.de/macau/receive/dissertation_diss_00007185||shape="rect"]])
12 12  {{/panel}}
13 13  
14 +{{warning}}
15 +This project is currently not developed further.
16 +{{/warning}}
17 +
14 14  == Introduction ==
15 15  
16 16  KIELER View Management (KIVi) is a high-level description engine for dynamic visualizations in diagrams (e.g. for graphical modeling). Its main driver is the availability of automatic layout as provided by KIML. It implements user interaction that builds upon automatic layout and therefore unfolds the full potentials of automatic layout. Different use-case examples are:
... ... @@ -81,49 +81,49 @@
81 81  
82 82  === Trigger(States) ===
83 83  
84 -* [[SelectionTrigger>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/core/kivi/triggers/SelectionTrigger.html||shape="rect" class="javadoc"]] - Contains the most recent list of selected EObjects and the containing DiagramEditor
85 -* [[ButtonTrigger>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/core/kivi/menu/ButtonTrigger.html||shape="rect" class="javadoc"]]- Generic TriggerState for KIVi buttons registered using the ButtonHandler. Buttons can be defined
86 -** using the standard Command extension point of eclipse and by using the [[ButtonHandler>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/core/kivi/menu/ButtonHandler.html||shape="rect" class="javadoc"]] as the handler, or
87 -** defining a button programmatically, e.g. in the constructor of a Combination, using the [[KiviMenuContributionService>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/core/kivi/menu/KiviMenuContributionService.html||shape="rect" class="javadoc"]]. See an example Combination in [[KiviMenuContributionDemoCombination.java>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.core.kivi/src/de/cau/cs/kieler/core/kivi/menu/KiviMenuContributionDemoCombination.java||shape="rect"]]
88 -* [[EffectTrigger>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/core/kivi/triggers/EffectTrigger.html||shape="rect" class="javadoc"]] - Triggered when a KIVi Effect has been executed
89 -* [[ModelChangeTrigger>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/core/model/trigger/ModelChangeTrigger.html||shape="rect" class="javadoc"]] - Contains the most recent change to a semantic model
90 -* [[ModelChangeTrigger>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/core/model/trigger/ModelChangeTrigger.html||shape="rect" class="javadoc"]].DiagramChangeState - Contains the most recent change to a GMF diagram model
91 -* [[ModelChangeTrigger>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/core/model/trigger/ModelChangeTrigger.html||shape="rect" class="javadoc"]].ActiveEditorState - Information about the active editor (not necessarily containing a diagram)
92 -* [[DiagramTrigger>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/core/model/trigger/DiagramTrigger.html||shape="rect" class="javadoc"]] - Information about the active diagram (e.g. in the active editor or view), used instead of ActiveEditorState with convenient access to diagram and semantic model
88 +* [[SelectionTrigger>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.core.model/src/de/cau/cs/kieler/core/model/triggers/SelectionTrigger.java||shape="rect"]] - Contains the most recent list of selected EObjects and the containing DiagramEditor
89 +* [[ButtonTrigger>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.core.kivi/src/de/cau/cs/kieler/core/kivi/menu/ButtonTrigger.java||shape="rect"]]- Generic TriggerState for KIVi buttons registered using the ButtonHandler. Buttons can be defined
90 +** using the standard Command extension point of eclipse and by using the [[ButtonHandler>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.core.kivi/src/de/cau/cs/kieler/core/kivi/menu/ButtonHandler.java||shape="rect"]] as the handler, or
91 +** defining a button programmatically, e.g. in the constructor of a Combination, using the [[KiviMenuContributionService>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.core.kivi/src/de/cau/cs/kieler/core/kivi/menu/KiviMenuContributionService.java||shape="rect"]]. See an example Combination in [[KiviMenuContributionDemoCombination.java>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.core.kivi/src/de/cau/cs/kieler/core/kivi/menu/KiviMenuContributionDemoCombination.java||shape="rect"]]
92 +* [[EffectTrigger>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.core.kivi/src/de/cau/cs/kieler/core/kivi/triggers/EffectTrigger.java||shape="rect"]] - Triggered when a KIVi Effect has been executed
93 +* [[ModelChangeTrigger>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.core.model.gmf/src/de/cau/cs/kieler/core/model/gmf/triggers/ModelChangeTrigger.java||shape="rect"]] - Contains the most recent change to a semantic model
94 +* [[ModelChangeTrigger>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.core.model.gmf/src/de/cau/cs/kieler/core/model/gmf/triggers/ModelChangeTrigger.java||shape="rect"]].DiagramChangeState - Contains the most recent change to a GMF diagram model
95 +* [[ModelChangeTrigger>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.core.model.gmf/src/de/cau/cs/kieler/core/model/gmf/triggers/ModelChangeTrigger.java||shape="rect"]].ActiveEditorState - Information about the active editor (not necessarily containing a diagram)
96 +* [[DiagramTrigger>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.core.model/src/de/cau/cs/kieler/core/model/triggers/DiagramTrigger.java||shape="rect"]] - Information about the active diagram (e.g. in the active editor or view), used instead of ActiveEditorState with convenient access to diagram and semantic model
93 93  
94 94  Synccharts and Papyrus UML StateMachine specific
95 95  
96 -* [[StateActivityTrigger>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/sim/kivi/StateActivityTrigger.html||shape="rect" class="javadoc"]] - receives the most recent n steps of active states from the KIVi-KIEM data component during simulation of Synccharts or Ptolemy UML StateMachines
100 +* [[StateActivityTrigger>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.sim.kivi/src/de/cau/cs/kieler/sim/kivi/StateActivityTrigger.java||shape="rect"]] - receives the most recent n steps of active states from the KIVi-KIEM data component during simulation of Synccharts or Ptolemy UML StateMachines
97 97  
98 98  === Effects ===
99 99  
100 -* [[UndoEffect>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/core/kivi/UndoEffect.html||shape="rect" class="javadoc"]] - Pseudo-Effect used to simplify undoing Effects. The only point of contact as a developer is when merging Effects, the other Effect passed may be an UndoEffect containing the actual Effect
101 -* [[MenuItemEnableStateEffect>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/core/kivi/menu/MenuItemEnableStateEffect.html||shape="rect" class="javadoc"]] - Change the enabled state of a button defined with KVi
102 -* [[LayoutEffect>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/kiml/ui/layout/LayoutEffect.html||shape="rect" class="javadoc"]] - Performs automatic layout with various options
103 -* [[SetOptionsEffect>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/kiml/ui/layout/SetOptionsEffect.html||shape="rect" class="javadoc"]] - Sets layout option values for a specific model element
104 -* [[HighlightEffect>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/core/model/effects/HighlightEffect.html||shape="rect" class="javadoc"]] - Provides different methods of highlighting an EObject: Change its color, line width, or line style without changing the notation model
105 -* [[CompartmentCollapseExpandEffect>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/core/model/effects/CompartmentCollapseExpandEffect.html||shape="rect" class="javadoc"]] - Collapse or expand a compartment without changing the notation model
106 -* [[ArrowEffect>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/synccharts/kivi/ArrowEffect.html||shape="rect" class="javadoc"]] - Draws an arrow between two EObjects
107 -* [[AnalysisEffect>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/kiml/grana/handlers/AnalysisEffect.html||shape="rect" class="javadoc"]] - Performs graph analysis and shows results in the Analysis view
108 -* [[FocusContextEffect>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/core/model/effects/FocusContextEffect.html||shape="rect" class="javadoc"]] - Reduce level of detail for context elements, show all details for focus elements (e.g. by collapsing/expanding compartments)
109 -* [[TransformationEffect>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/core/model/effects/TransformationEffect.html||shape="rect" class="javadoc"]] - Executes a model to model transformation according to passed information.
110 -* [[RefreshGMFEditPoliciesEffect>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/core/model/effects/RefreshGMFEditPoliciesEffect.html||shape="rect" class="javadoc"]] - Refreshes the EditPolicies of an GMF editor.
111 -* [[UnlockEffect>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/kivi/UnlockEffect.html||shape="rect" class="javadoc"]] - Notify all waiting threads on a given Object. Can be used to synchronize threads with the execution of effects.
104 +* [[UndoEffect>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.core.kivi/src/de/cau/cs/kieler/core/kivi/UndoEffect.java||shape="rect"]] - Pseudo-Effect used to simplify undoing Effects. The only point of contact as a developer is when merging Effects, the other Effect passed may be an UndoEffect containing the actual Effect
105 +* [[MenuItemEnableStateEffect>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.core.kivi/src/de/cau/cs/kieler/core/kivi/menu/MenuItemEnableStateEffect.java||shape="rect"]] - Change the enabled state of a button defined with KVi
106 +* [[LayoutEffect>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.kiml.ui/src/de/cau/cs/kieler/kiml/ui/diagram/LayoutEffect.java||shape="rect"]] - Performs automatic layout with various options
107 +* [[SetOptionsEffect>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.kiml.ui/src/de/cau/cs/kieler/kiml/ui/diagram/SetOptionsEffect.java||shape="rect"]] - Sets layout option values for a specific model element
108 +* [[HighlightEffect>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.core.model.gmf/src/de/cau/cs/kieler/core/model/gmf/effects/HighlightEffect.java||shape="rect"]] - Provides different methods of highlighting an EObject: Change its color, line width, or line style without changing the notation model
109 +* [[CompartmentCollapseExpandEffect>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.core.model.gmf/src/de/cau/cs/kieler/core/model/gmf/effects/CompartmentCollapseExpandEffect.java||shape="rect"]] - Collapse or expand a compartment without changing the notation model
110 +* [[ArrowEffect>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.synccharts.kivi/src/de/cau/cs/kieler/synccharts/kivi/ArrowEffect.java||shape="rect"]] - Draws an arrow between two EObjects
111 +* [[AnalysisEffect>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.kiml.grana/src/de/cau/cs/kieler/kiml/grana/handlers/AnalysisEffect.java||shape="rect"]] - Performs graph analysis and shows results in the Analysis view
112 +* [[FocusContextEffect>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.core.model.gmf/src/de/cau/cs/kieler/core/model/gmf/effects/FocusContextEffect.java||shape="rect"]] - Reduce level of detail for context elements, show all details for focus elements (e.g. by collapsing/expanding compartments)
113 +* [[TransformationEffect>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.core.model/src/de/cau/cs/kieler/core/model/effects/TransformationEffect.java||shape="rect"]] - Executes a model to model transformation according to passed information.
114 +* [[RefreshGMFEditPoliciesEffect>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.core.model.gmf/src/de/cau/cs/kieler/core/model/gmf/effects/RefreshGMFEditPoliciesEffect.java||shape="rect"]] - Refreshes the EditPolicies of an GMF editor.
115 +* [[UnlockEffect>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.core.kivi/src/de/cau/cs/kieler/core/kivi/UnlockEffect.java||shape="rect"]] - Notify all waiting threads on a given Object. Can be used to synchronize threads with the execution of effects.
112 112  
113 113  === Combinations ===
114 114  
115 -* [[LayoutCombination>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/kiml/ui/layout/LayoutCombination.html||shape="rect" class="javadoc"]] - Performs automatic layout after key combo/layout button is pressed
116 -* [[RandomLayoutCombination>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/kiml/ui/layout/RandomLayoutCombination.html||shape="rect" class="javadoc"]] - Perform random layout without changing any layout options.
117 -* [[KSBasECombination>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/ksbase/ui/kivi/KSBasECombination.html||shape="rect" class="javadoc"]] - Used to perform layout, currently empty
118 -* [[LayoutAfterCollapseExpandCombination>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/kiml/gmf/combinations/LayoutAfterCollapseExpandCombination.html||shape="rect" class="javadoc"]] - Performs layout after a compartment was collapsed or expanded
119 -* [[ShowHierarchyCombination>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/core/model/combinations/ShowHierarchyCombination.html||shape="rect" class="javadoc"]] - Paints the diagram like a rainbow depending on the hierarchy levels
120 -* [[LayoutAnalysisCombination>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/kiml/grana/handlers/LayoutAnalysisCombination.html||shape="rect" class="javadoc"]] - Performs automatic analysis after layout
121 -* [[ManualFocusCombination>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/kiml/ui/layout/ManualFocusCombination.html||shape="rect" class="javadoc"]] - Do Focus&Context viewing, where the focus are the selected elements in a diagram. Currently supported for Synccharts and KAOM-Diagrams.
122 -* [[E2STransformationCombination>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/kies/transformation/kivi/E2STransformationCombination.html||shape="rect" class="javadoc"]] - Performs a Esterel to Synccharts transformation and following a Synccharts optimization.
119 +* [[LayoutCombination>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.kiml.ui/src/de/cau/cs/kieler/kiml/ui/diagram/LayoutCombination.java||shape="rect"]] - Performs automatic layout after key combo/layout button is pressed
120 +* [[RandomLayoutCombination>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.kiml.ui/src/de/cau/cs/kieler/kiml/ui/diagram/RandomLayoutCombination.java||shape="rect"]] - Perform random layout without changing any layout options.
121 +* [[KSBasECombination>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.ksbase.ui/src/de/cau/cs/kieler/ksbase/ui/kivi/KSBasECombination.java||shape="rect"]] - Used to execute a ksbase transformation.
122 +* [[LayoutAfterCollapseExpandCombination>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.kiml.gmf/src/de/cau/cs/kieler/kiml/gmf/combinations/LayoutAfterCollapseExpandCombination.java||shape="rect"]] - Performs layout after a compartment was collapsed or expanded
123 +* [[ShowHierarchyCombination>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.core.model.gmf/src/de/cau/cs/kieler/core/model/gmf/combinations/ShowHierarchyCombination.java||shape="rect"]] - Paints the diagram like a rainbow depending on the hierarchy levels
124 +* [[LayoutAnalysisCombination>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.kiml.grana/src/de/cau/cs/kieler/kiml/grana/handlers/LayoutAnalysisCombination.java||shape="rect"]] - Performs automatic analysis after layout
125 +* [[ManualFocusCombination>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.synccharts.kivi/src/de/cau/cs/kieler/synccharts/kivi/ManualFocusCombination.java||shape="rect"]] - Do Focus&Context viewing, where the focus are the selected elements in a diagram. Currently supported for Synccharts and KAOM-Diagrams.
126 +* [[E2STransformationCombination>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.kies/src/de/cau/cs/kieler/kies/kivi/E2STransformationCombination.java||shape="rect"]] - Performs a Esterel to Synccharts transformation and following a Synccharts optimization.
123 123  
124 124  Synccharts specific
125 125  
126 -* [[LayoutAfterModelChangedCombination>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/synccharts/kivi/LayoutAfterModelChangedCombination.html||shape="rect" class="javadoc"]] - Performs layout after the model was changed
127 -* [[SignalFlowCombination>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/synccharts/kivi/SignalFlowCombination.html||shape="rect" class="javadoc"]] - Displays the Dual Model
128 -* [[SyncChartsCombination>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/synccharts/kivi/SyncChartsCombination.html||shape="rect" class="javadoc"]] - Highlights/Collapses/Expands states during simulation
129 -* [[HighlightSelectedTransitionsCombination>>url:http://rtsys.informatik.uni-kiel.de/%7Ekieler/doc/de/cau/cs/kieler/synccharts/diagram/custom/HighlightSelectedTransitionsCombination.html||shape="rect" class="javadoc"]] - Higlights selected transitions (and all children) in Synccharts. Used to better see which transition belongs to which label.
130 +* [[LayoutAfterModelChangedCombination>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.synccharts.kivi/src/de/cau/cs/kieler/synccharts/kivi/LayoutAfterModelChangedCombination.java||shape="rect"]] - Performs layout after the model was changed
131 +* [[SignalFlowCombination>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.synccharts.kivi/src/de/cau/cs/kieler/synccharts/kivi/SignalFlowCombination.java||shape="rect"]] - Displays the Dual Model
132 +* [[SyncChartsCombination>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.synccharts.kivi/src/de/cau/cs/kieler/synccharts/kivi/SyncChartsCombination.java||shape="rect"]] - Highlights/Collapses/Expands states during simulation
133 +* [[HighlightSelectedTransitionsCombination>>url:http://rtsys.informatik.uni-kiel.de/fisheye/browse/kieler/plugins/de.cau.cs.kieler.synccharts.diagram.custom/src/de/cau/cs/kieler/synccharts/diagram/custom/HighlightSelectedTransitionsCombination.java||shape="rect"]] - Higlights selected transitions (and all children) in Synccharts. Used to better see which transition belongs to which label.
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -885219
1 +37814392
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/885219/View Management (KIVi)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/37814392/View Management (KIVi)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage