de.cau.cs.kieler.synccharts.diagram.custom
Class HighlightingManager

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

public class HighlightingManager
extends Object

Manager for highlighting of edit parts.

Rating red

Method Summary
static void highlight(IWorkbenchPart editor, EditPart editPart, Color foreground, Color background)
          Highlight an edit part with the given colors.
static void lock()
          Lock the Highlight manager so that only the locked methods can be used.
static void lockedHighlight(IWorkbenchPart editor, EditPart editPart, Color foreground, Color background)
          Highlight an edit part with the given colors.
static void lockedReset(IWorkbenchPart editor)
          Reset all highlighting effects on the given editor.
static void lockedReset(IWorkbenchPart editor, EditPart editPart)
          Reset the highlighting on the given edit part.
static void reset(IWorkbenchPart editor)
          Reset all highlighting effects on the given editor.
static void reset(IWorkbenchPart editor, EditPart editPart)
          Reset the highlighting on the given edit part.
static void unlock()
          Unlock the Highlighting manager.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

lock

public static void lock()
Lock the Highlight manager so that only the locked methods can be used.


unlock

public static void unlock()
Unlock the Highlighting manager.


lockedHighlight

public static void lockedHighlight(IWorkbenchPart editor,
                                   EditPart editPart,
                                   Color foreground,
                                   Color background)
Highlight an edit part with the given colors. This will override any highlighting effect currently in place on the particular edit part. The highlighting can be reset by calling the reset methods.

Parameters:
editor - the editor
editPart - the edit part
foreground - the foreground color
background - the background color

highlight

public static void highlight(IWorkbenchPart editor,
                             EditPart editPart,
                             Color foreground,
                             Color background)
Highlight an edit part with the given colors. This will override any highlighting effect currently in place on the particular edit part. The highlighting can be reset by calling the reset methods.

Parameters:
editor - the editor
editPart - the edit part
foreground - the foreground color
background - the background color

lockedReset

public static void lockedReset(IWorkbenchPart editor)
Reset all highlighting effects on the given editor.

Parameters:
editor - the editor

reset

public static void reset(IWorkbenchPart editor)
Reset all highlighting effects on the given editor.

Parameters:
editor - the editor

lockedReset

public static void lockedReset(IWorkbenchPart editor,
                               EditPart editPart)
Reset the highlighting on the given edit part.

Parameters:
editor - the editor
editPart - the edit part

reset

public static void reset(IWorkbenchPart editor,
                         EditPart editPart)
Reset the highlighting on the given edit part.

Parameters:
editor - the editor
editPart - the edit part