···

       
1
       
1
       
+
       
# Adapted from https://simplemaps.com/data/world-cities

     

       
1
       
2
       
 
       
Tokyo;35.6897

     

       
2
       
3
       
 
       
Jakarta;-6.1750

     

       
3
       
4
       
 
       
Delhi;28.6100

     

···

       
69
       
69
       
 
       
        // Use a public list of city names and concatenate them all into a long string,

     

       
70
       
70
       
 
       
        // which we'll use as a "source of city name randomness"

     

       
71
       
71
       
 
       
        var bigName = new StringBuilder(1 << 20);

     

       
72
       
72
       
-
       
        // Source: https://simplemaps.com/data/world-cities

     

       
73
       
72
       
 
       
        try (var rows = new BufferedReader(new FileReader("data/weather_stations.csv"));) {

     

       
73
       
73
       
+
       
            rows.readLine(); // Skip the attribution line

     

       
74
       
74
       
 
       
            while (true) {

     

       
75
       
75
       
 
       
                var row = rows.readLine();

     

       
76
       
76
       
 
       
                if (row == null) {

     
···

       
84
       
84
       
 
       
        var minLen = Integer.MAX_VALUE;

     

       
85
       
85
       
 
       
        var maxLen = Integer.MIN_VALUE;

     

       
86
       
86
       
 
       
        try (var rows = new BufferedReader(new FileReader("data/weather_stations.csv"))) {

     

       
87
       
87
       
+
       
            rows.readLine(); // Skip the attribution line

     

       
87
       
88
       
 
       
            final var nameSource = new StringReader(bigName.toString());

     

       
88
       
89
       
 
       
            final var buf = new char[MAX_NAME_LEN];

     

       
89
       
90
       
 
       
            final var rnd = ThreadLocalRandom.current();