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

+ added debug flag

parent b0b68529

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

+33 −22
Original line number Diff line number Diff line
@@ -70,6 +70,7 @@ import de.ugoe.cs.swe.tTCN3.EnumDefNamed 
import de.ugoe.cs.swe.tTCN3.TemplateBody



class DataFlowValidator extends AbstractDeclarativeValidator {

    val debug = false;

    val ConfigTools configTools = ConfigTools.getInstance;

    var QualityCheckProfile activeProfile = configTools.selectedProfile as QualityCheckProfile
@@ -95,6 +96,7 @@ class DataFlowValidator extends AbstractDeclarativeValidator { 
        ) { //top-level

            val DataFlowHelper dfh = new DataFlowHelper()



            if (debug) {

                //debugging

                try {

                    block.traverseChildren(dfh)
@@ -102,8 +104,10 @@ class DataFlowValidator extends AbstractDeclarativeValidator { 
                    println(block.URI)

                    e.printStackTrace

                }

            } else {

                //live

//            block.traverseChildren(dfh)

                block.traverseChildren(dfh)

            }

        }        



    }
@@ -116,6 +120,7 @@ class DataFlowValidator extends AbstractDeclarativeValidator { 


        val DataFlowHelper dfh = new DataFlowHelper()

        

        if (debug) {

            //debugging

            try {

                control.traverseChildren(dfh)
@@ -123,8 +128,10 @@ class DataFlowValidator extends AbstractDeclarativeValidator { 
                println(control.URI)

                e.printStackTrace

            }

        } else {

            //live

//         control.traverseChildren(dfh)

            control.traverseChildren(dfh)

        }



    }
@@ -136,6 +143,7 @@ class DataFlowValidator extends AbstractDeclarativeValidator { 


        val DataFlowHelper dfh = new DataFlowHelper()

        

        if (debug) {

            //debugging

            try {

                altstep.traverseChildren(dfh)
@@ -143,8 +151,11 @@ class DataFlowValidator extends AbstractDeclarativeValidator { 
                println(altstep.URI)

                e.printStackTrace

            }

        } else {

            //live

//         altstep.traverseChildren(dfh)

            altstep.traverseChildren(dfh)

        }

        



    }