source: trunk/t3q-examples/checkNoUnusedLocalDefinitions/checkNoUnusedLocalDefinitions.ttcn3 @ 4

module checkNoUnusedLocalDefinitions {
        
        type component someComponent{
                timer componentTimer1, componentTimer2;
                port portType p1,p2;
        }
        
        function f_0(){
                timer localTimer;
                var integer v1;
                const integer c1:=1;
                var template t1 template1;
                var someComponent comp1;
                template (present) t1 template2 :={f1:=1};
        }
        
        altstep as_0(){
                timer localTimer;
                var integer v1, v2;
                const integer c1:=1;
                var template t1 template1;
                var someComponent comp1;
                [] p.receive(template1) -> value v1 
                {
                        v2 := v1.x;
                }

        }
        
        testcase tc_0() runs on someComponent{
                timer localTimer;
                var integer v1;
                const integer c1:=1;
                var template t1 template1;
                var someComponent comp1;
                componentTimer1.start; //good
        }
        control {
                timer localTimer;
                var integer v1,v2;
                const integer c1:=1;
                var template t1 template1;
                var someComponent comp1;
        
        }
        
        
        
}