AKovacs update (031a7abf) · Commits · MTS - Methods for Testing and Specification / TTCN-3_Compiler_Tests / TTCN3_PART1

ATS/06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values/060101_toplevel/Sem_060101_TopLevel_007.ttcn

+0 −2

Original line number	Original line	Diff line number	Diff line
	@@ -5,8 +5,6 @@
	** @verdict pass accept, ttcn3verdict:pass		** @verdict pass accept, ttcn3verdict:pass
	***************************************************/		***************************************************/

	//Note: not working with TestCast v.6.8.2.5.

	/* The following requirements are tested:		/* The following requirements are tested:
	The UCS sequence identifier-like (USI-like) notation using their short identifiers of code point. The USI-like notation is composed of the keyword char followed by parentheses. The		The UCS sequence identifier-like (USI-like) notation using their short identifiers of code point. The USI-like notation is composed of the keyword char followed by parentheses. The
	parentheses enclose a comma-separated list of short identifiers . Each short identifier represents a single		parentheses enclose a comma-separated list of short identifiers . Each short identifier represents a single

0 → 100644

+32 −0

Original line number	Original line	Diff line number	Diff line
			/*****************************************************************
			** @author STF 487
			** @version 0.0.1
			** @purpose 1:7.1.3, Ensure that the not equal to operator on address can not be evaluated if value is uninitialized.
			** @verdict pass reject
			*****************************************************************/

			module NegSem_070103_RelationalOperators_005 {

			type component GeneralComp {
			}

			type integer address;

			testcase TC_NegSem_070103_RelationalOperators_005() runs on GeneralComp {

			var address My_address; //uninitialized address type value


			if (My_address != null) //error
			{
			setverdict(pass, My_address);
			} else {
			setverdict(fail,My_address);
			}
			}

			control{
			execute(TC_NegSem_070103_RelationalOperators_005());
			}

			}

+0 −1

Original line number	Original line	Diff line number	Diff line
	@@ -4,7 +4,6 @@
	** @purpose 1:15.5, Ensure that default values in formal parameters of modified templates are working as expected.		** @purpose 1:15.5, Ensure that default values in formal parameters of modified templates are working as expected.
	** @verdict pass accept, ttcn3verdict:pass		** @verdict pass accept, ttcn3verdict:pass
	*****************************************************************/		*****************************************************************/
	//not working with TestCast 6.9.1

	//Restriction c)		//Restriction c)
	/*if the value list notation is used, only the number of elements listed in the modified template is inherited		/*if the value list notation is used, only the number of elements listed in the modified template is inherited

+0 −1

Original line number	Original line	Diff line number	Diff line
	@@ -4,7 +4,6 @@
	** @purpose 1:15.5, Ensure that default values in formal parameters of modified templates are working as expected.		** @purpose 1:15.5, Ensure that default values in formal parameters of modified templates are working as expected.
	** @verdict pass accept, ttcn3verdict:pass		** @verdict pass accept, ttcn3verdict:pass
	*****************************************************************/		*****************************************************************/
	//not working with TestCast 6.9.1

	//Restriction c)		//Restriction c)
	/*if the value list notation is used, only the number of elements listed in the modified template is inherited		/*if the value list notation is used, only the number of elements listed in the modified template is inherited

+0 −1

Original line number	Original line	Diff line number	Diff line
	@@ -4,7 +4,6 @@
	** @purpose 1:15.6.5, Ensure that referencing an alternative of a union template field to which the ifpresent attribute is attached, shall cause an error		** @purpose 1:15.6.5, Ensure that referencing an alternative of a union template field to which the ifpresent attribute is attached, shall cause an error
	** @verdict pass reject		** @verdict pass reject
	*****************************************************************/		*****************************************************************/
	// Not working with TestCast

	//Restriction c)		//Restriction c)
	/*Ifpresent attribute: referencing an alternative of a union template field to which the ifpresent attribute is		/*Ifpresent attribute: referencing an alternative of a union template field to which the ifpresent attribute is