edu.rice.cs.drjava.model
Interface IHighlighted

public interface IHighlighted

Interface for highlighted regions.

Version:

$Id$

Nested Class Summary

static class

IHighlighted.PainterTag Storage structure for a painter and its associated tag.

Method Summary

IHighlighted.PainterTag	addPainter(Highlighter.HighlightPainter p) Add a painter.
void	clearPainters() Clear all painters.
void	movePainterToFront(IHighlighted.PainterTag t) Move the painter with the specified tag to the front.
void	removePainter(IHighlighted.PainterTag t) Remove the painter with the specified tag.

Method Detail

addPainter

IHighlighted.PainterTag addPainter(Highlighter.HighlightPainter p)

Add a painter.

Parameters:

p - the painter to add

Returns:

the tag associated with the newly added painter

removePainter

void removePainter(IHighlighted.PainterTag t)

Remove the painter with the specified tag.

movePainterToFront

void movePainterToFront(IHighlighted.PainterTag t)

Move the painter with the specified tag to the front.

clearPainters

void clearPainters()

Clear all painters.