Commit a2956934 authored by Daniel Honsel's avatar Daniel Honsel
Browse files

generate xmi files

parent 6562bb1a
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -14,5 +14,5 @@
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="org.eclipse.emf.mwe2.launch.runtime.Mwe2Launcher"/>
<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="src/de/ugoe/cs/swe/GenerateTTCN3.mwe2"/>
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="de.ugoe.cs.swe.TTCN3"/>
<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx1024m"/>
<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx3g -Xms2g"/>
</launchConfiguration>
+2 −11
Original line number Diff line number Diff line
@@ -115,17 +115,8 @@ class CheckDefinitionComeFirstParameter {
class TTCN3Validator extends AbstractTTCN3Validator {
	val static Map<String, ArrayList<String>> moduleLevelIdentifiersMap = new ConcurrentHashMap<String, ArrayList<String>>();
	val ConfigTools configTools = ConfigTools.getInstance;
	var QualityCheckProfile activeProfile = null;
	var ModuleContentHelper moduleHelper = null;

	new() {
		if (configTools.selectedProfile != null) {
			activeProfile = configTools.selectedProfile as QualityCheckProfile;
		} else {
			activeProfile = configTools.selectProfile("defaultProfile") as QualityCheckProfile;
		}
		moduleHelper = new ModuleContentHelper(activeProfile);
	}
	var QualityCheckProfile activeProfile = configTools.selectedProfile as QualityCheckProfile
	var ModuleContentHelper moduleHelper = new ModuleContentHelper(activeProfile)

	/**
	 * BEGIN: NAMING CONVENTIONS -----------------------------------------------------------------------