Java Settings.addOriginFile Examples

Example #1

File: ArgInterpreter.java Project: ChornHulio/Uni-Workspace

 private static void addOriginFile(String str) throws Exception {
   File f = new File(str);
   if (!f.exists()) throw new Exception("File " + str + " not found");
   settings.addOriginFile(f);
   originFileSet = true;
 }