No commit message

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

 ** @author   STF 409

 ** @version  $Rev: 158 $

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

 ** @verdict  pass reject

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

module NegSem_08020307_ImportingOfImportStatementsFromT3Modules_002 {

import from Sem_08020307_ImportingOfImportStatementsFromT3Modules_002_import_A {

	import all;

};

type component GeneralComp {}

testcase TC_NegSem_08020307_ImportingOfImportStatementsFromT3Modules_002() 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_002());

}

}

module Sem_08020307_ImportingOfImportStatementsFromT3Modules_002_import_A {

    // imports are private by default

	import from NegSem_08020307_ImportingOfImportStatementsFromT3Modules_002_import_B all;

}

module NegSem_08020307_ImportingOfImportStatementsFromT3Modules_002_import_B {

	const integer c_myconst := 43532;

}