{
private static Gson parser = new GsonBuilder().setPrettyPrinting().create();
- @SuppressWarnings("resource")
public static <T> T readJson(String path, Class<T> type) throws IOException
{
- FileReader reader = new FileReader(path);
- BufferedReader bf = new BufferedReader(reader);
- bf.readLine(); // Skip version
- String json = bf.lines().dropWhile(s -> s.length() == 0 || s.charAt(0) != '{').reduce("", (x, y) -> x.concat(y));
- T params = parser.fromJson(json, type);
- reader.close();
- return params;
+ try (FileReader reader = new FileReader(path); BufferedReader bf = new BufferedReader(reader))
+ {
+ String json = bf.lines().dropWhile(s -> s.length() == 0 || s.charAt(0) != '{').reduce("", (x, y) -> x.concat(y));
+ T params = parser.fromJson(json, type);
+ return params;
+ }
}
public static void writeJson(Object o, String path) throws IOException
{
- @SuppressWarnings("resource")
- FileWriter writer = new FileWriter(path);
- writer.write(String.format("mograsim version: %s\n", Version.current.toString()));
- writer.write(parser.toJson(o));
- writer.close(); // TODO: Insure that writer is closed
+ try (FileWriter writer = new FileWriter(path))
+ {
+ writer.write(String.format("mograsim version: %s\n", Version.jsonCompVersion.toString()));
+ writer.write(parser.toJson(o));
+ }
}
}