FindBugs™ 1.3.9

edu.umd.cs.findbugs.sourceViewer
Class JavaSourceDocument

java.lang.Object
  extended by edu.umd.cs.findbugs.sourceViewer.JavaSourceDocument

public class JavaSourceDocument
extends java.lang.Object


Field Summary
static JavaSourceDocument UNKNOWNSOURCE
           
 
Constructor Summary
JavaSourceDocument(java.lang.String title, java.io.Reader in, SourceFile theSource)
           
 
Method Summary
 javax.swing.text.StyledDocument getDocument()
           
 edu.umd.cs.findbugs.sourceViewer.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

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 edu.umd.cs.findbugs.sourceViewer.NumberedEditorKit getEditorKit()

getTitle

public java.lang.String getTitle()

getSourceFile

public SourceFile getSourceFile()

FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.