Sync with 5.1.0
[deliverable/titan.core.git] / regression_test / lazyEval / lazy_A.ttcn
1 /******************************************************************************
2 * Copyright (c) 2000-2014 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 module lazy_A {
9
10 import from lazy_defs all;
11 import from lazy_B all;
12
13 function f_lazy_Ai( in @lazy integer pl_i, in boolean pl_evalFlag) runs on MyComp {
14 if(pl_evalFlag){
15 v_i:= pl_i; //expression evaluated
16 }
17 log(v_i);
18 }
19
20 function f_lazy_AAi( in @lazy integer pl_i, in boolean pl_evalFlag) runs on MyComp {
21 f_lazy_Ai(pl_i,pl_evalFlag);
22 }
23
24 function f_lazy_ABi( in @lazy integer pl_i, in boolean pl_evalFlag) runs on MyComp {
25 f_lazy_Bi(pl_i,pl_evalFlag);
26 }
27
28
29 altstep as_lazy_Ai( in @lazy integer pl_i, in boolean pl_evalFlag) runs on MyComp {
30 [pl_evalFlag] PCO.receive {log("valami")}
31 [else] {
32 if(pl_evalFlag) {
33 v_i:=pl_i;
34 log(pl_i);
35 }
36 }
37
38 }
39
40 altstep as_lazy_ABi( in @lazy integer pl_i, in boolean pl_evalFlag) runs on MyComp {
41 [pl_evalFlag] PCO.receive {log("valami")}
42 [else] {
43 f_lazy_Bi(pl_i,pl_evalFlag);
44 }
45 }
46
47
48 }
This page took 0.034532 seconds and 5 git commands to generate.