Commit 27f14e80 authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ fixed issue with deadlocking on over specific runs on

parent a0764fde

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

+2 −0
Original line number Diff line number Diff line
@@ -1022,6 +1022,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
							} else {

								var ArrayList<TTCN3Reference> nlc = new ArrayList<TTCN3Reference>()

								nlc.addAll(nextLevelCheck)

								nlc.remove(o)

								nlc.addAll(o.nextLevelFunctionsOrAltsteps(consideredAltOrFunc))

								nextLevelCheck = nlc

							}
@@ -1042,6 +1043,7 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
							} else {

								var ArrayList<TTCN3Reference> nlc = new ArrayList<TTCN3Reference>()

								nlc.addAll(nextLevelCheck)

								nlc.remove(o)

								nlc.addAll(o.nextLevelFunctionsOrAltsteps(consideredAltOrFunc))

								nextLevelCheck = nlc

							}