| 138 | |
| 139 | |
| 140 | class IndentedStream: |
| 141 | def __init__( |
| 142 | self, stream, indent_level, left_indent_char='|', right_indent_char='|' |
| 143 | ): |
| 144 | self._stream = stream |
| 145 | self._indent_level = indent_level |
| 146 | self._left_indent_char = left_indent_char |
| 147 | self._right_indent_char = right_indent_char |
| 148 | |
| 149 | def write(self, text): |
| 150 | self._stream.write(self._left_indent_char * self._indent_level) |
| 151 | if text.endswith('\n'): |
| 152 | self._stream.write(text[:-1]) |
| 153 | self._stream.write(self._right_indent_char * self._indent_level) |
| 154 | self._stream.write('\n') |
| 155 | else: |
| 156 | self._stream.write(text) |
| 157 | |
| 158 | def __getattr__(self, attr): |
| 159 | return getattr(self._stream, attr) |
| 160 | |
| 161 | |
| 162 | class Styler: |