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 ******************************************************************************/
10 type record length (10) of integer int10;
11 type record length (2..infinity) of integer int2up;
17 testcase tc_empty_unbound() runs on C1
19 var int10 v_int10_default;
20 var int10 v_int10_empty := {-,-,-,-,-,-,-,-,-,-};
23 testcase tc1() runs on C1
25 var int10 v_int10 := {1,2,-,-,-,-,-,-,-,-} // unbound
26 var int2up v_int2up := {1,-} //unbound
30 var integer i3 := i1 + i2;
32 if ( isvalue(v_int10) ) {
33 log(":( :( ", v_int10, " should be unbound");
41 log(":( :( ", i1, " should be unbound");
48 if ( isvalue(v_int10[3]) ) {
49 log(":( :( ", v_int10[3], " should be unbound");
57 testcase tc_full_bound() runs on C1
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) ) {
65 log(":( :( ", v_int11, " should be bound");
73 execute(tc_full_bound());