Commit 6926575f authored by Daniel Honsel's avatar Daniel Honsel
Browse files

cleaned up

parent b3f8811f
Loading
Loading
Loading
Loading
+20 −20
Original line number Diff line number Diff line
@@ -8,12 +8,12 @@
</listAttribute>
<stringAttribute key="org.eclipse.debug.ui.ATTR_CAPTURE_IN_FILE" value="${workspace_loc:/de.ugoe.cs.swe.T3Q/config}/XtextStandalone.log"/>
<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
<listEntry value="org.eclipse.debug.ui.launchGroup.debug"/>
<listEntry value="org.eclipse.debug.ui.launchGroup.run"/>
<listEntry value="org.eclipse.debug.ui.launchGroup.debug"/>
</listAttribute>
<booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_START_ON_FIRST_THREAD" value="true"/>
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="de.ugoe.cs.swe.T3Q.T3Q"/>
<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="--config config/test.t3q resources/ts04"/>
<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="--config config/test.t3q resources/IMS_PART4_IWD_14wk37"/>
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="de.ugoe.cs.swe.T3Q"/>
<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xms256m -Xmx4g -XX:MaxPermSize=1g"/>
<stringAttribute key="yk-options" value="&#13;&#10;additional-options2=onexit\=snapshot&#13;&#10;"/>
+1 −5
Original line number Diff line number Diff line
@@ -35,8 +35,6 @@ public class T3Q {

	//private boolean formattingEnabled = false;

	// TODO: statistics shall be ideally based on XSLT, meaning the output shall
	// be transformed into XML
	// TODO: also add exception checking for the profiles
	public T3Q() {
	}
@@ -182,9 +180,7 @@ public class T3Q {
	}

	private void handleConfig(String specifiedProfile) throws TerminationException {
		ConfigTools configTools = ConfigTools.getInstance();// new
															// ConfigTools(configurationClassName,
															// configurationProfileClassName);
		ConfigTools configTools = ConfigTools.getInstance();
		configTools.setToolVersion(getVersionNumber());

		try {