Commit caf4543a authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ refined handling of function call parameters

parent 15e1da76

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

+9 −3
Original line number Diff line number Diff line
@@ -449,11 +449,17 @@ class DataFlowValidator extends AbstractDeclarativeValidator { 
            val r = function.ref;

            //TODO: also external functions?

            if (r instanceof FunctionDef) {

                if (r.parameterList !== null) {

                    function.processParameters(r.parameterList.params, dfh)

                }

            } else if (r instanceof ExtFunctionDef) {

                if (r.list !== null) {

                    function.processParameters(r.list.params, dfh)

                }

            } else if (r instanceof AltstepDef) {

                if (r.params !== null) {

                    function.processParameters(r.params.params, dfh)

                }

            } else {

                //handle other cases

                val values = function.eAllOfType(ReferencedValue)