Commit 239d1642 authored by Philip Makedonski's avatar Philip Makedonski
Browse files

* fixed output reference

parent e6985539

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

+22 −23
Original line number Diff line number Diff line
@@ -77,14 +77,14 @@ class DataFlowValidator extends AbstractDeclarativeValidator { 
            val DataFlowHelper dfh = new DataFlowHelper()

            

            //debugging

//            try {

//                block.traverseChildren(dfh)

//            } catch (Exception e) {

//                println(block.URI)

//                e.printStackTrace

//            }

            //live

            try {

                block.traverseChildren(dfh)

            } catch (Exception e) {

                println(block.URI)

                e.printStackTrace

            }

            //live

//            block.traverseChildren(dfh)

        }        



    }
@@ -98,14 +98,14 @@ class DataFlowValidator extends AbstractDeclarativeValidator { 
        val DataFlowHelper dfh = new DataFlowHelper()

        

        //debugging

//        try {

//            control.traverseChildren(dfh)

//        } catch (Exception e) {

//            println(control.URI)

//            e.printStackTrace

//        }

        //live

        try {

            control.traverseChildren(dfh)

        } catch (Exception e) {

            println(control.URI)

            e.printStackTrace

        }

        //live

//         control.traverseChildren(dfh)



    }
@@ -118,14 +118,14 @@ class DataFlowValidator extends AbstractDeclarativeValidator { 
        val DataFlowHelper dfh = new DataFlowHelper()

        

        //debugging

//        try {

//            altstep.traverseChildren(dfh)

//        } catch (Exception e) {

//            println(altstep.URI)

//            e.printStackTrace

//        }

        //live

        try {

            altstep.traverseChildren(dfh)

        } catch (Exception e) {

            println(altstep.URI)

            e.printStackTrace

        }

        //live

//         altstep.traverseChildren(dfh)



    }
@@ -772,8 +772,7 @@ class DataFlowValidator extends AbstractDeclarativeValidator { 
            MessageClass.STYLE.toString,

            node.startLine.toString,

            node.endLine.toString,

            //TODO: add correct number

            "6.10, " + "checkNoUninitialisedLocalDefinitions"

            "6.10, " + "checkNoUninitialisedVariables"

        )

    }