Commit cc02f2dd authored by zeiss's avatar zeiss
Browse files

No commit message 

No commit message
parent f070ab93

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

0 → 100644
+32 −0
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.

 ** @verdict  pass accept, ttcn3verdict:pass

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





module Sem_08020304_ImportingDefinitionsOfTheSameKind_001 {



import from Sem_08020304_ImportingDefinitionsOfTheSameKind_001_import {

	const all;

};



type component GeneralComp {}



testcase TC_Sem_08020304_ImportingDefinitionsOfTheSameKind_001() runs on GeneralComp {

	if (c_myconst == 43532) {

		setverdict(pass);

	} else {

		setverdict(fail);

	}

}



control{

    execute(TC_Sem_08020304_ImportingDefinitionsOfTheSameKind_001());

}

}



module Sem_08020304_ImportingDefinitionsOfTheSameKind_001_import {

	const integer c_myconst := 43532;

}

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

0 → 100644
+33 −0
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.

 ** @verdict  pass accept, ttcn3verdict:pass

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





module Sem_08020304_ImportingDefinitionsOfTheSameKind_002 {



import from Sem_08020304_ImportingDefinitionsOfTheSameKind_002_import {

	const all;

	type all except c_myconst;

};



type component GeneralComp {}



testcase TC_Sem_08020304_ImportingDefinitionsOfTheSameKind_002() runs on GeneralComp {

	if (c_myconst == 43532) {

		setverdict(pass);

	} else {

		setverdict(fail);

	}

}



control{

    execute(TC_Sem_08020304_ImportingDefinitionsOfTheSameKind_002());

}

}



module Sem_08020304_ImportingDefinitionsOfTheSameKind_002_import {

	const integer c_myconst := 43532;

}

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

0 → 100644
+33 −0
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.

 ** @verdict  pass accept, ttcn3verdict:pass

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





module Sem_08020304_ImportingDefinitionsOfTheSameKind_003 {



import from Sem_08020304_ImportingDefinitionsOfTheSameKind_003_import all;

import from Sem_08020304_ImportingDefinitionsOfTheSameKind_003_import {

	type all except c_myconst;

};



type component GeneralComp {}



testcase TC_Sem_08020304_ImportingDefinitionsOfTheSameKind_003() runs on GeneralComp {

	if (c_myconst == 43532) {

		setverdict(pass);

	} else {

		setverdict(fail);

	}

}



control{

    execute(TC_Sem_08020304_ImportingDefinitionsOfTheSameKind_003());

}

}



module Sem_08020304_ImportingDefinitionsOfTheSameKind_003_import {

	const integer c_myconst := 43532;

}