Decreases the indentation level.
()
| 87 | * Decreases the indentation level. |
| 88 | */ |
| 89 | public void popIndent() { |
| 90 | virtual_indent -= TAB_WIDTH; |
| 91 | if (virtual_indent >= 0 && virtual_indent <= SPACES.length()) { |
| 92 | indent = virtual_indent; |
| 93 | } |
| 94 | } |
| 95 | |
| 96 | /** |
| 97 | * Prints the given string followed by '\n' |
no test coverage detected