edu.umd.cs.findbugs.sourceViewer

Class JavaSourceDocument

public class JavaSourceDocument extends Object

Field Summary
static JavaSourceDocumentUNKNOWNSOURCE
Constructor Summary
JavaSourceDocument(String title, Reader in, SourceFile theSource)
Method Summary
StyledDocumentgetDocument()
NumberedEditorKitgetEditorKit()
HighlightInformationgetHighlightInformation()
SourceFilegetSourceFile()
StringgetTitle()

Field Detail

UNKNOWNSOURCE

public static final JavaSourceDocument UNKNOWNSOURCE

Constructor Detail

JavaSourceDocument

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

Method Detail

getDocument

public StyledDocument getDocument()

getEditorKit

public NumberedEditorKit getEditorKit()

getHighlightInformation

public HighlightInformation getHighlightInformation()

getSourceFile

public SourceFile getSourceFile()

getTitle

public String getTitle()
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.