org.dawb.passerelle.editors
Class VariablePainter

java.lang.Object
  org.dawb.passerelle.editors.VariablePainter

All Implemented Interfaces:

java.util.EventListener, org.eclipse.jface.text.IPainter, org.eclipse.swt.events.PaintListener, org.eclipse.swt.internal.SWTEventListener

public final class VariablePainter
extends java.lang.Object
implements org.eclipse.jface.text.IPainter, org.eclipse.swt.events.PaintListener

Field Summary

Fields inherited from interface org.eclipse.jface.text.IPainter

CONFIGURATION, INTERNAL, KEY_STROKE, MOUSE_BUTTON, SELECTION, TEXT_CHANGE

Constructor Summary

VariablePainter(org.eclipse.jface.text.source.ISourceViewer sourceViewer, VariableCharacterMatcher matcher)
Creates a new MatchingCharacterPainter for the given source viewer using the given character pair matcher.

Method Summary

void	deactivate(boolean redraw)
void	dispose()
void	paint(int reason)
void	paintControl(org.eclipse.swt.events.PaintEvent event)
void	setPositionManager(org.eclipse.jface.text.IPaintPositionManager manager)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

VariablePainter

public VariablePainter(org.eclipse.jface.text.source.ISourceViewer sourceViewer,
                       VariableCharacterMatcher matcher)

Creates a new MatchingCharacterPainter for the given source viewer using the given character pair matcher. The character matcher is not adopted by this painter. Thus, it is not disposed. However, this painter requires exclusive access to the given pair matcher.

Parameters:

sourceViewer - the source viewer

matcher - the character pair matcher

Method Detail

dispose

public void dispose()

Specified by:

dispose in interface org.eclipse.jface.text.IPainter

deactivate

public void deactivate(boolean redraw)

Specified by:

deactivate in interface org.eclipse.jface.text.IPainter

paintControl

public void paintControl(org.eclipse.swt.events.PaintEvent event)

Specified by:

paintControl in interface org.eclipse.swt.events.PaintListener

paint

public void paint(int reason)

Specified by:

paint in interface org.eclipse.jface.text.IPainter

setPositionManager

public void setPositionManager(org.eclipse.jface.text.IPaintPositionManager manager)

Specified by:

setPositionManager in interface org.eclipse.jface.text.IPainter