/***************************************************
 ** @author   STF 572
 ** @version  0.0.1
 ** @purpose  1:23.6, Verify that the timeout operation applied to a non-timer reference produces an error
 ** @verdict  pass reject
 ***************************************************/
// The following requirement is tested
// e) The ObjectReference (in the timeout operation) shall be of the timer type.

module NegSem_2306_the_timeout_operation_001 {
    type component TComp{
	    timer t_tmr;
    }
    testcase TC_NegSem_2306_the_timeout_operation_001() runs on TComp{
        var float v_duration := 1.0;
        t_tmr.start(v_duration);
		v_duration.timeout;
        setverdict(pass);
    }
    control {
        execute(TC_NegSem_2306_the_timeout_operation_001())
    }
}