Loading de.ugoe.cs.swe.T3Q/src/de/ugoe/cs/swe/T3Q/TTCN3ResourceProvider.java +3 −3 Original line number Diff line number Diff line Loading @@ -66,7 +66,8 @@ public class TTCN3ResourceProvider { private final Stopwatch stopwatch = Stopwatch.createUnstarted(); private String dataDirName = "data"; private int dataLimit = 16384; private int bufferSize = 16384; private boolean filenames = false; public TTCN3ResourceProvider(final ArrayList<String> paths, LoggingInterface logger, QualityCheckProfile activeProfile) { Loading Loading @@ -318,7 +319,6 @@ public class TTCN3ResourceProvider { List<Future<TTCN3Usage>> output = pool.invokeAll(analyzer); pool.shutdown(); System.out.print('\n'); boolean filenames = false; List<Map<String, Long>> maps = new ArrayList<>(); String name = new File(paths.get(0)).getName(); if(filenames) { Loading Loading @@ -547,7 +547,7 @@ public class TTCN3ResourceProvider { } String jsonString = gson.toJson(json); //System.out.println("Serialized data size: " + jsonString.length()); BufferedWriter writer = new BufferedWriter(new FileWriter(new File(dir, name)), dataLimit); BufferedWriter writer = new BufferedWriter(new FileWriter(new File(dir, name)), bufferSize); writer.write(jsonString); writer.flush(); //gson.toJson(json, new FileWriter(new File(dir, name))); Loading Loading
de.ugoe.cs.swe.T3Q/src/de/ugoe/cs/swe/T3Q/TTCN3ResourceProvider.java +3 −3 Original line number Diff line number Diff line Loading @@ -66,7 +66,8 @@ public class TTCN3ResourceProvider { private final Stopwatch stopwatch = Stopwatch.createUnstarted(); private String dataDirName = "data"; private int dataLimit = 16384; private int bufferSize = 16384; private boolean filenames = false; public TTCN3ResourceProvider(final ArrayList<String> paths, LoggingInterface logger, QualityCheckProfile activeProfile) { Loading Loading @@ -318,7 +319,6 @@ public class TTCN3ResourceProvider { List<Future<TTCN3Usage>> output = pool.invokeAll(analyzer); pool.shutdown(); System.out.print('\n'); boolean filenames = false; List<Map<String, Long>> maps = new ArrayList<>(); String name = new File(paths.get(0)).getName(); if(filenames) { Loading Loading @@ -547,7 +547,7 @@ public class TTCN3ResourceProvider { } String jsonString = gson.toJson(json); //System.out.println("Serialized data size: " + jsonString.length()); BufferedWriter writer = new BufferedWriter(new FileWriter(new File(dir, name)), dataLimit); BufferedWriter writer = new BufferedWriter(new FileWriter(new File(dir, name)), bufferSize); writer.write(jsonString); writer.flush(); //gson.toJson(json, new FileWriter(new File(dir, name))); Loading