Commit aa03129d authored by zeiss's avatar zeiss
Browse files

No commit message 

No commit message
parent 623a6385

08_modules/0803_module_control_part/NegSyn_0803_ModuleControlPart_001.ttcn

+6 −2
Original line number Diff line number Diff line 
/*****************************************************************

 ** @author   STF 409

 ** @version  $Rev$

 ** @purpose  1:8.3, Ensure that the control part is not empty (not strictly allowed by the BNF).

 ** @purpose  1:8.3, Ensure that there is not more than one control part.

 ** @verdict  pass reject

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



module NegSyn_0803_ModuleControlPart_001 {



control {

	var integer count := 0;	

}



control {

	var integer count := 0;	

}



}
 
 No newline at end of file

08_modules/0803_module_control_part/NegSyn_0803_ModuleControlPart_002.ttcn→08_modules/0803_module_control_part/Syn_0803_ModuleControlPart_003.ttcn

+3 −7
Original line number Diff line number Diff line 
/*****************************************************************

 ** @author   STF 409

 ** @version  $Rev$

 ** @purpose  1:8.3, Ensure that there is not more than one control part.

 ** @purpose  1:8.3, Ensure that an empty control part is accepted.

 ** @verdict  pass reject

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



module NegSyn_0803_ModuleControlPart_002 {

module Syn_0803_ModuleControlPart_003 {



control {

	var integer count := 0;	

}

	

control {

	var integer count := 0;	

}



}
 
 No newline at end of file