Class JavaSourceDocument


  • public class JavaSourceDocument
    extends java.lang.Object
    • 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

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