public static void loadWarps(final File parent) throws IOException {
try {
final BufferedReader file =
new BufferedReader(new FileReader(parent + File.separator + FILENAME));
String nextLine;
while ((nextLine = file.readLine()) != null) {
WARPS.put(nextLine.split("\t")[0], new Warp(nextLine));
}
file.close();
} catch (FileNotFoundException ex) {
}
}
public static void removeWarp(final Warp warp) {
WARPS.remove(warp.getName());
}
public static void addWarp(final Warp warp) {
WARPS.put(warp.getName(), warp);
}
public static Warp matchWarp(final String partial) {
return WARPS.matchKey(partial);
}
public static Warp getWarp(final String name) {
return WARPS.get(name);
}
public static Collection<Warp> getWarps() {
return WARPS.values();
}
public static void saveWarps(final File parent) throws IOException {
WARPS.save(parent + File.separator + FILENAME);
}
public static int numWarps() {
return WARPS.size();
}