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

- removed debugging instructions

parent a078ad16

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

+13 −15
Original line number Diff line number Diff line
@@ -69,15 +69,14 @@ class DataFlowValidator extends AbstractDeclarativeValidator { 
        if (parentBlock === null && parentControl === null) { //top-level

            val DataFlowHelper dfh = new DataFlowHelper()

            

            //TODO: switch to live once tested with debugging 

            //debugging

            try {

                block.traverseChildren(dfh)

            } catch (Exception e) {

                e.printStackTrace

            }

            //live

//            try {

//                block.traverseChildren(dfh)

//            } catch (Exception e) {

//                e.printStackTrace

//            }

            //live

            block.traverseChildren(dfh)

        }        



    }
@@ -90,15 +89,14 @@ class DataFlowValidator extends AbstractDeclarativeValidator { 


        val DataFlowHelper dfh = new DataFlowHelper()

        

        //TODO: switch to live once tested with debugging 

        //debugging

        try {

            control.traverseChildren(dfh)

        } catch (Exception e) {

            e.printStackTrace

        }

//        try {

//            control.traverseChildren(dfh)

//        } catch (Exception e) {

//            e.printStackTrace

//        }

        //live

//      block.traverseChildren(dfh)

         control.traverseChildren(dfh)



    }
@@ -586,7 +584,7 @@ class DataFlowValidator extends AbstractDeclarativeValidator { 
//                println("###   ERROR: "+target.name+" not declared!")



                if (!(target.eContainer.eContainer.eContainer instanceof ComponentElementDef)) {

                    println("###   ERROR: "+target.name+" not declared!")

//                    println("###   ERROR: "+target.name+" not declared!")

                    target.uninitialisedVariableWarning("declared", value)

                }

            }