Commit 44e01cd2 authored by zeiss's avatar zeiss
Browse files

No commit message 

No commit message
parent 4a2179f4

08_modules/0802_module_definitions_part/080203_importing_from_modules/08020304_importing_definitions_of_the_same_kind/Sem_08020304_ImportingDefinitionsOfTheSameKind_001.ttcn

+1 −1
Original line number Diff line number Diff line 
/*****************************************************************

 ** @author   STF 409

 ** @version  $Rev: 61 $

 ** @purpose  1:8.2.3.2, Ensure that an import of all constants allows access to a sample constant.

 ** @purpose  1:8.2.3.4, Ensure that an import of all constants allows access to a sample constant.

 ** @verdict  pass accept, ttcn3verdict:pass

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

08_modules/0802_module_definitions_part/080203_importing_from_modules/08020304_importing_definitions_of_the_same_kind/Sem_08020304_ImportingDefinitionsOfTheSameKind_002.ttcn

+1 −1
Original line number Diff line number Diff line 
/*****************************************************************

 ** @author   STF 409

 ** @version  $Rev: 61 $

 ** @purpose  1:8.2.3.2, Ensure that a previously valid const import is not removed by an import covering the same definition with an except.

 ** @purpose  1:8.2.3.4, Ensure that a previously valid const import is not removed by an import covering the same definition with an except.

 ** @verdict  pass accept, ttcn3verdict:pass

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

08_modules/0802_module_definitions_part/080203_importing_from_modules/08020304_importing_definitions_of_the_same_kind/Sem_08020304_ImportingDefinitionsOfTheSameKind_003.ttcn

+1 −1
Original line number Diff line number Diff line 
/*****************************************************************

 ** @author   STF 409

 ** @version  $Rev: 61 $

 ** @purpose  1:8.2.3.2, Ensure that a previously valid const import is not removed by a second import statement excluding the same definition.

 ** @purpose  1:8.2.3.4, Ensure that a previously valid const import is not removed by a second import statement excluding the same definition.

 ** @verdict  pass accept, ttcn3verdict:pass

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

08_modules/0802_module_definitions_part/080203_importing_from_modules/08020305_importing_all_definitions_of_a_module/NegSem_08020305_ImportingAllDefinitionsOfAModule_001.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 61 $

 ** @purpose  1:8.2.3.5, Ensure that when all definitions are imported and then included, a sample constant is not visible.

 ** @verdict  pass reject

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



module NegSem_08020305_ImportingAllDefinitionsOfAlModule_001 {



import from NegSem_08020305_ImportingAllDefinitionsOfAlModule_001_import all except { 

// everything is excluded again

	group all;

	type all;

	template all;

	const all;

	testcase all;

	altstep all;

	function all;

	signature all;

	modulepar all; 

};



type component GeneralComp {}



testcase Sem_08020305_ImportingAllDefinitionsOfAlModule_001() runs on GeneralComp {

	if (c_myconst == 43532) {

		setverdict(fail);

	} else {

		setverdict(pass);

	}

}



control{

    execute(TC_Sem_08020305_ImportingAllDefinitionsOfAlModule_001());

}

}



module Sem_08020305_ImportingAllDefinitionsOfAlModule_002_import {

	const integer c_myconst := 43532;

}

08_modules/0802_module_definitions_part/080203_importing_from_modules/08020305_importing_all_definitions_of_a_module/Sem_08020305_ImportingAllDefinitionsOfAModule_001.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 61 $

 ** @purpose  1:8.2.3.5, Ensure that when all definnitions of a module are imported, a constant sample is visible.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_08020305_ImportingAllDefinitionsOfAlModule_001 {



import from Sem_08020305_ImportingAllDefinitionsOfAlModule_001_import all;



type component GeneralComp {}



testcase Sem_08020305_ImportingAllDefinitionsOfAlModule_001() runs on GeneralComp {

	if (c_myconst == 43532) {

		setverdict(pass);

	} else {

		setverdict(fail);

	}

}



control{

    execute(TC_Sem_08020305_ImportingAllDefinitionsOfAlModule_001());

}

}



module Sem_08020305_ImportingAllDefinitionsOfAlModule_001_import {

	const integer c_myconst := 43532;

}