edu.umd.cs.findbugs.sourceViewer
Class JavaSourceDocument
java.lang.Object
edu.umd.cs.findbugs.sourceViewer.JavaSourceDocument
public class JavaSourceDocument
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
UNKNOWNSOURCE
public static final JavaSourceDocument UNKNOWNSOURCE
JavaSourceDocument
public JavaSourceDocument(java.lang.String title,
java.io.Reader in,
SourceFile theSource)
throws java.io.IOException
- Throws:
java.io.IOException
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™ is licenced under the LGPL. Copyright © 2006 University of Maryland.