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

+ further improvement to handling of variable assignments, related to #72, fix for empty expr.

parent 2f774e7d

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

+1 −1
Original line number Diff line number Diff line
@@ -638,7 +638,7 @@ class DataFlowValidator extends AbstractDeclarativeValidator { 
    }



    protected def void processBody(TemplateBody body, DataFlowHelper dfh) {

        if (body.simple !== null) {

        if (body.simple !== null && body.simple.expr !== null) {

            body.simple.expr.processExpression(dfh)

            if (body.extra !== null) {

                dfh.checkVariableStatus(body.extra.eAllOfType(ReferencedValue))