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:15.3, Ensure that there's an error if no value is assigned in a local parameterized template declaration
13 ** @verdict pass reject
14 *****************************************************************/
16 // The following requirement is tested:
17 // Both global and local templates are initialized at the place of their
18 // declaration. This means, all template fields which are not affected by
19 // parameterization shall receive a value or matching mechanism. Template
20 // fields affected by parameterization are initialized at the time of
22 module NegSyn_1503_GlobalAndLocalTemplates_004
24 type component GeneralComp {
26 testcase TC_NegSyn_1503_GlobalAndLocalTemplates_004() runs on GeneralComp {
27 template integer t(in integer p);