Method readSet

drg_group/quanzhou_2023/Base.java:15–17

(String folder,String dataFile)

public final class Base {
    public static Messages groupMessages=new Messages();
    public static Set<String> readSet(String folder,String dataFile){
        return readDataFile(folder,dataFile).map(x->x.split(" ")[0]).collect(Collectors.toSet());
    }
    public static Map<String,String> readDict(String folder,String dataFile,int kIndex,int vIndex){
        return readDataFile(folder,dataFile).collect(Collectors.toMap(x->x.split(" ")[kIndex], x->x.split(" ")[vIndex]));
    }