source: trunk/t3q-examples/checkInterfaceModuleContainmentCheck/checkInterfaceModuleContainmentGood.ttcn3 @ 57

module checkInterfaceModuleContainmentGood {
    import from LibCommon_time all;

    // good module, only component, port, and type definitions

        type component component_1 {
        }

        type record x {integer x} 

        group g_1{
                type component component_2 {
                }
                type port port_1 message{
                        in integer
                }
        }

        //are control parts permissible?
        control {
        
        }
            
}