Commit e19d5aab authored by zeiss's avatar zeiss
Browse files

No commit message 

No commit message
parent 0245fb13

20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_20_TopLevel_001.ttcn→20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_TheAltStatement_001.ttcn

+3 −3
Original line number Original line Diff line number Diff line
@@ -5,7 +5,7 @@ 
 ** @verdict  pass accept, ttcn3verdict:pass

 ** @verdict  pass accept, ttcn3verdict:pass

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

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





module Sem_20_TopLevel_001 {

module Sem_2002_TheAltStatement_001 {





type port MyPort message {

type port MyPort message {

	inout charstring

	inout charstring
@@ -17,7 +17,7 @@ type component GeneralComp { 




template charstring m_test := "ping";

template charstring m_test := "ping";





testcase TC_Sem_20_TopLevel_001() runs on GeneralComp {

testcase TC_Sem_2002_TheAltStatement_001() runs on GeneralComp {

	p.send(m_test);

	p.send(m_test);

	alt {

	alt {

		[] p.receive(m_test) {

		[] p.receive(m_test) {
@@ -27,7 +27,7 @@ testcase TC_Sem_20_TopLevel_001() runs on GeneralComp { 
}

}





control {

control {

	execute(TC_Sem_20_TopLevel_001());

	execute(TC_Sem_2002_TheAltStatement_001());

}

}





}
 
}
 
 No newline at end of file

20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_20_TopLevel_002.ttcn→20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_TheAltStatement_002.ttcn

+3 −3
Original line number Original line Diff line number Diff line
@@ -5,7 +5,7 @@ 
 ** @verdict  pass accept, ttcn3verdict:pass

 ** @verdict  pass accept, ttcn3verdict:pass

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

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





module Sem_20_TopLevel_002 {

module Sem_2002_TheAltStatement_002 {





type port MyPort message {

type port MyPort message {

	inout charstring

	inout charstring
@@ -17,7 +17,7 @@ type component GeneralComp { 




template charstring m_test := "ping";

template charstring m_test := "ping";





testcase TC_Sem_20_TopLevel_002() runs on GeneralComp {

testcase TC_Sem_2002_TheAltStatement_002() runs on GeneralComp {

	p.send(m_test);

	p.send(m_test);

	var integer counter := 1;

	var integer counter := 1;

	alt {

	alt {
@@ -28,7 +28,7 @@ testcase TC_Sem_20_TopLevel_002() runs on GeneralComp { 
}

}





control {

control {

	execute(TC_Sem_20_TopLevel_002());

	execute(TC_Sem_2002_TheAltStatement_002());

}

}





}
 
}
 
 No newline at end of file

20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_20_TopLevel_003.ttcn→20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_TheAltStatement_003.ttcn

+3 −3
Original line number Original line Diff line number Diff line
@@ -5,7 +5,7 @@ 
 ** @verdict  pass accept, ttcn3verdict:pass

 ** @verdict  pass accept, ttcn3verdict:pass

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

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





module Sem_20_TopLevel_003 {

module Sem_2002_TheAltStatement_003 {





type port MyPort message {

type port MyPort message {

	inout charstring

	inout charstring
@@ -17,7 +17,7 @@ type component GeneralComp { 




template charstring m_test := "ping";

template charstring m_test := "ping";





testcase TC_Sem_20_TopLevel_003() runs on GeneralComp {

testcase TC_Sem_2002_TheAltStatement_003() runs on GeneralComp {

	p.send(m_test);

	p.send(m_test);

	alt {

	alt {

		[] p.receive(m_test) {

		[] p.receive(m_test) {
@@ -33,7 +33,7 @@ testcase TC_Sem_20_TopLevel_003() runs on GeneralComp { 
}

}





control {

control {

	execute(TC_Sem_20_TopLevel_003());

	execute(TC_Sem_2002_TheAltStatement_003());

}

}





}
 
}
 
 No newline at end of file

20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_20_TopLevel_004.ttcn→20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_TheAltStatement_004.ttcn

+3 −3
Original line number Original line Diff line number Diff line
@@ -5,7 +5,7 @@ 
 ** @verdict  pass accept, ttcn3verdict:pass

 ** @verdict  pass accept, ttcn3verdict:pass

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

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





module Sem_20_TopLevel_004 {

module Sem_2002_TheAltStatement_004 {





type port MyPort message {

type port MyPort message {

	inout charstring

	inout charstring
@@ -30,7 +30,7 @@ altstep a_second() runs on GeneralComp { 
	}

	}

}

}





testcase TC_Sem_20_TopLevel_004() runs on GeneralComp {

testcase TC_Sem_2002_TheAltStatement_004() runs on GeneralComp {

	p.send(m_testOne);

	p.send(m_testOne);

	p.send(m_testTwo);

	p.send(m_testTwo);
@@ -47,7 +47,7 @@ testcase TC_Sem_20_TopLevel_004() runs on GeneralComp { 
}

}





control {

control {

	execute(TC_Sem_20_TopLevel_004(), 80E-3);  // if the altstep isn't handled after 80ms, we raise an error

	execute(TC_Sem_2002_TheAltStatement_004(), 80E-3);  // if the altstep isn't handled after 80ms, we raise an error

}

}





}
 
}
 
 No newline at end of file

20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_20_TopLevel_005.ttcn→20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_2002_TheAltStatement_005.ttcn

+3 −3
Original line number Original line Diff line number Diff line
@@ -5,7 +5,7 @@ 
 ** @verdict  pass accept, ttcn3verdict:pass

 ** @verdict  pass accept, ttcn3verdict:pass

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

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





module Sem_20_TopLevel_005 {

module Sem_2002_TheAltStatement_005 {





type port MyPort message {

type port MyPort message {

	inout charstring

	inout charstring
@@ -18,7 +18,7 @@ type component GeneralComp { 
template charstring m_testOne := "ping1";

template charstring m_testOne := "ping1";

template charstring m_testTwo := "ping2";

template charstring m_testTwo := "ping2";





testcase TC_Sem_20_TopLevel_005() runs on GeneralComp {

testcase TC_Sem_2002_TheAltStatement_005() runs on GeneralComp {

	p.send(m_testOne);

	p.send(m_testOne);

	p.send(m_testOne);

	p.send(m_testOne);
@@ -38,7 +38,7 @@ testcase TC_Sem_20_TopLevel_005() runs on GeneralComp { 
}

}





control {

control {

	execute(TC_Sem_20_TopLevel_005(), 80E-3);  // if the altstep isn't handled after 80ms, we raise an error

	execute(TC_Sem_2002_TheAltStatement_005(), 80E-3);  // if the altstep isn't handled after 80ms, we raise an error

}

}





}
 
}
 
 No newline at end of file