Package 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 Description static JavaSourceDocument
UNKNOWNSOURCE
-
Constructor Summary
Constructors Constructor Description JavaSourceDocument(java.lang.String title, java.io.Reader in, SourceFile theSource)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description javax.swing.text.StyledDocument
getDocument()
edu.umd.cs.findbugs.sourceViewer.NumberedEditorKit
getEditorKit()
HighlightInformation
getHighlightInformation()
SourceFile
getSourceFile()
java.lang.String
getTitle()
-
-
-
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()
-
-