Class JavaSourceDocument


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

        final javax.swing.text.DefaultStyledDocument doc
      • title

        private final java.lang.String title
    • 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()
      • getTitle

        public java.lang.String getTitle()
      • getSourceFile

        public SourceFile getSourceFile()