Class GermanSpellerRule.ExpandingReader

  • All Implemented Interfaces:
    java.io.Closeable, java.lang.AutoCloseable, java.lang.Readable
    Enclosing class:
    GermanSpellerRule

    static class GermanSpellerRule.ExpandingReader
    extends java.io.BufferedReader
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.util.List<java.lang.String> buffer  
      private LineExpander lineExpander  
      • Fields inherited from class java.io.Reader

        lock
    • Constructor Summary

      Constructors 
      Constructor Description
      ExpandingReader​(java.io.Reader in)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String readLine()  
      • Methods inherited from class java.io.BufferedReader

        close, lines, mark, markSupported, read, read, ready, reset, skip
      • Methods inherited from class java.io.Reader

        nullReader, read, read, transferTo
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • buffer

        private final java.util.List<java.lang.String> buffer
    • Constructor Detail

      • ExpandingReader

        ExpandingReader​(java.io.Reader in)
    • Method Detail

      • readLine

        public java.lang.String readLine()
                                  throws java.io.IOException
        Overrides:
        readLine in class java.io.BufferedReader
        Throws:
        java.io.IOException