Commit | Line | Data |
---|---|---|
970ed795 EL |
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 one_OK | |
9 | { | |
10 | type record length (10) of integer int10; | |
11 | type record length (2..infinity) of integer int2up; | |
12 | ||
13 | type component C1 | |
14 | { | |
15 | } | |
16 | ||
17 | testcase tc_empty_unbound() runs on C1 | |
18 | { | |
19 | var int10 v_int10_default; | |
20 | var int10 v_int10_empty := {-,-,-,-,-,-,-,-,-,-}; | |
21 | } | |
22 | ||
23 | testcase tc1() runs on C1 | |
24 | { | |
25 | var int10 v_int10 := {1,2,-,-,-,-,-,-,-,-} // unbound | |
26 | var int2up v_int2up := {1,-} //unbound | |
27 | ||
28 | var integer i1 := 33; | |
29 | var integer i2 := 2; | |
30 | var integer i3 := i1 + i2; | |
31 | ||
32 | if ( isvalue(v_int10) ) { | |
33 | log(":( :( ", v_int10, " should be unbound"); | |
34 | setverdict(fail); | |
35 | } | |
36 | else { | |
37 | setverdict(pass); | |
38 | } | |
39 | ||
40 | if ( isvalue(i1) ) { | |
41 | log(":( :( ", i1, " should be unbound"); | |
42 | setverdict(fail); | |
43 | } | |
44 | else { | |
45 | setverdict(pass); | |
46 | } | |
47 | ||
48 | if ( isvalue(v_int10[3]) ) { | |
49 | log(":( :( ", v_int10[3], " should be unbound"); | |
50 | setverdict(fail); | |
51 | } | |
52 | else { | |
53 | setverdict(pass); | |
54 | } | |
55 | } | |
56 | ||
57 | testcase tc_full_bound() runs on C1 | |
58 | { | |
59 | log("Start tc_full_bound"); | |
60 | var int10 v_int11 := {1,2,3,4,5,6,7,8,9,10} // bound | |
61 | if ( isvalue(v_int11) ) { | |
62 | setverdict(pass); | |
63 | } | |
64 | else { | |
65 | log(":( :( ", v_int11, " should be bound"); | |
66 | setverdict(fail); | |
67 | } | |
68 | } | |
69 | ||
70 | control | |
71 | { | |
72 | execute(tc1()); | |
73 | execute(tc_full_bound()); | |
74 | } | |
75 | } |