var values (f078cc2b) · Commits · MTS - Methods for Testing and Specification / TTCN-3_Compiler_Tests / TTCN3_PART1

11_variables/1101_value_variables/NegSem_1101_ValueVars_001.ttcn

0 → 100644

+18 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author STF 409
		** @version $Rev: 45 $
		** @purpose 1:11.1, Variables should be assigned only by values
		** @verdict pass reject
		***************************************************/
		module NegSem_1101_ValueVars_001 {
		type component GeneralComp {}

		testcase TC_NegSem_1101_ValueVars_001() runs on GeneralComp {
		var integer cl_i := ?; // ? is not a value
		setverdict(pass);
		}

		control {
		execute(TC_NegSem_1101_ValueVars_001());
		}
		}
		No newline at end of file

0 → 100644

+9 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author STF 409
		** @version $Rev: 45 $
		** @purpose 1:11.1, Define variables in module scope
		** @verdict reject
		***************************************************/
		module NegSyn_1101_ValueVars_001 {
		var integer c_i1 := 5;
		}
		No newline at end of file

0 → 100644

+40 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author STF 409
		** @version $Rev: 45 $
		** @purpose 1:11.1, Define variables in different scopes
		** @verdict pass accept, ttcn3verdict:pass
		***************************************************/
		module Sem_1101_ValueVars_001 {
		type component GeneralComp {
		timer t;
		var integer cv_i1 := 10;
		}

		altstep a_Sem_1101_ValueVars_001() runs on GeneralComp {
		var integer cl_j := 12;
		[] t.timeout {
		var integer cl_k := 13;
		}
		}

		function f_Sem_1101_ValueVars_001() runs on GeneralComp {
		var integer cl_i := 2;
		}

		testcase TC_Sem_1101_ValueVars_001() runs on GeneralComp {
		var integer cl_i := 3;
		f_Sem_1101_ValueVars_001();

		t.start(1.0);
		alt {
		[] a_Sem_1101_ValueVars_001();
		}

		setverdict(pass);
		}

		control {
		var integer cl_i := 1;
		execute(TC_Sem_1101_ValueVars_001());
		}
		}
		No newline at end of file

0 → 100644

+30 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author STF 409
		** @version $Rev: 45 $
		** @purpose 1:11.1, Define variables in different scopes
		** @verdict pass accept, ttcn3verdict:pass
		***************************************************/
		module Sem_1101_ValueVars_002 {
		type component GeneralComp {}

		testcase TC_Sem_1101_ValueVars_002() runs on GeneralComp {
		var boolean vl_b := true;
		if (vl_b){
		setverdict(pass);
		}
		else {
		setverdict(fail);
		}
		vl_b := false;
		if (not vl_b){
		setverdict(pass);
		}
		else {
		setverdict(fail);
		}
		}

		control {
		execute(TC_Sem_1101_ValueVars_002());
		}
		}
		No newline at end of file

0 → 100644

+29 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author STF 409
		** @version $Rev: 45 $
		** @purpose 1:11.1, Read and write variables
		** @verdict pass accept, ttcn3verdict:pass
		***************************************************/
		module Sem_1101_ValueVars_003 {
		type component GeneralComp {
		timer t;
		var integer v_ai[3] := {1, 3, 5};
		}

		testcase TC_Sem_1101_ValueVars_003() runs on GeneralComp {
		var integer vl_i := 3;
		vl_i := 5;
		v_ai[1] := 5;

		if (v_ai[1] == vl_i){
		setverdict(pass);
		}
		else {
		setverdict(fail);
		}
		}

		control {
		execute(TC_Sem_1101_ValueVars_003());
		}
		}
		No newline at end of file