Package org.codehaus.janino.util

Class AutoIndentWriter

  • All Implemented Interfaces:
    java.io.Closeable, java.io.Flushable, java.lang.Appendable, java.lang.AutoCloseable
    public class AutoIndentWriter
extends java.io.FilterWriter
    A FilterWriter that indents lines by processing some control characters in the character stream.

    INDENT or UNINDENT may precede lines and indicate that the line and all following lines should be (un)indented by one position.

    TABULATORs may appear anywhere in lines and dictate that portions of all following lines should be vertically aligned (see resolveTabs(List)).

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static char CLEAR_TABULATORS
      Special character at the beginning of a line that flushes a tabular layout.
      static char INDENT
      Special character at the beginning of a line that indents the following text by one position.
      static char TABULATOR
      Special character indicating a tabular layout of all following lines until UNINDENT.
      static char UNINDENT
      Special character at the beginning of a line that unindents the following text by one position.

      • Fields inherited from class java.io.FilterWriter

        out

      • Fields inherited from class java.io.Writer

        lock

    • Constructor Summary

      Constructors 
      Constructor Description
      AutoIndentWriter​(java.io.Writer out)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void close()  
      void flush()  
      void write​(char[] cbuf, int off, int len)  
      void write​(int c)  
      void write​(java.lang.String str, int off, int len)  

      • Methods inherited from class java.io.Writer

        append, append, append, nullWriter, write, write

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • TABULATOR

        public static final char TABULATOR
        Special character indicating a tabular layout of all following lines until UNINDENT.
        See Also:
        Constant Field Values

      • CLEAR_TABULATORS

        public static final char CLEAR_TABULATORS
        Special character at the beginning of a line that flushes a tabular layout.
        See Also:
        Constant Field Values

      • INDENT

        public static final char INDENT
        Special character at the beginning of a line that indents the following text by one position.
        See Also:
        Constant Field Values

      • UNINDENT

        public static final char UNINDENT
        Special character at the beginning of a line that unindents the following text by one position.
        See Also:
        Constant Field Values

    • Constructor Detail

      • AutoIndentWriter

        public AutoIndentWriter​(java.io.Writer out)

    • Method Detail

      • write

        public void write​(@Nullable
                  char[] cbuf,
                  int off,
                  int len)
           throws java.io.IOException
        Overrides:
        write in class java.io.FilterWriter
        Throws:
        java.io.IOException

      • write

        public void write​(@Nullable
                  java.lang.String str,
                  int off,
                  int len)
           throws java.io.IOException
        Overrides:
        write in class java.io.FilterWriter
        Throws:
        java.io.IOException

      • write

        public void write​(int c)
           throws java.io.IOException
        Overrides:
        write in class java.io.FilterWriter
        Throws:
        java.io.IOException

      • close

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

      • flush

        public void flush()
           throws java.io.IOException
        Specified by:
        flush in interface java.io.Flushable
        Overrides:
        flush in class java.io.FilterWriter
        Throws:
        java.io.IOException