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