regression_test/lazyEval/lazy_A.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  *   Balasko, Jeno
  10  *
  11  ******************************************************************************/
  12 module lazy_A {
  13
  14 import from lazy_defs all;
  15 import from lazy_B all;
  16
  17 function f_lazy_Ai( in @lazy integer pl_i, in boolean pl_evalFlag) runs on MyComp {
  18   if(pl_evalFlag){
  19     v_i:= pl_i; //expression evaluated
  20   }
  21   log(v_i);
  22 }
  23
  24 function f_lazy_AAi( in @lazy integer pl_i, in boolean pl_evalFlag) runs on MyComp {
  25   f_lazy_Ai(pl_i,pl_evalFlag);
  26 }
  27
  28 function f_lazy_ABi( in @lazy integer pl_i, in boolean pl_evalFlag) runs on MyComp {
  29   f_lazy_Bi(pl_i,pl_evalFlag);
  30 }
  31
  32
  33 altstep as_lazy_Ai( in @lazy integer pl_i, in boolean pl_evalFlag) runs on MyComp {
  34   [pl_evalFlag] PCO.receive {log("valami")}
  35   [else] {
  36       if(pl_evalFlag) {
  37         v_i:=pl_i;
  38         log(pl_i);
  39       }
  40   }
  41
  42 }
  43
  44 altstep as_lazy_ABi( in @lazy integer pl_i, in boolean pl_evalFlag) runs on MyComp {
  45   [pl_evalFlag] PCO.receive {log("valami")}
  46   [else] {
  47       f_lazy_Bi(pl_i,pl_evalFlag);
  48     }
  49 }
  50
  51
  52 }