de.cau.cs.kieler.synccharts.diagram.custom.triggerlisteners
Class VisibilityManager

java.lang.Object
  extended by de.cau.cs.kieler.synccharts.diagram.custom.triggerlisteners.VisibilityManager

public final class VisibilityManager
extends Object

This class is responsible for hiding and showing transition priority and region id labels.

Rating proposed yellow
(2010-06-14)

Method Summary
static void hide(org.eclipse.gmf.runtime.diagram.ui.parts.IDiagramWorkbenchPart editor, GraphicalEditPart editPart)
          Hide an edit part.
static void reset(org.eclipse.gmf.runtime.diagram.ui.parts.IDiagramWorkbenchPart editor)
          Reset all hiding effects on the given editor.
static void reset(org.eclipse.gmf.runtime.diagram.ui.parts.IDiagramWorkbenchPart editor, GraphicalEditPart editPart)
          Reset the hiding on the given edit part.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

hide

public static void hide(org.eclipse.gmf.runtime.diagram.ui.parts.IDiagramWorkbenchPart editor,
                        GraphicalEditPart editPart)
Hide an edit part. The hiding can be reset by calling the reset methods.

Parameters:
editor - the editor
editPart - the edit part

reset

public static void reset(org.eclipse.gmf.runtime.diagram.ui.parts.IDiagramWorkbenchPart editor)
Reset all hiding effects on the given editor.

Parameters:
editor - the editor

reset

public static void reset(org.eclipse.gmf.runtime.diagram.ui.parts.IDiagramWorkbenchPart editor,
                         GraphicalEditPart editPart)
Reset the hiding on the given edit part.

Parameters:
editor - the editor
editPart - the edit part