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

Modifier and Type	Method	Description
javax.swing.text.StyledDocument	getDocument()
NumberedEditorKit	getEditorKit()
HighlightInformation	getHighlightInformation()
SourceFile	getSourceFile()
java.lang.String	getTitle()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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