additional fixes to checkstate
[deliverable/titan.core.git] / regression_test / namedActualParameters / small.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 * Raduly, Csaba
11 *
12 ******************************************************************************/
13 module small
14 {
15 type record R2
16 {
17 integer i1,
18 integer i2,
19 integer i3,
20 integer i4
21 }
22
23 type component C2 {}
24
25 testcase tc4() runs on C2
26 { //var integer i3;
27 var template R2 r1 := {
28 1,2,3,4
29 }
30 var template R2 r2 := {
31 i1 := 1, i2 := 2, i3 := 3, i4 := 4
32 }
33 fi( i1:=1, i2:=2, i3:=3 );
34 fi( 1, i2:=2, i3:=3 );
35 fi( 1,2, i3 := 3 );
36 fi( 1,2,3 );
37 /* temp commented out
38 fi( -, i1:=1, i2:=2 );
39 fi( -,-,3, i1:=1, i2:=2 );
40 */
41
42 setverdict(pass);
43 }
44
45 function fit( in template integer it )
46 {
47 log( "it=", it );
48 }
49
50 function fi(in integer i1, integer i2, integer i3 := 0)
51 {
52 template integer ti1 := ( 1,2,3 );
53 template integer ti2 modifies ti1 := 42;
54 log( "i3=", i3 );
55
56 fit( modifies ti1 := 42 );
57 }
58 }
This page took 0.033023 seconds and 5 git commands to generate.