edu.rice.cs.drjava.ui
Class ReverseHighlighter.LayeredHighlightInfo

java.lang.Object
  edu.rice.cs.drjava.ui.ReverseHighlighter.HighlightInfo
      edu.rice.cs.drjava.ui.ReverseHighlighter.LayeredHighlightInfo

All Implemented Interfaces:

Highlighter.Highlight

Enclosing class:

ReverseHighlighter

 class ReverseHighlighter.LayeredHighlightInfo
extends ReverseHighlighter.HighlightInfo

LayeredHighlightPainter is used when a drawsLayeredHighlights is true. It maintains a rectangle of the region to paint.

Field Summary

(package private) int	height
(package private) int	width
(package private) int	x
(package private) int	y

Fields inherited from class edu.rice.cs.drjava.ui.ReverseHighlighter.HighlightInfo

_painter, p0, p1

Constructor Summary

ReverseHighlighter.LayeredHighlightInfo()

Method Summary

(package private) void	paintLayeredHighlights(Graphics g, int p0, int p1, Shape viewBounds, JTextComponent editor, View view) Restricts the region based on the receivers offsets and messages the painter to paint the region.
(package private) void	union(Shape bounds)

Methods inherited from class edu.rice.cs.drjava.ui.ReverseHighlighter.HighlightInfo

getEndOffset, getPainter, getStartOffset

Methods inherited from class java.lang.Object

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

Field Detail

x

int x

y

int y

width

int width

height

int height

Constructor Detail

ReverseHighlighter.LayeredHighlightInfo

ReverseHighlighter.LayeredHighlightInfo()

Method Detail

union

void union(Shape bounds)

paintLayeredHighlights

void paintLayeredHighlights(Graphics g,
                            int p0,
                            int p1,
                            Shape viewBounds,
                            JTextComponent editor,
                            View view)

Restricts the region based on the receivers offsets and messages the painter to paint the region.