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

+ fixed issue with empty parameter lists

parent 397e887f

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

+17 −15
Original line number Diff line number Diff line
@@ -469,13 +469,14 @@ class DataFlowValidator extends AbstractDeclarativeValidator { 
    

    protected def void processParameters(FunctionInstance function, EList<FunctionFormalPar> formalParameters, DataFlowHelper dfh) {

        var i = 0;

        if (function.params!==null) {

            val actualParameters = function.params.params

            //actual parameters

            for (p : actualParameters) {

            if (p.template!=null) {

                if (p.template!==null) {

                    //get corresponding formal parameter

                    val fp = formalParameters.get(i);

                if (fp.value != null) {

                    if (fp.value !== null && fp.value.inOut !== null) {

                        if (fp.value.inOut.equals("out")) {

                            //update

                            dfh.updateVariableStatus(p.eAllOfType(ReferencedValue).get(0))
@@ -489,6 +490,7 @@ class DataFlowValidator extends AbstractDeclarativeValidator { 
                i++;

            }

        }

    }



    protected def void processInterleavedStatement(InterleavedConstruct interleaved, DataFlowHelper dfh) {

        val igl = interleaved.eContents.get(0)