Commit 69572572 authored by zeiss's avatar zeiss
Browse files

No commit message

No commit message
parent 6b78da9f
Loading
Loading
Loading
Loading
+44 −0
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev: 150 $
 ** @purpose  1:20.2, Ensure that the done-block in an alt-statement is triggered as expected (loopback case).
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_2002_TheAltStatement_008 {

type port MyPort message {
	inout charstring
}

type component MTCComp { 
	port MyPort p;
}

type component PTCComp { 
	port MyPort p;
}

function f_secondComponent() runs on PTCComp {
}

testcase TC_Sem_2002_TheAltStatement_008() runs on MTCComp {
	var PTCComp v_ptc := PTCComp.create;
	v_ptc.start(f_secondComponent());
	v_ptc.stop;
	
	alt {
		[] v_ptc.done {
			setverdict(pass);
		}
		[else] {
			setverdict(fail);
		}
	}
}

control {
	execute(TC_Sem_2002_TheAltStatement_008());
}

}
 No newline at end of file