Increases the indentation level.
()
| 77 | * Increases the indentation level. |
| 78 | */ |
| 79 | public void pushIndent() { |
| 80 | virtual_indent += TAB_WIDTH; |
| 81 | if (virtual_indent >= 0 && virtual_indent <= SPACES.length()) { |
| 82 | indent = virtual_indent; |
| 83 | } |
| 84 | } |
| 85 | |
| 86 | /** |
| 87 | * Decreases the indentation level. |
no test coverage detected