source: trunk/t3q-examples/CodeFormatting/altsteps.ttcn3 @ 58

module altsteps {
//altstep skeleton without parameters
altstep a_sample () 
        runs on R3Comp {
}

//altstep with full body, multiple parameters, with passing modes and a runs on clause

altstep a_sample2 ( template R3Msg p_radiusAccntReq, inout template R3Msg p_radiusAccntRsp ) 
        runs on R3Comp {

                []      r3Port.receive ( m_r3MonitorInd ( p_radiusAccntReq ) ) {
                v_ret := e_success;
        }
        [] r3Port.receive ( m_r3MonitorInd ( 
                          e_RadiusAccountingRequest,
                          p_radiusAccntReq ) ) {
                v_ret := e_success;
        }
 }


//altstep skeleton with a single parameter
altstep a_sample1 (template R3Msg p_radiusAccntReq) {
}       
}