Package edu.umd.cs.findbugs.sourceViewer
Class JavaSourceDocument
java.lang.Object
edu.umd.cs.findbugs.sourceViewer.JavaSourceDocument
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
UNKNOWNSOURCE
-
-
Constructor Details
-
JavaSourceDocument
- Throws:
IOException
-
-
Method Details
-
getHighlightInformation
-
getDocument
-
getEditorKit
public edu.umd.cs.findbugs.sourceViewer.NumberedEditorKit getEditorKit() -
getTitle
-
getSourceFile
-