Class ReadLineInstrumented

    • Constructor Detail

      • ReadLineInstrumented

        public ReadLineInstrumented()
    • Method Detail

      • readLine

        public final CharSequence2 readLine()
                                     throws java.io.IOException
        Specified by:
        readLine in interface ReadLine
        Throws:
        java.io.IOException
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • close

        public final void close()
                         throws java.io.IOException
        Specified by:
        close in interface java.lang.AutoCloseable
        Specified by:
        close in interface java.io.Closeable
        Throws:
        java.io.IOException