Minor corrections, one duplicitous test case removed (d6021a15) · Commits · MTS - Methods for Testing and Specification / TTCN-3_Compiler_Tests / TTCN3_PART1

ATS/05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040101_parameters_of_kind_value/NegSem_05040101_parameters_of_kind_value_011.ttcn

+7 −5

Original line number	Original line	Diff line number	Diff line
	/***************************************************		/***************************************************
	** @author STF 487		** @author STF 487
	** @version 0.0.1		** @version 0.0.1
	** @purpose 1:5.4.1.1, verify that error is generated if formal value parameter of template contains dash		** @purpose 1:5.4.1.1, verify that error is generated if formal value parameter of function contains dash
	** @verdict pass reject		** @verdict pass reject
	***************************************************/		***************************************************/

	@@ -14,14 +14,16 @@ module NegSem_05040101_parameters_of_kind_value_011 {
	type component GeneralComp {		type component GeneralComp {
	}		}

	template integer mw_int(integer p_int := -) := (1..p_int);		function f (integer p_int := -) {
			log(p_int);
			}

	testcase TC_Sem_05040101_parameters_of_kind_value_011() runs on GeneralComp {		testcase TC_NegSem_05040102_parameters_of_kind_value_011() runs on GeneralComp {
	log(mw_int(1));		f(1);
	setverdict(pass);		setverdict(pass);
	}		}

	control{		control{
	execute(TC_Sem_05040101_parameters_of_kind_value_011());		execute(TC_NegSem_05040102_parameters_of_kind_value_011());
	}		}
	}		}

ATS/05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040101_parameters_of_kind_value/NegSem_05040101_parameters_of_kind_value_012.ttcn

+7 −6

Original line number	Original line	Diff line number	Diff line
	/***************************************************		/***************************************************
	** @author STF 487		** @author STF 487
	** @version 0.0.1		** @version 0.0.1
	** @purpose 1:5.4.1.1, verify that error is generated if formal value parameter of function contains dash		** @purpose 1:5.4.1.1, verify that error is generated if formal value parameter of altstep contains dash
	** @verdict pass reject		** @verdict pass reject
	***************************************************/		***************************************************/

	@@ -14,16 +14,17 @@ module NegSem_05040101_parameters_of_kind_value_012 {
	type component GeneralComp {		type component GeneralComp {
	}		}

	function f (integer p_int := -) {		altstep a(integer p_int := -) {
	log(p_int);		[]any timer.timeout {}
			[else] {}
	}		}

	testcase TC_Sem_05040101_parameters_of_kind_value_012() runs on GeneralComp {		testcase TC_NegSem_05040101_parameters_of_kind_value_012() runs on GeneralComp {
	f(1);		a(1);
	setverdict(pass);		setverdict(pass);
	}		}

	control{		control{
	execute(TC_Sem_05040101_parameters_of_kind_value_012());		execute(TC_NegSem_05040101_parameters_of_kind_value_012());
	}		}
	}		}

ATS/05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040101_parameters_of_kind_value/NegSem_05040101_parameters_of_kind_value_013.ttcn

+4 −9

Original line number	Original line	Diff line number	Diff line
	/***************************************************		/***************************************************
	** @author STF 487		** @author STF 487
	** @version 0.0.1		** @version 0.0.1
	** @purpose 1:5.4.1.1, verify that error is generated if formal value parameter of altstep contains dash		** @purpose 1:5.4.1.1, verify that error is generated if formal value parameter of test case contains dash
	** @verdict pass reject		** @verdict pass reject
	***************************************************/		***************************************************/

	@@ -14,17 +14,12 @@ module NegSem_05040101_parameters_of_kind_value_013 {
	type component GeneralComp {		type component GeneralComp {
	}		}

	altstep a(integer p_int := -) {		testcase TC_NegSem_05040101_parameters_of_kind_value_013(integer p_int := -) runs on GeneralComp {
	[]any timer.timeout {}		log(p_int);
	[else] {}
	}

	testcase TC_Sem_05040101_parameters_of_kind_value_013() runs on GeneralComp {
	a(1);
	setverdict(pass);		setverdict(pass);
	}		}

	control{		control{
	execute(TC_Sem_05040101_parameters_of_kind_value_013());		execute(TC_NegSem_05040101_parameters_of_kind_value_013(1));
	}		}
	}		}

ATS/05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040101_parameters_of_kind_value/NegSem_05040101_parameters_of_kind_value_014.ttcn

+11 −6

Original line number	Original line	Diff line number	Diff line
	/***************************************************		/***************************************************
	** @author STF 487		** @author STF 487
	** @version 0.0.1		** @version 0.0.1
	** @purpose 1:5.4.1.1, verify that error is generated if formal value parameter of function contains dash		** @purpose 1:5.4.1.1, verify that out formal value parameters cannot have lazy modifier
	** @verdict pass reject		** @verdict pass reject
	***************************************************/		***************************************************/

	// The following requirement is tested:		// The following requirement is tested:
	// Restriction h)		// Restriction j)
	// The dash (don't change) symbol shall be used with formal parameters of modified templates only		// Only in parameters can be declared lazy or fuzzy.

	module NegSem_05040101_parameters_of_kind_value_014 {		module NegSem_05040101_parameters_of_kind_value_014 {

	type component GeneralComp {		type component GeneralComp {
	}		}

	testcase TC_Sem_05040101_parameters_of_kind_value_014(integer p_int := -) runs on GeneralComp {		function f(out @lazy integer p_int) {
	log(p_int);		p_int := 6;
			}
			testcase TC_NegSem_05040101_parameters_of_kind_value_014() runs on GeneralComp {
			var integer v_int;
			f(v_int);
			log(v_int);
	setverdict(pass);		setverdict(pass);
	}		}

	control{		control{
	execute(TC_Sem_05040101_parameters_of_kind_value_014(1));		execute(TC_NegSem_05040101_parameters_of_kind_value_014());
	}		}
	}		}

ATS/05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040101_parameters_of_kind_value/NegSem_05040101_parameters_of_kind_value_015.ttcn

+6 −6

Original line number	Original line	Diff line number	Diff line
	/***************************************************		/***************************************************
	** @author STF 487		** @author STF 487
	** @version 0.0.1		** @version 0.0.1
	** @purpose 1:5.4.1.1, verify that out formal value parameters cannot have lazy modifier		** @purpose 1:5.4.1.1, verify that out formal value parameters cannot have fuzzy modifier
	** @verdict pass reject		** @verdict pass reject
	***************************************************/		***************************************************/

	// The following requirement is tested:		// The following requirement is tested:
	// Restriction h)		// Restriction j)
	// The dash (don't change) symbol shall be used with formal parameters of modified templates only		// Only in parameters can be declared lazy or fuzzy.

	module NegSem_05040101_parameters_of_kind_value_015 {		module NegSem_05040101_parameters_of_kind_value_015 {

	type component GeneralComp {		type component GeneralComp {
	}		}

	function f(out @lazy integer p_int) {		function f(out @fuzzy integer p_int) {
	p_int := 6;		p_int := 6;
	}		}
	testcase TC_Sem_05040101_parameters_of_kind_value_015() runs on GeneralComp {		testcase TC_NegSem_05040101_parameters_of_kind_value_015() runs on GeneralComp {
	var integer v_int;		var integer v_int;
	f(v_int);		f(v_int);
	log(v_int);		log(v_int);
	@@ -25,6 +25,6 @@ module NegSem_05040101_parameters_of_kind_value_015 {
	}		}

	control{		control{
	execute(TC_Sem_05040101_parameters_of_kind_value_015());		execute(TC_NegSem_05040101_parameters_of_kind_value_015());
	}		}
	}		}