Commit 0f9fa113 authored by Daniel Honsel's avatar Daniel Honsel
Browse files

relaxed clash check for loop variables

parent 87101e63

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

+6 −0
Original line number Diff line number Diff line
@@ -206,6 +206,12 @@ class TTCN3Validator extends AbstractTTCN3Validator { 
					error('Name clash with another variable definition in this scope!', feature);

					return;

				}

				val defList = parent.findDesiredParent(typeof(TTCN3Module)) as TTCN3Module

				if (defList.defs != null && defList.defs.checkNameClashModuleDefinitionsList(variable, variable.name)) {

					error('Name clash with another variable definition in this scope!', feature);

					return;

				}

				return; // only check clashes with module def list

			} else if (parent instanceof ForStatement) {

				if (parent.init.checkNameClashInitial(variable)) {

					error('Name clash with another variable definition in this scope!', feature);