conformance_test/positive_tests/23_timer_operations/2302_the_start_timer_operataion/Sem_2302_timer_start_004.ttcn

   1 /******************************************************************************
   2  * Copyright (c) 2000-2016 Ericsson Telecom AB
   3  * All rights reserved. This program and the accompanying materials
   4  * are made available under the terms of the Eclipse Public License v1.0
   5  * which accompanies this distribution, and is available at
   6  * http://www.eclipse.org/legal/epl-v10.html
   7  *
   8  * Contributors:
   9  *   Adrien Kirjak – initial implementation
  10  *
  11  ** @version  0.0.1
  12  ** @purpose  1:23, Ensure timer with value 0.0 expires immediately
  13  ** @verdict  pass accept, ttnc3verdict:pass
  14  ***************************************************/
  15 // #reqname  /Requirements/23 Timer operations/23.2 The start timer operation/Timer with the timer value 0.0 times out immediately.
  16
  17
  18 module Sem_2302_timer_start_004 {
  19     type component TComp{
  20         timer t_timer := 0.0;
  21         timer t_timer_with_long_default := 100.0;
  22     }
  23
  24     testcase TC_Sem_2302_timer_start_004() runs on TComp{
  25         t_timer.start;
  26
  27         if (t_timer.running)
  28         {
  29             setverdict(fail);
  30         }
  31         else
  32         {
  33             setverdict(pass);
  34         }
  35
  36         t_timer_with_long_default.start(0.0);
  37
  38         if (t_timer_with_long_default.running)
  39         {
  40             setverdict(fail);
  41         }
  42         else
  43         {
  44             setverdict(pass);
  45         }
  46
  47
  48     }
  49     control{
  50
  51             execute(TC_Sem_2302_timer_start_004())
  52
  53
  54     }
  55 }