Sync with 5.4.0

[deliverable/titan.core.git] / regression_test / controlTimer / TcontrolTimer.ttcn

/******************************************************************************
 * Copyright (c) 2000-2015 Ericsson Telecom AB
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 ******************************************************************************/
module TcontrolTimer {

type component CT {}

testcase tc_delay(float delay) runs on CT
{
  timer T := delay;
  all timer.stop;
  T.start;
  T.timeout;
  setverdict(pass);
}

testcase SetVerdict(verdicttype v) runs on CT
{
  setverdict(v);
}

function f()
{
  timer T := 0.4;
  T.start;
  execute(tc_delay(0.1));
  alt {
    [] T.timeout { execute(SetVerdict(fail)); }
    [] any timer.timeout { execute(SetVerdict(pass)); }
  }
}

control {
  timer T1 := 0.3, T2 := 0.4;
  T1.start;
  execute(tc_delay(0.1));
  T2.start;
  alt {
    [] T1.timeout { execute(SetVerdict(pass)); }
    [] T2.timeout { execute(SetVerdict(fail)); }
  }
  all timer.stop;
  T1.start;
  execute(tc_delay(0.1), 0.2);
  T2.start;
  alt {
    [] T1.timeout { execute(SetVerdict(pass)); }
    [] T2.timeout { execute(SetVerdict(fail)); }
  }
  all timer.stop;
  T1.start;
  f();
}

}