Commit 31f7cd76 authored by zeiss's avatar zeiss
Browse files

No commit message 

No commit message
parent b38a5f69

26_module_control/2602_the_control_part/NegSem_2602_TheControlPart_001.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:26.2, Ensure that setverdict statements are not allowed in the control part.

 ** @verdict  pass reject

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



module NegSem_2602_TheControlPart_001 {



type component GeneralComp { }



control {

	setverdict(pass);

}



}
 
 No newline at end of file

26_module_control/2602_the_control_part/NegSem_2602_TheControlPart_002.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:26.2, Ensure that the create statement is not allowed in the control part.

 ** @verdict  pass reject

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



module NegSem_2602_TheControlPart_002 {



type port MyPort message {

	inout charstring

}



type component MTCComp { 

	port MyPort p;

}



control {

	var MTCComp v_myComp := MTCComp.create;

}



}
 
 No newline at end of file

26_module_control/2602_the_control_part/NegSem_2602_TheControlPart_003.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:26.2, Ensure that the create alive statement is not allowed in the control part.

 ** @verdict  pass reject

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



module NegSem_2602_TheControlPart_003 {



type port MyPort message {

	inout charstring

}



type component MTCComp { 

	port MyPort p;

}



control {

	var MTCComp v_myComp := MTCComp.create alive;

}



}
 
 No newline at end of file

26_module_control/2602_the_control_part/NegSem_2602_TheControlPart_004.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:26.2, Ensure that the start statement is not allowed in the control part.

 ** @verdict  pass reject

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



module NegSem_2602_TheControlPart_004 {



type port MyPort message {

	inout charstring

}



type component MTCComp { 

	port MyPort p;

}



function f_myBehavior() runs on MTCComp {

	setverdict(fail);

}



control {

	var MTCComp v_myComp := MTCComp.create;

	v_myComp.start(f_myBehavior());

}



}
 
 No newline at end of file

26_module_control/2602_the_control_part/NegSem_2602_TheControlPart_005.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:26.2, Ensure that the stop statement is not allowed in the control part.

 ** @verdict  pass reject

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



module NegSem_2602_TheControlPart_005 {



type port MyPort message {

	inout charstring

}



type component MTCComp { 

	port MyPort p;

}



function f_myBehavior() runs on MTCComp {

	setverdict(fail);

}



control {

	var MTCComp v_myComp := MTCComp.create;

	v_myComp.start(f_myBehavior());

	v_myComp.stop;

}



}
 
 No newline at end of file