Commit 9b366789 authored by zeiss's avatar zeiss
Browse files

No commit message 

No commit message
parent 044ad01f

08_modules/0802_module_definitions_part/080204_definition_of_friend_modules/NegSem_080204_DefinitionOfFriendModules_001.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 61 $

 ** @purpose  1:8.2.4, Ensure that friend visibility works for a sample constant.

 ** @verdict  pass reject

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



module NegSem_080204_DefinitionOfFriendModules_001 {



import from NegSem_080204_DefinitionOfFriendModules_001_import all;



type component GeneralComp {}



testcase NegSem_080204_DefinitionOfFriendModules_001() runs on GeneralComp {

	if (c_myconst == 43532) { // c_myconst shall not be visible. A friend module statement is missing in NegSem_080204_DefinitionOfFriendModules_001_import. 

		setverdict(fail);

	} else {

		setverdict(pass);

	}

}



control{

    execute(TC_NegSem_080204_DefinitionOfFriendModules_001());

}

}



module NegSem_080204_DefinitionOfFriendModules_001_import {

	friend const integer c_myconst := 32532;

}
 
 No newline at end of file

08_modules/0802_module_definitions_part/080204_definition_of_friend_modules/NegSem_080204_DefinitionOfFriendModules_002.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 61 $

 ** @purpose  1:8.2.4, Ensure that private definitions are not made visible by friend declarations (for a constant sample definition).

 ** @verdict  pass reject

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



module NegSem_080204_DefinitionOfFriendModules_002 {



import from NegSem_080204_DefinitionOfFriendModules_002_import all;



type component GeneralComp {}



testcase NegSem_080204_DefinitionOfFriendModules_002() runs on GeneralComp {

	if (c_myconst == 43532) { // c_myconst shall not be visible. The definition is private even though the module is a friend. 

		setverdict(fail);

	} else {

		setverdict(pass);

	}

}



control{

    execute(TC_NegSem_080204_DefinitionOfFriendModules_002());

}

}



module NegSem_080204_DefinitionOfFriendModules_001_import {

	friend module Sem_080204_DefinitionOfFriendModules_001;



	private const integer c_myconst := 32532;

}
 
 No newline at end of file

08_modules/0802_module_definitions_part/080204_definition_of_friend_modules/Sem_080204_DefinitionOfFriendModules_001.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 61 $

 ** @purpose  1:8.2.4, Ensure that friend visibility works for a sample constant.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_080204_DefinitionOfFriendModules_001 {



import from Sem_080204_DefinitionOfFriendModules_001_import all;



type component GeneralComp {}



testcase Sem_080204_DefinitionOfFriendModules_001() runs on GeneralComp {

	if (c_myconst == 43532) {

		setverdict(pass);

	} else {

		setverdict(fail);

	}

}



control{

    execute(TC_Sem_080204_DefinitionOfFriendModules_001());

}

}



module Sem_080204_DefinitionOfFriendModules_001_import {

	friend module Sem_080204_DefinitionOfFriendModules_001;



	friend const integer c_myconst := 32532;

}
 
 No newline at end of file