(int x)
| 141 | String q = ""; |
| 142 | while (q.length() < x) q = ":" + q; |
| 143 | return q; |
| 144 | } |
| 145 | |
| 146 | static private String _debugPrintBoxGraphChildren(Box root, int indent) { |
| 147 | return indent(indent) + root + "\n" + root.children() |
| 148 | .stream() |
| 149 | .map(x -> _debugPrintBoxGraphChildren(x, indent + 2)) |
| 150 | .reduce((a, b) -> a + "\n" + b) |
no test coverage detected