edu.umd.cs.findbugs.sourceViewer

Class JavaSourceDocument

java.lang.Object

edu.umd.cs.findbugs.sourceViewer.JavaSourceDocument

public class JavaSourceDocument
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static JavaSourceDocument	UNKNOWNSOURCE

Constructor Summary

Constructors

Constructor and Description
JavaSourceDocument(String title, Reader in, SourceFile theSource)

Method Summary

Methods

Modifier and Type	Method and Description
StyledDocument	getDocument()
edu.umd.cs.findbugs.sourceViewer.NumberedEditorKit	getEditorKit()
HighlightInformation	getHighlightInformation()
SourceFile	getSourceFile()
String	getTitle()

Methods inherited from class java.lang.Object

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

Field Detail

UNKNOWNSOURCE

public static final JavaSourceDocument UNKNOWNSOURCE

Constructor Detail

JavaSourceDocument

public JavaSourceDocument(String title,
                  Reader in,
                  SourceFile theSource)
                   throws IOException

Throws:

IOException

Method Detail

getHighlightInformation

public HighlightInformation getHighlightInformation()

getDocument

public StyledDocument getDocument()

getEditorKit

public edu.umd.cs.findbugs.sourceViewer.NumberedEditorKit getEditorKit()

getTitle

public String getTitle()

getSourceFile

public SourceFile getSourceFile()