Commit 8c90ad35 authored by zeiss's avatar zeiss
Browse files

No commit message 

No commit message
parent 31f7cd76

20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_20_TopLevel_001.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:20, Ensure that the alt-statement works as expected for a simple loopback case.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_20_TopLevel_001 {



type port MyPort message {

	inout charstring

}



type component GeneralComp { 

	port MyPort p;

}



template charstring m_test := "ping";



testcase TC_Sem_20_TopLevel_001() runs on GeneralComp {

	p.send(m_test);

	alt {

		[] p.receive(m_test) {

			setverdict(pass);

		}

	}

}



control {

	execute(TC_Sem_20_TopLevel_001());

}



}
 
 No newline at end of file

20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_20_TopLevel_002.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:20, Ensure that the alt-statement works as expected for a simple loopback case.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_20_TopLevel_002 {



type port MyPort message {

	inout charstring

}



type component GeneralComp { 

	port MyPort p;

}



template charstring m_test := "ping";



testcase TC_Sem_20_TopLevel_001() runs on GeneralComp {

	p.send(m_test);

	var integer counter := 1;

	alt {

		[counter == 1] p.receive(m_test) {

			setverdict(pass);

		}

	}

}



control {

	execute(TC_Sem_20_TopLevel_001());

}



}
 
 No newline at end of file

20_statement_and_operations_for_alt/20_toplevel/Syn_20_TopLevel_001.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:20, Ensure that alt-statements are accepted.

 ** @verdict  pass accept, noexecution

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



module Syn_20_TopLevel_001 {



type port MyPort message {

	inout charstring

}



type component GeneralComp { 

	port MyPort p;

}



template charstring m_test := "ping";



testcase TC_Syn_20_TopLevel_001() runs on GeneralComp {

	p.send(m_test);

	var boolean guard := false;

	alt {

		[] p.receive(m_test) {

			setverdict(pass);

		}

		[guard == true] p.receive(m_test) {

			setverdict(fail);

		}

		[else] {

			setverdict(fail);

		}

	}

}



}
 
 No newline at end of file

20_statement_and_operations_for_alt/20_toplevel/Syn_20_TopLevel_002.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:20, Ensure that repeat in an alt-statement is accepted.

 ** @verdict  pass accept, noexecution

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



module Syn_20_TopLevel_002 {



type port MyPort message {

	inout charstring

}



type component GeneralComp { 

	port MyPort p;

}



template charstring m_test := "ping";



testcase TC_Syn_20_TopLevel_002() runs on GeneralComp {

	p.send(m_test);

	var integer counter := 1;

	alt {

		[counter == 1] p.receive(m_test) {

			counter := counter + 1;

			repeat;

		}

		[else] {

			setverdict(pass);

		}

	}

}



}
 
 No newline at end of file

20_statement_and_operations_for_alt/20_toplevel/Syn_20_TopLevel_003.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:20, Ensure that the interleave-statement is accepted.

 ** @verdict  pass accept, noexecution

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



module Syn_20_TopLevel_003 {



type port MyPort message {

	inout charstring

}



type component GeneralComp { 

	port MyPort p;

}



template charstring m_testOne := "ping1";

template charstring m_testTwo := "ping2";



testcase TC_Syn_20_TopLevel_003() runs on GeneralComp {

	p.send(m_testOne);

	p.send(m_testTwo);

	interleave {

		[] p.receive(m_testOne) {

		}

		[] p.receive(m_testTwo) {

		}

	}

	setverdict(pass);

}



}
 
 No newline at end of file