Commit 8104de91 authored by Daniel Honsel's avatar Daniel Honsel
Browse files

Fix validation rule checkNoOverSpecificRunsOnClauses. Further tests are required.

parent 10c15e08

de.ugoe.cs.swe.T3Q/T3Q.launch

+1 −1
Original line number Diff line number Diff line
@@ -13,7 +13,7 @@ 
</listAttribute>

<booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_START_ON_FIRST_THREAD" value="true"/>

<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="de.ugoe.cs.swe.T3Q.T3Q"/>

<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="--config config/t3q.cfg --profile defaultProfile resources/IMS_PART4_IWD"/>

<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="--config config/t3q.cfg --profile defaultProfile resources/NBIOT_IWD_17wk04"/>

<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="de.ugoe.cs.swe.T3Q"/>

<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xms256m -Xmx4g"/>

<stringAttribute key="yk-options" value="&#13;&#10;additional-options2=onexit\=snapshot&#13;&#10;"/>

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

+7 −1
Original line number Diff line number Diff line
@@ -999,6 +999,9 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
						}

					} else {

						// TODO: error message?

						if (nextLevelCheck.last.equals(o)) {

							nextLevelCheck = null;

						}

					}

				} else if (o instanceof AltstepDef) {

					if (o.spec != null) {
@@ -1011,10 +1014,13 @@ class CodeStyleValidator extends AbstractDeclarativeValidator { 
						}

					} else {

						// TODO: error message?

						if (nextLevelCheck.last.equals(o)) {

							nextLevelCheck = null;

						}

					}

				}

			}

		} while (!nextLevelCheck.empty)

		} while (nextLevelCheck != null || !nextLevelCheck.empty)



		return false

	}