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

added output for supported ttcn3 version

parent 7f5c55e6

de.ugoe.cs.swe.T3Q/src/de/ugoe/cs/swe/T3Q/T3Q.java

+3 −3
Original line number Diff line number Diff line
@@ -28,6 +28,7 @@ import de.ugoe.cs.swe.validation.TTCN3StatisticsProvider; 


public class T3Q {

	private static String versionNumber = "v2.0.0b7";

	private static String supportedTTCN3Version = "4.6.1";

	// set during automated server builds

	private static String buildStamp = "---BUILD_STAMP---";

	public static QualityCheckProfile activeProfile = null;
@@ -80,9 +81,8 @@ public class T3Q { 
		stopwatch.start();

		

		System.out.println("T3Q " + getVersionNumber());

		System.out.println("Build " + getBuildStamp());

		// System.out.println("  TTCN-3 version supported: "

		// + TTCN3Parser.getSupportedVersion());

		//System.out.println("Build " + getBuildStamp());

		System.out.println("TTCN-3 version supported: " + supportedTTCN3Version);

		System.out.println("==========================================");

		try {

			if (handleCommandLineArguments(args) == false) {