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
9 * Adrien Kirjak – initial implementation
12 ** @purpose 1:10, Define constants in different scopes
13 ** @verdict pass accept, noexecution
14 ***************************************************/
15 module Syn_10_Constants_004 {
16 type component GeneralComp {
18 const integer cv_i1 := 10;
21 const integer c_i1 := 5;
23 altstep a_Syn_10_Constants_004() runs on GeneralComp {
24 const integer cl_j := 12;
26 const integer cl_k := 13;
30 function f_Syn_10_Constants_004() runs on GeneralComp {
31 const integer cl_i := 2;
34 testcase TC_Syn_10_Constants_004() runs on GeneralComp {
35 const integer cl_i := 3;
41 const integer cl_i := 1;
43 execute(TC_Syn_10_Constants_004());