Chapter 16 update (f170950b) · Commits · MTS - Methods for Testing and Specification / TTCN-3_Compiler_Tests / TTCN3_PART1

16_functions_altsteps_testcases/1601_functions/160104_invoking_functions_from_specific_places/NegSem_160104_invoking_functions_from_specific_places_003.ttcn

+1 −1

Original line number	Diff line number	Diff line
		@@ -16,7 +16,7 @@ type component GeneralComp {
		}

		function f_test() return boolean {
		setverdict(inconc) //setting verdict within a function inside a boolean guard
		setverdict(inconc); //setting verdict within a function inside a boolean guard
		return true;
		}

0 → 100644

+66 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author STF 409
		** @version $Rev$
		** @purpose 1:16.2, Ensure that the IUT recognizes altstep definitions and correctly evaluates them
		** @verdict pass reject
		***************************************************/
		module NegSem_160201_invoking_altsteps_001 {

		type record MessageType {
		integer field1,
		charstring field2
		}

		type port loopbackPort message {
		inout MessageType
		}

		type port simplePort message {
		inout integer
		}

		type component GeneralComp {
		port loopbackPort messagePort
		}

		type component AltComp {
		port simplePort messagePort
		}



		altstep AltSet1() runs on AltComp { //incompatible component with GeneralComp

		[] messagePort.receive {
		setverdict(pass);
		}

		}

		testcase TC_NegSem_160201_invoking_altsteps_001 () runs on GeneralComp {
		var MessageType v_testMessage;
		timer t_timer;
		v_testMessage:= {
		field1 := 1,
		field2 := "test string"
		}

		messagePort.send(v_testMessage);
		t_timer.start( 1.0 );

		alt {
		[] AltSet1();
		[] t_timer.timeout {
		setverdict(pass);
		}
		}

		}

		control{

		execute(TC_NegSem_160201_invoking_altsteps_001());

		}

		}

0 → 100644

+58 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author STF 409
		** @version $Rev$
		** @purpose 1:16.2, Ensure that the IUT recognizes altstep definitions and correctly evaluates them
		** @verdict pass accept, ttcn3verdict:pass
		***************************************************/
		module Sem_160201_invoking_altsteps_001 {

		type record MessageType {
		integer field1,
		charstring field2
		}

		type port loopbackPort message {
		inout MessageType
		}

		type component GeneralComp {
		port loopbackPort messagePort
		}



		altstep AltSet1() runs on GeneralComp {

		[] messagePort.receive {
		setverdict(pass);
		}

		}

		testcase TC_Sem_160201_invoking_altsteps_001 () runs on GeneralComp {
		var MessageType v_testMessage;
		timer t_timer;
		v_testMessage:= {
		field1 := 1,
		field2 := "test string"
		}

		messagePort.send(v_testMessage);
		t_timer.start( 1.0 );

		alt {
		[] AltSet1();
		[] t_timer.timeout {
		setverdict(pass);
		}
		}

		}

		control{

		execute(TC_Sem_160201_invoking_altsteps_001());

		}

		}

0 → 100644

+70 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author STF 409
		** @version $Rev$
		** @purpose 1:16.2, Ensure that the IUT recognizes altstep definitions and correctly evaluates them
		** @verdict pass accept, ttcn3verdict:pass
		***************************************************/
		module Sem_160201_invoking_altsteps_002 {

		type record MessageType {
		integer field1,
		charstring field2
		}

		type port loopbackPort message {
		inout MessageType
		}

		type component GeneralComp {
		port loopbackPort messagePort
		}


		function f_false() return boolean {
		return false;
		}

		altstep AltSet1() runs on GeneralComp {

		[] f_false() {
		setverdict(inconc);
		}

		}

		altstep AltSet2() runs on GeneralComp {

		[] messagePort.receive {
		setverdict(pass);
		}

		}

		testcase TC_Sem_160201_invoking_altsteps_002 () runs on GeneralComp {
		var MessageType v_testMessage;
		timer t_timer;
		v_testMessage:= {
		field1 := 1,
		field2 := "test string"
		}

		messagePort.send(v_testMessage);
		t_timer.start( 1.0 );

		alt {
		[] AltSet1(); //evaluation of sequential altstep activations
		[] AltSet2();
		[] t_timer.timeout {
		setverdict(pass);
		}
		}

		}

		control{

		execute(TC_Sem_160201_invoking_altsteps_002());

		}

		}

0 → 100644

+53 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author STF 409
		** @version $Rev$
		** @purpose 1:16.2, Ensure that the IUT recognizes altstep definitions and correctly evaluates them
		** @verdict pass reject
		***************************************************/
		module NegSem_1602_toplevel_001 {

		type record MessageType {
		integer field1,
		charstring field2
		}

		type port loopbackPort message {
		inout MessageType
		}

		type component GeneralComp {
		port loopbackPort messagePort
		}

		external function f_ExternalFunction() return integer;


		altstep AltSet1() runs on GeneralComp {
		var integer v_LocalVar := f_ExternalFunction(); //attempt to use external function for variable initialization

		[] messagePort.receive {
		setverdict(pass);
		}

		}

		testcase TC_NegSem_1602_toplevel_001 () runs on GeneralComp {
		var MessageType v_testMessage;
		v_testMessage:= {
		field1 := 1,
		field2 := "test string"
		}

		messagePort.send(v_testMessage);

		AltSet1();

		}

		control{

		execute(TC_NegSem_1602_toplevel_001());

		}

		}