Method toString

src/redempt/redlib/misc/WeightedRandom.java:208–217

Converts this WeightedRandom to a String which can be deserialized later @param converter A function to convert the outcomes of this WeightedRandom to strings which can be deserialized later @return The string representing this WeightedRandom

(Function<T, String> converter)

     * @return The string representing this WeightedRandom
     */
    public String toString(Function<T, String> converter) {
        JSONList list = new JSONList();
        weights.forEach((k, v) -> {
            JSONMap map = new JSONMap();
            map.put("weight", v);
            map.put("outcome", converter.apply(k));
            list.add(map);
        });
        return list.toString();
    }

    /**
     * Deserializes a string to create a WeightedRandom