chapter 5 update (6a8801cd) · Commits · MTS - Methods for Testing and Specification / TTCN-3_Compiler_Tests / TTCN3_PART1

05_basic_language_elements/51_identifiers_and_keywords/NegSem_0501_Identifier_001.ttcn→05_basic_language_elements/0501_identifiers_and_keywords/NegSem_0501_Identifier_001.ttcn

+0 −0

File moved.

+0 −0

File moved.

+0 −0

File moved.

0 → 100755

+22 −0

Original line number	Diff line number	Diff line
		/*****************************************************************
		** @author STF 409
		** @version %version%
		** @purpose 1:5.1, Ensure that when the IUT loads a module containing some definitions before the module declaration then the module is rejected.
		** @verdict pass reject
		*****************************************************************/

		var integer wrongTopLevel := 1;

		module NegSyn_0500_TopLevel_001 {

		type component GeneralComp {
		}

		testcase TC_NegSyn_0500_TopLevel_001() runs on GeneralComp {
		}

		control{
		execute(TC_NegSyn_0500_TopLevel_001());
		}

		}

0 → 100755

+52 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author STF 409
		** @version 0.0.1
		** @purpose 1:5.2, Ensure that the IUT correctly handles the scope of definitions made in the module part.
		** @verdict pass accept, ttcn3verdict:pass
		***************************************************/
		module Sem_0502_Scope_005 {

		const integer c_int := 0;

		type component GeneralComp {
		}

		testcase TC_Sem_0502_Scope_005() runs on GeneralComp {
		if (c_int == 0){
		setverdict(pass);
		}
		else {
		setverdict(fail);
		}
		}

		control{
		execute(TC_Sem_0502_Scope_005());
		}
		}


		module Sem_0502_Scope_005_import {

		import from Sem_0502_Scope_005 {
		const all
		}

		type component GeneralComp {
		}

		testcase TC_Sem_0502_Scope_005_import() runs on GeneralComp {
		if (c_int == 0){
		setverdict(pass);
		}
		else {
		setverdict(fail);
		}
		}

		control{
		execute(TC_Sem_0502_Scope_005_import());
		}
		}