test/jdk/java/lang/String/Indent.java
changeset 53245 05c5c27b5a54
parent 53231 ee1f64096d7c
child 53251 2e1fd6414c4b
equal deleted inserted replaced
53231:ee1f64096d7c 53245:05c5c27b5a54
    65                         String output = input.indent(adjust);
    65                         String output = input.indent(adjust);
    66 
    66 
    67                         Stream<String> stream = input.lines();
    67                         Stream<String> stream = input.lines();
    68                         if (adjust > 0) {
    68                         if (adjust > 0) {
    69                             final String spaces = " ".repeat(adjust);
    69                             final String spaces = " ".repeat(adjust);
    70                             stream = stream.map(s -> s.isBlank() ? s : spaces + s);
    70                             stream = stream.map(s -> spaces + s);
    71                         } else if (adjust < 0) {
    71                         } else if (adjust < 0) {
    72                             stream = stream.map(s -> s.substring(Math.min(-adjust, indexOfNonWhitespace(s))));
    72                             stream = stream.map(s -> s.substring(Math.min(-adjust, indexOfNonWhitespace(s))));
    73                         }
    73                         }
    74                         String expected = stream.collect(Collectors.joining("\n", "", "\n"));
    74                         String expected = stream.collect(Collectors.joining("\n", "", "\n"));
    75 
    75