module NC_parameters_functions_testCases_altsteps {

	//module parameters, good and bad
    modulepar boolean PC_UAS := true
      with {extension "Description: Does IUT behaves as UA Server ?"}
 
    modulepar integer MP_1;

    modulepar {
        integer MP_2:=3, Mp_3;
    } 

    modulepar integer mP_4, MP_5;

    //altsteps, good and bad
    altstep a_a1()  {
    } with {extension "Description: Does IUT behaves as UA Server ?"}

    altstep a_1()  {
    }

    altstep aa_1()  {
    }

//functions, good and bad
//also variables, component instances and constants
    function f_a0() {
        var integer v_a1, b;
        var comp_1 ptc1;
        const integer c_a1 := 1, c_2 := 1;
    }

    function ef_0() {
    }

    testcase tc_1() runs on comp_1 {
    }

    testcase TC_1() runs on comp_1 {
        map(self:P2, system:p1);
    }

}