edu.umd.cs.findbugs.sourceViewer

Class JavaSourceDocument

java.lang.Object

edu.umd.cs.findbugs.sourceViewer.JavaSourceDocument

public class JavaSourceDocument
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static JavaSourceDocument	UNKNOWNSOURCE

Constructor Summary

Constructors

Constructor and Description
JavaSourceDocument(java.lang.String title, java.io.Reader in, SourceFile theSource)

Method Summary

Methods

Modifier and Type	Method and Description
javax.swing.text.StyledDocument	getDocument()
edu.umd.cs.findbugs.sourceViewer.NumberedEditorKit	getEditorKit()
HighlightInformation	getHighlightInformation()
SourceFile	getSourceFile()
java.lang.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(java.lang.String title,
                  java.io.Reader in,
                  SourceFile theSource)
                   throws java.io.IOException

Throws:

java.io.IOException

Method Detail

getHighlightInformation

public HighlightInformation getHighlightInformation()

getDocument

public javax.swing.text.StyledDocument getDocument()

getEditorKit

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

getTitle

public java.lang.String getTitle()

getSourceFile

public SourceFile getSourceFile()