javaevolved.github.io/proof/strings/StringStrip.java at main · javaevolved/javaevolved.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
///usr/bin/env jbang "$0" "$@" ; exit $?
//JAVA 25+
/// Proof: string-strip
/// Source: content/strings/string-strip.yaml
void main() {
    String str = "  hello world  ";
    // strip() removes all Unicode whitespace
    String clean = str.strip();
    String left  = str.stripLeading();
    String right = str.stripTrailing();
}