de.cau.cs.kieler.klots.editor
Class HighlightSJMarkerEffect

java.lang.Object
  extended by de.cau.cs.kieler.core.kivi.AbstractEffect
      extended by de.cau.cs.kieler.klots.editor.HighlightSJMarkerEffect
All Implemented Interfaces:
IEffect

public class HighlightSJMarkerEffect
extends AbstractEffect

Rating red

Constructor Summary
HighlightSJMarkerEffect(IMarker marker, Color color, Color backgroundColor, Color originalColor, Color originalBackgroundColor, org.eclipse.jdt.internal.ui.javaeditor.JavaEditor editor)
           
HighlightSJMarkerEffect(IMarker marker, TextStyle newTextStyle, TextStyle oldTextStyle, org.eclipse.jdt.internal.ui.javaeditor.JavaEditor editor)
           
 
Method Summary
 HighlightSJMarkerEffect clone()
          Create a copy of this object, using a shallow copy.
 void execute()
          Execute the effect.
 boolean isMergeable()
          Determines whether this effect can be merged with previously scheduled effects.
 void undo()
          Attempt to undo the effect.
 
Methods inherited from class de.cau.cs.kieler.core.kivi.AbstractEffect
merge, schedule, scheduleUndo, toString
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

HighlightSJMarkerEffect

public HighlightSJMarkerEffect(IMarker marker,
                               Color color,
                               Color backgroundColor,
                               Color originalColor,
                               Color originalBackgroundColor,
                               org.eclipse.jdt.internal.ui.javaeditor.JavaEditor editor)
Parameters:
marker -
color -
backgroundColor -
originalColor -
originalBackgroundColor -
editor -

HighlightSJMarkerEffect

public HighlightSJMarkerEffect(IMarker marker,
                               TextStyle newTextStyle,
                               TextStyle oldTextStyle,
                               org.eclipse.jdt.internal.ui.javaeditor.JavaEditor editor)
Parameters:
marker -
newTextStyle -
oldTextStyle -
editor -
Method Detail

execute

public void execute()
Execute the effect.


undo

public void undo()
Description copied from class: AbstractEffect
Attempt to undo the effect.

Specified by:
undo in interface IEffect
Overrides:
undo in class AbstractEffect

isMergeable

public boolean isMergeable()
Description copied from class: AbstractEffect
Determines whether this effect can be merged with previously scheduled effects.

Specified by:
isMergeable in interface IEffect
Overrides:
isMergeable in class AbstractEffect
Returns:
true if it can be merged, false if no search through the effect queue is necessary

clone

public HighlightSJMarkerEffect clone()
Description copied from class: Object
Create a copy of this object, using a shallow copy.

Overrides:
clone in class Object
Returns:
The new copy of the Object