| 16 | return readDataFile(folder,dataFile).map(x->x.split(" ")[0]).collect(Collectors.toSet()); |
| 17 | } |
| 18 | public static Map<String,String> readDict(String folder,String dataFile,int kIndex,int vIndex){ |
| 19 | return readDataFile(folder,dataFile).collect(Collectors.toMap(x->x.split(" ")[kIndex], x->x.split(" ")[vIndex])); |
| 20 | } |
| 21 | private static Stream<String> readDataFile(String folder,String dataFile){ |
| 22 | InputStream inputStream =Base.class.getResourceAsStream( |
| 23 | "/"+Base.class.getPackage().getName().replace(".", "/")+"/"+folder+"/"+dataFile+".dat"); |