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

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

All Implemented Interfaces:

Highlighter.Highlight

Direct Known Subclasses:

ReverseHighlighter.LayeredHighlightInfo

Enclosing class:

ReverseHighlighter

 class ReverseHighlighter.HighlightInfo
extends Object
implements Highlighter.Highlight

Field Summary

(package private) Highlighter.HighlightPainter	_painter
(package private) Position	p0
(package private) Position	p1

Constructor Summary

ReverseHighlighter.HighlightInfo()

Method Summary

int	getEndOffset()
Highlighter.HighlightPainter	getPainter()
int	getStartOffset()

Methods inherited from class java.lang.Object

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

Field Detail

p0

Position p0

p1

Position p1

_painter

Highlighter.HighlightPainter _painter

Constructor Detail

ReverseHighlighter.HighlightInfo

ReverseHighlighter.HighlightInfo()

Method Detail

getStartOffset

public int getStartOffset()

Specified by:

getStartOffset in interface Highlighter.Highlight

getEndOffset

public int getEndOffset()

Specified by:

getEndOffset in interface Highlighter.Highlight

getPainter

public Highlighter.HighlightPainter getPainter()

Specified by:

getPainter in interface Highlighter.Highlight