File tree Expand file tree Collapse file tree 1 file changed +8
-9
lines changed
src/main/java/de/rub/nds/modifiablevariable/mlong Expand file tree Collapse file tree 1 file changed +8
-9
lines changed Original file line number Diff line number Diff line change 1313import de .rub .nds .modifiablevariable .integer .IntegerModificationFactory ;
1414import de .rub .nds .modifiablevariable .util .RandomHelper ;
1515import java .io .BufferedReader ;
16- import java .io .File ;
17- import java .io .FileReader ;
1816import java .io .IOException ;
17+ import java .io .InputStream ;
18+ import java .io .InputStreamReader ;
1919import java .util .LinkedList ;
2020import java .util .List ;
2121import java .util .Random ;
@@ -71,13 +71,12 @@ public static synchronized List<VariableModification<Long>> modificationsFromFil
7171 if (modificationsFromFile == null ) {
7272 modificationsFromFile = new LinkedList <>();
7373 ClassLoader classLoader = IntegerModificationFactory .class .getClassLoader ();
74- File file = new File (classLoader .getResource (IntegerModificationFactory .FILE_NAME ).getFile ());
75- try (BufferedReader br = new BufferedReader (new FileReader (file ))) {
76- String line ;
77- while ((line = br .readLine ()) != null ) {
78- String value = line .trim ().split (" " )[0 ];
79- modificationsFromFile .add (explicitValue (value ));
80- }
74+ InputStream is = classLoader .getResourceAsStream (IntegerModificationFactory .FILE_NAME );
75+ BufferedReader br = new BufferedReader (new InputStreamReader (is ));
76+ String line ;
77+ while ((line = br .readLine ()) != null ) {
78+ String value = line .trim ().split (" " )[0 ];
79+ modificationsFromFile .add (explicitValue (value ));
8180 }
8281 }
8382 return modificationsFromFile ;
You can’t perform that action at this time.
0 commit comments