Commit 1428a855 authored by stancakapost's avatar stancakapost
Browse files

No commit message 

No commit message
parent 15bf8d92

11_variables/1101_value_variables/Syn_1101_ValueVars_001.ttcn

+1 −9
Original line number Diff line number Diff line
@@ -6,13 +6,12 @@ 
 ***************************************************/

module Syn_1101_ValueVars_001 {

    type component GeneralComp {

        timer t;

        var integer cv_i1 := 10;

    }

    

    altstep a_Syn_1101_ValueVars_001() runs on GeneralComp {

      var integer cl_j := 12;

      [] t.timeout {

      [] any timer.timeout {

          var integer cl_k := 13;

      }

    }
@@ -23,16 +22,9 @@ module Syn_1101_ValueVars_001 { 


	testcase TC_Syn_1101_ValueVars_001() runs on GeneralComp {

  		var integer cl_i := 3;

        f_Syn_1101_ValueVars_001();

        

        t.start(1.0);

        a_Syn_1101_ValueVars_001();



        setverdict(pass);

	}

    

    control {

        var integer cl_i := 1;

        execute(TC_Syn_1101_ValueVars_001());

    }

}
 
 No newline at end of file

11_variables/1102_template_variables/NegSem_1102_TemplateVars_001.ttcn

0 → 100644
+20 −0
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 409

 ** @version  $Rev: 45 $

 ** @purpose  1:11.1, Template variables should be assigned with unitialized variables

 ** @verdict  pass reject

 ***************************************************/

module NegSem_1102_TemplateVars_001 {

    type component GeneralComp {}

    

	testcase TC_NegSem_1102_TemplateVars_001() runs on GeneralComp {

  		var template integer cl_i1;

        var template integer cl_i2 := cl_i1; // cl_i1 is not initialized

  		

        setverdict(pass);

	}

    

    control {

        execute(TC_NegSem_1102_TemplateVars_001());

    }

}
 
 No newline at end of file

11_variables/1102_template_variables/NegSyn_1102_TemplateVars_001.ttcn

0 → 100644
+9 −0
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 409

 ** @version  $Rev: 45 $

 ** @purpose  1:11.1, Define template variables in module scope

 ** @verdict  pass reject

 ***************************************************/

module NegSyn_1102_TemplateVars_001 {

    var template integer c_i1 := 5;

}
 
 No newline at end of file

11_variables/1102_template_variables/Sem_1102_TemplateVars_001.ttcn

0 → 100644
+40 −0
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 409

 ** @version  $Rev: 45 $

 ** @purpose  1:11.2, Define variables in different scopes

 ** @verdict  pass accept, ttcn3verdict:pass

 ***************************************************/

module Sem_1102_TemplateVars_001 {

    type component GeneralComp {

        timer t;

        var template integer cv_i1 := omit;

    }

    

    altstep a_Sem_1102_TemplateVars_001() runs on GeneralComp {

      var integer cl_j := 12;

      [] t.timeout {

          var template integer cl_k := ?;

      }

    }



	function f_Sem_1102_TemplateVars_001() runs on GeneralComp {

  		var template integer cl_i := *;

	}



	testcase TC_Sem_1102_TemplateVars_001() runs on GeneralComp {

  		var template integer cl_i := (1, 2, 3);

        f_Sem_1102_TemplateVars_001();

        

        t.start(1.0);

        alt {

	        [] a_Sem_1102_TemplateVars_001();

        }



        setverdict(pass);

	}

    

    control {

        var template integer cl_i := (1..2);

        execute(TC_Sem_1102_TemplateVars_001());

    }

}
 
 No newline at end of file

11_variables/1102_template_variables/Syn_1102_TemplateVars_001.ttcn

0 → 100644
+30 −0
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 409

 ** @version  $Rev: 45 $

 ** @purpose  1:11.2, Define template variables in different scopes

 ** @verdict  pass accept, noexecution

 ***************************************************/

module Syn_1102_TemplateVars_001 {

    type component GeneralComp {

        var template integer cv_i1 := omit;

    }



    altstep a_Syn_1102_TemplateVars_001() runs on GeneralComp {

      var integer cl_j := 12;

      [] any timer.timeout {

          var template integer cl_k := ?;

      }

    }



    function f_Syn_1102_TemplateVars_001() runs on GeneralComp {

        var template integer cl_i := *;

    }



    testcase TC_Syn_1102_TemplateVars_001() runs on GeneralComp {

        var template integer cl_i := (1, 2, 3);

    }



    control {

        var template integer cl_i := (1..2);

    }

}
 
 No newline at end of file