+ only create new configuration file if it does not exist (7e6fdc1f) · Commits · MTS / TTCN-3 / T3Q

de.ugoe.cs.swe.TTCN3Configuration/src/de/ugoe/cs/swe/common/ConfigTools.java

+13 −1

Original line number	Diff line number	Diff line
		@@ -53,6 +53,18 @@ public class ConfigTools {
		}
		}

		public QualityCheckProfile qualityCheckProfile(String configFile) throws InstantiationException, IllegalAccessException, ClassNotFoundException, TerminationException {
		File f = new File(configFile);
		if(f.exists()) {
		loadConfig(configFile);
		return (QualityCheckProfile) selectProfile("defaultProfile");
		} else {
		initializeNewDefaultConfig(configFile);
		loadConfig(configFile);
		return (QualityCheckProfile) selectProfile("defaultProfile");
		}
		}

		public ToolConfiguration initializeNewDefaultConfig(String configurationFilename) throws TerminationException, InstantiationException,
		IllegalAccessException, ClassNotFoundException {
		System.out.println(" Generating new default configuration in: \"" + configurationFilename + "\" ...");