Ignore:
Timestamp:
2023-08-22T17:40:36+02:00 (18 months ago)
Author:
taylor.smock
Message:

Use jakarta.json instead of java.json

This also fixes various lint issues

Location:
applications/editors/josm/plugins/cadastre-fr
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • applications/editors/josm/plugins/cadastre-fr/build.xml

    r35758 r36122  
    44    <property name="commit.message" value="recompile for compatibility with JOSM r17896"/>
    55    <!-- enter the *lowest* JOSM version this plugin is currently compatible with -->
    6     <property name="plugin.main.version" value="17896"/>
     6    <property name="plugin.main.version" value="18723"/>
    77   
    88    <!-- Configure these properties (replace "..." accordingly).
  • applications/editors/josm/plugins/cadastre-fr/src/org/openstreetmap/josm/plugins/fr/cadastre/api/CadastreAPI.java

    r35831 r36122  
    55
    66import java.io.IOException;
    7 import java.io.StringReader;
    87import java.net.MalformedURLException;
     8import java.net.URI;
    99import java.net.URL;
    1010import java.util.Set;
    1111import java.util.stream.Collectors;
    1212
    13 import javax.json.Json;
    14 import javax.json.JsonArray;
    15 import javax.json.JsonObject;
    16 import javax.json.JsonStructure;
     13import jakarta.json.Json;
     14import jakarta.json.JsonArray;
     15import jakarta.json.JsonObject;
     16import jakarta.json.JsonReader;
     17import jakarta.json.JsonStructure;
    1718
    1819import org.openstreetmap.josm.data.Bounds;
     
    5556     */
    5657    public static Set<String> getSheets(double minlon, double minlat, double maxlon, double maxlat) throws IOException {
    57         URL url = new URL(API_ENDPOINT.get() + "/feuilles?bbox=" + String.join(",",
    58                 Double.toString(minlon), Double.toString(minlat), Double.toString(maxlon), Double.toString(maxlat)));
     58        URL url = URI.create(API_ENDPOINT.get() + "/feuilles?bbox=" + String.join(",",
     59                Double.toString(minlon), Double.toString(minlat), Double.toString(maxlon), Double.toString(maxlat)))
     60                .toURL();
    5961        try {
    6062            Response response = HttpClient.create(url).connect();
     
    6567                        "geo@data.gouv.fr"));
    6668            }
    67             JsonStructure json = Json.createReader(new StringReader(response.fetchContent())).read();
    68             if (json instanceof JsonArray) {
    69                 return json.asJsonArray().stream().map(x -> x.asJsonObject().getString("id")).collect(Collectors.toSet());
    70             } else {
    71                 JsonObject obj = json.asJsonObject();
    72                 throw new IOException(new OsmApiException(obj.getInt("code"), null, obj.getString("message"), url.toExternalForm()));
     69            try (JsonReader reader = Json.createReader(response.getContentReader())) {
     70                JsonStructure json = reader.read();
     71                if (json instanceof JsonArray) {
     72                    return json.asJsonArray().stream().map(x -> x.asJsonObject().getString("id")).collect(Collectors.toSet());
     73                } else {
     74                    JsonObject obj = json.asJsonObject();
     75                    throw new IOException(new OsmApiException(obj.getInt("code"), null, obj.getString("message"), url.toExternalForm()));
     76                }
    7377            }
    7478        } catch (MalformedURLException e) {
Note: See TracChangeset for help on using the changeset viewer.