Package edu.umd.cs.findbugs.sourceViewer
Class JavaSourceDocument
java.lang.Object
edu.umd.cs.findbugs.sourceViewer.JavaSourceDocument
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) static final SimpleAttributeSet
(package private) final NumberedEditorKit
(package private) final DefaultStyledDocument
(package private) static final Color
(package private) final HighlightInformation
(package private) static final SimpleAttributeSet
(package private) static final SimpleAttributeSet
(package private) static final SimpleAttributeSet
(package private) final SourceFile
(package private) static Font
(package private) TabSet
private final String
static final JavaSourceDocument
(package private) static final SimpleAttributeSet
-
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
commentAttributes
-
javadocAttributes
-
quotesAttributes
-
keywordsAttributes
-
whiteAttributes
-
sourceFont
-
HIGHLIGHT_COLOR
-
TAB_SET
TabSet TAB_SET -
highlights
-
dek
-
doc
-
sourceFile
-
title
-
UNKNOWNSOURCE
-
-
Constructor Details
-
JavaSourceDocument
- Throws:
IOException
-
-
Method Details
-
getHighlightInformation
-
getDocument
-
getEditorKit
-
getTitle
-
getSourceFile
-