Commit 7c6c78e2 authored by zeiss's avatar zeiss
Browse files

No commit message 

No commit message
parent 051a2885

08_modules/0802_module_definitions_part/080203_importing_from_modules/08020307_importing_of_import_statements_from_t3_modules/NegSem_08020307_ImportingOfImportStatementsFromT3Modules_001.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 61 $

 ** @purpose  1:8.2.3.7, Ensure that the import of import statements works for import all.

 ** @verdict  pass reject

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



module NegSem_08020307_ImportingOfImportStatementsFromT3Modules_001 {



import from Sem_08020307_ImportingOfImportStatementsFromT3Modules_001_import_A {

	import all;

};



type component GeneralComp {}



testcase NegSem_08020307_ImportingOfImportStatementsFromT3Modules_001() runs on GeneralComp {

	if (c_myconst == 43532) { // c_myconst shall not be accessible as the import in the import_A module is private.

		setverdict(fail);

	} else {

		setverdict(pass);

	}

}



control{

    execute(TC_NegSem_08020307_ImportingOfImportStatementsFromT3Modules_001());

}

}



module Sem_08020307_ImportingOfImportStatementsFromT3Modules_001_import_A {

	private import from NegSem_08020307_ImportingOfImportStatementsFromT3Modules_001_import_B all;

}



module NegSem_08020307_ImportingOfImportStatementsFromT3Modules_001_import_B {

	const integer c_myconst := 43532;

}

08_modules/0802_module_definitions_part/080203_importing_from_modules/08020307_importing_of_import_statements_from_t3_modules/Sem_08020307_ImportingOfImportStatementsFromT3Modules_001.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 61 $

 ** @purpose  1:8.2.3.7, Ensure that the import of import statements works for import all.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_08020307_ImportingOfImportStatementsFromT3Modules_001 {



import from Sem_08020307_ImportingOfImportStatementsFromT3Modules_001_import_A {

	import all;

};



type component GeneralComp {}



testcase Sem_08020307_ImportingOfImportStatementsFromT3Modules_001() runs on GeneralComp {

	if (c_myconst == 43532) {

		setverdict(pass);

	} else {

		setverdict(fail);

	}

}



control{

    execute(TC_Sem_08020307_ImportingOfImportStatementsFromT3Modules_001());

}

}



module Sem_08020307_ImportingOfImportStatementsFromT3Modules_001_import_A {

	import from Sem_08020307_ImportingOfImportStatementsFromT3Modules_001_import_B all;

}



module Sem_08020307_ImportingOfImportStatementsFromT3Modules_001_import_B {

	const integer c_myconst := 43532;

}