edu.umd.cs.findbugs.sourceViewer
public class JavaSourceDocument extends Object
| Field Summary | |
|---|---|
| static JavaSourceDocument | UNKNOWNSOURCE |
| Constructor Summary | |
|---|---|
| JavaSourceDocument(String title, Reader in, SourceFile theSource) | |
| Method Summary | |
|---|---|
| StyledDocument | getDocument() |
| NumberedEditorKit | getEditorKit() |
| HighlightInformation | getHighlightInformation() |
| SourceFile | getSourceFile() |
| String | getTitle() |