javaevolved.github.io/proof/io/HttpClient.java at main · javaevolved/javaevolved.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
///usr/bin/env jbang "$0" "$@" ; exit $?
//JAVA 25+
import java.net.*;
import java.net.http.*;

/// Proof: http-client
/// Source: content/io/http-client.yaml
void main() throws Exception {
    var client = HttpClient.newHttpClient();
    var request = HttpRequest.newBuilder()
        .uri(URI.create("https://api.com/data"))
        .build();
    // Compilation proof — not executed
    // var response = client.send(
    //     request, BodyHandlers.ofString());
    // String body = response.body();
}