+ fixed issue with empty actual parameter lists in data flow analysis (4454fd49) · Commits · MTS / TTCN-3 / T3Q

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

+5 −1

Original line number	Diff line number	Diff line
		@@ -456,13 +456,13 @@ class DataFlowValidator extends AbstractDeclarativeValidator {
		}

		protected def void processAltstepInstance(AltstepInstance altstep, DataFlowHelper dfh) {
		println(altstep)
		if (altstep.list !== null && altstep.ref.params !== null) {
		altstep.list.params.processParameters(altstep.ref.params.params, dfh)
		}
		}

		protected def void processFunctionInstance(FunctionInstance function, DataFlowHelper dfh) {
		if (function.params !== null) {
		val r = function.ref;
		//TODO: also external functions?
		if (r instanceof FunctionDef) {
		@@ -483,6 +483,10 @@ class DataFlowValidator extends AbstractDeclarativeValidator {
		val values = function.eAllOfType(ReferencedValue)
		dfh.checkVariableStatus(values)
		}
		} else {
		val values = function.eAllOfType(ReferencedValue)
		dfh.checkVariableStatus(values)
		}
		}

		protected def void processParameters(EList<FunctionActualPar> actualParameters, EList<FunctionFormalPar> formalParameters, DataFlowHelper dfh) {