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() |