af710487 |
1 | /////////////////////////////////////////////////////////////////////////////// |
2 | // Copyright (c) 2000-2015 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 Test1 |
9 | { |
10 | |
11 | type component EMPTY_CT |
12 | { |
13 | } |
14 | |
15 | type record Union |
16 | { |
17 | record of integer record_of_integer, |
18 | charstring string |
19 | }; |
20 | |
21 | testcase TC_1() runs on EMPTY_CT |
22 | { |
23 | var boolean b := false; |
24 | var Union u1 := { |
25 | record_of_integer := { |
26 | str2int("2"), |
27 | str2int("3") |
28 | } |
29 | }; |
30 | } |
31 | |
32 | control { |
33 | execute(TC_1()); |
34 | } |
35 | |
36 | } |