gate.gui.docview
Class TextualDocumentView.HighlightData

java.lang.Object
  gate.gui.docview.TextualDocumentView.HighlightData

Enclosing class:

TextualDocumentView

private class TextualDocumentView.HighlightData
extends Object

Field Summary

(package private) Annotation	annotation
(package private) Color	colour
(package private) AnnotationSet	set
(package private) Object	tag

Constructor Summary

TextualDocumentView.HighlightData(AnnotationData aData, Color colour)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

annotation

Annotation annotation

set

AnnotationSet set

colour

Color colour

tag

Object tag

Constructor Detail

TextualDocumentView.HighlightData

public TextualDocumentView.HighlightData(AnnotationData aData,
                                         Color colour)