Commit 3cbcf133 authored by Daniel Honsel's avatar Daniel Honsel
Browse files

minor bugfix

parent cd9f36d0

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

+4 −1
Original line number Diff line number Diff line
@@ -140,7 +140,10 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
		if (!activeProfile.checkNoNestedAltStatements)

			return;



		val depth = alt.nestingDepth(AltConstruct)

		var depth = alt.nestingDepth(AltConstruct)

		if (alt.findDesiredParent(AltstepDef) != null) {

			depth++

		}

		val INode node = NodeModelUtils.getNode(alt)

		if (depth > activeProfile.maximumAllowedNestingDepth) {

			statistics.incrementCountStyle