source: trunk/t3q-examples/checkTestcasesModuleContainmentCheck/checkTestcasesModuleContainmentGood.ttcn3

module checkTestcasesModuleContainmentGood {
    import from LibCommon_sync all;

    // good module, only testcases and functions in start statements
        function f_1() runs on component_1{
        }

        testcase tc_1() runs on component_1{
                        var component_1 ptc0 := component_1.create;
                        ptc0.start(f_1());
                        ptc0.start(f_0()); // defined elsewhere
        
        }    
    
    group GroupedDefs{
                function f_2() runs on component_1{
                        var component_1 ptc1 := component_1.create;
                        ptc1.start(f_1());
                        ptc1.start(f_0()); // defined elsewhere
                }
                
                testcase tc_2() runs on component_1{
                        var component_1 ptc2 := component_1.create;
                        ptc2.start(f_2());
                        ptc2.start(f_0()); // defined elsewhere
                
                }

    }
}