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 (package private) static javax.swing.text.SimpleAttributeSet
commentAttributes
(package private) NumberedEditorKit
dek
(package private) javax.swing.text.DefaultStyledDocument
doc
(package private) static java.awt.Color
HIGHLIGHT_COLOR
(package private) HighlightInformation
highlights
(package private) static javax.swing.text.SimpleAttributeSet
javadocAttributes
(package private) static javax.swing.text.SimpleAttributeSet
keywordsAttributes
(package private) static javax.swing.text.SimpleAttributeSet
quotesAttributes
(package private) SourceFile
sourceFile
(package private) static java.awt.Font
sourceFont
(package private) javax.swing.text.TabSet
TAB_SET
private java.lang.String
title
static JavaSourceDocument
UNKNOWNSOURCE
(package private) static javax.swing.text.SimpleAttributeSet
whiteAttributes
-
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()
NumberedEditorKit
getEditorKit()
HighlightInformation
getHighlightInformation()
SourceFile
getSourceFile()
java.lang.String
getTitle()
-
-
-
Field Detail
-
commentAttributes
static final javax.swing.text.SimpleAttributeSet commentAttributes
-
javadocAttributes
static final javax.swing.text.SimpleAttributeSet javadocAttributes
-
quotesAttributes
static final javax.swing.text.SimpleAttributeSet quotesAttributes
-
keywordsAttributes
static final javax.swing.text.SimpleAttributeSet keywordsAttributes
-
whiteAttributes
static final javax.swing.text.SimpleAttributeSet whiteAttributes
-
sourceFont
static java.awt.Font sourceFont
-
HIGHLIGHT_COLOR
static final java.awt.Color HIGHLIGHT_COLOR
-
TAB_SET
javax.swing.text.TabSet TAB_SET
-
highlights
final HighlightInformation highlights
-
dek
final NumberedEditorKit dek
-
doc
final javax.swing.text.DefaultStyledDocument doc
-
sourceFile
final SourceFile sourceFile
-
title
private final java.lang.String title
-
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 NumberedEditorKit getEditorKit()
-
getTitle
public java.lang.String getTitle()
-
getSourceFile
public SourceFile getSourceFile()
-
-