Commit 6fd76f13 authored by Daniel Honsel's avatar Daniel Honsel
Browse files

minor improvements

parent c93a219f

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

+2 −1
Original line number Diff line number Diff line
@@ -123,7 +123,7 @@ public class TTCN3ResourceProvider { 
		

		TTCN3StatisticsProvider.getInstance().setParsingCompleted(true);

		System.out.println("Test suite parsed in "

				+ MiscTools.msToString(stopwatch.elapsed(TimeUnit.MILLISECONDS)) + " minutes.");

				+ MiscTools.msToString(stopwatch.elapsed(TimeUnit.MILLISECONDS)) + " minutes." + '\n');

	}



	public void analyzeResources() {
@@ -137,6 +137,7 @@ public class TTCN3ResourceProvider { 
		try {

			List<Future<TTCN3Output>> output = pool.invokeAll(analyzer);

			pool.shutdown();

			System.out.print('\n');

			for (Future<TTCN3Output> f : output) {

				TTCN3Output o = f.get();

				System.out.println("Validation output of " + o.getResource().getURI().lastSegment());

de.ugoe.cs.swe.TTCN3/src/de/ugoe/cs/swe/TTCN3.xtext

+1 −1
Original line number Diff line number Diff line
@@ -218,7 +218,7 @@ ModuleControlBody: 
	{ModuleControlBody} list=ControlStatementOrDefList;



ControlStatementOrDefList:

	{ControlStatementOrDefList} (((localDef+=FunctionLocalDef | localInst+=FunctionLocalInst) withstm+=WithStatement? | control+=ControlStatement) sc+=SEMICOLON)*;

	{ControlStatementOrDefList} (((localDef+=FunctionLocalDef | localInst+=FunctionLocalInst) withstm+=WithStatement? | control+=ControlStatement) sc+=SEMICOLON?)*;



ControlStatementOrDef:

	(localDef=FunctionLocalDef | localInst=FunctionLocalInst) withstm=WithStatement? | control=ControlStatement;