Commit 7c6092c6 authored by Daniel Honsel's avatar Daniel Honsel
Browse files

fixed counter

parent bbd88172

de.ugoe.cs.swe.TTCN3/src/de/ugoe/cs/swe/validation/LogValidator.xtend

+1 −0
Original line number Diff line number Diff line
@@ -180,6 +180,7 @@ class LogValidator extends AbstractDeclarativeValidator { 
			val parent = function.findDesiredParent(FunctionStatement)

			val parentList = function.findDesiredParent(FunctionStatementList)

			if (parent == null) {

				TTCN3StatisticsProvider.getInstance.incrementCountLog

				val message = "Call to external function \"" + function.ref.name +

					"\" within a definition on the module level. It cannot be preceded by a log statement!"

				info(